Canonical Projectivization of Smooth Complete Toric Varieties

Riepilogo Tecnico: Proiettivizzazione Canonica di Varietà Toriche Lisce e Complete

Enunciato del Problema
Il lavoro affronta una domanda fondamentale nella geometria torica: data una varietà torica liscia e completa $X_\Sigma$ (definita da un ventaglio liscio e completo $\Sigma$ in un reticolo $N \cong \mathbb{Z}^n$), è possibile costruire una varietà torica proiettiva e liscia che la domini tramite un morfismo torico proprio e birazionale? Sebbene l'esistenza di una tale varietà dominante sia classica (tramite il Lemma di Chow Torico seguito dalla risoluzione delle singolarità), l'approccio classico passa tipicamente attraverso varietà intermedie singolari. La sfida specifica affrontata qui è se questa proiettivizzazione possa essere ottenuta interamente attraverso una sequenza di varietà intermedie lisce, dove ogni morfismo è una blow-up ordinaria lungo un centro liscio invariante per il toro. Ciò si relaziona al problema della "fattorizzazione stellare liscia" e distingue il lavoro dal Teorema di Fattorizzazione Debole, che ammette sia blow-up che blow-down.

Metodologia
L'autore, Parsa Bakhtary, propone un algoritmo uniforme e costruttivo che raffina il ventaglio di input $\Sigma$ in un ventaglio proiettivo liscio $\hat{\Sigma}$ in tre fasi distinte. La costruzione è canonica una volta fissata una base ordinata del reticolo $N$.

1. Costruzione del Ventaglio dell'Arrangiamento di Muri:
   Il primo passo costruisce un ventaglio di riferimento $\mathcal{A}_\Sigma$, denominato "ventaglio dell'arrangiamento di muri". Per ogni cono $\tau \in \Sigma$ di codimensione uno, l'autore estende il piano iperplanare di supporto a un iperpiano centrale in $N_\mathbb{R}$. L'arrangiamento di questi iperpiani definisce un ventaglio completo $\mathcal{A}_\Sigma$.

   • Proprietà: $\mathcal{A}_\Sigma$ è un ventaglio completo e proiettivo che raffina $\Sigma$. Tuttavia, $\mathcal{A}_\Sigma$ in generale non è liscio o simplettico.

2. Algoritmo di Adattamento al Segno (Fase di Adattamento al Muro):
   L'obiettivo è raffinare $\Sigma$ in un ventaglio $\Gamma(\Sigma)$ che sia "sottomesso" a $\mathcal{A}_\Sigma$ (cioè $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$) mantenendo la liscità.

   • Meccanismo: L'algoritmo itera attraverso le normali ai muri $m_i$ che definiscono $\mathcal{A}_\Sigma$. Per una data normale $m$, un cono bidimensionale $\langle u, v \rangle$ è definito "$m$-cattivo" se i generatori giacciono su lati opposti dell'iperpiano $\ker(m)$ (cioè $m(u) \cdot m(v) < 0$).
   • Operazione: L'algoritmo esegue una sequenza finita di suddivisioni stellari sui coni bidimensionali $m$-cattivi. Nello specifico, per un cono cattivo $\langle u, v \rangle$, inserisce il raggio generato da $u+v$.
   • Terminazione: Una funzione di peso $w_m(\tau) = |m(u)| + |m(v)|$ è utilizzata per dimostrare la terminazione. Ogni suddivisione riduce strettamente il peso massimo dei coni cattivi o ne riduce il numero.
   • Risultato: Questa fase produce un ventaglio liscio $\Gamma(\Sigma)$ in cui ogni cono giace interamente all'interno di una singola camera dell'arrangiamento di muri (cioè tutti i generatori dei raggi di qualsiasi cono giacciono nello stesso semispazio chiuso definito da ciascuna normale al muro). Ciò garantisce $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$. Crucialmente, ogni passo è una blow-up lungo un centro invariante liscio di codimensione due.

