New irreducible components of $\mathcal{B}(0,c_2)$ and Computation of the Dimension of its tangent space

1. Problema e Contesto

Il lavoro si concentra sullo studio dello spazio di moduli $B(e, c_2)$ dei fasci vettoriali stabili di rango 2 sullo spazio proiettivo complesso $\mathbb{P}^3$, caratterizzati dalle classi di Chern $c_1 = e$ e $c_2$.
In particolare, l'attenzione è rivolta al caso $e=0$ (fasci con determinante banale) e ai valori di $c_2$ per i quali la classificazione delle componenti irriducibili non è ancora completa.

• Stato dell'arte: Per $c_2 \leq 5$, lo spazio di moduli è completamente classificato. Per $c_2 \geq 6$, sono note tre famiglie principali di componenti irriducibili:
  1. La componente Instanton ($I_{c_2}$), di dimensione attesa $8c_2 - 3$.
  2. Le componenti di tipo Ein ($G(r, s, t)$), costruite tramite monadi di Ein.
  3. La componente Instanton modificata ($M_{c_2}$), introdotta recentemente.
• Il problema: Esistono componenti irriducibili "nascoste" o non classificate per valori di $c_2$ superiori? In particolare, il documento affronta il caso $c_2=6$ per $e=-1$ (dove è nota l'esistenza di una quarta componente $M_4$ di dimensione incerta) e cerca di dimostrare l'esistenza di nuove famiglie infinite per $e=0$ con $c_2 \geq 9$.

2. Metodologia

Gli autori combinano tecniche teoriche di geometria algebrica con calcoli computazionali espliciti:

• Corrispondenza di Serre e Monad: Utilizzano la corrispondenza di Hartshorne-Serre per costruire fasci vettoriali di rango 2 come coomologia di monadi di Horrocks minimi. Una monade è una complessa di fasci vettoriali $0 \to C \xrightarrow{\beta} B \xrightarrow{\alpha} A \to 0$ la cui unica coomologia non banale è il fascio $E$.
• Calcolo della Dimensione dello Spazio Tangente: La dimensione dello spazio tangente allo spazio di moduli in un punto $[E]$ è data da $\dim \text{Ext}^1(E, E)$.
  • Gli autori sviluppano e forniscono un codice Macaulay2 per calcolare esplicitamente $\dim \text{Ext}^1(E, E)$ e $\dim \text{Ext}^2(E, E)$ per fasci definiti da matrici di polinomi omogenei.
  • Questo approccio permette di verificare se un punto è liscio ($h^2(\text{End}(E))=0$) e di determinare la dimensione esatta della componente contenente quel fascio.
• Analisi di Semicontinuità: Sfruttano la semicontinuità inferiore della coomologia per dimostrare che certe famiglie di fasci non possono essere contenute nelle componenti note (Instanton, Ein, Modificate) se le loro dimensioni o invarianti (come lo spettro o l'invariante di Atiyah-Rees) differiscono.

3. Risultati Chiave

A. Calcolo della dimensione per $B(-1, 6)$

Gli autori confermano e precisano un risultato precedente ([FJ23]) riguardante la componente $M_4$ dello spazio $B(-1, 6)$.

• Utilizzando il codice Macaulay2 su una monade specifica, dimostrano che la dimensione dello spazio tangente è esattamente 45.
• Poiché la dimensione attesa era $\geq 45$, ne deducono che $\dim M_4 = 45$ e che i fasci generici di questa componente sono punti lisci.

B. Scoperta di due nuove famiglie infinite per $B(0, c_2)$

Per $e=0$, gli autori identificano due nuove famiglie infinite di componenti irriducibili, distinte da quelle già note:

1. Famiglia $V_0$ (Caso $b=0$):

   • Costruita tramite monadi con tipi $a = ((a-1)^2, 0^2)$ e $b = (a^2)$ per $a \geq 3$.
   • Corrisponde a $c_2 = 4a - 2$.
   • La dimensione calcolata è $\dim V(a; b) = 6a^2 + 6a + 8$.
   • Risultato: Per $a > 2$, questa dimensione è strettamente maggiore della dimensione attesa della componente Instanton ($8c_2 - 3$) e maggiore di quella delle componenti Ein e Modificate. Pertanto, $V_0$ definisce una nuova componente irriducibile.

2. Famiglia $V_1$ (Caso $b=1$):

   • Costruita tramite monadi con tipi $a = ((a-1)^2, 1)$ e $b = (a^2)$ per $a \geq 3$.
   • Corrisponde a $c_2 = 4a - 3$.
   • La dimensione calcolata è $\dim V(a; b) = 6a^2 + 6a + 2$.
   • Risultato: Analogamente al caso precedente, la dimensione supera quella delle componenti note. Inoltre, dimostrano che questa famiglia contiene punti singolari (dove la dimensione dello spazio tangente è maggiore della dimensione della componente), confermando la complessità strutturale di queste nuove componenti.

C. Generalizzazioni e Congettura

Gli autori generalizzano la costruzione a monadi di rango $k$ (con $k=3, 4$), definendo una famiglia $M(a, b, k)$.

• Propongono la Congettura 4.8: Per ogni $k$ e $b < k$, esiste una famiglia di fasci stabili che appartiene a una nuova componente irriducibile di dimensione superiore all'atteso per $a$ sufficientemente grande.
• Verificano la congettura per $k=3$ e $k=4$, fornendo matrici esplicite e calcolando le dimensioni per casi specifici (es. $c_2=15$ per $k=3$).

4. Significato e Impatto

• Avanzamento della Classificazione: Il lavoro rompe il paradigma secondo cui le uniche componenti note per $B(0, c_2)$ sono Instanton, Ein e Modificate. Dimostra che per $c_2 \geq 9$ esistono infinite nuove componenti irriducibili.
• Metodologia Computazionale: L'integrazione di dimostrazioni teoriche con calcoli espliciti tramite Macaulay2 fornisce un metodo robusto per esplorare spazi di moduli complessi dove i metodi puramente teorici sono insufficienti.
• Punti Singolari: La dimostrazione che alcune di queste nuove componenti contengono punti singolari (dove la dimensione dello spazio tangente non coincide con la dimensione della componente) offre nuovi spunti sullo studio della geometria degli spazi di moduli e sulla loro struttura locale.
• Strumenti Pratici: La fornitura del codice Macaulay2 rende i risultati riproducibili e apre la strada ad ulteriori calcoli per valori di $c_2$ più elevati o per altri casi di $e$.

In sintesi, il documento espande significativamente la mappa delle componenti irriducibili degli spazi di moduli dei fasci vettoriali su $\mathbb{P}^3$, dimostrando che la struttura di questi spazi è molto più ricca e complessa di quanto precedentemente ipotizzato.