Remarks on the group of birational selfmaps of a conic fibration

1. Enunciato del Problema e Contesto

L'articolo indaga la struttura del gruppo delle applicazioni birazionali di una varietà in se stessa, denotato $\text{Bir}(X)$, per varietà proiettive $X$ che sono birazionali a fibrati in coniche (varietà fibrati su una base $Y$ con fibre generiche che sono curve razionali).

• Sfondo: Mentre il gruppo $\text{Bir}(\mathbb{P}^n)$ è ben studiato, la struttura di $\text{Bir}(X)$ per varietà razionalmente connesse non razionali è meno compresa. Un risultato recente suggerisce che se $\text{Bir}(X) \cong \text{Bir}(\mathbb{P}^n)$, allora $X$ deve essere razionale.
• Il Divario: Era già noto che $\text{Bir}(X)$ per i fasci di coniche è non numerabile (a causa del suo isomorfismo a un gruppo ortogonale sul campo delle funzioni $C(Y)$). Tuttavia, la struttura algebrica specifica e la natura dei suoi generatori non erano state completamente caratterizzate in termini di omomorfismi espliciti verso grandi gruppi abeliani.
• Obiettivo: L'autrice mira a dimostrare che il gruppo $\text{Bir}(X/Y)$ (applicazioni birazionali che preservano la fibrazione) ammette un morfismo suriettivo verso una somma diretta non numerabile di copie di $\mathbb{Z}/2\mathbb{Z}$, stabilendo così una struttura ricca e non discreta anche per varietà non razionali.

2. Metodologia

L'articolo impiega una combinazione di Geometria Birazionale (MMP), Teoria dei Gruppi Algebrici (Gruppi Ortogonali) e Metodi Topologici sui gruppi birazionali.

A. Costruzione Geometrica di Involuzioni

Lo strumento geometrico fondamentale è la costruzione di collegamenti di Tipo II (involuzioni birazionali specifiche) sui fasci di coniche.

• Impostazione: Sia $f: X \to Y$ un fascio di coniche. L'autrice considera sezioni razionali $s: Y \dashrightarrow \mathbb{P}(E)$ (dove $X \subset \mathbb{P}(E)$).
• Involuzione $\tau_s$: Per una sezione $s$ non contenuta in $X$, viene definita un'involuzione $\tau_s$ fibra per fibra proiettando dal punto $s(y)$ sulla fibra conica.
• Locus di Indeterminazione: Il locus di indeterminazione di $\tau_s$ è determinato dall'intersezione della sezione con il fascio di coniche. L'autrice dimostra che scegliendo sezioni con grado sufficientemente alto, è possibile generare un numero non numerabile di loci di indeterminazione distinti $\Gamma$.

B. Interpretazione Algebrica tramite Norma Spinoriale

L'articolo collega la costruzione geometrica alla teoria dei Gruppi Ortogonali.

• Isomorfismo: $\text{Bir}(X/Y)$ è isomorfo al gruppo di automorfismi della fibra generica $X_\eta$, che è una quadrica liscia sul campo delle funzioni $F = C(Y)$. Pertanto, $\text{Bir}(X/Y) \cong \text{Aut}(X_\eta) \subset O(F^3)$.
• Norma Spinoriale: L'autrice utilizza l'omomorfismo della norma spinoriale $\theta: O(V) \to F^*/(F^*)^2$.
• Fattorizzazione: Il principale omomorfismo $\Phi$ (precedentemente definito in [BLZ21]) è mostrato come fattorizzabile attraverso la norma spinoriale e una mappa divisoria:
  $$\Phi = \xi \circ \text{div} \circ \theta$$
  dove $\text{div}$ mappa la classe di una funzione razionale al suo divisore modulo 2.

C. Analisi Topologica

L'articolo analizza la topologia di $\text{Bir}(X)$ utilizzando la topologia del limite induttivo definita dagli schemi di Hilbert (come studiato in [RUvS25b]).

• Grado Limitato: Un sottoinsieme di $\text{Bir}(X)$ ha "grado limitato" se è contenuto in un'unione finita di schemi di Hilbert corrispondenti a polinomi di Hilbert limitati.
• Strategia: L'autrice dimostra che i generatori di $\text{Bir}(X)$ non possono essere limitati in grado mostrando che i gradi richiesti per le sezioni definenti crescono indefinitamente.

3. Contributi e Risultati Chiave

Teorema 1.1: Quoziente Abeliano Non Numerabile

Enunciato: Sia $f: X \to Y$ una fibrazione con fibre curve razionali. Esiste un insieme non numerabile $I$ e un omomorfismo suriettivo:
$$\Phi: \text{Bir}(X/Y) \to \bigoplus_{I} \mathbb{Z}/2\mathbb{Z}$$
Significato: Questo dimostra che il gruppo delle applicazioni birazionali di una varietà in se stessa non è solo non numerabile, ma possiede una massiccia struttura di quoziente abeliano. Ciò lo distingue nettamente da gruppi che potrebbero essere "piccoli" o discreti.

