Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions
Identifieur interne : 001F73 ( Istex/Curation ); précédent : 001F72; suivant : 001F74Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions
Auteurs : Antal Balog [Hongrie] ; Henri Darmon [Canada, États-Unis] ; Ken Ono [États-Unis]Source :
- Progress in Mathematics ; 1996.
Abstract
Abstract: Congruences for Fourier coefficients of integer weight modular forms have been the focal point of a number of investigations. In this note we shall exhibit congruences for Fourier coefficients of a slightly different type. Let $$ f(z)\, = \,\sum\nolimits_{n = 0}^\infty {a(n)q^n } $$ be a holomorphic half integer weight modular form with integer coefficients. If ℓ is prime, then we shall be interested in congruences of the form $$ a(lN)\, \equiv \,0\,\bmod \,l $$ where N is any quadratic residue (resp. non-residue) modulo ℓ. For every prime ℓ > 3 we exhibit a natural holomorphic weight $$ \frac{l} {2}\, + \,1 $$ modular form whose coefficients satisfy the congruence a(ℓN) ≡ 0 mod ℓ for every N satisfying $$ \left( {\frac{{ - N}} {l}} \right)\, = \,1 $$ . This is proved by using the fact that the Fourier coefficients of these forms are essentially the special values of real Dirichlet L—series evaluated at $$ s\, = \,\left( {\frac{{1 - l}} {2}} \right) $$ which are expressed as generalized Bernoulli numbers whose numerators we show are multiples of ℓ. From the works of Carlitz and Leopoldt, one can deduce that the Fourier coefficients of these forms are almost always a multiple of the denominator of suitable Bernoulli numbers. Using these examples as a template, we establish sufficient conditions for which the Fourier coefficients of a half integer weight modular form are almost always divisible by a given positive integer M. We also present two more examples of half-integer weight forms with such congruence properties, whose coefficients are determined by the special values at the center of the critical strip for the quadratic twists of the modular L- functions associated to the modular form Δ of weight 12 and level 1, and to the unique form η 8(z)η8(2z) of weight 8 and level 2. We suggest a conceptual explanation for these congruences by remarking that the twists of the mod p Galois representations (p = 11 and 7 respectively) associated to these two forms are isomorphic to the Galois representations associated to certain elliptic curves of odd analytic rank.
Url:
DOI: 10.1007/978-1-4612-4086-0_5
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001F73
Links to Exploration step
ISTEX:9B2BE230F203ABC86C1EB0748AA56B504D328548Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions</title>
<author><name sortKey="Balog, Antal" sort="Balog, Antal" uniqKey="Balog A" first="Antal" last="Balog">Antal Balog</name>
<affiliation wicri:level="1"><mods:affiliation>Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, 1364, Budapest, Hungary</mods:affiliation>
<country xml:lang="fr">Hongrie</country>
<wicri:regionArea>Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, 1364, Budapest</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: hll65bal@ella.hu</mods:affiliation>
<country wicri:rule="url">Hongrie</country>
</affiliation>
</author>
<author><name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
<affiliation wicri:level="1"><mods:affiliation>Department of Mathematics, McGill University, H3A 2K6, Montréal, PQ, Canada</mods:affiliation>
<country xml:lang="fr">Canada</country>
<wicri:regionArea>Department of Mathematics, McGill University, H3A 2K6, Montréal, PQ</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>Department of Mathematics, Princeton University, 08540, Princeton, NJ, USA</mods:affiliation>
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Mathematics, Princeton University, 08540, Princeton, NJ</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: darmon@math.princeton.edu</mods:affiliation>
<country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
<affiliation wicri:level="1"><mods:affiliation>School of Mathematics Institute for Advanced Study, 08540, Princeton, NJ, USA</mods:affiliation>
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>School of Mathematics Institute for Advanced Study, 08540, Princeton, NJ</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>Department of Mathematics, Penn State University, 16802, University Park, PN, USA</mods:affiliation>
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Mathematics, Penn State University, 16802, University Park, PN</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: ono@math.ias.edu</mods:affiliation>
<country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:9B2BE230F203ABC86C1EB0748AA56B504D328548</idno>
<date when="1996" year="1996">1996</date>
<idno type="doi">10.1007/978-1-4612-4086-0_5</idno>
<idno type="url">https://api.istex.fr/document/9B2BE230F203ABC86C1EB0748AA56B504D328548/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001F73</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001F73</idno>
<idno type="wicri:Area/Istex/Curation">001F73</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions</title>
<author><name sortKey="Balog, Antal" sort="Balog, Antal" uniqKey="Balog A" first="Antal" last="Balog">Antal Balog</name>
<affiliation wicri:level="1"><mods:affiliation>Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, 1364, Budapest, Hungary</mods:affiliation>
<country xml:lang="fr">Hongrie</country>
<wicri:regionArea>Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, 1364, Budapest</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: hll65bal@ella.hu</mods:affiliation>
<country wicri:rule="url">Hongrie</country>
</affiliation>
</author>
<author><name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
<affiliation wicri:level="1"><mods:affiliation>Department of Mathematics, McGill University, H3A 2K6, Montréal, PQ, Canada</mods:affiliation>
<country xml:lang="fr">Canada</country>
<wicri:regionArea>Department of Mathematics, McGill University, H3A 2K6, Montréal, PQ</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>Department of Mathematics, Princeton University, 08540, Princeton, NJ, USA</mods:affiliation>
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Mathematics, Princeton University, 08540, Princeton, NJ</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: darmon@math.princeton.edu</mods:affiliation>
<country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
<affiliation wicri:level="1"><mods:affiliation>School of Mathematics Institute for Advanced Study, 08540, Princeton, NJ, USA</mods:affiliation>
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>School of Mathematics Institute for Advanced Study, 08540, Princeton, NJ</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>Department of Mathematics, Penn State University, 16802, University Park, PN, USA</mods:affiliation>
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Mathematics, Penn State University, 16802, University Park, PN</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: ono@math.ias.edu</mods:affiliation>
<country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Progress in Mathematics</title>
<imprint><date>1996</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Congruences for Fourier coefficients of integer weight modular forms have been the focal point of a number of investigations. In this note we shall exhibit congruences for Fourier coefficients of a slightly different type. Let $$ f(z)\, = \,\sum\nolimits_{n = 0}^\infty {a(n)q^n } $$ be a holomorphic half integer weight modular form with integer coefficients. If ℓ is prime, then we shall be interested in congruences of the form $$ a(lN)\, \equiv \,0\,\bmod \,l $$ where N is any quadratic residue (resp. non-residue) modulo ℓ. For every prime ℓ > 3 we exhibit a natural holomorphic weight $$ \frac{l} {2}\, + \,1 $$ modular form whose coefficients satisfy the congruence a(ℓN) ≡ 0 mod ℓ for every N satisfying $$ \left( {\frac{{ - N}} {l}} \right)\, = \,1 $$ . This is proved by using the fact that the Fourier coefficients of these forms are essentially the special values of real Dirichlet L—series evaluated at $$ s\, = \,\left( {\frac{{1 - l}} {2}} \right) $$ which are expressed as generalized Bernoulli numbers whose numerators we show are multiples of ℓ. From the works of Carlitz and Leopoldt, one can deduce that the Fourier coefficients of these forms are almost always a multiple of the denominator of suitable Bernoulli numbers. Using these examples as a template, we establish sufficient conditions for which the Fourier coefficients of a half integer weight modular form are almost always divisible by a given positive integer M. We also present two more examples of half-integer weight forms with such congruence properties, whose coefficients are determined by the special values at the center of the critical strip for the quadratic twists of the modular L- functions associated to the modular form Δ of weight 12 and level 1, and to the unique form η 8(z)η8(2z) of weight 8 and level 2. We suggest a conceptual explanation for these congruences by remarking that the twists of the mod p Galois representations (p = 11 and 7 respectively) associated to these two forms are isomorphic to the Galois representations associated to certain elliptic curves of odd analytic rank.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001F73 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001F73 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Mathematiques |area= BourbakiV1 |flux= Istex |étape= Curation |type= RBID |clé= ISTEX:9B2BE230F203ABC86C1EB0748AA56B504D328548 |texte= Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions }}
This area was generated with Dilib version V0.6.33. |