A canonical generator for congruence ideals of Hida families

Probleemstelling
Het artikel behandelt de constructie en de arithmetische studie van canonieke adjujecte $p$-adische $L$-functies geassocieerd met Hida-families van modulaire vormen. Hoewel $p$-adische $L$-functies voor de adjujecte lift van een modulaire vorm eerder zijn geconstrueerd door Schmidt en Hida, stemden deze constructies niet volledig overeen met het Coates-Perrin-Riou-raamwerk voor motieven. Specifiek steunde de normalisatie van perioden in bestaande constructies op de Petersson-norm $\langle f, f \rangle$, terwijl motivische overwegingen suggereren dat de correcte periode de productvorm van $p$-genormaliseerde Shimura-perioden, $\Omega^+_f \Omega^-_f$, zou moeten bevatten. De discrepantie impliceert dat de bestaande $p$-adische $L$-functies ratio's zijn van "echte" motivische $p$-adische $L$-functies. Het centrale probleem is het construeren van een canonieke generator voor de congruentie-ideaal van een Hida-familie, aangeduid als $L_p(\text{ad } F)$, die de ratio van de adjujecte $L$-waarde tot de product van Shimura-perioden interpoleert, en deze generator te relateren aan het karakteristieke ideaal van de adjujecte Selmer-groep.

Methodologie
De auteur hanteert een cohomologische benadering geworteld in de theorie van Hida-families en de koppeling van Ohta. De methodologie verloopt via verschillende belangrijke stappen:

1. Cohomologische opzet en de koppeling van Ohta: De constructie maakt gebruik van de anti-ordinaire cohomologie van de toren van modulaire curven, $e^*H^1(Np^\infty)$. De auteur gebruikt een perfecte $\Lambda$-adische koppeling geconstrueerd door Ohta op deze ruimte, die de Petersson-normen van anti-ordinaire eigenvormen interpoleert. Aangezien Hida-families bijdragen aan de ordinaire cohomologie, wordt de Atkin-Lehner-involutie gebruikt om integrale structuren tussen ordinare en anti-ordinaire cohomologie te transporteren, waardoor de toepassing van de koppeling van Ohta op de ordinare setting mogelijk wordt.
2. Kanoneke perioden en definitie van de $L$-functie: Door een basis te fixeren voor de relevante cohomologie-modules (die vrij zijn van rang 1 over de lokale Hecke-algebra onder specifieke irreducibiliteitsvoorwaarden), definieert de auteur de $p$-adische adjujecte $L$-functie $L_p(\text{ad } F)$ als de waarde van de koppeling van Ohta op deze basiselementen. Deze definitie zorgt ervoor dat de $L$-functie een canonieke generator is van de congruentie-ideaal.
3. Interpolatie en Euler-factoren: Het artikel analyseert de specialisatie van deze $L$-functie in arithmetische punten (klassieke modulaire vormen). Het toont aan dat deze specialisaties de ratio van de adjujecte $L$-waarde tot de product van Shimura-perioden interpoleren, tot expliciete Euler-factoren en machten van $p$ toe. De auteur construeert ook een universeel element $L_\Sigma(\text{ad } \rho)$ in een grote Hecke-algebra die specialiseert naar de $L$-functies van diverse Hida-families die dezelfde residuele Galois-representatie delen, waarbij rekening wordt gehouden met veranderingen in de tamme graad via Euler-factoren.
4. Relatie tot Selmer-groepen: Het artikel relateert het analytische object ($L_p(\text{ad } F)$) aan het algebraïsche object (de adjujecte Selmer-groep $\text{Sel}(\text{ad } F)$). Het maakt gebruik van de theorie van Galois-deformaties (specifiek de isomorfisme tussen de universele deformatie-ring en de Hecke-ring vastgesteld door Wiles, Taylor-Wiles en Diamond) en de module van continue Kähler-differentiaalvormen. Door de lokale condities bij priemgetallen in een eindige verzameling $\Sigma$ te analyseren, stelt de auteur een verbinding vast tussen het karakteristieke ideaal van de Selmer-groep en de $p$-adische $L$-functie, waarbij wordt gecorrigeerd voor uitzonderlijke priemgetallen waar de lokale automorfe representatie supercuspidaal is.

Belangrijkste bijdragen en resultaten

• Stelling A (Constructie van $L_p(\text{ad } F)$): Onder de aanname dat de residuele Galois-representatie $\rho_F$ absoluut irreducibel en $p$-onderscheidend is, construeert de auteur een generator $L_p(\text{ad } F)$ van de congruentie-ideaal van de Hida-familie $F$. De specialisatie van dit element bij een klassieke nieuwe vorm $f$ wordt expliciet gegeven door:
  $$L_p(\text{ad } f) = p^{r-1}\alpha^r w(f^\circ) E_p(\text{ad } f^\circ) \cdot \frac{(-2i)^k \langle f^\circ, f^\circ \rangle}{\Omega^+_{f^\circ} \Omega^-_{f^\circ}}$$
  Dit bevestigt dat de geconstrueerde $L$-functie de congruentie-ideaal genereert en de correcte motivische periode-ratio interpoleert.

• Stelling B (Universeel element in de Grote Hecke-algebra): Het artikel construeert een regulier element $L_\Sigma(\text{ad } \rho)$ in het tensorproduct van de universele ordinare Hecke-algebra en de coëfficiënt-ring. Dit element specialiseert naar de adjujecte $p$-adische $L$-functie van elke primitieve Hida-familie met residuele representatie $\rho$, tot de Euler-factoren geassocieerd met priemgetallen in een eindige verzameling $\Sigma$. Dit resultaat interpreteert het bestaan van congruenties tussen Petersson-normen van verschillende $p$-ordinare nieuwe vormen die dezelfde residuele representatie delen.

• Stelling C (Hoofdvermoeden voor Adjujecte Selmer-groepen): Onder de sterkere aanname dat de residuele representatie absoluut irreducibel is over $\mathbb{Q}(\mu_p)$, bewijst het artikel dat de Pontryagin-dual van de primitieve adjujecte Selmer-groep een torsiemodule is. Voor een twist-minimale Hida-familie $F$ is het karakteristieke ideaal van deze Selmer-groep gelijk aan het ideaal gegenereerd door de $p$-adische $L$-functie, aangepast door een product van lokale factoren bij uitzonderlijke priemgetallen $\Sigma_e$:
  $$\text{char}_I \text{Sel}(\text{ad } F)^\vee = \left( \prod_{\ell \in \Sigma_e} (1 + \ell^{-1})^{-1} \right) L_p(\text{ad } F) \cdot I$$

Betekenis
Het artikel beweert een rigoureuze constructie te bieden van "echte" motivische adjujecte $p$-adische $L$-functies die natuurlijk passen binnen het raamwerk van congruentie-idealen en Selmer-groepen. Door gebruik te maken van de koppeling van Ohta en de Atkin-Lehner-involutie, lost de auteur de normalisatieproblemen op die aanwezig zijn in eerdere constructies (Schmidt-Hida), waardoor de $L$-functies diepe algebraïsche invarianten zoals de grootte van Bloch-Kato Selmer-groepen vastleggen. De resultaten vestigen een precieze gelijkheid tussen de analytische $p$-adische $L$-functie en het algebraïsche karakteristieke ideaal van de adjujecte Selmer-groep, wat eerdere resultaten van Hida, die beperkt waren tot minimaal ramifieerde gevallen, generaliseert. Het werk verheldert ook het gedrag van deze $L$-functies onder twisting en veranderingen in de tamme graad, wat een verenigd raamwerk biedt voor het bestuderen van congruenties tussen Petersson-normen.