$L$-functions of elliptic curves in ring class extensions of real quadratic fields via regularized theta liftings

Technische Samenvatting: L-functies van elliptische curven in ringklasse-extensies van reële kwadratische velden via geregulariseerde theta-lifts

Probleemstelling
Het artikel behandelt het analytische gedrag van de Hasse-Weil $L$-functie $L(E/K, \chi, s)$ geassocieerd met een elliptische curve $E/\mathbb{Q}$ met conductor $N$, gebaseerd op een reëel kwadratisch veld $K = \mathbb{Q}(\sqrt{d})$ en getwist door een ringklasse-karakter $\chi$ met conductor $c$. Specifiek richt het werk zich op de centrale afgeleide waarde $\Lambda'(E/K, \chi, 1)$ (evenwijdig $\Lambda'(1/2, \Pi \otimes \chi)$) in de setting van "gedwongen verdwijning" (forced vanishing). Deze setting treedt op wanneer de wortelgetal (root number) van de functionaalvergelijking $-1$ is, wat de centrale waarde $\Lambda(1/2, \Pi \otimes \chi)$ dwingt om te verdwijnen.

Hoewel de Gross-Zagier-formule en haar generalisaties (bijv. door Waldspurger, Popa en Bruinier-Yang) succesvol centrale afgeleiden relateren aan de hoogtes van Heegner-punten (CM-cycli) in de context van imaginaire kwadratische velden, presenteert de reële kwadratische casus een significante obstructie: er zijn geen CM-punten in de reële kwadratische setting. Bijgevolg ontbreken de geometrische objecten die vereist zijn om de afgeleide via arithmetische doorsnedetheorie te interpreteren. Dit artikel beoogt een integraalpresentatie voor deze centrale afgeleiden in de reële kwadratische casus af te leiden, waarbij reële geodesische cycli op het product van modulaire curven de plaats innemen van CM-cycli.

Methodologie
De auteur maakt gebruik van de theorie van geregulariseerde theta-lifts en automorfe Green-functies, waarbij het kader van Bruinier en Yang (die de imaginaire kwadratische casus behandelden) wordt aangepast aan de signaturen $(2,2)$ en $(1,1)$ die relevant zijn voor reële kwadratische velden.

1. Geometrische Opzet: Het werk maakt gebruik van de uitzonderlijke isomorfie tussen de spin-groep $GSpin(V_A)$ van een rationale kwadratische ruimte $V_A$ van signature $(2,2)$ en $GL_2 \times_{G_m} GL_2$. Dit identificeert de geassocieerde spin Shimura-variëteit $X_A$ met het product van modulaire curven $Y_0(N) \times Y_0(N)$.
2. Anisotrope Subruimten: De auteur introduceert anisotrope subruimten $(V_{A,1}, Q_{A,1})$ en $(V_{A,2}, Q_{A,2})$ van signature $(1,1)$, gedefinieerd via ideaalrepresentanten van de ringklasse-groep. Deze subruimten geven aanleiding tot reële geodesische cycli $G_A$ op $Y_0(N) \times Y_0(N)$, die dienen als de reële kwadratische analogen aan CM-cycli.
3. Geregulariseerde Theta-lifts: De kernberekening betreft het evalueren van geregulariseerde theta-lifts $\Phi(f_0, z, h)$ langs deze geodesische cycli. Hierbij is $f_0$ een harmonische zwakke Maass-vorm van gewicht 0. Deze lifts worden geïdentificeerd als automorfe Green-functies voor Hirzebruch-Zagier-divisoren op $X_A$.
4. Siegel-Weil en Maass-operatoren: De afleiding steunt op de Siegel-Weil-formule om theta-integralen te relateren aan Eisenstein-reeksen. Cruciaal is dat de auteur Maass gewichtsverhogende en -verlagende operatoren ($R_l$ en $L_l$) gebruikt om de afgeleide van een incoherente Eisenstein-reeks (geassocieerd met de signature $(1,1)$ subruimte) te relateren aan het holomorfe deel van de afgeleide Eisenstein-reeks. Dit maakt de decompositie van de theta-lift-integraal in drie afzonderlijke termen mogelijk:
   • Een constante term paarvorming waarbij het holomorfe deel van de Maass-vorm wordt gekoppeld aan het holomorfe deel van de afgeleide Eisenstein-reeks.
   • Een geregulariseerde Rankin-Selberg integraal betreffende de "schaduw" van de Maass-vorm.
   • De integraal van de Green-functie langs de reële geodesische cyclus.

Belangrijkste Bijdragen en Resultaten

