Unirationality is the same thing as Rational Connectedness in Characteristic Zero

Sintesi Tecnica: Unirazionalità e Connettività Razionale in Caratteristica Zero

Enunciato del Problema
Il saggio affronta una questione fondamentale della geometria algebrica riguardante la relazione tra unirazionalità e connettività razionale per varietà proiettive lisce su un campo $k$ di caratteristica zero. Mentre è ben stabilito che le varietà razionali sono unirazionali, e che le varietà unirazionali sono razionalmente connesse (e razionalmente catenarie), le implicazioni inverse sono state storicamente sottili.

• L'unirazionalità è definita dalla esistenza di una mappa razionale dominante e finitamente generica $\mathbb{P}^n_k \dashrightarrow Z$.
• La connettività razionale è definita dalla esistenza di una mappa razionale dominante $\mathbb{P}^1_k \times M \dashrightarrow Z$ tale che la mappa indotta sulle coppie sia dominante.
• La connettività razionale catenaria richiede che ogni coppia di punti sia connessa da una catena di curve razionali.

In caratteristica zero, le varietà lisce razionalmente catenarie sono razionalmente connesse. Tuttavia, rimane aperto il quesito se ogni varietà razionalmente connessa sia unirazionale. Controesempi precedenti, come la cubica tridimensionale liscia (Clemens-Griffiths), hanno dimostrato che l'unirazionalità non implica la razionalità (ovvero l'essere birazionale a $\mathbb{P}^n$). Il saggio mira a determinare se la condizione più debole della connettività razionale sia equivalente all'unirazionalità nel contesto delle varietà proiettive lisce in caratteristica zero, distinguendosi dalla condizione più forte di razionalità.

Metodologia
L'autore impiega la teoria della fibratura MRC (Maximal Rationally Connected), originariamente stabilita da Campana, Kollár, Miyaoka e Mori. La strategia centrale consiste nel costruire una specifica varietà intermedia, denotata $MU(X)$, per colmare il divario tra la varietà $X$ e il suo quoziente MRC.

1. Costruzione di $MU(X)$: Il saggio dimostra l'esistenza di una varietà $MU(X)$ dotata di mappe razionali $\pi: X \dashrightarrow MU(X)$ e $\lambda: MU(X) \dashrightarrow MRC(X)$ che soddisfano tre condizioni:

   • La composizione $\lambda \circ \pi$ recupera la fibratura MRC $\nu: X \dashrightarrow MRC(X)$.
   • Le fibre molto generali di $\pi$ sono unirazionali.
   • Le fibre molto generali di $\lambda$ sono razionalmente connesse ma non unirazionali.

2. Argomento Induttivo: La dimostrazione utilizza un'induzione sulla dimensione della varietà. L'autore stabilisce che se $X$ è razionalmente connessa, allora $MRC(X)$ è un punto (specificamente $\text{Spec}(k)$). Di conseguenza, $MU(X)$ diventa la fibra molto generale di $\lambda$.

   • Se $MU(X)$ ha dimensione positiva, l'ipotesi induttiva (applicata a varietà razionalmente connesse di dimensione inferiore) implicherebbe che $MU(X)$ sia unirazionale.
   • Tuttavia, per costruzione, le fibre di $\lambda$ non sono unirazionali.
   • Questa contraddizione forza $MU(X)$ a essere un punto, implicando che le fibre di $\pi$ (che sono $X$ in questo caso) debbano essere unirazionali.

3. Applicazione del Lemma di Zorn: Per garantire l'esistenza di una "massima" fibratura unirazionale, il saggio ordina l'insieme delle mappe razionali con fibre unirazionali tramite l'inclusione dei loro campi di funzioni. Utilizzando il Lemma di Zorn, l'autore dimostra l'esistenza di un elemento massimale unico (fino a equivalenza birazionale), che funge da $MU(X)$.

Contributi Chiave e Risultati

• Teorema di Equivalenza: Il risultato principale (Teorema 9) dimostra che per ogni varietà proiettiva liscia $X$ su un campo $k$ di caratteristica zero, le seguenti proprietà sono equivalenti:
  1. $X$ è unirazionale.
  2. $X$ è razionalmente connessa.
  3. $X$ è razionalmente catenaria.
     Nota: Questa equivalenza è valida specificamente per la relazione tra unirazionalità e connettività razionale, distinta dalla proprietà di razionalità. Il saggio riconosce che le varietà possono essere unirazionali e razionalmente connesse senza essere razionali (ad esempio, la cubica tridimensionale liscia).
• Esistenza della Fibratura Unirazionale Massima: Il saggio stabilisce l'esistenza e l'unicità (fino a equivalenza birazionale) di una fibratura unirazionale massima $\pi: X \dashrightarrow MU(X)$ per ogni varietà proiettiva liscia.
• Decomposizione Strutturale: Il saggio fornisce una decomposizione strutturale di ogni varietà proiettiva liscia $X$ in una sequenza di fibrature dove la "parte unirazionale" è separata dalla "parte razionalmente connessa non unirazionale". Nello specifico, mostra che se il quoziente MRC è banale, la varietà stessa deve essere unirazionale.

Significato e Rivendicazioni
Il saggio sostiene di risolvere l'equivalenza tra unirazionalità e connettività razionale per le varietà proiettive lisce in caratteristica zero. L'autore osserva che, sebbene la connettività razionale sia spesso più facile da verificare rispetto all'unirazionalità (ad esempio, tramite l'esistenza di curve molto libere), questo risultato stabilisce che, per le varietà proiettive lisce in caratteristica zero, le due nozioni sono identiche.

Il lavoro si basa sulla strumentazione della fibratura MRC e sulla regolarità generica in caratteristica zero. Esso distingue esplicitamente i propri risultati dal caso in caratteristica positiva, dove sono richieste condizioni di separabilità, e dalla questione della razionalità (dove esistono controesempi come la cubica tridimensionale). Il saggio non pretende di risolvere il problema della razionalità, ma chiarisce la gerarchia tra unirazionalità e connettività razionale, mostrando che quest'ultima implica la prima nel contesto specificato.