Newform Eisenstein Congruences of Local Origin

Titel: Newform Eisenstein-congruenties van lokale oorsprong

Auteurs: Dan Fretwell en Jenny Roberts

---

1. Probleemstelling en Achtergrond

De theorie van Eisenstein-congruenties heeft een rijke geschiedenis, beginnend met de observatie van Ramanujan dat de Fourier-coëfficiënten $\tau(n)$ van de discriminantfunctie $\Delta(z)$ congruent zijn aan de som van delers $\sigma_{11}(n)$ modulo 691. Deze congruentie kan worden geïnterpreteerd als een congruentie tussen een cuspidale vorm (de nieuwe vorm $\Delta$) en een Eisenstein-reeks ($E_{12}$).

De auteurs richten zich op een veralgemening van dit fenomeen. Het centrale probleem is het vaststellen van de voorwaarden waaronder er een congruentie bestaat tussen:

1. Een nieuwe vorm (newform) $f$ van gewicht $k \geq 3$, niveau $NM$ (waarbij $N$ en $M$ willekeurige, onderling ondeelbare, kwadraatvrije gehele getallen zijn) en karakter $\chi$ met conductor $N$.
2. Een Eisenstein-reeks van gewicht $k$, niveau $N$ en karakter $\chi$, die wordt opgebouwd uit twee Dirichlet-karakters $\psi$ en $\phi$ (waarbij $\psi\phi = \chi$).

Specifiek onderzoeken de auteurs congruenties die "van lokale oorsprong" zijn. Dit betekent dat de moduli van de congruentie niet alleen voortkomen uit de waarden van Dirichlet-L-functies (zoals in het klassieke geval), maar ook uit de waarden van lokale Euler-factoren. Dit is gerelateerd aan de Bloch-Kato-vermoeden, dat een verband legt tussen de $p$-delbaarheid van speciale waarden van motivische L-functies en de torsie in Bloch-Kato Selmer-groepen.

2. Methodologie

De auteurs gebruiken een combinatie van de theorie van modulaire vormen, Galois-voorstellingen en cohomologie van groepen:

• Constructie van Eisenstein-reeksen: Ze definiëren een familie van Eisenstein-reeksen $E_\delta$ van niveau $NM$ door de operator $\alpha_M$ (schaling) en Hecke-operatoren $T_p$ toe te passen op een basis-Eisenstein-reeks van niveau $N$. Hiermee kunnen ze de constante termen van deze reeksen op alle cuspen analyseren.
• Galois-voorstellingen: Ze gebruiken de door Deligne geconstrueerde $\lambda$-adische Galois-voorstellingen $\rho_{f,\lambda}$ geassocieerd met de nieuwe vorm $f$. Een congruentie impliceert dat deze voorstelling modulo $\lambda$ reduzibel is (reducibel tot een som van karakters).
• Lokale analyse: Door de lokale samenstellende factoren van de Galois-voorstelling bij priemgetallen $p$ die $M$ delen te vergelijken met de verwachte karakters van de Eisenstein-reeks, leiden ze noodzakelijke voorwaarden af.
• Cohomologie en Bloch-Kato: Ze relateren de congruentie aan niet-triviale elementen in de Bloch-Kato Selmer-groep $H^1_f(\mathbb{Q}, C_{\psi,\phi}^{k,l})$. Ze tonen aan dat de deling van de L-waarde correspondeert met de aanwezigheid van deze elementen.
• Bewijsstrategie:
  • Voor de omgekeerde implicatie (als er een congruentie is, dan gelden de voorwaarden): Gebruik maken van de eigenschappen van de Galois-voorstelling en de analyse van de constante termen van de Eisenstein-reeksen.
  • Voor de directe implicatie (als de voorwaarden gelden, dan bestaat er een congruentie): Gebruik maken van het Deligne-Serre-liftinglemma en Carayol's lemma om een eigenvorm te construeren die voldoet aan de congruentie.

3. Kernbijdragen en Hoofdstellingen

De paper introduceert een algemeen vermoeden (Conjecture 3.1) en levert bewijzen voor specifieke gevallen.

