Linear quadratic Chabauty

Technische Samenvatting: Lineaire Kwadratische Chabauty

Probleemstelling
Het artikel behandelt de berekening van integrale punten $U(\mathbb{Z})$ (of $U(\mathcal{O}_K)$ over getallenvelden) op hyperelliptische curven $X: y^2 = f(x)$. Specifiek richt het zich op curven van even graad $2g+2$ waarbij de leidende coëfficiënt van $f$ een kwadraat is. De auteurs werken onder de standaard Chabauty-conditie waarbij de Mordell–Weil-rang $r$ van de Jacobiaan $J$ gelijk is aan de genus $g$ (of een gegeneraliseerde bovengrens over getallenvelden voldoet).

Bestaande methoden voor integrale punten, zoals de kwadratische Chabauty-methode ontwikkeld door Balakrishnan, Besser en Müller [BBM16, BBM17], vertrouwen op het construeren van een niet-triviale lokaal analytische functie $\rho$ waarvan de waarden op integrale punten in een eindige, berekenbare verzameling liggen. Echter, deze bestaande benaderingen zijn technisch complex en vereisen instrumenten zoals $p$-adische Arakelov-theorie, uitbreidingen van lokale hoogtes naar divisors met gemeenschappelijke ondersteuning, dubbele Coleman-integralen en integralen met tangentiële basispunten. Bovendien wordt de berekening van dubbele Coleman-integralen geïdentificeerd als de primaire bottleneck wat betreft snelheid.

Methodologie
De auteurs introduceren een "Lineaire Kwadratische Chabauty"-methode die de constructie van de functie $\rho$ vereenvoudigt door de specifieke geometrie van even-graads curven met kwadratische leidende coëfficiënten te exploiteren.

1. Geometische opzet: Omdat de leidende coëfficiënt van $f$ een kwadraat is, bestaat er een niet-triviale $\mathbb{Q}$-rationele divisor van graad 0 ondersteund bij de twee punten in het oneindige, aangeduid als $\infty^-$ en $\infty^+$.
2. Linearisering van de hoogte: De methode maakt gebruik van de globale $p$-adische hoogte-paring $h$ (Coleman–Gross). De auteurs observeren dat de lineaire functionaal $\lambda(a) = h(\infty^- - \infty^+, a)$ op de Jacobiaan kan worden uitgedrukt als een lineaire combinatie van Coleman-integralen van holomorfe differentiaalvormen $\omega_i = x^i dx/y$. Dit is mogelijk omdat de ruimte van lineaire afbeeldingen $J(\mathbb{Q}) \otimes \mathbb{Q}_p \to \mathbb{Q}_p$ gespannen wordt door deze integralen wanneer $r=g$.
3. Constructie van $\rho$: In plaats van dubbele integralen te gebruiken, definiëren de auteurs de functie $\rho: U(\mathbb{Z}_p) \to \mathbb{Q}_p$ als:
   $$\rho(P) = \sum_{i=0}^{g-1} \alpha_i \int_Q^P \omega_i - h_p(\infty^- - \infty^+, P - Q)$$
   waarbij $Q$ een bekend integraal punt is, en $\alpha_i$ coëfficiënten zijn die worden bepaald door de lineaire relatie van de hoogte, en $h_p$ de lokale hoogte bij $p$ is.
4. Restrictie tot integrale punten: Voor een integraal punt $P$ impliceert de globale hoogte-relatie:
   $$\rho(P) = \sum_{q \neq p} h_q(\infty^- - \infty^+, P - Q)$$
   De auteurs analyseren de lokale hoogtes $h_q$ voor $q \neq p$. Ze bewijzen dat voor goede priemgetallen deze hoogtes verdwijnen, en voor slechte priemgetallen nemen ze waarden aan in een eindige, berekenbare verzameling $T_q$ afgeleid van de intersectietheorie op een regulier model van de curve. Zo is $\rho(P)$ beperkt tot een eindige verzameling $T = \sum T_q$.
