The Zilber--Pink conjecture for products of curves with highly degenerate reduction

Sintesi Tecnica: La Congettura di Zilber–Pink per Prodotti di Curve con Riduzione Altamente Degenerata

Enunciato del Problema
Il saggio affronta la congettura di Zilber–Pink nel contesto specifico di autoprodotti di curve algebriche. Sia $X$ una curva irriducibile, liscia e proiettiva di genere $g$ su $\mathbb{C}$, e sia $J$ il suo Jacobiano. La congettura riguarda l'insieme dei punti in $X^n$, il prodotto $n$-fold di sé stessa, che sono "linearmente dipendenti" nel Jacobiano. Nello specifico, sia $\iota: X \to J$ la morfismo di Abel–Jacobi rispetto a un punto base $b$. L'insieme di interesse è:
$$X^n(\mathbb{C})_{\text{rk}<n} := \{(x_1, \dots, x_n) \in X^n(\mathbb{C}) : \text{rk}\langle \iota(x_1), \dots, \iota(x_n) \rangle < n\}.$$
La Congettura 1 postula che questo insieme non sia denso in senso Zariski in $X^n$. Sebbene la congettura generale di Zilber–Pink per varietà abeliane (Congettura 2) sia nota in casi che coinvolgono la moltiplicazione complessa o prodotti di curve ellittiche, il caso per curve generiche con $\text{End}(J) = \mathbb{Z}$ rimane in gran parte aperto. Il lavoro precedente dell'autore (Dogra, 2022) ha stabilito questo per $n < g$ su $\mathbb{Q}_p$ utilizzando il metodo di Chabauty–Coleman, ma estendere questo a un intervallo più ampio di $n$ e $g$ richiedeva nuove tecniche.

Metodologia
La strategia di prova sintetizza la teoria dell'integrazione $p$-adica con i risultati di trascendenza funzionale, nello specifico adattando il lavoro di Katz, Rabinoff e Zureick-Brown (KRZB) su limiti espliciti di Manin–Mumford. L'approccio procede in tre fasi principali:

1. Riduzione alla Geometria $p$-adica: Il problema viene ridotto a dimostrare la non-densità in senso Zariski su $\mathbb{Q}_p$. L'autore utilizza la teoria dell'integrazione di Coleman, che definisce gli integrali abeliani $p$-adici $\int_b^z \omega$. La condizione di dipendenza lineare nel Jacobiano si traduce nella scomparsa dei determinanti di questi integrali.
2. Gestione della Riduzione Altamente Degenerata: A differenza delle precedenti applicazioni del metodo Chabauty–Coleman, che spesso assumono una buona riduzione o una semplice cattiva riduzione, questo saggio affronta curve con riduzione altamente degenerata. La fibra speciale $X_{\mathbb{F}_p}$ è una curva stabile con un grafo duale $\Gamma$. L'autore costruisce un ricoprimento ammissibile dello spazio analitico rigido $X^{\text{an}}$ utilizzando vicinati stretti $U_v^+$ associati ai vertici e agli spigoli di $\Gamma$.
3. Caratterizzazione Analitica Rigida e Ax–Schanuel:
   • L'autore identifica un sottospazio $W \subseteq H^0(X, \Omega)$ di forme differenziali tale che la restrizione dell'integrale $\int \omega$ a questi vicinati diventi una funzione analitica rigida.
   • Analizzando la coomologia de Rham di questi vicinati ($H^1_{dR}(U_v^+/\mathbb{Q}_p)$), l'autore assicura che $\dim(W) \geq n$ sotto specifiche condizioni combinatorie sul grafo duale.
   • Il problema viene poi ridotto allo studio dell'intersezione dell'immagine della curva sotto la mappa logaritmo con un sottospazio lineare $Z_n(W^*)$.
   • Infine, viene invocato il teorema di Ax–Schanuel per varietà abeliane. Questo teorema implica che se l'intersezione della curva con il sottospazio lineare contiene una componente di dimensione positiva, tale componente deve mappare in un traslato di un sottogruppo proprio. Poiché la curva non è contenuta in tale sottogruppo, l'intersezione non può essere densa in senso Zariski.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1, che fornisce una condizione sufficiente sulla tipologia di riduzione della curva $X$ affinché la Congettura 1 sia valida.

• Teorema 1: Sia $X/\mathbb{Z}_p$ una curva stabile di genere $g$ con fibra generica liscia. Sia $\Gamma$ il grafo duale della fibra speciale $X_{\mathbb{F}_p}$. Sia $g(v)$ il genere del componente corrispondente al vertice $v$, e $E(S)$ l'insieme degli spigoli incidenti a un sottoinsieme di vertici $S$. Se $n$ soddisfa:
  $$n \leq \min \left\{ g - \#E(S) - 2 \sum_{v \in S} g(v) : S \subset V(\Gamma), \#S \leq n \right\},$$
  allora la Congettura 1 vale per $X$ e $n$.

• Limiti Espliciti: Il saggio dimostra che per ogni $n$ fissato, esistono infinitamente molte curve (specificamente, quelle con genere $g$ sufficientemente grande e specifici grafi di riduzione stabile) che soddisfano queste condizioni. Ad esempio, quando $n=2$, curve di genere $g \geq 7$ con specifici grafi di riduzione stabile soddisfano il teorema.

• Raffinamento delle Condizioni: La Nota 4 osserva che la prova produce in realtà un risultato leggermente più forte: è sufficiente che il nucleo della mappa di restrizione $H^0(X, \Omega) \to \bigoplus_{v \in S} H^1_{dR}(U_v^+/\mathbb{Q}_p)$ abbia dimensione almeno $n$ per tutti i sottoinsiemi $S$ di dimensione $\leq n$. Questa condizione è più debole del limite combinatorio esplicito nel Teorema 1 in certe configurazioni (ad esempio, una curva di genere 4 con una specifica struttura del grafo duale).

Significato e Rivendicazioni
Il saggio afferma di fornire una prova di infiniti nuovi casi della congettura di Zilber–Pink per gli autoprodotti di curve. La significatività risiede nell'estensione della strategia di Katz–Rabinoff–Zureick-Brown, precedentemente utilizzata per la congettura di Manin–Mumford (il caso $n=1$), a prodotti superiori ($n > 1$) e tipologie di riduzione più complesse.

L'autore dichiara esplicitamente che la strategia segue il lavoro di Katz, Rabinoff e Zureick-Brown sui limiti espliciti di Manin–Mumford, arricchendolo per gestire l'impostazione di Zilber–Pink. Il saggio non pretende di provare la congettura generale per tutte le curve o per tutti gli $n$, ma stabilisce una classe concreta di curve con "riduzione altamente degenerata" dove la congettura è verificata. Il lavoro si basa sulla teoria della deformazione delle curve stabili per mostrare l'esistenza di tali curve su campi numerici (specificamente $\mathbb{Q}$), fornendo così nuovi casi della congettura in tale ambito.