Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants

Technische Samenvatting: Polylogarithmische Motivische Chabauty–Kim voor $\mathbb{P}^1 \setminus \{0, 1, \infty\}$: De Geometrische Stap via Resultanten

1. Probleemstelling
Het artikel behandelt de expliciete bepaling van de verzameling $S$-integers $X(\mathbb{Z}_S)$ op de drievoudig gepunctureerde projectieve lijn $X = \mathbb{P}^1 \setminus \{0, 1, \infty\}$, waarbij $S$ een eindige verzameling priemgetallen is. Volgens de stelling van Siegel is deze verzameling eindig en equivalent aan de oplossingen van de $S$-eenheidsvergelijking $a + b = 1$ met $a, b \in \mathbb{Z}_S^\times$.

De auteurs richten zich op de polylogarithmische motivische Chabauty–Kim methode, een verfijning van Kim's niet-abelse Chabauty-programma. Deze methode construeert een geneste sequentie van verzamelingen die convergeren naar $X(\mathbb{Z}_S)$:
$$X(\mathbb{Z}_p) \supseteq X(\mathbb{Z}_p)^{PL}_{S,1} \supseteq X(\mathbb{Z}_p)^{PL}_{S,2} \supseteq \dots \supseteq X(\mathbb{Z}_S)$$
waarbij $X(\mathbb{Z}_p)^{PL}_{S,d}$ de nulverzameling is van specifieke polynomen in $p$-adische enkelvoudige polylogarithmen met coëfficiënten in de shuffle-algebra $\mathcal{O}(U_S)$ van de pro-unipotente gemengde Tate-fundamentele groep.

De berekening van deze verzamelingen wordt verdeeld in twee stappen:

1. Geometrische stap: Het vinden van niet-triviale elementen in de kern van een specifieke cocycle-afbeelding $\theta^\#$, die "motivische Chabauty–Kim functies" definieert. Dit zijn polynomen in een gewogen ring met unipotente de Rham polylogarithmen ($\log_u, \text{Li}_n$) met coëfficiënten in de shuffle-algebra $\mathcal{O}(U_S)$.
2. Arithmetische stap: Het evalueren van deze functies onder de $p$-adische periode-afbeelding om $p$-adische functies te verkrijgen waarvan de nulverzamelingen $X(\mathbb{Z}_S)$ benaderen.

Terwijl de geometrische stap voor $|S|=1$ diepgaand is opgelost voor diepte $d \le 4$, wordt deze voor $|S| \ge 2$ computationeel onbehandelbaar met voorgaande methoden. De auteur richt zich specifiek op het geval $|S|=2$, met als doel het construeren van expliciete motivische Chabauty–Kim functies in dieptes groter dan 4.

2. Methodologie
De auteurs stellen een nieuwe aanpak voor de geometrische stap voor die de directe berekening van de kern van een enorme matrix over een polynoomring vermijdt, een taak die zij aantonen onhaalbaar te zijn voor $|S|=2$, zelfs met supercomputers.

• Coördinaatmodel: Het Selmer-schema wordt affien gemodelleerd met behulp van niet-canonieke coördinaten. De afbeelding $\theta^\#$ wordt uitgedrukt als een homomorfisme van gegradeerde algebra's:
  $$\theta^\#: \mathcal{O}(U_S)[\log_u, \text{Li}_1, \dots, \text{Li}_d] \to \mathcal{O}(U_S)[\Phi]$$
  Het doel is om niet-nul elementen te vinden in de kern van deze afbeelding, beperkt tot specifieke graden.

• Bovengrens Algoritme: Om non-existentie-resultaten voor lage graden vast te stellen, implementeren de auteurs een algoritme dat de matrixrepresentatie van $\theta^\#_{d,v}$ evalueert op willekeurige gehele punten in de coëfficiëntenring. Volgens Proposition 5.5, als de dimensie van de kern nul is voor een generieke evaluatie, dan is de kern over de polynoomring triviaal. Dit stelt hen in staat om de non-existentie van dergelijke functies te bewijzen voor graden $v < 18$ wanneer $|S|=2$.

