Enumerative geometry of skew lines in $\mathbb P^3$ with a given associated finite group

Sintesi Tecnica: Geometria Enumerativa di Rette Disgiunte in $\mathbb{P}^3$ con un Dato Gruppo Associato

Enunciato del Problema
Il saggio affronta la classificazione di insiemi finiti di rette disgiunte (pairwise skew) nello spazio proiettivo $\mathbb{P}^3_K$ su un campo algebricamente chiuso $K$. Sebbene la classificazione sia finita per i campi finiti (dove tali insiemi sono noti come spreads), su campi infiniti come $\mathbb{C}$, esistono infiniti classi di equivalenza proiettiva anche per insiemi di quattro rette disgiunte. Gli autori investigano un problema enumerativo specifico: classificare gli insiemi di rette disgiunte $L$ in base al loro "gruppo associato" $G_L$.

Per ogni insieme finito di $s \geq 3$ rette disgiunte, viene associato un groupoid $G_L$, dove gli oggetti sono le rette e i morfismi sono isomorfismi indotti dalla geometria delle terne di rette disgiunte. Il gruppo di automorfismo di una qualsiasi retta in questo groupoid, denotato $G_L \subset \text{Aut}(L_i) \cong \text{PGL}_2(K)$, è un invariante proiettivo della configurazione. La questione centrale è: per un dato sottogruppo finito $G \subset \text{PGL}_2(K)$, quali sono le possibili configurazioni $L$ tali che $G_L \cong G$? Il lavoro si concentra particolarmente sul caso in cui $G$ è un gruppo finito non abeliano (specificamente $A_4$, $S_4$ e $A_5$), un caso in cui i precedenti metodi di classificazione basati sui trasversali (rette che incontrano tutti i membri di $L$) sono falliti.

Metodologia
Gli autori utilizzano una descrizione matriciale delle rette disgiunte sviluppata nel lavoro precedente [4]. Fissando tre rette disgiunte $L_\infty, L_0, L_{I_2}$ (dove $L_{I_2}$ corrisponde alla matrice identità), qualsiasi altra retta $L$ disgiunta da $L_\infty$ e $L_0$ è univocamente rappresentata come $L_M$ per una matrice $M \in \text{GL}_2(K)$.

• Condizione di Disgiunzione (Skewness): Due rette $L_M$ e $L_N$ sono disgiunte se e solo se $M - N$ è invertibile.
• Generazione del Gruppo: Il gruppo $G_L$ è generato dalle classi proiettive delle matrici $\{M_i\}$ che definiscono le rette e dalle classi delle loro differenze $\{M_i - M_j\}$.
• Normalizzazione: Utilizzando il fatto che tre rette disgiunte sono proiettivamente equivalenti, gli autori normalizzano le configurazioni affinché contengano $L_\infty, L_0, L_{I_2}$. Studiano l'insieme delle matrici $M$ tali che le classi di $M$ e delle loro differenze generino un gruppo finito specifico $G$.

Contributi Chiave e Risultati

1. Limite di Finitezza (Teorema 3.2):
   Il saggio stabilisce che per ogni dato sottogruppo finito non banale $G \subset \text{PGL}_2(K)$, esiste un unico insieme finito minimo $M_G$ tale che ogni configurazione $L$ con $G_L = G$ sia un sottoinsieme di $M_G$. Gli autori derivano un limite superiore esplicito sulla dimensione di questo insieme:
   $$|M_G| \leq (|G| - 1)^2(|G| - 2) + 2$$
   Questo risultato implica che il problema della classificazione di tali configurazioni è finito per ogni dato $G$. Di conseguenza, il Corollario 3.4 afferma che se un insieme di rette disgiunte in $\mathbb{P}^3_\mathbb{C}$ ha più di 201.900 rette, il suo gruppo associato deve essere o infinito o ciclico finito (escludendo così gruppi finiti non abeliani come $A_4, S_4, A_5$).

2. Classificazione per $A_4$ (Teorema 4.3):
   Per il gruppo alterno $A_4$ in caratteristica 0, gli autori dimostrano che esiste un'unica classe di equivalenza proiettiva di configurazioni di rette disgiunte con $G_L \cong A_4$.

• Cardinalità: L'unico insieme consiste esattamente di 5 rette.
• Struttura: L'insieme è $\{L_\infty, L_0, L_{I_2}, L_U, L_V\}$, dove $U$ e $V$ sono matrici di ordine 3 in $A_4$ tali che il loro prodotto $UV$ ha ordine 2.
• Simmetria: Il gruppo di automorfismi proiettivi che permutano queste 5 rette è isomorfo a $S_5$.

3. Classificazione per $S_4$ (Teorema 5.6):
   Per il gruppo simmetrico $S_4$, la classificazione è più complessa e produce molteplici classi di equivalenza proiettiva a seconda del numero di rette.

• Caso Minimo ($s=5$): Esiste un'unica classe di equivalenza proiettiva di 5 rette disgiunte con gruppo $S_4$.
• Casi Massimali:
  • Per 7 rette (insiemi massimali non estendibili), ci sono 8 classi di coniugazione di configurazioni.
  • Per 10 rette (insiemi massimali), esiste un'unica classe di equivalenza proiettiva.
• Casi Intermedi: Per insiemi di 6, 8 o 9 rette, il saggio nota l'esistenza di almeno due distinte classi di equivalenza proiettiva, ma non fornisce una enumerazione completa.
• Distinzione Geometrica: Gli autori dimostrano che la configurazione di 10 rette per $S_4$ contiene esattamente 10 superfici quadriche, ognuna delle quali contiene 4 rette, mentre certe configurazioni di 7 rette non contengono alcuna superficie quadrica con 4 rette.

4. Grafi di Compatibilità:
   Gli autori introducono grafi di compatibilità dove i vertici rappresentano matrici candidati e gli archi rappresentano la condizione che la differenza di due matrici proietti un elemento del gruppo target. Usano questi grafi per identificare "clique" (insiemi di rette mutuamente compatibili) che generano il gruppo $G$. Per $S_4$, identificano 9 clique massimali di dimensione 8 (corrispondenti a 10 rette includendo le tre fisse) e 70 clique massimali di dimensione 5 (corrispondenti a 7 rette).

Significato e Motivazione
Il saggio sostiene di fornire la prima base sistematica per classificare le rette disgiunte con gruppi associati finiti non abeliani. I lavori precedenti [2] avevano classificato ampiamente il caso abeliano utilizzando l'esistenza di trasversali (rette che incontrano tutti i membri dell'insieme), una proprietà che fallisce per i gruppi non abeliani. Spostando l'attenzione sul gruppo $G_L$ e utilizzando la condizione della differenza di matrici, gli autori aggirano la necessità dei trasversali.

Il lavoro è motivato dallo studio degli insiemi "geproci" (General Projection is a Complete Intersection), ovvero insiemi finiti di punti in $\mathbb{P}^3$ la cui proiezione generale su un piano è un'intersezione completa. Come notato in [2], gli insiemi geproci spesso sorgono come orbite di groupoid di punti su rette disgiunte. La classificazione delle rette con gruppi non abeliani è un passo necessario per classificare completamente gli insiemi geproci che derivano da tali configurazioni. Il saggio conclude che, sebbene il limite teorico sul numero di rette sia elevato, le configurazioni minime e massimali effettive per specifici gruppi non abeliani sono sorprendentemente piccole e rigide, spesso ammettendo classi di equivalenza proiettiva uniche.