Uniform Bounds on S-Integral Torsion Points for $\mathbb{G}_m$ and Elliptic Curves

Technische Samenvatting: Uniforme Grenzen aan S-integere Torsiepunten voor $G_m$ en Elliptische Krommen

Probleemstelling
Het artikel behandelt het probleem van het vaststellen van uniforme grenzen aan het aantal en de graad van $S$-integere torsiepunten ten opzichte van een niet-torsiepunt $\beta$. Laat $K$ een getallenlichaam zijn en $S$ een eindige verzameling plaatsen, inclusief alle archimedeische plaatsen. Twee punten $\alpha, \beta$ worden als $S$-integraal ten opzichte van elkaar gedefinieerd indien hun Zariski-sluitingen in $\mathbb{P}^1_{\mathcal{O}_K}$ buiten $S$ niet snijden.

Het fundamentele resultaat van Baker, Ih, en Rumely [BIR08] (Stelling 1.1) stelt vast dat voor een vast $\beta \in K^\times \setminus \mu_\infty$, de verzameling eenheidswortels $\zeta$ die $S$-integraal zijn ten opzichte van $\beta$, eindig is. Het artikel tracht dit te versterken door uniformiteit te bewijzen: specifiek, of de grenzen aan de graad of de orde van dergelijke torsiepunten onafhankelijk kunnen worden gemaakt van de specifieke keuze van $\beta$, mits $\beta$ varieert over getallenvelden van begrensde graad.

Methodologie
De kernmethodologie steunt op de kwantitatieve equidistributie van Galois-banen van torsiepunten. De bewijsstrategie omvat:

1. Equidistributiekaders:

   • Voor de multiplicatieve groep $G_m$ maakt het artikel gebruik van de Berkovich projectieve lijn $\mathbb{P}^1_{\text{Berk}, v}$ en de kwantitatieve equidistributiestellingen van Favre–Rivera-Letelier [FR06]. Dit maakt expliciete controle mogelijk over de convergentiesnelheid van Galois-banen naar de evenwichtsmaat (Haar-maat op de eenheidscirkel voor archimedeische plaatsen, en de delta-massa bij het Gauss-punt voor niet-archimedeische plaatsen) naarmate het basisveld varieert.
   • Voor elliptische krommen $E$ past het artikel resultaten van Baker–Petsche [BP05] en Petsche [Pet09] aan. Het construeert analoge kwantitatieve schattingen voor de convergentie van torsiebanen naar de canonieke maat op de Berkovich-analytificatie $E^{\text{an}}_v$ (Haar-maat voor archimedeische, skelet-maat voor niet-archimedeische plaatsen).

2. Lineaire vormen in logaritmen:
   Om het "uniformiteitsaspect" aan te pakken (het begrenzen van de afstand tussen een torsiepunt en een variërend $\beta$), maakt het artikel gebruik van ondergrenzen voor lineaire vormen in logaritmen.

   • Voor $G_m$ wordt gebruikgemaakt van de grenzen van Laurent, Mignotte, en Nesterenko [LMN95].
   • Voor elliptische krommen wordt gebruikgemaakt van resultaten van David–Hirata-Kohno [DH09] voor het algemene geval en Ably–Gaudron [AG03] voor het geval met complexe multiplicatie (CM).
   • Een cruciale technische stap is het begrenzen van de term $\lambda_v(x - \beta)$ (de lokale hoogte) in termen van de grootte van de Galois-baan $|F|$ en de hoogte $h(\beta)$. Het artikel merkt op dat algemene grenzen voor elliptische krommen een extra factor $\log^+ h(\beta)$ bevatten, wat een directe uniforme grens belemmert en de noodzaak impliceert voor het toestaan van een eindig aantal uitzonderlijke banen.

3. Discretie-argumenten:
   Voor niet-archimedeische plaatsen maakt het artikel gebruik van de discretie van torsiepunten in residuklassen. Het toont aan dat voor een vast $\beta$ slechts een begrensd aantal torsiepunten "te dicht" bij $\beta$ kan liggen in de $v$-adische metriek, waardoor de auteurs een kleine verzameling uitzonderingen kunnen uitsluiten om polynomiale grenzen te bereiken.

Belangrijkste Bijdragen en Resultaten

1. Voor de Multiplicatieve Groep ($G_m$):