• Hoofdtheorema (Theorema 4.18 / Corolarium 4.19): Het artikel stelt een nieuwe integraalpresentatie vast voor de centrale afgeleide waarde $\Lambda'(1/2, \Pi \otimes \chi)$. De formule drukt deze waarde uit als een $\chi$-getwiste som over de ringklasse-groep $\text{Pic}(\mathcal{O}_c)$ van:

  1. Een constante term paarvorming: $\text{CT}\langle\langle f^+_{0,A}, 1_{L_{A,1}\oplus 0} \otimes E_{L_{A,2}} \rangle\rangle$.
  2. Een geregulariseerde Rankin-Selberg integraal: $I'(0, f_{0,A} \times \xi_0(\theta_{L_{A,1}}))$.
  3. Een som van automorfe Green-functies geëvalueerd langs reële geodesische cycli: $\frac{\text{vol}(U_{A,2})}{2} \Phi(f_{0,A}, G_A)$.

  De formule luidt:
  $$\Lambda'(1/2, \Pi \otimes \chi) = -2h_K \log \varepsilon_K \sum_{A \in \text{Pic}(\mathcal{O}_c)} \chi(A) \left( \text{CT}\langle\langle \dots \rangle\rangle + I'(\dots) + \frac{\text{vol}(U_{A,2})}{2} \Phi(f_{0,A}, G_A) \right)$$
  waarbij $h_K$ de klassenaantal is en $\varepsilon_K$ de fundamentele eenheid van $K$.

• Geometrische Interpretatie: Het werk biedt een geometrische interpretatie van de reële geodesische cycli $G_A$ als componenten van de rand van de Borel-Serre compactificatie van een getwiste Siegel drievoud (een spin Shimura-variëteit van signature $(3,2)$). Dit suggereert een randinterpretatie voor de "Stark-Heegner" punten in $E(K[c])$.

• Toepassing op de Birch-Swinnerton-Dyer (BSD) vermoeden: Het artikel relateert deze analytische formules aan het verfijnde BSD-vermoeden.

  • Conditionele Resultaten: Onder aanname van het BSD-vermoeden bieden de afgeleide formules expliciete expressies voor de regulator $R_E(K[c])$ en de orde van de Tate-Shafarevich groep $\#\text{X}_E(K[c])$ in termen van de bovenstaande automorfe integralen.
  • Onvoorwaardelijke Identiteit (Theorema 5.1): Onder specifieke hypothesen (semistabiele reductie, irreducibiliteit van residuele Galois-representaties, en een rang-conditie waarbij exact één van $L(E,1)$ of $L(E(d_K),1)$ verdwijnt), leidt de auteur een onvoorwaardelijke identiteit af. Deze identiteit koppelt een product van arithmetische invarianten (regulatoren, Tamagawa-getallen, perioden en orden van Tate-Shafarevich groepen voor $E$ en de kwadratische twist van $E$) aan de som van de automorfe integralen beschreven in het hoofdtheorema.

Betekenis en Claims

• Het artikel beweert de eerste bekende formule te bieden die centrale afgeleide waarden van $L$-functies in de reële kwadratische setting relateert aan geometrische invarianten geassocieerd met reële geodesische cycli op het product van modulaire curven.

• Analogie met Gross-Zagier: Het resultaat wordt gepresenteerd als een reële kwadratische analogon van de Gross-Zagier-formule. In tegenstelling tot de imaginaire kwadratische casus, waar de afgeleide gerelateerd is aan de hoogte van een CM-punt, is de reële kwadratische afgeleide gerelateerd aan de evaluatie van Green-functies langs niet-compacte geodesische cycli.

• Nieuwigheid van de Methode: De auteur merkt op dat het argument niet volgt uit het arithmetische doorsnedekader van Kudla's programma (dat steunt op CM-cycli) noch de berekeningen van Bruinier-Yang voor CM-cycli op spin Shimura-variëteiten. In plaats daarvan komt de afleiding voort uit het evalueren van Green-functies langs geodesische cycli geparametriseerd door Lorentziaanse kwadratische ruimten, gebruikmakend van Siegel-Weil identiteiten geïnterpreteerd via Maass-operatoren.

• Perioden: Het artikel suggereert dat de waarden $\Lambda'(E/K, \chi, 1)$ perioden zijn, waarbij dit in speciale gevallen wordt afgeleid via Kontsevich-Zagier argumenten, wat consistent is met de verwachting dat speciale $L$-waarden perioden zijn.

Het werk beweert niet de existentie van rationale punten (Stark-Heegner punten) te bewijzen, maar biedt een formule die, indien dergelijke punten bestaan en het BSD-vermoeden bevredigen, hun hoogtes zou relateren aan deze specifieke automorfe integralen. Het biedt een nieuw perspectief op de herkomst van deze punten via de randen van hogere-dimensionale Shimura-variëteiten.