On characterization of toric varieties

1. Il Problema e il Contesto

Il lavoro si concentra sulla congettura di V. V. Shokurov riguardante la caratterizzazione delle varietà toriche. La congettura originale (Congettura 1.3) afferma che, per una coppia $(X, D)$ dove $X$ è una varietà algebrica normale e $D$ è un confine $\mathbb{Q}$-divisore, se la coppia è log-canonica (lc), il divisore $-(K_X + D)$ è nef e le singolarità di $X$ sono $\mathbb{Q}$-fattoriali, allora vale la disuguaglianza:
$$\sum d_i \leq r(X, D) + \dim X$$
dove $d_i$ sono i coefficienti di $D$ e $r(X, D)$ è la dimensione dello spazio vettoriale generato dai divisori $D_i$ nel gruppo di Neron-Severi.
La congettura sostiene che l'uguaglianza si verifica se e solo se la coppia $(X, D)$ è formalmente torica (cioè $X$ è una varietà torica e $D$ è il suo confine).

Questa congettura è stata dimostrata per dimensioni $n=2$ e in casi specifici per $n=3$ (ad esempio, quando la coppia è plt e $K_X+D \equiv 0$). Tuttavia, la validità generale per $n \geq 3$ rimaneva una questione aperta, con tentativi di dimostrazione recenti (come nel paper [6] citato) che l'autore intende confutare.

2. Metodologia

L'autore adotta un approccio misto che combina:

• Costruzione di Controesempi: L'obiettivo principale è costruire varietà che soddisfino tutte le ipotesi numeriche della congettura (in particolare complessità bassa) ma che non siano toriche.
• Teoria dei Modelli Minimi (MMP): Utilizzo di contrazioni estremali, fibrazioni di Mori e modifiche dlt per analizzare la struttura delle varietà.
• Teoria dei Fattoriali e Quozienti: Costruzione di varietà come quozienti di spazi proiettivi o quadriche per gruppi finiti, sfruttando azioni di gruppo non lineari.
• Analisi di Complessità: Definizione e calcolo della "complessità" $c(X, D) = r(X, D) + \dim X - \sum d_i$ e della "complessità assoluta" $ac(X, D) = \rho(X) + \dim X - \sum d_i$.

3. Risultati Chiave e Contributi

A. Smentita della Congettura per $n \geq 3$

Il risultato principale del paper è il Teorema 1.11, che dimostra che la classe delle varietà "finte toriche" ($T_{f,n}$) non è vuota per ogni dimensione $n \geq 3$.

• Definizione di "Finta Torica" (f-toric): Una varietà $X$ è finta torica se esiste un confine $\mathbb{Q}$ tale che la coppia soddisfa le condizioni di Shokurov, la complessità $c(X, D) < 1$, ma la coppia non è torica.
• Costruzione Esplicita (Dimensione 3): L'autore costruisce una varietà $X$ di dimensione 3 come segue:
  1. Si parte da una quadrica $Q \subset \mathbb{P}^4$ con un punto singolare.
  2. Si esegue il blow-up di una retta $\ell$ contenuta in $Q$, ottenendo $W$.
  3. Si considera un gruppo $G \cong \mathbb{Z}/2 \times \mathbb{Z}/2$ che agisce su $W$ (costruito tramite azioni di Galois su proiezioni).
  4. Si definisce $X = W/G$.
• Proprietà della Controesempio:
  • Esiste un confine $D$ tale che $K_X + D \equiv 0$.
  • La complessità assoluta è $ac(X, D) = 3/4$ (quindi $< 1$).
  • Tuttavia, $X$ non è una varietà torica. Questo viene dimostrato analizzando le singolarità e la struttura del ventaglio (fan) associato, mostrando che le singolarità ottenute non corrispondono a quelle di una varietà torica.
• Generalizzazione: Per $n > 3$, la varietà è ottenuta prendendo il prodotto $X \times (\mathbb{P}^1)^{n-3}$.

B. Analisi delle Dimostrazioni Esistenti

L'autore identifica un errore fondamentale nella dimostrazione della congettura proposta nel paper [6] (pubblicato su Duke Math. J.).

• Errore Critico: Gli autori di [6] assumono che un certo anello $R$ (Cox ring) sia positivamente graduato e che la presenza di $d$ divisori invarianti implichi che $R$ sia un anello polinomiale. Karzhemanov fornisce un controesempio esplicito (una superficie $Y \subset \mathbb{C}^3$ definita da $xy^3 = z^2 + 1$ con un'azione di $\mathbb{C}^*$) che soddisfa le condizioni ma non è isomorfa a $\mathbb{C}^2$, smentendo l'affermazione chiave.
• Errore Secondario: L'uso di un criterio di razionalità per fasci di coniche singolari (tramite Prym) che non è valido per le singolarità presenti nella costruzione di [6].

C. Risultati Positivi e Versioni Deboli

Nonostante la smentita della congettura generale, l'autore dimostra alcune versioni più deboli o parziali:

• Proposizione 1.14 (Prokhorov): Se $K_X + D \equiv 0$ e i coefficienti $d_i = 1$, allora $c(X, D) \geq 0$. Se $c(X, D) = 0$, $X$ è razionalmente connessa.
• Teorema 1.15: Se $ac(X, D) = 0$(o$ac(X, D)=1$e$X$ è razionalmente connessa), allora $X$ è una varietà razionale. La dimostrazione utilizza un'induzione sulla dimensione e sul numero di Picard, costruendo mappe a $\mathbb{P}^1$ (funzioni di Morse) le cui fibre soddisfano le ipotesi induttive.

4. Significato e Implicazioni

• Confutazione di una Congettura Aperta: Il lavoro chiude definitivamente la questione della congettura di Shokurov nella sua forma originale per dimensioni superiori a 2, mostrando che le condizioni numeriche sulla complessità non sono sufficienti a garantire la struttura torica.
• Nuova Classe di Varietà: Introduce la classe delle varietà "finte toriche", che mimano le proprietà numeriche delle varietà toriche ma falliscono nella struttura globale. Questo suggerisce che la caratterizzazione delle varietà toriche richiede condizioni più forti o diverse rispetto alla semplice complessità del confine.
• Correzione della Letteratura: Smaschera errori metodologici in lavori recenti che tentavano di provare la congettura, fornendo controesempi concreti e analisi tecniche precise.
• Struttura delle Singolarità: L'analisi delle singolarità della varietà costruita ($X$) rivela che le azioni di gruppo su spazi proiettivi possono produrre varietà con complessità bassa ma con singolarità incompatibili con la toricità, offrendo nuovi spunti sullo studio dei quozienti di varietà toriche e dei loro modelli minimi.

In sintesi, il paper di Karzhemanov è un lavoro fondamentale che ridefinisce i limiti della caratterizzazione delle varietà toriche, spostando l'attenzione dalla semplice verifica numerica alla necessità di comprendere la struttura globale e le singolarità delle varietà algebriche.