On the $v$-adic values of G-functions II

Titel en Context

Titel: On the v-adic values of G-functions II: Towards Effective Brauer-Siegel
Auteur: Georgios Papas
Datum: 23 maart 2026
Onderwerp: Getaltheorie, $p$-adische analyse, G-functies, CM-elliptische krommen.

Dit artikel is het tweede deel van een reeks die zich richt op de studie van waarden van G-functies geassocieerd met een 1-parameter familie van abelse variëteiten. In dit specifieke deel wordt de focus gelegd op families van elliptische krommen. Het doel is om de resultaten van André en Beukers te verruimen, met name door relaties tussen waarden van G-functies te construeren in situaties die eerder niet volledig waren behandeld, zoals bij plaatsen met gewone reductie of bij ramificatie in het CM-veld.

---

1. Het Probleem

De kern van het onderzoek ligt in het bestuderen van waarden van G-functies (specifieke oplossingen van lineaire differentiaalvergelijkingen met algebraïsche coëfficiënten) op punten die corresponderen met elliptische krommen met Complex Multiplication (CM).

• De setting: Beschouw een familie elliptische krommen $f: E \to S$ gedefinieerd over een getallichaam $K$, en een specifiek punt $s_0 \in S(K)$ waarbij de vezel $E_{s_0}$ een CM-elliptische kromme is.
• De uitdaging: Men wil algebraïsche relaties vinden tussen de waarden van de geassocieerde G-functies $Y_G(s)$ op andere punten $s$ (waarbij $E_s$ ook CM heeft) en het centrum $s_0$, specifiek in de $v$-adische topologie (voor een plaats $v$ van $K$).
• De beperking van eerdere werken:
  • Beukers ([Beu93]): Construeerde relaties voor archimedische plaatsen en eindige plaatsen met gewone reductie (behalve voor $p=2,3$), maar niet voor supersinguliere reductie of ramificatie.
  • André ([And95]): Construeerde relaties voor supersinguliere reductie, maar alleen voor plaatsen waar de CM-veld niet-ramificeert.
• Het gat: Er ontbrak een systematische constructie van relaties voor:
  1. Plaatsen $v$ waarbij de centrale vezel $E_{s_0}$ gewone reductie heeft (ordinary reduction).
  2. Plaatsen $v$ die liggen boven een priemgetal $p$ dat ramificeert in het CM-veld van $E_{s_0}$.

Het uiteindelijke doel is het afleiden van effectieve hoogtegrenzen (height bounds) voor deze punten, wat een stap is richting een effectieve versie van de stelling van Siegel over classaantallen van imaginair kwadratische velden (het "Effective Brauer-Siegel" probleem).

---

2. Methodologie

De auteur gebruikt een combinatie van $p$-adische Hodge-theorie, de theorie van perioden van CM-elliptische krommen en de "G-functies methode" ontwikkeld door André.

A. Perioden en Vergelijkingsisomorfismen

• Er wordt gewerkt met periodenmatrices die voortkomen uit vergelijkingen tussen cohomologietheorieën:
  • Archimedisch: De Rham vs. Betti (Grothendieck).
  • Niet-archimedisch: De Rham vs. Crystalline (Berthelot-Ogus).
• Canonieke bases: Voor een CM-elliptische kromme worden specifieke "Hodge-bases" en "crystalline bases" gedefinieerd die eigenvectoren zijn voor de actie van het endomorfismenveld. Dit is cruciaal om de structuur van de periodenmatrix te vereenvoudigen (diagonaal maken).
• Reductie types: Het gedrag van de periodenmatrix hangt af van of de reductie van de kromme modulo $v$ gewoon (ordinary) of supersingulier is.

B. Constructie van Relaties

De methode bestaat uit het construeren van polynomen $R_{s,v}$ met algebraïsche coëfficiënten zodanig dat $R_{s,v}(Y_G(s)) = 0$ in de $v$-adische topologie, maar $R_{s,v}(Y_G(x)) \neq 0$ als functie.

1. Geval Gewone Reductie (Ordinary):

   • Als $E_{s_0}$ gewone reductie heeft, zijn de eigenwaarden van de Frobenius-actie op de crystalline cohomologie verschillend (slopes 0 en 1).
   • Door de functorialiteit van de vergelijking tussen de Rham en crystalline cohomologie en het bestaan van een isogenie tussen $E_s$ en $E_{s_0}$ (zolang ze hetzelfde CM-veld hebben), kan de auteur aantonen dat een specifieke component van de periodenmatrix nul moet zijn.
   • Cruciaal resultaat: De gevonden polynoom is onafhankelijk van de specifieke plaats $v$. Dit betekent dat er één universele polynoom bestaat voor alle gewone plaatsen.