Het Algemeen Vermoeden (Conjecture 3.1):
Er bestaat een nieuwe vorm $f \in S_k^{new}(\Gamma_0(NM), \tilde{\chi})$ die voldoet aan de congruentie
$$a_q(f) \equiv \psi(q) + \phi(q)q^{k-1} \pmod \lambda$$
voor alle priemgetallen $q \nmid NM$, dan en slechts dan als twee voorwaarden gelden voor een priem $\lambda' | l$:

1. Globale voorwaarde: De orde van de L-waarde vermenigvuldigd met een product van Euler-factoren is positief:
   $$\text{ord}_{\lambda'}\left(L(1-k, \psi^{-1}\phi) \prod_{p|M} (\psi(p) - \phi(p)p^k)\right) > 0.$$
2. Lokale voorwaarde: Voor elke priem $p$ die $M$ deelt, moet gelden dat ofwel $\psi(p) \equiv \phi(p)p^k$ ofwel $\psi(p) \equiv \phi(p)p^{k-2}$ modulo $\lambda'$.

Belangrijkste Resultaten:

• Theorema 3.5 (Omgekeerde Implicatie): Het bewijst dat als er een nieuwe vorm bestaat die aan de congruentie voldoet, dan moeten zowel voorwaarde (1) als (2) gelden.
• Theorema 3.6 (Bestaan van Eigenvormen): Het bewijst dat voorwaarde (1) voldoende is om het bestaan van een eigenvorm (niet noodzakelijk een nieuwe vorm) te garanderen die aan de congruentie voldoet.
• Theorema 3.7 (Volledig Bewijs voor $M=p$): Het bewijst dat het vermoeden volledig waar is wanneer $M$ een priemgetal is. In dit geval garanderen de voorwaarden het bestaan van een echte nieuwe vorm (newform).
• Bottleneck voor algemeen $M$: De auteurs tonen aan dat voor samengestelde $M$ de voorwaarden wel het bestaan van "lokale" nieuwe vormen garanderen (een $p$-nieuwe vorm voor elke $p|M$), maar het is nog niet gelukt om te bewijzen dat deze samenvallen tot één enkele "globale" nieuwe vorm van niveau $NM$.

4. Relatie met het Bloch-Kato Vermoeden

De paper legt een expliciet verband tussen de gevonden congruenties en het Bloch-Kato vermoeden:

• De deling van de gedeeltelijke L-waarde $L_{PNM}(k, \psi\phi^{-1})$ door $\lambda'$ impliceert het bestaan van een niet-triviaal element in de Bloch-Kato Selmer-groep.
• De auteurs analyseren hoe de lokale voorwaarden (2) corresponderen met de "nieuwheid" van deze cohomologische elementen.
• Ze concluderen dat de voorwaarden (1) en (2) samen het bestaan van cohomologische elementen voorspellen die "lokaal nieuw" zijn voor de priemgetallen die $M$ delen. Dit ondersteunt de intuïtie dat de congruenties van nieuwe vormen de meetkundige realisatie zijn van deze cohomologische elementen.

5. Significantie en Conclusie

• Veralgemening: Het werk veralgemeent eerdere resultaten (zoals die van Dummigan, Spencer, Billerey en Menares) naar willekeurige kwadraatvrije niveaus en karakters.
• Lokale Oorsprong: Het benadrukt het belang van "lokale oorsprong" congruenties, waarbij de deling van Euler-factoren (in plaats van alleen de volledige L-waarde) cruciaal is voor het bestaan van nieuwe vormen op verhoogde niveaus.
• Open Vraag: De paper identificeert een fundamenteel obstakel in de theorie: het overbruggen van het bestaan van lokale nieuwe vormen naar een globale nieuwe vorm voor samengestelde niveaus.
• Berekeningsvoorbeelden: De auteurs leveren computationele voorbeelden (met behulp van MAGMA en LMFDB-data) die het vermoeden illustreren, inclusief gevallen met samengestelde $M$ (bijv. $M=6$) die nog niet formeel bewezen zijn maar numeriek ondersteund worden.

Samenvattend biedt dit artikel een diepgaande analyse van de voorwaarden waaronder modulaire vormen van verhoogd niveau congruent zijn aan Eisenstein-reeksen, en koppelt deze aan de diepere structuren van de Bloch-Kato-vermoeden, met een helder onderscheid tussen wat bewezen is en wat nog een open probleem blijft.