<p>Let <i>p</i> be a prime number, <i>K</i> a finite unramified extension of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Q</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation> a finite extension of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>. Using perfectoid spaces we associate to any finite-dimensional continuous representation <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Gal}({\overline{K}}/K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Gal</mtext> <mo stretchy="false">(</mo> <mover> <mi>K</mi> <mo>¯</mo> </mover> <mo stretchy="false">/</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation> an étale <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\((\varphi ,\mathcal {O}_K^\times )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo>,</mo> <msubsup> <mi mathvariant="script">O</mi> <mi>K</mi> <mo>×</mo> </msubsup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-module <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_A^\otimes (\overline{\rho })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>D</mi> <mi>A</mi> <mo>⊗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> over a completed localization <i>A</i> of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}\llbracket \mathcal {O}_K\rrbracket \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">F</mi> <mo>〚</mo> <msub> <mi mathvariant="script">O</mi> <mi>K</mi> </msub> <mo>〛</mo> </mrow> </math></EquationSource> </InlineEquation>. We conjecture that one can also associate an étale <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\((\varphi ,\mathcal {O}_K^\times )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo>,</mo> <msubsup> <mi mathvariant="script">O</mi> <mi>K</mi> <mo>×</mo> </msubsup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-module <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_A(\pi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mi>A</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>π</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to any smooth representation <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq15.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}_2(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> occurring in some Hecke eigenspace of the mod <i>p</i> cohomology of a Shimura curve, and that moreover <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_A(\pi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mi>A</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>π</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is isomorphic (up to twist) to <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_A^\otimes (\overline{\rho })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>D</mi> <mi>A</mi> <mo>⊗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> is the underlying 2-dimensional representation of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Gal}({\overline{K}}/K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Gal</mtext> <mo stretchy="false">(</mo> <mover> <mi>K</mi> <mo>¯</mo> </mover> <mo stretchy="false">/</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Using previous work of the same authors, we prove this conjecture when <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3157_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> is semi-simple and sufficiently&#xa0;generic.</p>

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

Multivariable \((\varphi ,\mathcal {O}_K^\times )\)-modules and local–global compatibility

  • Christophe Breuil,
  • Florian Herzig,
  • Yongquan Hu,
  • Stefano Morra,
  • Benjamin Schraen

摘要

Let p be a prime number, K a finite unramified extension of \(\mathbb {Q}_{p}\) Q p and \(\mathbb {F}\) F a finite extension of \(\mathbb {F}_{p}\) F p . Using perfectoid spaces we associate to any finite-dimensional continuous representation \(\overline{\rho }\) ρ ¯ of \(\textrm{Gal}({\overline{K}}/K)\) Gal ( K ¯ / K ) over \(\mathbb {F}\) F an étale \((\varphi ,\mathcal {O}_K^\times )\) ( φ , O K × ) -module \(D_A^\otimes (\overline{\rho })\) D A ( ρ ¯ ) over a completed localization A of \(\mathbb {F}\llbracket \mathcal {O}_K\rrbracket \) F O K . We conjecture that one can also associate an étale \((\varphi ,\mathcal {O}_K^\times )\) ( φ , O K × ) -module \(D_A(\pi )\) D A ( π ) to any smooth representation \(\pi \) π of \({{\,\textrm{GL}\,}}_2(K)\) GL 2 ( K ) occurring in some Hecke eigenspace of the mod p cohomology of a Shimura curve, and that moreover \(D_A(\pi )\) D A ( π ) is isomorphic (up to twist) to \(D_A^\otimes (\overline{\rho })\) D A ( ρ ¯ ) , where \(\overline{\rho }\) ρ ¯ is the underlying 2-dimensional representation of \(\textrm{Gal}({\overline{K}}/K)\) Gal ( K ¯ / K ) . Using previous work of the same authors, we prove this conjecture when \(\overline{\rho }\) ρ ¯ is semi-simple and sufficiently generic.