<p>The study of special values of adjoint <i>L</i>-functions and congruence ideals is gradually becoming a classical theme in number theory, driven by the Bloch-Kato conjecture and generalisations of Wiles-Lenstra’s numerical criterion. In this paper, we relate <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(L(1,\pi ,{{\,\textrm{Ad}\,}}^\circ )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>π</mi> <mo>,</mo> <msup> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Ad</mtext> <mspace width="0.166667em" /> </mrow> </mrow> <mo>∘</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to the congruence ideals for cohomological cuspidal automorphic representations <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{GL}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> over any number field. We then use this result to deduce relationships between the congruences of automorphic forms and adjoint <i>L</i>-functions. For CM fields, using the existence of Galois representations, we apply the result to obtain a lower bound on the cardinality of certain Selmer groups in terms of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(L(1,\pi ,{{\,\textrm{Ad}\,}}^\circ )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>π</mi> <mo>,</mo> <msup> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Ad</mtext> <mspace width="0.166667em" /> </mrow> </mrow> <mo>∘</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. This can be viewed as partial progress on the Bloch-Kato conjecture. The main technical ingredients are a careful study of the cohomology associated with the locally symmetric space of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{GL}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>, its relation to automorphic representations, and the establishment of some algebraic properties of the congruence ideals. We anticipate that the methods developed here will find further applications in related problems, particularly in the study of congruence modules and their relation to the arithmetic of automorphic forms.</p>

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

Adjoint L-functions, congruence ideals, and Selmer groups over \(\textrm{GL}_n\)

  • Ho Leung Fong

摘要

The study of special values of adjoint L-functions and congruence ideals is gradually becoming a classical theme in number theory, driven by the Bloch-Kato conjecture and generalisations of Wiles-Lenstra’s numerical criterion. In this paper, we relate \(L(1,\pi ,{{\,\textrm{Ad}\,}}^\circ )\) L ( 1 , π , Ad ) to the congruence ideals for cohomological cuspidal automorphic representations \(\pi \) π of \(\textrm{GL}_n\) GL n over any number field. We then use this result to deduce relationships between the congruences of automorphic forms and adjoint L-functions. For CM fields, using the existence of Galois representations, we apply the result to obtain a lower bound on the cardinality of certain Selmer groups in terms of \(L(1,\pi ,{{\,\textrm{Ad}\,}}^\circ )\) L ( 1 , π , Ad ) . This can be viewed as partial progress on the Bloch-Kato conjecture. The main technical ingredients are a careful study of the cohomology associated with the locally symmetric space of \(\textrm{GL}_n\) GL n , its relation to automorphic representations, and the establishment of some algebraic properties of the congruence ideals. We anticipate that the methods developed here will find further applications in related problems, particularly in the study of congruence modules and their relation to the arithmetic of automorphic forms.