On the Codimension-1 $\mathrm{PGL}_4$ Orbit Closures in $\mathrm{Gr}(2,10)$

1. Il Problema e il Contesto

Il paper studia l'azione naturale del gruppo proiettivo lineare $PGL(V)$ sulla varietà di Grassmanniana $G := \text{Gr}(2, \text{Sym}^2 V^\vee)$, dove $V$ è uno spazio vettoriale di dimensione 4 su un campo algebricamente chiuso di caratteristica 0.

• Geometria di base: I punti di $G$ corrispondono a sistemi lineari di dimensione 2 di quadriche in $\mathbb{P}(V) \cong \mathbb{P}^3$, ovvero a fasci di quadriche.
• Dimensionalità: La dimensione di $G$ è 16, mentre la dimensione del gruppo $PGL(V)$ è 15. Di conseguenza, l'orbita generica ha codimensione 1 in $G$.
• Obiettivo: L'obiettivo principale è costruire esplicitamente la famiglia uniparametrica di orbite generiche (codimensione 1), determinare le chiusure di queste orbite e calcolare le loro classi di Chow nell'anello di Chow $A_1(G)$.

2. Metodologia

L'autore adotta un approccio che combina algebra lineare, teoria delle forme binarie e calcolo delle intersezioni sulle Grassmanniane.

• Invariante Discriminante: Ad ogni fascio di quadriche $W = \langle Q_0, Q_1 \rangle$ è associata una forma binaria quartica discriminante:
  $$\Delta_W(s, t) := \det(sQ_0 + tQ_1)$$
  Le radici di questa forma indicano i membri singolari del fascio.
• Classificazione delle Orbite: Sul luogo aperto $U_{sm}$ dove il discriminante ha quattro radici distinte (fasci lisci), l'orbita $PGL(V)$ è classificata dall'invariante $j$ della forma binaria quartica. Questo definisce una mappa razionale $PGL(V)$-invariante $p: G \dashrightarrow \mathbb{P}^1$.
• Calcolo delle Classi di Chow: Per determinare la classe di un divore (fibra generica), l'autore utilizza il calcolo di Schubert.
  • Si considera un ciclo di Schubert complementare $\sigma_{8,7}$ (fascio di rette in un piano fisso $\Pi \subset \mathbb{P}^9$ passanti per un punto fisso $q$).
  • L'intersezione di una fibra generica con questo ciclo si riduce al calcolo del grado della mappa $j$ indotta su questo "taglio" di Schubert.
  • Geometricamente, questo corrisponde a contare le rette tangenti a una curva quartica piana liscia $C = \Pi \cap D$ (dove $D$ è l'ipersuperficie delle quadriche singolari) passanti per un punto generale $q$.
• Analisi dei Casi Speciali: Si studiano le fibre speciali (valori di $j$ critici e il punto all'infinito) per identificare le componenti divisoriali del luogo dei punti con radici multiple del discriminante.

3. Contributi Chiave e Risultati Principali

A. La Mappa $j$ e le Orbite Lisce

Esiste una mappa razionale $p: G \dashrightarrow \mathbb{P}^1$ data dall'invariante $j$ del discriminante.

• Per ogni valore finito $a \in \mathbb{P}^1 \setminus \{\infty\}$, la fibra ridotta $O_a$ è una singola orbita $PGL(V)$ di codimensione 1.
• La chiusura $\overline{O_a}$ è una varietà irriducibile di codimensione 1.

B. Calcolo delle Classi di Chow

Il risultato centrale riguarda la classe di Chow $[D] \in A_1(G)$ delle chiusure di queste orbite. La classe è espressa in termini della classe di Schubert speciale $\sigma_1$ (classe di un iperpiano nell'immersione di Plücker).

1. Fibre Generiche ($a \notin \{0, 1728, \infty\}$):
   La classe della fibra schematica è $[F_a] = 12\sigma_1$. Poiché la fibra è ridotta, la classe dell'orbita ridotta è:
   $$[O_a] = 12\sigma_1$$
   Derivazione: Il grado della mappa $j$ limitata a un ciclo di Schubert complementare è 12 (corrispondente al numero di rette tangenti a una quartica piana liscia da un punto esterno, calcolato tramite la formula di Riemann-Hurwitz o la formula di Plücker).

2. Valori CM (Complessi Moltiplicativi):
   Per i valori speciali $j=0$ e $j=1728$, le fibre non sono ridotte.

   • Per $j=1728$: La fibra schematica è $F_{1728} = 2 \cdot O_{1728}$. Di conseguenza, la classe ridotta è $[O_{1728}] = 6\sigma_1$.
   • Per $j=0$: La fibra schematica è $F_0 = 3 \cdot O_0$. Di conseguenza, la classe ridotta è $[O_0] = 4\sigma_1$.

3. La Fibra Speciale all'Infinito ($j=\infty$):
   Il luogo delle radici multiple del discriminante (fasci con discriminante non generico) ha una componente divisoriale unica, denotata $T$.

   • Geometria: $T$ è la chiusura dell'orbita di un fascio specifico $W_{node}$ le cui quadriche generano un'intersezione completa di due quadriche in $\mathbb{P}^3$ con un nodo ordinario (genere geometrico 0, genere aritmetico 1).
   • Classe: La classe di questo divore di bordo è $[T] = 12\sigma_1$.
   • Molteplicità: Il divore $T$ appare con molteplicità 1 nella fibra schematica $F_\infty$.

C. Confronto con Lavori Precedenti

Il lavoro estende i risultati di Choudhary (sulle orbite di $PGL_3$ su $\text{Gr}(3, V_2)$). Una differenza geometrica fondamentale è che, mentre nel caso di Choudhary la fibra speciale si spezza in due componenti divisoriali distinte, in questo caso ($PGL_4$ su $\text{Gr}(2, 10)$) la fibra speciale ha un'unica componente divisoriale irriducibile ($T$).

4. Significato e Implicazioni

• Completezza della Classificazione: Il paper fornisce una descrizione completa e rigorosa delle orbite di codimensione 1 per l'azione di $PGL_4$ su fasci di quadriche in $\mathbb{P}^3$, un problema classico in geometria algebrica.
• Struttura delle Fibre: Dimostra che la struttura delle fibre della mappa modulare $j$ è più sottile di quanto previsto: le fibre ridotte non sono tutte della stessa classe di Chow (a causa delle molteplicità nei punti CM), ma le fibre schematiche mantengono una classe costante ($12\sigma_1$).
• Geometria delle Intersezioni Complete: Collega la teoria delle orbite di Grassmanniane alla geometria delle intersezioni complete di due quadriche, identificando il divore di bordo con la degenerazione nodale di tali intersezioni.
• Metodologia: L'uso combinato di forme binarie, teoria delle invarianti e calcolo di intersezioni su Grassmanniane offre un modello robusto per lo studio di azioni di gruppi su spazi di moduli di sistemi lineari.

In sintesi, l'autore risolve il problema della classificazione delle orbite di codimensione 1, calcolando esplicitamente le loro classi di Chow e rivelando la struttura fine delle fibre speciali, in particolare la natura unica del divore di tangenza (nodo) e le molteplicità associate ai punti di simmetria elevata (CM).