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

Sintesi Tecnica: Polilogaritmo Motivico di Chabauty–Kim per $\mathbb{P}^1 \setminus \{0, 1, \infty\}$: Il Passo Geometrico via Risultanti

1. Enunciato del Problema
Il documento affronta la determinazione esplicita dell'insieme dei punti $S$-integrali $X(\mathbb{Z}_S)$ sulla retta proiettiva con tre punti rimossi $X = \mathbb{P}^1 \setminus \{0, 1, \infty\}$, dove $S$ è un insieme finito di primi. Per il teorema di Siegel, questo insieme è finito ed è equivalente alle soluzioni dell'equazione delle $S$-unità $a + b = 1$ con $a, b \in \mathbb{Z}_S^\times$.

Gli autori si concentrano sul metodo polilogaritmico motivico di Chabauty–Kim, un raffinamento del programma di Chabauty–Kim non abeliano di Kim. Questo metodo costruisce una sequenza nidificata di insiemi che convergono a $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)$$
dove $X(\mathbb{Z}_p)^{PL}_{S,d}$ è il luogo di annullamento di specifici polinomi in polilogaritmi singoli $p$-adici.

Il calcolo di questi insiemi è diviso in due passi:

1. Passo Geometrico: Trovare elementi non triviali nel nucleo di una specifica mappa di cociclo $\theta^\#$, che definisce le "funzioni di Chabauty–Kim motiviche". Queste sono polinomi in un anello pesato che coinvolge polilogaritmi de Rham unipotenti ($\log_u, \text{Li}_n$) con coefficienti nell'algebra di shuffle $\mathcal{O}(U_S)$ del gruppo fondamentale misto Tate pro-unipotente.
2. Passo Aritmetico: Valutare queste funzioni sotto la mappa di periodo $p$-adica per ottenere funzioni $p$-adiche i cui zeri approssimano $X(\mathbb{Z}_S)$.

Mentre il passo geometrico è stato risolto per $|S|=1$ in profondità $d \le 4$, esso diventa computazionalmente intrattabile per $|S| \ge 2$ utilizzando i metodi precedenti. Il presente documento prende di mira specificamente il caso $|S|=2$, con l'obiettivo di costruire esplicitamente funzioni di Chabauty–Kim motiviche in profondità superiori a 4.

2. Metodologia
Gli autori propongono un nuovo approccio al passo geometrico che evita il calcolo diretto del nucleo di una massiccia matrice su un anello polinomiale, un compito che dimostrano essere impraticabile per $|S|=2$ anche con supercomputer.

• Modello di Coordinate: Lo schema di Selmer è modellato affinamente usando coordinate non canoniche. La mappa $\theta^\#$ è espressa come un omomorfismo di algebre graduate:
  $$\theta^\#: \mathcal{O}(U_S)[\log_u, \text{Li}_1, \dots, \text{Li}_d] \to \mathcal{O}(U_S)[\Phi]$$
  L'obiettivo è trovare elementi non nulli nel nucleo di questa mappa ristretta a specifici gradi.

• Algoritmo di Limite Superiore: Per stabilire risultati di non esistenza per bassi gradi, gli autori implementano un algoritmo che valuta la rappresentazione matriciale di $\theta^\#_{d,v}$ in punti interi casuali dell'anello dei coefficienti. In base alla Proposizione 5.5, se la dimensione del nucleo è zero per una valutazione generica, il nucleo sull'anello polinomiale è banale. Ciò permette loro di provare la non esistenza di tali funzioni per gradi $v < 18$ quando $|S|=2$.

