<p>Let <i>G</i> be the group of rational points of a split connected reductive group over a non-archimedean local field of residue characteristic <i>p</i>, and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> denote the pro-<i>p</i> Iwahori–Hecke algebra of <i>G</i> over a field of characteristic <i>p</i>. We study the parabolic induction functor for <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>-modules in terms of the Gorenstein projective model structures introduced by Hovey. Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\({\operatorname {Ho}}({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Ho</mo> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denote the associated homotopy category of this model structure. We show that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\({\operatorname {Ho}}({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Ho</mo> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and its thick subcategory generated by the essential images of finitely many parabolic induction functors are related via a recollement of triangulated categories. We then investigate the isomorphism classes of simple <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>-modules in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\({\operatorname {Ho}}({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Ho</mo> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and give a complete classification for simple supersingulars when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3830_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=\textrm{GL}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Parabolic induction in the homotopy category of pro-p Iwahori–Hecke modules

  • Nicolas Dupré

摘要

Let G be the group of rational points of a split connected reductive group over a non-archimedean local field of residue characteristic p, and let \({\mathcal {H}}\) H denote the pro-p Iwahori–Hecke algebra of G over a field of characteristic p. We study the parabolic induction functor for \({\mathcal {H}}\) H -modules in terms of the Gorenstein projective model structures introduced by Hovey. Let \({\operatorname {Ho}}({\mathcal {H}})\) Ho ( H ) denote the associated homotopy category of this model structure. We show that \({\operatorname {Ho}}({\mathcal {H}})\) Ho ( H ) and its thick subcategory generated by the essential images of finitely many parabolic induction functors are related via a recollement of triangulated categories. We then investigate the isomorphism classes of simple \({\mathcal {H}}\) H -modules in \({\operatorname {Ho}}({\mathcal {H}})\) Ho ( H ) and give a complete classification for simple supersingulars when \(G=\textrm{GL}_n\) G = GL n .