2. Geval Supersinguliere Reductie (Supersingular):

   • Dit herneemt de resultaten van André. Hier is de constructie afhankelijk van de plaats $v$, en de polynomen hangen af van de specifieke eigenschappen van de supersinguliere reductie.

3. Geval Ramificatie (Ramified Primes):

   • Voor plaatsen boven priemgetallen die ramificeren in het CM-veld, wordt bewezen dat $E_s$ en $E_{s_0}$ noodzakelijkerwijs hetzelfde CM-veld delen (gebruikmakend van een generalisatie van de formule van Gross-Zagier door Lauter-Viray).
   • Hierdoor bestaat er een isogenie, en via sporen van endomorfismen in de crystalline cohomologie kan een niet-triviale relatie worden geconstrueerd.

C. Hoogtegrenzen (Height Bounds)

De geconstrueerde relaties worden gebruikt in het kader van het "Hasse-principe voor G-functies" (André-Bombieri). Als er een niet-triviale algebraïsche relatie bestaat die geldt voor een verzameling plaatsen, kan dit worden vertaald naar een bovengrens voor de (Weil) hoogte van het punt $s$.

---

3. Belangrijkste Resultaten

Stelling 1.1 (Hoofdstelling)

Laat $f: E \to S$ een familie elliptische krommen zijn en $s_0$ een punt met CM-vezel $E_{s_0}$.

• Als $s$ $v$-adisch dicht bij $s_0$ ligt, bestaat er een polynoom $R_{s,v}$ met algebraïsche coëfficiënten zodanig dat $\iota_v(R_{s,v}(Y_G(s))) = 0$.
• Nieuwheid: Voor plaatsen $v$ met gewone reductie van $E_{s_0}$ is de polynoom $R_{s,v}$ onafhankelijk van $v$. Dit is een structureel nieuw inzicht in de G-functies methode.
• Voor plaatsen met supersinguliere reductie of ramificatie worden ook relaties geconstrueerd, maar deze zijn afhankelijk van de specifieke plaats of het ramificatiegedrag.

Stelling 6.4 en 6.5 (Hoogtegrenzen)

De auteur leidt een effectieve hoogtegrens af voor singular moduli $j$ (j-invarianten van CM-krommen):
$$h(j) \leq C_1 ([Q(j):Q] + |P(j)|)^{C_2}$$
waarbij:

• $h(j)$ de Weil-hoogte is.
• $[Q(j):Q]$ de graad van het veld is.
• $|P(j)|$ het aantal "supersinguliere plaatsen van nabijheid" is (plaatsen waar $j$ dicht bij $j_0$ ligt en de vezel supersingulier is).

Verband met Effectief Brauer-Siegel

De paper toont aan dat het probleem van het vinden van een effectieve versie van de stelling van Siegel (ondergrens voor classaantallen) gereduceerd kan worden tot het vinden van een schatting voor het aantal supersinguliere plaatsen $|P(j)|$.

• Als men kan bewijzen dat $|P(j)|$ polynomiaal begrensd is door de graad $[Q(j):Q]$, dan volgt een effectieve versie van de stelling van Siegel.
• Helaas is dit laatste deel (het begrenzen van $|P(j)|$) nog niet opgelost en vormt het de huidige bottleneck.

---

4. Significatie en Bijdrage

1. Volledigheid van de theorie: De paper sluit de gaten in de theorie van André en Beukers door relaties te construeren voor alle relevante types van plaatsen (gewoon, supersingulier, geramd).
2. Onafhankelijkheid van de plaats: De ontdekking dat de relaties voor gewone reductie onafhankelijk zijn van de plaats $v$, is een fundamenteel inzicht. Het suggereert een diepere, uniforme structuur in de G-functies die eerder onopgemerkt bleef.
3. Effectiviteit: Hoewel de paper geen volledige effectieve versie van de stelling van Siegel levert, reduceert het het probleem tot een specifiek, meetbaar obstakel: het tellen van supersinguliere plaatsen van nabijheid. Dit verschaft een duidelijke route voor toekomstig onderzoek.
4. Technische verfijning: De toepassing van de vergelijking tussen De Rham en Crystalline cohomologie in de context van families van elliptische krommen en het gebruik van canonieke bases voor CM-variëteiten wordt hier verder uitgewerkt en gestandaardiseerd.

Conclusie

Georgios Papas levert in dit artikel een essentiële stap in de ontwikkeling van de G-functies methode voor het bestuderen van CM-elliptische krommen. Door nieuwe algebraïsche relaties te construeren voor gewone en geramificeerde plaatsen, en door de onafhankelijkheid van deze relaties van de plaats aan te tonen, wordt de weg vrijgemaakt voor effectieve hoogtegrenzen. De paper identificeert duidelijk dat de oplossing voor het "Effective Brauer-Siegel" probleem nu afhangt van het begrijpen van de verdeling van supersinguliere plaatsen in de $p$-adische omgeving van CM-punten.