• Metodo delle Risultanti: Per la costruzione di funzioni laddove esse esistono, gli autori introducono un metodo basato sulle risultanti.

  1. Analizzano le equazioni che definiscono $\theta^\#$ per $|S|=2$ (dove $\Sigma_{-1} = \{\tau_p, \tau_q\}$).
  2. Eseguono un processo di eliminazione per esprimere le variabili $\Phi_{\sigma_{2n-1}}$ e $\Phi_{\tau_{e_1}}$ in termini di $\Phi_{\tau_{e_0}}$ e delle immagini dei polilogaritmi.
  3. Questa riduzione produce due equazioni polinomiali, $P_4(X)$ e $P_6(X)$, in una singola variabile $X = \Phi_{\tau_p}^{e_0}$, dove $P_k(X) = \theta^\#(\nu_k(X))$.
  4. Poiché questi polinomi condividono una radice comune ($\Phi_{\tau_p}^{e_0}$), la loro risultante deve annullarsi: $\text{Res}(P_4, P_6) = 0$.
  5. Dato che $\theta^\#$ è un omomorfismo, $\text{Res}(\nu_4, \nu_6)$ risiede nel nucleo di $\theta^\#$. Gli autori calcolano esplicitamente i polinomi $\nu_4(X)$ e $\nu_6(X)$ e la loro risultante.

3. Contributi Chiave e Risultati
Il documento fornisce la prima costruzione esplicita di funzioni di Chabauty–Kim motiviche per $|S| \ge 2$ in profondità $d > 4$.

• Non Esistenza in Bassi Gradi: Utilizzando il loro algoritmo di limite superiore, gli autori dimostrano che per $|S|=2$, non esistono funzioni di Chabauty–Kim motiviche non triviali di grado inferiore a 18.
• Profondità e Grado Ottimali: Dimostrano che la più bassa profondità alla quale esiste una funzione non triviale è la profondità 6, e il grado minimo è 18.
• Costruzione Esplicita: Costruiscono una specifica funzione non triviale, denotata $F^{|2|}_{6,18}$, di profondità 6 e grado 18.
  • Questa funzione è derivata dalla risultante $\text{Res}(\nu_4(X), \nu_6(X))$.
  • La risultante è mostrata essere fattorizzabile come $(\log_u)^6 (\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1) F^{|2|}_{6,18}$.
  • Il fattore $(\text{Li}_2 - \frac{1}{2}\log_u \text{Li}_1)$ corrisponde alla soluzione nota per $|S|=1$, mentre $F^{|2|}_{6,18}$ è la nuova componente non triviale specifica per $|S|=2$.
• Unicità: Dimostrano che qualsiasi altra funzione di Chabauty–Kim motivica di profondità $<19$ e grado 18 è un multiplo di $F^{|2|}_{6,18}$ per un elemento di $\mathcal{O}(U_S)$.
• Esistenza Sorprendente: Gli autori evidenziano come l'esistenza di $F^{|2|}_{6,18}$ non sia garantita da un semplice conteggio dimensionale (la dimensione del dominio 996 è minore della dimensione del codominio 4183 a questa profondità/grado), suggerendo nuovi fenomeni nella teoria non visibili nel caso $|S|=1$.

4. Significato e Rivendicazioni
Il documento rivendica di essere il primo lavoro ad affrontare esplicitamente Chabauty–Kim in profondità $>4$ per $|S| \ge 2$.

• Avanzamento Algoritmico: Trasforma il passo geometrico da un problema di algebra lineare brute-force (impraticabile per $|S| \ge 2$) in un gestibile problema di teoria dell'eliminazione tramite risultanti.
• Intuizione Teorica: La costruzione rivela che i coefficienti di queste funzioni, pur essendo garantiti di appartenere alla sottoalgebra di Goncharov, possono richiedere termini individuali che non appartengono a tale sottoalgebra, offrendo indizi sulla struttura del passo aritmetico.
• Generalizzazione: Gli autori delineano una strategia per estendere il metodo delle risultanti a $|S| > 2$ attraverso l'uso iterativo di risultanti per eliminare le variabili, pur notando che la verifica della non trivialità diventa significativamente più difficile nel caso generale.

Questo lavoro funge da prova di concetto che il passo geometrico può essere reso efficace per insiemi $S$ più grandi e profondità maggiori, fornendo gli strumenti necessari per potenzialmente verificare la congettura di Chabauty–Kim per l'equazione delle $S$-unità in regimi precedentemente inaccessibili.