The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields

Sintesi Tecnica: La Congettura Metabeliana di Grothendieck per Curve di Genere Zero su Campi Finitely Generati

Enunciato del Problema
Il saggio affronta la congettura di Grothendieck nel contesto della geometria anabelian, concentrandosi specificamente sulla ricostruzione della classe di isomorfismo di una curva iperbolica dal suo gruppo fondamentale. Mentre la versione completa della congettura per curve iperboliche su campi finitamente generati su $\mathbb{Q}$ (caratteristica 0) e su campi finiti (caratteristica positiva) è stata stabilita da Nakamura, Tamagawa, Mochizuki e Stix, questo lavoro investiga una versione troncata.

Il problema centrale è se il quoziente metabeliano del gruppo fondamentale tame geometricamente massimale sia sufficiente per ricostruire la curva. Nello specifico, per una curva iperbolica smooth $X$ di tipo $(g, r)$ su un campo $k$, sia $\Pi_X$ il gruppo fondamentale tame e $\Delta_X$ il gruppo fondamentale tame geometrico. Il saggio considera il quoziente metabeliano massimale del gruppo geometrico, denotato $\Delta_X^{meta} = \Delta_X / \Delta_X''$, e il corrispondente quoziente del gruppo completo, $\Pi_X^{meta} = \Pi_X / \Delta_X''$.

La congettura postula che per due tali curve $X_1$ e $X_2$, un isomorfismo dei loro gruppi fondamentali metabeliani sopra il gruppo galoisiano assoluto $G_k$ implica che le curve siano isomorfe su $k$ (fino alla torsione di Frobenius in caratteristica positiva). Il saggio si rivolge specificamente al caso di genere zero ($g=0$) con un numero sufficiente di punti buco ($r \geq 5$).

Metodologia
La strategia di prova si basa su un approccio di "ricostruzione gruppoteorica", dove gli invarianti geometrici vengono recuperati esclusivamente dalla struttura del gruppo fondamentale metabeliano. La metodologia procede attraverso diverse fasi chiave:

1. Ricostruzione degli Invarianti: L'autore stabilisce innanzitutto che gli invarianti di base, come il fatto che il campo di base sia finito o infinito, il numero di punti buco $r$ e il carattere ciclotomico, possono essere ricostruiti dal quoziente metabeliano $\Pi_X^{meta}$. Ciò comporta l'analisi della filtrazione di peso del massimo quoziente abeliano $\Delta_X^{ab}$.
2. Gruppi di Decomposizione e Sezioni: Un componente critico è la ricostruzione dei gruppi di decomposizione (sottogruppi corrispondenti a punti chiusi della curva) dal quoziente metabeliano. Il saggio introduce il concetto di quasi-sezioni geometriche (omomorfismi continui da sottogruppi aperti di $G_k$ al gruppo fondamentale).
3. Proprietà di Separazione: Utilizzando la teoria di Kummer e argomenti coomologici, l'autore dimostra proprietà di "separazione". Questi risultati dimostrano che distinti punti chiusi sulla curva corrispondono a distinti (o non commensurabili) gruppi di decomposizione all'interno del gruppo fondamentale, a condizione che $r$ sia sufficientemente grande.
4. Ricostruzione della Curva su Campi Finiti: Per il caso in cui il campo di base $k$ sia un campo finito, l'autore ricostruisce il campo delle funzioni e la struttura dello schema della curva. Ciò comporta la definizione di un monoide moltiplicativo $K(\Pi^{ab})$ derivato dal gruppo fondamentale e la dimostrazione che esso è isomorfo al campo delle funzioni $K(X)$. Questo passaggio utilizza la ricostruzione dei gruppi di decomposizione e l'elemento di Frobenius.
5. Argomento di Specializzazione: Per estendere i risultati dai campi finiti ai campi finitamente generati su un campo finito (o su $\mathbb{Q}$), il saggio impiega un argomento di specializzazione. Esso utilizza anelli locali regolari henseliani per relazionare i gruppi fondamentali della fibra generica (il campo di interesse) alla fibra speciale (un campo finito). Il nucleo del morfismo di specializzazione è mostrato essere ricostruibile gruppoteoricamente.

Contributi Chiave e Risultati
Il saggio fornisce i seguenti teoremi principali, assumendo che le curve siano di genere 0 e abbiano almeno 5 punti buco ($r \geq 5$):

• Teorema A (Caratteristica 0): Sia $k$ un campo finitamente generato su $\mathbb{Q}$. Due curve iperboliche smooth $X_1, X_2$ di genere 0 con $r \geq 5$ sono isomorfe su $k$ se e solo se i loro gruppi fondamentali metabeliani sono isomorfi su $G_k$.
  $$X_1 \cong_k X_2 \iff \Pi_{X_1}^{meta} \cong_{G_k} \Pi_{X_2}^{meta}$$
• Teorema B (Campi Finiti): Sia $k$ un campo finito. Due tali curve sono isomorfe su $k$ se e solo se i loro gruppi fondamentali metabeliani sono isomorfi su $G_k$. (Nota: nel caso del campo finito, l'isomorfismo dei gruppi implica che le curve siano isomorfe come schemi).
• Teorema C (Caratteristica Positiva, Campi Finitamente Generati): Sia $k$ un campo finitamente generato su un campo finito. Per curve non isotriviali smooth $X_1, X_2$ di genere 0 con $r \geq 5$, i loro gruppi fondamentali metabeliani sono isomorfi su $G_k$ se e solo se esistono interi non negativi $n_1, n_2$ tali che le torsioni di Frobenius soddisfano $X_1(n_1) \cong_k X_2(n_2)$.

Significato e Limitazioni
Il significato di questo lavoro risiede nell'aver stabilito il caso metabeliano ($m=2$) della congettura di Grothendieck per curve di genere zero. I risultati precedenti di Mochizuki e Nakamura coprivano passi di solubilità più elevati ($m \geq 5$) o casi specifici. Il caso abeliano ($m=1$) è noto per essere insufficiente per la ricostruzione perché l'azione di Galois sul massimo quoziente abeliano è determinata interamente dai caratteri ciclotomici, i quali non distinguono tra diverse curve. Il quoziente metabeliano è il primo quoziente risolubile non abeliano dove ci si aspetta una affermazione anabelian positiva e, come qui dimostrato, essa è valida per $r \geq 5$.

L'autore nota esplicitamente la limitazione riguardante il numero di punti buco. L'assunzione $r \geq 5$ è richiesta per la caratterizzazione gruppoteorica del fatto che una quasi-sezione geometrica sia cuspidale o non cuspidale. Il metodo si basa sull'analisi di curve quoziente di tipo $(0, r-1)$; pertanto, per applicare la caratterizzazione in modo induttivo, è necessario che $r-1 \geq 4$. Il saggio riconosce che il caso $r=3$ è eccezionale e può essere dimostrato (Proposizione 6.6), ma il caso generale per $r=4$ rimane aperto, poiché la necessaria caratterizzazione gruppoteorica per $r=3$ non è attualmente nota.

In sintesi, il saggio riesce ad estendere la ricostruzione anabelian al livello metabeliano per curve di genere zero con un numero sufficiente di punti buco, colmando il divario tra il fallimento abeliano e i successi della solubilità a passi superiori.