<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> be a semisimple <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-adic representation of a number field <i>K</i> that is unramified almost everywhere. We introduce a new notion called weak abelian direct summands of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> and completely characterize them, for example, if the algebraic monodromy of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> is connected. If <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> is in addition <i>E</i>-rational for some number field <i>E</i>, we prove that the weak abelian direct summands are locally algebraic (and thus de Rham). We also show that the weak abelian parts of a connected semisimple Serre compatible system form again such a system. Using our results on weak abelian direct summands, when <i>K</i> is totally real and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> is the three-dimensional <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-adic representation attached to a regular algebraic cuspidal automorphic, not necessarily polarizable representation <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq8.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="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{GL}_3(\mathbb {A}_K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi>K</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> together with an isomorphism <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {C}\simeq {\overline{\mathbb {Q}}}_\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <mo>≃</mo> <msub> <mover> <mi mathvariant="double-struck">Q</mi> <mo>¯</mo> </mover> <mi>ℓ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> is irreducible. We deduce in this case also some <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-adic Hodge theoretic properties of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> if <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3252_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> belongs to a Dirichlet density one set of primes.</p>

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

Weak abelian direct summands and irreducibility of Galois representations

  • Gebhard Böckle,
  • Chun-Yin Hui

摘要

Let \(\rho _\ell \) ρ be a semisimple \(\ell \) -adic representation of a number field K that is unramified almost everywhere. We introduce a new notion called weak abelian direct summands of \(\rho _\ell \) ρ and completely characterize them, for example, if the algebraic monodromy of \(\rho _\ell \) ρ is connected. If \(\rho _\ell \) ρ is in addition E-rational for some number field E, we prove that the weak abelian direct summands are locally algebraic (and thus de Rham). We also show that the weak abelian parts of a connected semisimple Serre compatible system form again such a system. Using our results on weak abelian direct summands, when K is totally real and \(\rho _\ell \) ρ is the three-dimensional \(\ell \) -adic representation attached to a regular algebraic cuspidal automorphic, not necessarily polarizable representation \(\pi \) π of \(\textrm{GL}_3(\mathbb {A}_K)\) GL 3 ( A K ) together with an isomorphism \(\mathbb {C}\simeq {\overline{\mathbb {Q}}}_\ell \) C Q ¯ , we prove that \(\rho _\ell \) ρ is irreducible. We deduce in this case also some \(\ell \) -adic Hodge theoretic properties of \(\rho _\ell \) ρ if \(\ell \) belongs to a Dirichlet density one set of primes.