On flexibility of affine factorial varieties

Titolo: Sulla flessibilità delle varietà affini fattoriali

Autori: Ivan Arzhantsev e Kirill Shakhmatov

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica, focalizzandosi sullo studio delle varietà affini omogenee e fattoriali (UFD - Unique Factorization Domains).

• Definizione di Omogeneità: Una varietà algebrica $X$ è detta omogenea se il suo gruppo di automorfismi $\text{Aut}(X)$ agisce su di essa in modo transitivo.
• Spazi Omogenei vs. Varietà Omogenee: Mentre gli spazi omogenei classici sono del tipo $G/H$ (dove $G$ è un gruppo algebrico e $H$ un suo sottogruppo chiuso), la classe delle varietà omogenee è potenzialmente più ampia poiché $\text{Aut}(X)$ non deve essere necessariamente un gruppo algebrico.
• Obiettivo: L'obiettivo principale è costruire esempi di varietà affini che siano contemporaneamente flessibili, fattoriali e omogenee, ma che non siano spazi omogenei di un gruppo algebrico. Questo risponde a una domanda aperta sulla distinzione tra queste due classi di varietà.

2. Metodologia

Gli autori utilizzano una combinazione di teoria degli anelli commutativi, geometria algebrica e topologia algebrica. La metodologia si basa su tre pilastri principali:

1. Costruzione di Sospensioni (Suspensions):
   Data una varietà affine $Y$ e una funzione regolare non costante $f \in K[Y]$, si considera la varietà $X = \text{Susp}(Y, f)$ definita nell'equazione $uv = f$ nel prodotto $A^2 \times Y$. Questa costruzione è un'estensione del passaggio da un anello $R$ all'anello dei polinomi di Laurent $R[T, T^{-1}]$.

2. Criteri di Fattorialità e Flessibilità:

   • Flessibilità: Una varietà è flessibile se il gruppo speciale di automorfismi $\text{SAut}(X)$ (generato da sottogruppi additivi $G_a$) agisce in modo infinitamente transitivo sulla parte regolare della varietà. È noto che le varietà flessibili sono omogenee.
   • Fattorialità: Si indaga quando l'anello delle coordinate di una sospensione è un dominio a fattorizzazione unica (UFD).

3. Strumenti Topologici:
   Per distinguere tra varietà isomorfe, gli autori calcolano gruppi di omotopia (in particolare $\pi_3$) e gruppi di omologia, sfruttando il fatto che su $\mathbb{C}$ le varietà flessibili lisce sono omogenee.

3. Risultati Chiave e Contributi

A. Criterio di Fattorialità per le Sospensioni (Teorema 1)

Il risultato algebrico fondamentale è un criterio necessario e sufficiente affinché una sospensione sia fattoriale.

• Teorema: Sia $R$ un dominio e $f \in R$ un elemento non nullo e non invertibile. L'anello $S = R[u, v]/(uv - f)$ è un UFD se e solo se:
  1. $R$ è un UFD.
  2. $f$ è un elemento primo in $R$.
• Implicazione Geometrica: Se $Y$ è una varietà affine normale, allora $\text{Susp}(Y, f)$ è fattoriale se e solo se $Y$ è fattoriale e il divisore principale definito da $f$ è irriducibile (cioè $f$ è primo).

B. Costruzione di Varietà Omogenee Non-Spazio Omogeneo (Teorema 2 e 3)

Combinando il criterio di fattorialità con i risultati sulla lisciatura e la flessibilità delle sospensioni, gli autori dimostrano:

• Teorema 2: Se $Y$ è una varietà affine flessibile, lisci e fattoriale, allora $\text{Susp}(Y, f)$ è una varietà affine lisci, flessibile e fattoriale se e solo se $f$ è primo e la sottovarietà $\{f=0\}$ è liscia.
• Teorema 3 (Risultato Principale): Gli autori costruiscono un esempio specifico in dimensione 3.
  • Si considera l'ipersuperficie $X \subset \mathbb{C}^4$ definita da $x^2y - xy - uv + 1 = 0$.
  • Questa è la sospensione $X = \text{Susp}(\mathbb{C}^2, (x-1)xy + 1)$.
  • Proprietà: $X$ è una varietà affine fattoriale, lisci e flessibile (quindi omogenea).
  • Non è uno spazio omogeneo: Per dimostrarlo, si confrontano gli invarianti topologici con quelli delle uniche tre varietà affini fattoriali 3-dimensionali note che sono spazi omogenei di gruppi algebrici: $\mathbb{C}^3$, $\text{SL}(2)$ e $\text{SL}(2)/2I$ (dove $2I$ è il gruppo icosaedrico binario).
    • $X$ è semplicemente connessa (esclude $\text{SL}(2)/2I$).
    • Il gruppo di omotopia $\pi_3(X)$ è isomorfo a $\mathbb{Z}_2$ (calcolato tramite l'omotopia della curva $\{f=0\}$).
    • Invece, $\pi_3(\mathbb{C}^3) = 0$ e $\pi_3(\text{SL}(2)) \cong \mathbb{Z}$.
  • Conclusione: $X$ è una varietà omogenea che non è isomorfa a nessuno spazio omogeneo di un gruppo algebrico.

C. Gruppo di Classe dei Divisori (Sezione 4)

Gli autori forniscono una prova alternativa della fattorialità calcolando il gruppo di classe dei divisori $\text{Cl}(X)$.

• Dimostrano che esiste una successione esatta che lega $\text{Cl}(X)$ a $\text{Cl}(Y)$ e alla fattorizzazione di $f$.
• Se $f = p_1^{a_1} \dots p_s^{a_s}$, allora $\text{Cl}(X) \cong \mathbb{Z}^s / \langle (a_1, \dots, a_s) \rangle$.
• Questo conferma che $\text{Cl}(X) = 0$ (fattorialità) se e solo se $\text{Cl}(Y) = 0$ e $f$ è primo.

D. Limiti della Caratterizzazione (Sezione 5)

L'ultimo paragrafo mostra che le proprietà naturali della proiezione di una sospensione (azione di $G_m$ e struttura delle fibre) non sono sufficienti a caratterizzare univocamente una sospensione. Viene fornito un controesempio di una varietà 3-dimensionale con un'azione $G_m$ che ha la struttura delle fibre tipica di una sospensione, ma che non è isomorfa a una sospensione a causa della struttura del suo modulo di funzioni regolari.

4. Significato e Impatto

1. Risposta a una Domanda Aperta: Il paper risolve definitivamente la questione se esistano varietà affini omogenee che non siano spazi omogenei di gruppi algebrici, fornendo un esempio esplicito in dimensione 3.
2. Nuovi Invarianti: Sottolinea l'importanza degli invarianti topologici (come i gruppi di omotopia superiori) per distinguere varietà algebriche lisce e flessibili che altrimenti sembrerebbero simili.
3. Generalizzazione Algebrica: Il Teorema 1 estende la comprensione della fattorialità in contesti di anelli graduati e sospensioni, offrendo un criterio generale applicabile a domini commutativi arbitrari.
4. Metodologia Iterativa: Fornisce un metodo sistematico per generare infinite famiglie di varietà omogenee fattoriali di qualsiasi dimensione $\ge 3$, partendo da varietà di base flessibili.

In sintesi, il lavoro collega profondamente la teoria degli anelli (fattorialità), la teoria dei gruppi di automorfismi (flessibilità) e la topologia algebrica, ampliando significativamente la nostra comprensione della struttura delle varietà affini omogenee.