Retract rational varieties are uniformly retract rational

Sintesi Tecnica: "Le varietà ritrattili razionali sono uniformemente ritrattili"

Enunciato del Problema
Il saggio affronta una questione fondamentale nella teoria delle varietà algebriche riguardante la struttura locale delle varietà razionali e ritrattili razionali. Nello specifico, indaga se la proprietà di essere "ritrattile razionale" implichi la "ritrattilità razionale uniforme".

• Ritrattilità Razionale: Una varietà algebrica $X$ su un campo infinito $K$ è ritrattile razionale se esiste un sottoinsieme aperto denso di Zariski $V \subset X$, un numero naturale $m$, un insieme aperto di Zariski $U \subset K^m$ e mappature regolari $V \to U \to V$ la cui composizione è l'identità su $V$.
• Ritrattilità Razionale Uniforme: $X$ è uniformemente ritrattile razionale se per ogni punto $x \in X$, esiste un intorno di Zariski $V$ di $x$ (non necessariamente denso in senso globale, ma locale a $x$) che soddisfa la stessa condizione di ritrazione.

Questa indagine è motivata dal contesto più ampio dell'ellitticità di Gromov. Gromov ha introdotto l'"ellitticità algebrica" per le varietà complesse non singolari, una proprietà che implica forti caratteristiche di omotopia e approssimazione. Si sapeva che la razionalità uniforme implica l'ellitticità algebrica. Poiché le varietà razionali sono un sottoinsieme delle varietà ritrattili razionali, rimaneva un problema aperto se tutte le varietà proiettive complesse nonsingolari razionali siano algebricamente ellittiche (Domanda 1.3). Una risposta positiva alla questione della ritrattilità razionale uniforme fornirebbe una risoluzione parziale a questo, poiché l'Osservazione 1.6 stabilisce che la ritrattilità razionale uniforme implica l'ellitticità algebrica (nel caso complesso) o la malleabilità (nel caso reale).

Metodologia
La dimostrazione si basa su una combinazione di geometria algebrica locale, algebra commutativa e la manipolazione di mappature polinomiali. La strategia centrale consiste nell'estendere i germi razionali in germi regoli.

1. Estensione Locale delle Mappature (Proposizione 3.1): Lo strumento tecnico cruciale è la Proposizione 3.1, la quale afferma che se una mappatura razionale $F: K^n \dashrightarrow Y$ è regolare in un punto $x_0$ su una sottovarietà $X \subset K^n$, allora esiste un germe regolare $G: (K^n, x_0) \to Y$ che concorda con $F$ su $X$ vicino a $x_0$.
2. Costruzione dell'Estensione: La dimostrazione della Proposizione 3.1 utilizza la Proposizione 2.2. Questa proposizione costruisce una specifica mappatura polinomiale $\sigma: X \times K^{n-m} \to K^n$ (dove $m = \dim X$) con le seguenti proprietà:
   • Agisce come l'identità su $X$ quando la seconda variabile è zero.
   • La sua derivata nel punto base è un isomorfismo.
   • L'omomorfismo indotto sugli anelli locali è suriettivo modulo un particolare ideale generato dai denominatori della mappatura razionale.
     Questa costruzione permette di elevare la mappatura razionale definita su $X$ a una mappatura regolare sullo spazio ambiente $K^n$ localmente.
3. Argomenti di Genericità: La costruzione di $\sigma$ si basa sul Lemma 2.3, che utilizza il conteggio delle dimensioni sui Grassmanniani per garantire che un sottospazio lineare generico intersechi l'insieme zero dell'ideale rilevante solo nell'origine. Ciò garantisce la necessaria trasversalità e indipendenza algebrica affinché l'estensione funzioni.
4. Applicazione del Lemma 2.4: Questo lemma assicura che la regolarità di una funzione razionale sia preservata sotto piccole perturbazioni della mappatura, permettendo la transizione dalla germe costruita sullo spazio prodotto all'ambiente circostante.

Contributi Chiave e Risultati
Il risultato primario del saggio è il Teorema 1.8:

Sia $X$ una varietà algebrica nonsingolare ritrattile razionale su un campo infinito $K$. Allora essa è uniformemente ritrattile razionale.

La dimostrazione procede prendendo un punto arbitrario $x_0 \in X$. Poiché $X$ è ritrattile razionale, esistono aperti e ritrazioni globali. L'autore estende la mappatura di ritrazione $r: U \to V$ (dove $V \subset X$) a una mappatura razionale sullo spazio ambiente. Utilizzando la Proposizione 3.1, costruisce un germe regolare $G$ definito su un intorno di $x_0$ nello spazio ambiente che si restringe all'identità su $X$ vicino a $x_0$. Questo germe fornisce efficacemente la ritrazione locale richiesta per la ritrattilità razionale uniforme.

Corollari e Significato
Il saggio deriva il Corollario 1.9 come conseguenza diretta:

Le varietà proiettive complesse nonsingolari razionali sono algebricamente ellittiche.

Affermazioni di Significato:

• Risoluzione di una Questione Specifica: Il saggio fornisce una risposta affermativa alla Domanda 1.7, stabilendo che la proprietà locale (uniformità) segue dalla proprietà globale (ritrattilità razionale) per le varietà nonsingolari su campi infiniti.
• Risposta Parziale alla Domanda di Gromov: Combinando il Teorema 1.8 con l'Osservazione 1.6, il saggio conferma che tutte le varietà proiettive complesse nonsingolari razionali sono algebricamente ellittiche. Questo risolve la seconda parte della Domanda 1.3 per la classe delle varietà razionali.
• Chiarificazione della Gerarchia: I risultati chiariscono la gerarchia delle proprietà per le varietà proiettive complesse irriducibili e nonsingolari:
  $$\text{Uniformemente Razionale} \implies \text{Razionale} \implies \text{Ritrattile Razionale} \implies \text{Uniformemente Ritrattile Razionale} \implies \text{Algebricamente Ellittica}$$
  Il saggio nota che le implicazioni inverse non valgono in generale (citando esempi di varietà ellittiche che non sono razionali o non sono ritrattili razionali).

Il saggio non pretende di risolvere interamente la Domanda 1.3 (ovvero per tutte le varietà nonsingolari, non solo quelle razionali), né propone nuove applicazioni sperimentali. Il suo contributo è strettamente teorico, colmando il divario tra la ritrattilità razionale e la ritrattilità razionale uniforme attraverso tecniche di estensione algebrica.