Invariants in equivariant birational geometry

1. Il Problema: Geometria Birazionale Equivariante

Il lavoro si colloca nel campo della geometria birazionale equivariante, un'estensione della geometria birazionale classica che studia le classi di isomorfismo di campi di funzioni di varietà algebriche dotate di un'azione di un gruppo finito $G$.

Il problema centrale affrontato è la classificazione delle azioni di gruppi finiti su varietà razionali (o stazionalmente razionali) fino a coniugazione nel gruppo di Cremona (il gruppo delle automorfismi birazionali). Nello specifico, gli autori cercano di determinare:

• Quando due azioni di un gruppo $G$ su una varietà razionale $X$ sono $G$-birazionalmente equivalenti?
• Quando un'azione $G$ su una varietà razionale è linearizzabile (cioè $G$-birazionale all'azione su uno spazio proiettivo $P(V)$ derivante da una rappresentazione lineare)?
• Quando un'azione è stabilmente linearizzabile (cioè $X \times P^n$ è $G$-birazionale a $P(V) \times P^m$)?

Mentre il problema è risolto in dimensione 2, rimane aperto e complesso in dimensioni $\ge 3$. Gli autori evidenziano che gli invarianti classici (come il gruppo di Picard o la coomologia) sono spesso insufficienti per distinguere azioni non linearizzabili o per provare la non-birazionalità di azioni che sembrano simili.

2. Metodologia e Strumenti

La metodologia si basa su una combinazione di strumenti avanzati di geometria algebrica e teoria dei gruppi:

• Strumenti Analitici e Motivi: L'uso dell'integrazione motivica e della specializzazione di invarianti razionali. Gli autori sfruttano la connessione tra la geometria birazionale su campi chiusi e quella su campi non chiusi (dove il ruolo di $G$ è giocato dal gruppo di Galois).
• Strumenti Geometrici:
  • Fattorizzazione Debole Equivariante: Ogni mappa birazionale propria può essere fattorizzata in una sequenza di esplosioni (blow-up) e contrazioni con centri lisci invarianti.
  • Modelli Regulari e "Divisorial Form": Un passo cruciale è la costruzione di un modello birazionale "buono" per l'azione di $G$. Gli autori introducono la nozione di forma divisoriale (divisorial form), ottenuta tramite una sequenza di esplosioni equivarianti, che garantisce che i gruppi di stabilizzatore siano abeliani e che le azioni sui fibrati normali soddisfino condizioni di suriettività specifiche.
  • Stack di Deligne-Mumford: L'uso dello stack quoziente $[X/G]$ per studiare la coomologia equivariante e le obstruzioni al sollevamento delle azioni.
• Cohomologia Motiva e di Leray: L'analisi delle successioni spettrali di Leray applicate agli stack per estrarre invarianti coomologici superiori (invarianti di Amitsur).

3. Contributi Chiave: Il Gruppo Burnside Equivariante

Il contributo principale del paper è l'introduzione e lo sviluppo sistematico del Gruppo Burnside Equivariante, denotato come $Burn_n(G)$.

• Definizione: $Burn_n(G)$ è un gruppo abeliano generato da "simboli" che codificano l'azione di $G$ sui punti fissi e sulle strati dello stabilizzatore di una varietà $X$. Un simbolo tipico ha la forma $(H, Y \curvearrowright K, \beta)$, dove:
  • $H \subseteq G$ è un sottogruppo abeliano (stabilizzatore generico).
  • $Y$ è un sottogruppo del quoziente del centralizzatore.
  • $K$ è un campo di funzioni con un'azione di $Y$.
  • $\beta$ è una sequenza di caratteri di $H$ che descrive l'azione sul fibrato normale.
