<p>In 1973, Swinnerton-Dyer (Modular functions of one variable III: proceedings International Summer School University of Antwerp, RUCA, 17 July–3 August 1972. Springer, pp 1–55, 1973) classified congruences modulo primes <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> for the coefficients of normalized eigenforms in weights <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(k \in \{12, 16, 18, 20, 22, 26\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>12</mn> <mo>,</mo> <mn>16</mn> <mo>,</mo> <mn>18</mn> <mo>,</mo> <mn>20</mn> <mo>,</mo> <mn>22</mn> <mo>,</mo> <mn>26</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{\,\textrm{SL}\,}}_2(\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> into three types according to the possible images for the associated mod <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> Galois representations when the images do not contain <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({{\,\textrm{SL}\,}}_2(\mathbb {F}_\ell )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>ℓ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we classify congruences for the coefficients of eta-quotient newforms of two of the three types: those arising from mod <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> representations whose images are contained in a Borel subgroup of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}_2(\mathbb {F}_\ell )\)</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> <msub> <mi mathvariant="double-struck">F</mi> <mi>ℓ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and those arising from representations whose images lie in the normalizer of a Cartan subgroup, but not in the Cartan subgroup itself. We also give examples of extensions of these congruences to prime power modulus, as Swinnerton-Dyer did in (Modular functions of one variable III: proceedings International Summer School University of Antwerp, RUCA, 17 July–3 August 1972. Springer, pp 1–55, 1973) for coefficients of the Delta function. In 2003, independently Kiming and Verrill (J Number Theory 110(2):236–266, 2005) and Boylan (J Number Theory 98(2):377–389, 2003) classified congruences for eta-quotient newforms of the third type, namely those arising from mod <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> representations with projective image <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(A_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(S_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation>, or <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(A_5\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mn>5</mn> </msub> </math></EquationSource> </InlineEquation>. Therefore, our work completes the classification of exceptional congruences, in the sense of Swinnerton-Dyer, for eta-quotient newforms.</p>

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

Exceptional congruences for eta-quotient newforms

  • Edward O’Sullivan,
  • Henry Stone,
  • Swati,
  • Xiaolan Jin

摘要

In 1973, Swinnerton-Dyer (Modular functions of one variable III: proceedings International Summer School University of Antwerp, RUCA, 17 July–3 August 1972. Springer, pp 1–55, 1973) classified congruences modulo primes \(\ell \) for the coefficients of normalized eigenforms in weights \(k \in \{12, 16, 18, 20, 22, 26\}\) k { 12 , 16 , 18 , 20 , 22 , 26 } on \({{\,\textrm{SL}\,}}_2(\mathbb {Z})\) SL 2 ( Z ) into three types according to the possible images for the associated mod \(\ell \) Galois representations when the images do not contain \({{\,\textrm{SL}\,}}_2(\mathbb {F}_\ell )\) SL 2 ( F ) . In this paper, we classify congruences for the coefficients of eta-quotient newforms of two of the three types: those arising from mod \(\ell \) representations whose images are contained in a Borel subgroup of \({{\,\textrm{GL}\,}}_2(\mathbb {F}_\ell )\) GL 2 ( F ) and those arising from representations whose images lie in the normalizer of a Cartan subgroup, but not in the Cartan subgroup itself. We also give examples of extensions of these congruences to prime power modulus, as Swinnerton-Dyer did in (Modular functions of one variable III: proceedings International Summer School University of Antwerp, RUCA, 17 July–3 August 1972. Springer, pp 1–55, 1973) for coefficients of the Delta function. In 2003, independently Kiming and Verrill (J Number Theory 110(2):236–266, 2005) and Boylan (J Number Theory 98(2):377–389, 2003) classified congruences for eta-quotient newforms of the third type, namely those arising from mod \(\ell \) representations with projective image \(A_4\) A 4 , \(S_4\) S 4 , or \(A_5\) A 5 . Therefore, our work completes the classification of exceptional congruences, in the sense of Swinnerton-Dyer, for eta-quotient newforms.