Teorema 1.2: Fattorizzazione tramite Norma Spinoriale

Enunciato: L'omomorfismo $\Phi$ fattorizza come $\xi \circ \text{div} \circ \theta$, dove:

1. $\theta$ è la norma spinoriale che mappa in $C(Y)^*/(C(Y)^*)^2$.
2. $\text{div}$ mappa la classe di una funzione alla somma dei suoi divisori primi modulo 2.
3. $\xi$ è una proiezione verso la somma non numerabile.
   Significato: Questo fornisce un'interpretazione algebrica concreta delle involuzioni geometriche costruite in [BLZ21], collegando la geometria del locus di indeterminazione direttamente all'aritmetica del campo delle funzioni tramite la norma spinoriale.

Corollario 1.3: Non Razionalità e Non Numerabilità

Enunciato: Se $X$ è una varietà di dimensione 3, razionalmente connessa, non razionale e birazionale a un fascio di coniche, allora $\text{Bir}(X)$ è non numerabile, eppure la componente connessa del gruppo di automorfismi $\text{Aut}^\circ(Y)$ è banale per qualsiasi $Y$ birazionale a $X$.
Significato: Questo risolve una possibile congettura secondo cui le varietà non razionali potrebbero avere gruppi birazionali "discreti". Mostra che anche quando il gruppo di automorfismi continuo è banale, il gruppo birazionale può essere vasto.

Corollario 1.4: Generatori Illimitati

Enunciato: Se $\dim(Y) \geq 2$, non esiste un insieme di generatori per $\text{Bir}(X)$ di grado limitato.
Significato: Questo è un risultato topologico. Implica che il gruppo $\text{Bir}(X)$ non è finitamente generato in alcun senso limitato; sono necessarie famiglie algebriche di generatori di grado arbitrariamente alto per generare il gruppo. Ciò contrasta con la struttura di $\text{Bir}(\mathbb{P}^2)$ o $\text{Bir}(\mathbb{P}^n)$ in certi contesti.

4. Lemma Tecnici a Supporto delle Dimostrazioni

• Lemma 3.1 (Isotropia): Stabilisce che le fibrazioni con fibre di tipo generale che sono birazionali tra loro sono essenzialmente prodotti modulo un'azione di un gruppo finito. Questo viene utilizzato per escludere certe equivalenze birazionali tra le fibre.
• Lemma 3.2 (Non Birazionalità delle Intersezioni): Dimostra che le intersezioni complete generiche di codimensione 2 all'interno di un fascio di coniche (con grado sufficientemente alto) non sono birazionali tra loro. Questo è il passaggio cruciale per garantire che l'insieme $I$ nel Teorema 1.1 sia non numerabile. Se tutte tali intersezioni fossero birazionali, il quoziente sarebbe numerabile.
• Lemma 3.3 (Inserimento): Mostra che qualsiasi fibrazione in coniche può essere trasformata birazionalmente in una sottovarietà di un fibrato proiettivo $\mathbb{P}(\mathcal{O} \oplus \mathcal{O}(a) \oplus \mathcal{O}(b))$, permettendo l'uso di equazioni esplicite per il calcolo della norma spinoriale.

5. Significato e Impatto

1. Intuizione Strutturale: L'articolo avanza significativamente la comprensione della struttura di gruppo delle applicazioni birazionali per varietà non razionali. Va oltre il semplice fatto della "non numerabilità" per descrivere la specifica struttura algebrica (una grande somma diretta di $\mathbb{Z}/2\mathbb{Z}$).
2. Connessione con il MMP: Collega i risultati del Programma di Modello Minimo (MMP) (fasci di coniche) con profonde proprietà teorico-gruppal, mostrando che la "complessità birazionale" di queste varietà è immensa.
3. Vincoli Topologici: Il risultato sui gradi illimitati (Corollario 1.4) impone vincoli forti sulla topologia dello spazio delle applicazioni birazionali, suggerendo che lo "spazio" delle applicazioni birazionali per i fasci di coniche è molto più complesso di quello delle varietà razionali.
4. Raffinamento del Lavoro Precedente: Affina i risultati di Blanc, Lamy e Zimmermann ([BLZ21]) fornendo la fattorizzazione esplicita attraverso la norma spinoriale e dimostrando rigorosamente la non numerabilità dell'insieme indice $I$ utilizzando la teoria dell'intersezione.

In sintesi, Floris dimostra che il gruppo delle applicazioni birazionali di una fibrazione in coniche è strutturalmente ricco, ammettendo un massiccio quoziente abeliano derivato dalla norma spinoriale, e richiede generatori di grado arbitrariamente alto, distinguendosi fondamentalmente dai gruppi birazionali delle varietà razionali.