Chow quotients of ${\mathbb C}^*$-actions on convex varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della Geometria Algebrica moderna, focalizzandosi sulla teoria dei quozienti di varietà proiettive sotto l'azione di gruppi algebrici. In particolare, gli autori studiano i quozienti di Chow ($C_X$) di varietà convessse $X$ di numero di Picard uguale a uno, rispetto all'azione di un toro unidimensionale ($C^*$).

Il contesto è motivato da due filoni principali:

1. Geometria Invarianti (GIT): I quozienti di Chow sono stati introdotti da Kapranov come alternativa intrinseca ai quozienti di GIT, parametrizzando la chiusura delle orbite generali. Esempi noti includono gli spazi di moduli di curve stabili ($M_{0,n}$) e spazi di "complete collineations" o "complete quadrics".
2. Classificazione delle varietà: L'articolo si concentra su una classe specifica di varietà chiamate varietà convessse (varietà lisce proiettive il cui fascio tangente è nef sulle curve razionali). Questa classe include le varietà omogenee razionali e i fibrati Fano con fascio tangente nef.

L'obiettivo è comprendere la geometria globale del quoziente di Chow $C_X$ (liscezza, coni di nef e Mori, divisore anticanonico) in un quadro unificato, estendendo risultati noti su casi specifici (come gli spazi di collineazioni complete) a una classe più ampia di azioni su varietà omogenee razionali.

2. Metodologia e Ipotesi

Gli autori lavorano sotto le seguenti ipotesi fondamentali (Setup 3.1):

• $X$ è una varietà convessa liscia di numero di Picard $\rho(X) = 1$.
• L'azione di $C^*$ è equalizzata: i sottogruppi di isotropia propri sono banali (le orbite 1-dimensionali sono curve razionali lisce).
• L'azione ha criticalità $r \ge 2$, definita dal numero di valori critici (pesi) del fascio amplo generatore $L$.

Strumenti Metodologici:

• Decomposizione di Bia lynicki-Birula: Sfruttata per analizzare le celle affini associate ai componenti fissi $Y_j$ dell'azione.
• Prunings (Potature): Utilizzo di modifiche birazionali di $X$ (ottenute tramite blow-up lungo i punti fissi estremi) per definire quozienti di Chow parziali $C_{X_{i,j}}$.
• Diagrammi di Blow-up: Il quoziente di Chow $C_X$ è descritto come il limite inverso normalizzato di una serie di quozienti semigeometrici di GIT ($G_{X_{i,j}}$). Gli autori dimostrano che le mappe tra questi oggetti sono blow-up con centri lisci.
• Deformazioni di Cicli: Analisi delle deformazioni di primo ordine dei cicli $C^*$-invarianti per caratterizzare la struttura singolare del quoziente.

3. Contributi Chiave e Risultati Principali

A. Struttura Geometrica e Liscezza

Il primo risultato fondamentale riguarda la regolarità del quoziente e la natura del suo "bordo" (l'insieme dei cicli riducibili).

• Teorema 1.1: Il quoziente di Chow $C_X$ è liscio.
• Il sottoschema $C_{X}^{sing}$ che parametrizza gli elementi riducibili (cicli con punti singolari) è un divisore a intersezioni normali semplici (SNC) con $r-1$ componenti irriducibili, denotate $E_i$.
• Ogni componente $E_i$ corrisponde ai cicli che hanno un punto singolare nel componente fisso $Y_i$ dell'azione.
• Teorema 3.15: Tutti i quozienti di Chow parziali $C_{X_{i,j}}$ sono lisci e le mappe tra di essi sono blow-up con centri lisci. Questo estende risultati precedenti che valevano solo per casi particolari.

B. Coni di Nef e Mori

Gli autori descrivono completamente la geometria birazionale di $C_X$ determinando i suoi coni fondamentali.

• Teorema 1.2 (Cono di Nef): Il cono di Nef di $C_X$ è generato dalle classi dei pullback dei fasci amplo sui quozienti semigeometrici $G_{X_{i,i}}$, denotati $L_{i,i}$.
• Teorema 4.10 (Cono di Mori): Il cono di Mori è generato da una famiglia di curve speciali chiamate curve primali ($\Gamma_i$). Queste curve sono costruite come famiglie di cicli invarianti che collegano componenti fisse adiacenti.
• Il numero di Picard di $C_X$ è $|I|$, dove $I$ è l'insieme degli indici $i$ tali che $\dim Y_i > 0$.
• Le intersezioni tra i divisori $E_i$ e le curve $\Gamma_j$ formano una matrice tridiagonale specifica (con valori $-1, 2, -1$), che permette di calcolare esplicitamente i coni.

C. Fascio Anticanonico

L'articolo fornisce una formula esplicita per il divisore anticanonico $-K_{C_X}$ in termini delle classi $L_{i,i}$ e di invarianti dell'azione ($u^\pm_j$).

• Teorema 5.3: La classe $-K_{C_X}$ è espressa come combinazione lineare delle classi $L_{i,i}$ con coefficienti dipendenti dai ranghi dei fibrati normali dei punti fissi ($\nu^\pm_j$).
• Applicazioni:
  • In molti casi (es. spazi di collineazioni complete, quadriche complete), $-K_{C_X}$ è amplo, rendendo $C_X$ una varietà Fano.
  • Vengono forniti controesempi (es. azioni su certe Grassmanniane ortogonali) dove $-K_{C_X}$ è nef ma non ample, o addirittura non nef, dimostrando che la proprietà Fano non è universale per tutti i quozienti di Chow di varietà omogenee.

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Unificazione: Fornisce una descrizione unificata e geometrica di spazi di moduli classici (come gli spazi di collineazioni complete e forme skew-complete) come quozienti di Chow di varietà omogenee razionali, bypassando costruzioni ad hoc basate su sequenze di blow-up di spazi proiettivi.
2. Generalizzazione: Estende la comprensione dei quozienti di Chow oltre i casi noti, applicandosi a una vasta classe di azioni su varietà convessse, molte delle quali con quozienti precedentemente sconosciuti.
3. Strumento Computazionale: La descrizione esplicita dei coni di Nef/Mori e del fascio anticanonico permette di classificare la natura birazionale di questi spazi (se sono Fano, di tipo fibra, ecc.) e di studiarne le proprietà di "Mori Dream Space".
4. Metodologia: L'uso sistematico della convessità per garantire la liscezza del quoziente e la struttura di blow-up dei quozienti parziali offre un potente strumento per future indagini sulla geometria dei quozienti di azioni di tori su varietà più generali.

In sintesi, il paper stabilisce che per varietà convessse di Picard numero uno con azioni equalizzate, il quoziente di Chow è una varietà liscia con una struttura geometrica molto controllata, i cui invariants fondamentali sono calcolabili direttamente dai dati dell'azione di $C^*$ sulla varietà originale.