• Resultanten Methode: Voor het construeren van functies waar ze bestaan, introduceren de auteurs een methode gebaseerd op resultanten.

  1. Zij analyseren de vergelijkingen die $\theta^\#$ definiëren voor $|S|=2$ (waar $\Sigma_{-1} = \{\tau_p, \tau_q\}$).
  2. Zij voeren een eliminatieproces uit om de variabelen $\Phi_{\sigma_{2n-1}}$ en $\Phi_{\tau_{e_1}}$ uit te drukken in termen van $\Phi_{\tau_{e_0}}$ en de afbeeldingen van de polylogarithmen.
  3. Deze reductie levert twee polynoomvergelijkingen op, $P_4(X)$ en $P_6(X)$, in één variabele $X = \Phi_{\tau_p}^{e_0}$, waarbij $P_k(X) = \theta^\#(\nu_k(X))$.
  4. Aangezien deze polynomen een gemeenschappelijke wortel delen ($\Phi_{\tau_p}^{e_0}$), moet hun resultant nul zijn: $\text{Res}(P_4, P_6) = 0$.
  5. Omdat $\theta^\#$ een homomorfisme is, ligt $\text{Res}(\nu_4, \nu_6)$ in de kern van $\theta^\#$. De auteurs berekenen expliciet de polynomen $\nu_4(X)$ en $\nu_6(X)$ en hun resultant.

3. Belangrijkste Bijdragen en Resultaten
Het artikel levert de eerste expliciete constructie van motivische Chabauty–Kim functies voor $|S| \ge 2$ in diepte $d > 4$.

• Non-existentie in Lage Graden: Met behulp van hun bovengrens algoritme bewijzen de auteurs dat er voor $|S|=2$ geen niet-triviale motivische Chabauty–Kim functies bestaan van graad minder dan 18.
• Optimale Diepte en Graad: Zij bewijzen dat de laagste diepte waarbij een niet-triviale functie bestaat diepte 6 is, en de minimale graad is 18.
• Expliciete Constructie: Zij construeren een specifieke niet-triviale functie, aangeduid als $F^{|2|}_{6,18}$, van diepte 6 en graad 18.
  • Deze functie is afgeleid van de resultant $\text{Res}(\nu_4(X), \nu_6(X))$.
  • De resultant blijkt te factoriseren als $(\log_u)^6 (\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1) F^{|2|}_{6,18}$.
  • De factor $(\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1)$ komt overeen met de bekende oplossing voor $|S|=1$, terwijl $F^{|2|}_{6,18}$ de nieuwe, niet-triviale component specifiek voor $|S|=2$ is.
• Uniciteit: Zij bewijzen dat elke andere motivische Chabauty–Kim functie van diepte $<19$ en graad 18 een veelvoud is van $F^{|2|}_{6,18}$ door een element van $\mathcal{O}(U_S)$.
• Verrassend Bestaan: De auteurs benadrukken dat het bestaan van $F^{|2|}_{6,18}$ niet gegarandeerd wordt door eenvoudige dimensietelling (de domeindimensie 996 is kleiner dan de codomeindimensie 4183 bij deze diepte/graad), wat wijst op nieuwe fenomenen in de theorie die niet zichtbaar zijn in het $|S|=1$ geval.

4. Betekenis en Claims
Het artikel claimt het eerste werk te zijn dat expliciete Chabauty–Kim aanpakt in diepte $>4$ voor $|S| \ge 2$.

• Algoritmische Vooruitgang: Het transformeert de geometrische stap van een brute-force lineaire algebra probleem (onhaalbaar voor $|S| \ge 2$) naar een beheersbaar eliminatietheorie probleem met behulp van resultanten.
• Theoretisch Inzicht: De constructie onthult dat de coëfficiënten van deze functies, hoewel gegarandeerd in de Goncharov-subalgebra te liggen, individuele termen kunnen vereisen die niet in deze subalgabra liggen, wat aanwijzingen geeft over de structuur van de arithmetische stap.
• Generalisatie: De auteurs schetsen een strategie om de resultant-methode uit te breiden naar $|S| > 2$ door iteratief resultanten te nemen om variabelen te elimineren, hoewel zij opmerken dat het verifiëren van niet-trivialiteit aanzienlijk moeilijker wordt in het algemene geval.

Dit werk dient als een bewijs van concept dat de geometrische stap effectief kan worden gemaakt voor grotere verzamelingen $S$ en hogere dieptes, en biedt de nodige instrumenten om potentieel de Chabauty–Kim conjectuur voor de $S$-eenheidsvergelijking in voorheen ontoegankelijke regimes te verifiëren.