A note on varieties of non-negative Kodaira dimension with polarized self maps

Sintesi Tecnica: Varietà con Dimensione di Kodaira Non Negativa e Autofunzioni Polarizzate

Enunciato del Problema
Il saggio investiga la struttura geometrica delle varietà proiettive lisce $X$ definite su un campo $k$ che possiedono una dimensione di Kodaira non negativa e ammettono un'autofunzione polarizzata. Nello specifico, lo studio si concentra sulle triple $(X, \phi, L)$ dove $L$ è un fibrato lineare ampio e $\phi: X \to X$ è un'autofunzione soddisfacente $\phi^*L \cong L^{\otimes d}$ per un intero $d > 1$. Mentre il caso di caratteristica 0 è stato parzialmente affrontato (in particolare da Nakayama e Zhang in [2]), il comportamento di tali varietà in caratteristica positiva, e su campi non algebricamente chiusi, rimane un soggetto che richiede ulteriore chiarimento e generalizzazione.

Metodologia
L'autore impiega una combinazione di geometria algebrica, teoria del gruppo fondamentale etale e teoria della deformazione per stabilire risultati strutturali. La metodologia procede attraverso i seguenti passaggi logici:

1. Riduzione al Gruppo Fondamentale Asseliano: La dimostrazione inizia utilizzando l'ipotesi che il gruppo fondamentale etale $\pi_1^{\text{et}}(X)$ contenga un sottogruppo asseliano normale di indice finito. Il Lemma 2.1 dimostra che, sotto questa condizione, è possibile costruire un rivestimento etale finito $Z \to X$ tale che il gruppo fondamentale di $Z$ sia asseliano e l'autofunzione polarizzata si sollevi su $Z$.
2. Analisi della Mappa di Albanese: Con l'assunzione che $\pi_1^{\text{et}}(X)$ sia asseliano, il saggio analizza il morfismo di Albanese $\text{alb}_X: X \to \text{Alb}_X$. Il nucleo dell'argomento consiste nel dimostrare che tale mappa è finita.
   • Caso $k = \mathbb{F}_p$: La dimostrazione sfrutta l'esistenza di punti periodici per la mappa $\phi$ (garantita dalla finitezza del campo). Sollevando il punto periodico alla varietà di Albanese, l'autore costruisce un diagramma commutativo che coinvolge la mappa indotta sulla varietà di Albanese. Utilizzando i risultati sull'iniettività del pullback sulle forme differenziali globali (Igusa) e le proprietà delle differenziali relative, si dimostra che la mappa indotta sulla varietà di Albanese è un isogenia. Un argomento di contraddizione riguardante il nucleo della mappa sui gruppi fondamentali viene utilizzato per dimostrare che le fibre della mappa di Albanese sono finite.
   • Caratteristica Generale $p > 0$: Il risultato per $k = \mathbb{F}_p$ viene esteso a qualsiasi campo algebricamente chiuso di caratteristica $p$ tramite un argomento di specializzazione. La varietà e la mappa sono definite su un sottocampo finitamente generato, permettendo la riduzione a un anello di valutazione discreta (DVR) con un campo residuo di grado di trascendenza inferiore. Un induzione sul grado di trascendenza riduce il caso generale al caso del campo finito.
3. Sollevamento alla Caratteristica Zero: Nella Sezione 3, il saggio affronta la condizione sul gruppo fondamentale. Il Lemma 3.1 dimostra che se $X$ ammette un sollevamento alla caratteristica 0, il gruppo fondamentale contiene necessariamente un sottogruppo asseliano normale di indice finito. Ciò consente una dimostrazione alternativa del teorema principale per il caso di sollevamento che si basa su risultati elementari (specificamente, la struttura del fibra generica) piuttosto che su teoremi profondi come quelli di Hacon–Patakfalvi–Zhang.
4. Campi Non Algebricamente Chiusi: La Sezione 4 estende i risultati a campi $k$ che non sono necessariamente algebricamente chiusi. Utilizzando la teoria dei torsori e la scissione della sequenza esatta del gruppo fondamentale, l'autore costruisce una forma $A'$ di una varietà asseliana definita su $k$ che mappa finitamente ed etalmente su $X$, a condizione che $X(k) \neq \emptyset$.

Contributi Chiave e Risultati

• Teorema 1.1 (Risultato Principale): Per una varietà proiettiva liscia $X$ di dimensione di Kodaira non negativa su un campo algebricamente chiuso $k$ di caratteristica $p > 0$, se $X$ ammette un'autofunzione polarizzata separabile e il suo gruppo fondamentale etale contiene un sottogruppo asseliano normale di indice finito, allora esiste una varietà asseliana $A$ con una mappa etale finita verso $X$.
• Generalizzazione a Campi Non Chiusi (Teoremi 4.3 & 4.4): Il saggio stabilisce che su qualsiasi campo $k$ (caratteristica 0 o $p > 0$), se $X$ possiede un punto razionale su $k$ e soddisfa le condizioni del gruppo fondamentale (virtualmente asseliano), allora $X$ è un quoziente libero finito di una varietà asseliana definita su $k$.
• Implicazione del Sollevamento (Lemma 3.1 & 3.2): Il saggio dimostra che l'ipotesi di "sollevamento alla caratteristica 0" implica la necessaria struttura del gruppo fondamentale, fornendo così una prova del teorema strutturale principale per tali varietà che evita il ricorso a macchinari più avanzati usati nella letteratura in caratteristica 0.
• Estensione alle Mappe Int-Amplified: L'autore osserva che gli argomenti possono essere adattati a autofunzioni "int-amplified" (dove $f^*L \otimes L^{-1}$ è ampio), a condizione che la trivialità della prima classe di Chern del fibrato lineare canonico possa essere stabilita in tale contesto.

Significato e Rivendicazioni

Il saggio sostiene di fornire un analogo in caratteristica positiva dei risultati di Nakayama e Zhang ([2, Teorema 4.2]) riguardanti la struttura delle varietà con endomorfismi polarizzati. La significatività risiede in:

1. Colmare i Gap di Caratteristica: Esso affronta esplicitamente il caso di caratteristica positiva, che precedentemente era stato suggerito come valido solo sotto ipotesi aggiuntive.
2. Condizioni del Gruppo Fondamentale: Chiarisce che l'esistenza di un sottogruppo asseliano normale di indice finito nel gruppo fondamentale è una condizione sufficiente affinché la varietà sia un quoziente etale finito di una varietà asseliana.
3. Indipendenza dal Campo: Generalizza questi risultati strutturali a campi non algebricamente chiusi, purché sia presente un punto razionale.
4. Prove Elementari: Nel caso in cui la varietà si sollevi alla caratteristica 0, il saggio offre una prova che utilizza risultati di natura più elementare (Lemma 3.2), contrastando con il pesante apparato teorico spesso richiesto in questo dominio.

L'autore inquadra modestamente il lavoro come una "nota" che dimostra specifici teoremi strutturali e fornisce analoghi per i risultati esistenti, piuttosto che risolvere le più ampie congetture dinamiche (come le congetture di Bogomolov o Mordell–Lang) menzionate nell'introduzione come contesto.