• Relazioni: Il gruppo è definito imponendo relazioni che riflettono le trasformazioni birazionali, in particolare le relazioni di esplosione (blow-up relations). Queste relazioni permettono di calcolare la classe di un'azione su una varietà esplosa in termini della classe sull'originale e sui centri dell'esplosione.
• Invariante: Per una varietà $X$ in forma divisoriale, gli autori definiscono una classe $[X \curvearrowright G] \in Burn_n(G)$. Il teorema fondamentale (Teorema 7.4) afferma che questa classe è un invariante birazionale equivariante: due varietà $G$-birazionalmente equivalenti hanno la stessa classe nel gruppo Burnside.

4. Risultati e Invarianti Derivati

Il paper presenta una serie di risultati tecnici e applicazioni:

• Invariante di Amitsur e Obstruzioni: Gli autori generalizzano l'invariante di Amitsur classico ($Am_2$) a livelli superiori ($Am_3, Am_4$) utilizzando la coomologia motivica e la successione spettrale di Leray.
  • Viene introdotto l'invariante $\beta(X, G)$ come ostacolo al sollevamento dell'azione a un torsore universale.
  • Viene dimostrato che se un'azione è stabilmente linearizzabile, allora certi gruppi di coomologia (come $H^1(G, Pic(X))$) e gli invarianti di Amitsur devono annullarsi.
• Simboli Incompressibili: Viene introdotta la nozione di "simboli incompressibili" (incompressible symbols). Questi sono simboli nel gruppo Burnside che non possono essere ridotti tramite le relazioni di esplosione. La presenza di tali simboli in $[X \curvearrowright G]$ fornisce una prova potente della non-linearizzabilità o della non-birazionalità di un'azione.
• Mappe di Specializzazione: Viene costruita una mappa di specializzazione $\rho_t: Burn_{n, K}(G) \to Burn_n(G)$ che permette di studiare il comportamento degli invarianti quando una famiglia di varietà degenera. Questo strumento è cruciale per dimostrare che se una fibra speciale non è linearizzabile, allora anche le fibre generali (in famiglie appropriate) non lo sono.
• Classificazione e Controesempi:
  • Vengono forniti nuovi criteri per distinguere azioni lineari da azioni non lineari su varietà razionali (es. cubiche singolari, quadriche).
  • Si dimostra che certe azioni su quadriche o varietà di Fano non sono linearizzabili, anche se soddisfano condizioni di stabilità più deboli.
  • Si analizza il caso di azioni su tori e gruppi riduttivi, evidenziando le limitazioni dell'estensione del formalismo Burnside a gruppi non finiti (dove la teoria dei caratteri non è sufficiente).

5. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella geometria birazionale equivariante per diverse ragioni:

1. Nuovi Invarianti Potenti: Il gruppo Burnside $Burn_n(G)$ fornisce un invariante birazionale molto più fine rispetto agli invarianti coomologici classici (come il gruppo di Picard o il gruppo di Brauer). È in grado di distinguere azioni che erano precedentemente indistinguibili.
2. Struttura Computazionale: La definizione basata su simboli e relazioni offre un quadro teorico che, sebbene complesso, è potenzialmente computabile per gruppi finiti e varietà di dimensione moderata, permettendo la classificazione di sottogruppi del gruppo di Cremona.
3. Connessione con la Teoria dei Campi: Il lavoro collega profondamente la geometria birazionale equivariante con la teoria dei campi di invarianti e la coomologia di Galois, offrendo nuovi strumenti per studiare problemi di razionalità stazionaria.
4. Strumento per la Non-Linearizzabilità: Fornisce un metodo sistematico (tramite simboli incompressibili e specializzazione) per provare che un'azione su una varietà razionale non è birazionale a un'azione lineare, risolvendo casi aperti in dimensioni $\ge 3$.

In sintesi, Kresch e Tschinkel pongono le basi per una teoria degli invarianti equivarianti robusta, trasformando problemi geometrici complessi in questioni algebriche combinatorie all'interno del gruppo Burnside, aprendo nuove strade per la classificazione delle azioni di gruppi su varietà razionali.