3. Rivestimento Baricentrico (Fase di Proiettività):
   Sebbene $\Gamma(\Sigma)$ sia liscio e raffini il ventaglio proiettivo $\mathcal{A}_\Sigma$, non è necessariamente proiettivo di per sé.

   • Operazione: L'autore applica una suddivisione derivata baricentrica, denotata $\text{Bar}(\Gamma(\Sigma))$. Ciò comporta l'inserimento di raggi corrispondenti ai baricentri (somme dei generatori) di tutti i coni di dimensione $k \geq 2$, elaborati in ordine decrescente di dimensione.
   • Risultato: Per il Lemma 6.4, se un ventaglio liscio $\Phi$ raffina un ventaglio proiettivo $\Delta$, allora la suddivisione baricentrica $\text{Bar}(\Phi)$ è proiettiva. Questo passo forza la proiettività preservando la liscità.

Contributi e Risultati Chiave

• Teorema 1.1 (Proiettivizzazione Torica Canonica): Il lavoro dimostra che per ogni ventaglio liscio e completo $\Sigma$ in $N_\mathbb{R}$ ($n \geq 2$), esiste una sequenza canonica finita di blow-up toriche:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  tale che:

  1. $X_{\hat{\Sigma}}$ è liscia e proiettiva.
  2. Ogni morfismo è la blow-up di un centro invariante per il toro liscio di codimensione $\geq 2$.
  3. La costruzione è canonica rispetto a una base ordinata del reticolo fissata.

• Uniformità: La dimostrazione è uniforme su tutte le dimensioni $n$, evitando analisi di casi specifiche per dimensione (a differenza di alcuni approcci precedenti alle trevarietà non proiettive).

• Specializzazione in Dimensione Tre: In dimensione tre, gli oggetti "cattivi" risolti dalla fase di adattamento al muro sono curve invarianti (corrispondenti a coni 2-dimensionali), e la fase baricentrica risolve curve invarianti e punti fissi del toro (coni 3-dimensionali). Ciò si allinea con la filosofia della "curva cattiva" osservata nelle trevarietà di Moishezon non proiettive.

• Stime di Lunghezza: Il lavoro fornisce stime per il numero di blow-up richiesti. La lunghezza totale si decompone in un costo di adattamento (relativo al numero di raggi aggiunti per soddisfare le condizioni dei muri) e un costo baricentrico (relativo al numero di coni nel ventaglio adattato). Per le trevarietà, viene derivata una formula specifica $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$.

Significato e Affermazioni
Il lavoro afferma di fornire una soluzione costruttiva al problema della proiettivizzazione che mantiene la liscità durante l'intero processo.

• Contrasto con i Metodi Classici: A differenza del Lemma di Chow Torico classico seguito dalla desingularizzazione (che può introdurre ventagli intermedi singolari), questo metodo garantisce che ogni varietà intermedia sia liscia.
• Contrasto con la Fattorizzazione Debole: A differenza del Teorema di Fattorizzazione Debole (Włodarczyk), che decompone i morfismi birazionali in blow-up e blow-down, questa costruzione ottiene il risultato utilizzando solo blow-up.
• Contrasto con le Modifiche Q-Fattoriali: L'approccio differisce dai framework che utilizzano flip, flop o modifiche Q-fattoriali (ad esempio Fujino–Sato), che spesso risultano in varietà isomorfe in codimensione uno piuttosto che in una varietà dominante.
• Canonicità: La costruzione è deterministica una volta scelta una base del reticolo, risolvendo le sottovarietà "cattive" (quelle che attraversano i muri di proiettività) in un ordine sistematico.

L'autore nota che l'ipotesi di liscità è essenziale; se il ventaglio di input non è liscio, la somma dei generatori $u+v$ potrebbe non essere primitiva, impedendo l'applicazione diretta dell'algoritmo di adattamento al segno. Il lavoro è presentato come una costruzione diretta e non pesata per ventagli lisci, distinta dalle versioni pesate delle congetture di fattorizzazione.