Proof of Miyanishi's conjecture on endomorphisms of varieties

Titolo e Obiettivo

Il paper fornisce una dimostrazione della Congettura di Miyanishi riguardante gli endomorfismi di varietà algebriche. L'obiettivo principale è stabilire che, sotto determinate condizioni di iniettività "quasi globale", un endomorfismo birazionale di una varietà è necessariamente un isomorfismo (automorfismo).

1. Il Problema e il Contesto

La ricerca si inserisce nello studio degli endomorfismi di varietà algebriche.

• Stato dell'arte: Per varietà proiettive normali, l'esistenza di classi naturali di endomorfismi impone forti restrizioni sulla geometria globale. Per varietà non complete, i risultati sono più limitati.
  • Ax ha dimostrato che ogni endomorfismo iniettivo di uno schema ridotto di tipo finito è biiettivo.
  • Nowak ha mostrato che, su un campo algebricamente chiuso di caratteristica 0, ogni endomorfismo biiettivo è un automorfismo.
• La domanda aperta: È possibile indebolire l'ipotesi di iniettività globale? Se un endomorfismo $\phi$ è iniettivo solo su un insieme aperto il cui complementare ha codimensione $\ge 2$, è ancora un automorfismo?
• La Congettura di Miyanishi (Congettura 1.1): Afferma che per una varietà $X$ su $\mathbb{C}$, se $\phi: X \to X$ è un endomorfismo iniettivo fuori da un insieme chiuso di codimensione $\ge 2$, allora $\phi$ è un isomorfismo.
• Limitazioni precedenti: La congettura era nota per essere vera in casi specifici (dimensione $\le 2$, varietà $Q$-fattoriali, affini o complete), ma non era stata dimostrata in generale per tutte le varietà quasi-proiettive, né in caratteristica positiva.

2. Metodologia e Strumenti Chiave

L'autore dimostra un teorema più generale (Teorema A) valido per varietà quasi-proiettive su campi di caratteristica arbitraria, assumendo che $\phi$ sia birazionale. La dimostrazione si basa su due lemmi fondamentali che costituiscono il cuore tecnico del lavoro:

A. Risultati sulla Finitudine dei Gruppi di Classe (Lemma 2.1)

Il primo passo cruciale è un risultato indipendente di interesse che riguarda la struttura dei gruppi di classe di Weil ($Cl(X)$).

• Ipotesi: $X$ è una varietà su un campo $k$ finitamente generato.
• Risultato:
  1. Lo spazio vettoriale $Cl(X) \otimes \mathbb{Q}$ è a dimensione finita.
  2. Se $X$ è birazionale a una varietà propria e geometricamente normale, allora $Cl(X)$ è un gruppo abeliano finitamente generato.
• Strategia: Si utilizza la sequenza esatta di escissione e si riduce il problema al caso di varietà normali proiettive. Si sfrutta il teorema di Néron (generalizzazione del teorema di Mordell-Weil) e si dimostra che il pushforward indotto da un'estensione finita di campi induce una suriezione sui gruppi di classe tensorizzati con $\mathbb{Q}$.

B. Diminuzione della Dimensione del Quoziente (Lemma 2.2)

Questo lemma collega la geometria del morfismo alla struttura algebrica dei gruppi di classe.

• Ipotesi: $\phi: Y \to X$ è un morfismo birazionale tra varietà normali quasi-proiettive, con luogo eccezionale $Ex(\phi)$ di codimensione $\ge 2$. Si assume $\dim (Cl(X)/Pic(X) \otimes \mathbb{Q}) < \infty$.
• Affermazione: Se $\phi$ non è un'immersione aperta, allora:
  $$\dim \frac{Cl(Y)}{Pic(Y)} \otimes \mathbb{Q} < \dim \frac{Cl(X)}{Pic(X)} \otimes \mathbb{Q}$$
• Logica della dimostrazione:
  1. Si costruisce una mappa suriettiva tra i quozienti dei gruppi di classe indotta da $\phi$.
  2. Si dimostra che se $\phi$ non è un'immersione aperta, il luogo eccezionale $E$ è non vuoto e, per il teorema principale di Zariski, non è quasi-finito.
  3. Esistono due punti distinti $x, y \in E$ tali che $\phi(x) = \phi(y)$.
  4. Utilizzando la proprietà di quasi-proiettività, si costruisce un divisore di Cartier efficace $H$ che contiene $x$ ma non $y$.
  5. Si dimostra per assurdo che l'immagine inversa di $H$ porta a una contraddizione se si assume che la classe del divisore associato sia nulla nel quoziente $Cl/Pic$. Questo implica che la mappa sui gruppi di classe non è iniettiva, riducendo la dimensione.

3. Risultati Principali

Il Teorema A

Sia $X$ una varietà quasi-proiettiva su un campo arbitrario $k$ e $\phi: X \to X$ un morfismo birazionale iniettivo fuori da un insieme chiuso di codimensione $\ge 2$. Allora $\phi$ è un isomorfismo.

Punti salienti della dimostrazione:

1. Riduzione al campo finitamente generato: Si riduce il problema a un sottocampo finitamente generato $K \subset k$ dove sono definiti tutti i dati geometrici.
2. Normalità: Si assume $X$ normale (giustificato da risultati precedenti di [8]).
3. Applicazione del Lemma 2.1: Garantisce che la dimensione del quoziente $Cl(X)/Pic(X) \otimes \mathbb{Q}$ è finita.
4. Applicazione del Lemma 2.2: Poiché $\phi$ è iniettivo fuori da un insieme di codimensione $\ge 2$, il luogo eccezionale ha codimensione $\ge 2$. Se $\phi$ non fosse un'immersione aperta, la dimensione del quoziente diminuirebbe strettamente. Tuttavia, applicando il lemma iterativamente o considerando la struttura, si conclude che $\phi$ deve essere un'immersione aperta.
5. Conclusione: Per il teorema di Ax, un endomorfismo iniettivo è suriettivo. Un'immersione aperta e suriettiva è un isomorfismo.

Nota sulla Caratteristica: In caratteristica 0, la birazionalità di $\phi$ è una conseguenza immediata dell'iniettività. In caratteristica positiva, l'ipotesi di birazionalità è necessaria (es. mappa di Frobenius su $\mathbb{P}^n$ è iniettiva ma non birazionale).

4. Significato e Contributi

• Risoluzione della Congettura: Il paper risolve definitivamente la Congettura di Miyanishi per tutte le varietà quasi-proiettive, generalizzando i risultati precedenti che erano limitati a casi specifici (affini, complete, dimensione bassa).
• Generalizzazione del Campo: Il risultato vale su campi di caratteristica arbitraria, superando le limitazioni dei lavori precedenti che richiedevano caratteristica 0 o campi algebricamente chiusi.
• Risultato Indipendente: Il Lemma 2.1 sulla finitezza della dimensione razionale del gruppo di classe per varietà su campi finitamente generati è un risultato di per sé significativo nella teoria dei gruppi di classe e nella geometria aritmetica.
• Osservazione sulla Quasi-Proiettività: L'autore nota (Remark 2.3) che l'ipotesi di quasi-proiettività è utilizzata solo per garantire la separazione dei punti tramite divisori di Cartier. Il teorema vale quindi per qualsiasi varietà che soddisfi questa proprietà di separazione, anche se non è quasi-proiettiva.

In sintesi, Sarkar unisce tecniche di teoria dei gruppi di classe, geometria birazionale e proprietà di campi finitamente generati per fornire una prova completa e generale di un problema aperto da tempo nella geometria algebrica.