5. Generalisatie naar getallenvelden: De methode wordt uitgebreid naar getallenvelden $K$ van graad $d$. Door gebruik te maken van meerdere onafhankelijke continue idèle-klasse karakteren $\chi$, genereren de auteurs $d - r_K$ aanvullende vergelijkingen (waarbij $r_K$ de rang is van de eenheidengroep). Gecombineerd met $r_K$ vergelijkingen uit restrictie van scalairen, levert dit een stelsel van $d$ vergelijkingen op die voldoende zijn om de integrale punten af te snijden onder de conditie $\text{rk}(J/K) \leq dg - r_K$.

Belangrijkste Bijdragen

• Vereenvoudiging: De methode elimineert de noodzaak voor dubbele Coleman-integralen, tangentiële basispunten en $p$-adische Arakelov-theorie. Het steunt uitsluitend op enkelvoudige Coleman-integralen en standaard lokale hoogte-berekeningen.
• Efficiëntie: Door dubbele integralen te vermijden, is de methode aanzienlijk sneller dan voorgaande implementaties van kwadratische Chabauty.
• Nieuwe Toepasbaarheid: Het biedt een praktische algoritme voor even-graads hyperelliptische curven met een kwadratische leidende coëfficiënt, een geval waar voorgaande methoden ofwel onbruikbaar waren, ofwel complexere instrumenten vereisten.
• Getallenveld-extensie: Het artikel generaliseert de techniek om $\mathcal{O}_K$-integrale punten te berekenen, door gebruik te maken van een combinatie van lineaire relaties via restrictie van scalairen en $p$-adische hoogtes geassocieerd met idèle-klasse karakteren.

Resultaten en Voorbeelden
De auteurs bieden expliciete implementaties en voorbeelden:

• Over $\mathbb{Q}$: Zij berekenen de integrale punten op een genus 2 curve $y^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9$. De methode isoleert succesvol de integrale punten en bewijst dat de verzameling compleet is.
• Over $\mathbb{Q}(\sqrt{7})$: Zij bepalen de $\mathcal{O}_K$-integrale punten op een genus 2 curve gedefinieerd over het reële kwadratische veld $K = \mathbb{Q}(\sqrt{7})$. Dit voorbeeld betreft een Jacobiaan met rang 3 en vereist de combinatie van de nieuwe lineaire kwadratische Chabauty-methode met de Mordell–Weil-sieve. De auteurs merken op dat geen enkele andere bekende methode dit specifieke voorbeeld kon behandelen.

Betekenis en Claims
Het artikel claimt dat deze benadering "aanzienlijk eenvoudiger en sneller" is dan alle bestaande versies van de kwadratische Chabauty-methode. De primaire betekenis ligt in de reductie van de technische overhead: door de $p$-adische hoogte te beperken tot een lineaire functie via de divisor in het oneindige, omzeilen de auteurs de meest computationeel zware en theoretisch complexe componenten van het vorige kader.

De auteurs zijn bescheiden over de reikwijdte en erkennen dat:

• De methode vereist dat de leidende coëfficiënt van $f$ een kwadraat is (of een negatief kwadraat).
• Voor niet-kwadratische leidende coëfficiënten zou de uitbreiding van de methode nog steeds de complexere instrumenten vereisen (dubbele integralen, Arakelov-theorie) die dit artikel juist probeert te vermijden.
• De resulterende verzameling punten niet altijd eindig of gelijk aan de verzameling integrale punten is zonder de hulp van de Mordell–Weil-sieve.
• De methode momenteel beperkt is tot priemgetallen die volledig splitsen in het getallenveld geval, hoewel de theoretische resultaten algemener gelden.

Het werk wordt gepresenteerd als een praktische verbetering voor een specifieke maar belangrijke klasse van curven, en biedt een toegankelijker en efficiënter instrument voor het berekenen van integrale punten in de context van de Chabauty–Coleman methode.