• Stelling 1.2: Vestigt een uniforme grens op de graad van een eenheidswortel $\zeta$ die $S$-integraal is ten opzichte van een niet-torsiepunt $\beta$, waarbij $\beta$ varieert over getallenvelden van graad $\le D$. Specifiek bestaat er een constante $C = C([K:\mathbb{Q}], S)$ zodanig dat $\deg_{\mathbb{Q}}(\zeta) < C$.
• Stelling 1.3: Biedt een sterker resultaat dat toestaat dat er een eindig aantal uitzonderingen zijn. Voor elk $\beta$ bestaat de verzameling $S$-integere eenheidswortels met een graad die een polynomiale grens overschrijdt in $|S|$ en $[K:\mathbb{Q}]$, uit maximaal $|S_{\text{fin}}|$ Galois-banen. De grens groeit polynomiaal met de graad van het veld, hoewel het algemene bewijs een exponentiële grens oplevert; de polynomiale grens wordt bereikt door uitzonderingen toe te staan.

2. Voor Elliptische Krommen ($E$):

• Stelling 1.4 (CM-geval): Voor een elliptische kromme met complexe multiplicatie (CM) bewijst het artikel een uniforme grens op de graad van een torsiepunt $z$ dat $S$-integraal is ten opzichte van een niet-torsie $\beta$. De CM-aanname is hier cruciaal, omdat deze het mogelijk maakt de $\log^+ h(\beta)$-factor in de lineaire vormen in elliptische logaritmen te verwijderen, wat een resultaat zonder uitzonderingen mogelijk maakt.
• Stelling 1.5 (Algemeen geval): Voor een semistabiele elliptische kromme $E$ (zonder de CM-aanname) bewijst het artikel een uniforme grens die geldt voor alle op een eindig aantal Galois-banen na. Specifiek is de verzameling $S$-integere torsiepunten met een graad die een grens overschrijdt van $|S|^3 [L:K]^{11}$ een vereniging van maximaal $|S|$ Galois-banen. De uitzonderingen ontstaan omdat algemene grenzen voor lineaire vormen in elliptische logaritmen een $\log^+ h(\beta)$-factor bevatten, en archimedeische schattingen niet sterk genoeg zijn om alle uitzonderingen uit te sluiten zonder deze ruimte te laten.

Betekenis en Claims
Het artikel claimt de eindelijkheidsresultaten van Baker, Ih, en Rumely [BIR08] uit te breiden naar de sfeer van uniformiteit. Waar [BIR08] eindigheid bewees voor een vast $\beta$, toont dit werk aan dat de grenzen aan de torsiepunten enkel afhangen van de graad van het veld waarin $\beta$ zich bevindt en de verzameling $S$, in plaats van de specifieke rekenkundige eigenschappen van $\beta$ zelf.

De auteurs merken op dat hun bewijs voor $G_m$ (Stelling 1.2) een bovengrens biedt die exponentieel groeit met de graad $[K:\mathbb{Q}]$, terwijl een polynomiale groei wordt verwacht op basis van constructies door Boyd. Zij verduidelijken dat een polynomiale grens bereikbaar is (Stelling 1.3) alleen indien men een kleine, expliciet begrensde verzameling uitzonderlijke Galois-banen toestaat.

Voor elliptische krommen benadrukt het artikel de technische noodzaak van de Complex Multiplication-aanname voor Stelling 1.4 om uitzonderingen te vermijden, wat zij toeschrijven aan de huidige beperkingen van lineaire vormen in elliptische logaritmen voor niet-CM krommen. De resultaten voor algemene elliptische krommen (Stelling 1.5) worden gepresenteerd als de best mogelijke uniforme grenzen binnen de huidige kennis, waarbij een eindig aantal banen moet worden uitgesloten om de logaritmische hoogtefactoren in de onderliggende Diophantische benaderingstheorema's te overwinnen.

Het artikel concludeert door deze resultaten te situeren binnen de bredere context van de conjectuur van Ih betreffende de eindigheid van $S$-integere preperiodieke punten voor rationale afbeeldingen, en suggereert dat de hier ontwikkelde methoden, gecombineerd met equidistributietheorema's, uitgebreid kunnen worden naar Drinfeld-modules en potentieel naar de algemene conjectuur.