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

1. Problématique et Contexte

L'article s'intéresse à l'étude de l'espace de modules $B(e, c_2)$, qui paramètre les fibrés vectoriels stables de rang 2 sur l'espace projectif $\mathbb{P}^3$ avec des classes de Chern $c_1 = e$ et $c_2$. Le travail se concentre principalement sur le cas $e=0$ (fibrés avec déterminant trivial) et $c_2 \ge 0$.

Bien que la structure de $B(0, c_2)$ soit bien comprise pour de petites valeurs de $c_2$ (jusqu'à $c_2 \le 5$), la classification complète pour $c_2 \ge 6$ reste ouverte. À ce jour, trois types de composantes irréductibles sont connus pour $B(0, c_2)$ :

1. La composante Instanton ($I_{c_2}$) : De dimension attendue $8c_2 - 3$.
2. Les composantes d'Ein ($G(t, r, s)$) : Construites via des monades spécifiques, dépendant de triplets d'entiers.
3. La composante Instanton modifiée ($M_{c_2}$) : Une série infinie récente.

L'objectif principal des auteurs est d'identifier de nouvelles composantes irréductibles pour $B(0, c_2)$ qui ne rentrent dans aucune de ces catégories connues, et de déterminer précisément la dimension de l'espace tangent en certains points, notamment pour $c_2 = 6$ et pour des familles infinies de $c_2$.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des monades, la correspondance de Serre-Hartshorne et des calculs algorithmiques assistés par ordinateur.

• Monades de Horrocks : Ils exploitent le fait que tout fibré vectoriel sur $\mathbb{P}^3$ est la cohomologie d'une monade. Ils se concentrent sur les monades minimales de la forme :
  $$0 \to \bigoplus \mathcal{O}(-a_i) \xrightarrow{\alpha} \bigoplus \mathcal{O}(b_j) \oplus \bigoplus \mathcal{O}(-b_j) \xrightarrow{\beta} \bigoplus \mathcal{O}(a_i) \to 0$$
  où les matrices $\alpha$ et $\beta$ sont constituées de polynômes homogènes sans termes constants.

• Calcul de la dimension de l'espace tangent :
  La dimension de l'espace tangent à $B(0, c_2)$ en un point $[E]$ est donnée par $\dim \text{Ext}^1(E, E)$. Les auteurs développent et utilisent un code Macaulay2 pour calculer explicitement la dimension de ce groupe de cohomologie pour des fibrés définis par des monades spécifiques. Cela leur permet de vérifier si un point est singulier (si $\dim \text{Ext}^1 > \dim \text{composante}$) et de comparer les dimensions réelles avec les dimensions attendues.

• Semi-continuité et comparaison de dimensions :
  Pour prouver l'existence de nouvelles composantes, ils montrent que la dimension de certaines familles de fibrés (calculée via la formule de la dimension de l'espace de modules des monades) est strictement supérieure à la dimension des composantes connues (Instanton, Ein, modifiée) pour les mêmes invariants $c_2$.

3. Contributions et Résultats Clés

A. Classification de $B(-1, 6)$ et calcul de la dimension de $M_4$

Les auteurs confirment l'existence d'une quatrième composante irréductible $M_4$ dans $B(-1, 6)$, dont l'existence était prouvée dans [FJ23] mais dont la dimension n'était pas connue.

• En utilisant leur code Macaulay2 sur une monade spécifique, ils calculent $\dim \text{Ext}^1(E, E) = 45$.
• Résultat : Ils prouvent que $\dim M_4 = 45$. Ce résultat est crucial car il montre que $M_4$ est une composante distincte des composantes d'Ein (dimensions 43 et 50) et de la composante Instanton (dimension 43).

B. Découverte de deux familles infinies de nouvelles composantes dans $B(0, c_2)$

Les auteurs construisent deux familles infinies de fibrés stables, notées $V_0$ et $V_1$, qui définissent de nouvelles composantes irréductibles pour $c_2 \ge 9$.

1. Famille $V_0$ (Théorème 4.4) :

   • Paramètres : $a = (a^2)$ et $b = ((a-1)^2, 0^2)$ pour $a \ge 3$.
   • Classe de Chern : $c_2 = 4a - 2$.
   • Dimension : $\dim V(a; b) = 6a^2 + 6a + 8$.
   • Résultat : Cette dimension est strictement supérieure à celle des composantes Instanton, Ein et modifiée. Ainsi, $V_0$ forme une nouvelle composante irréductible $Y_a$.

2. Famille $V_1$ (Corollaire 4.6 et Théorème 4.7) :

   • Paramètres : $a = (a^2)$ et $b = ((a-1)^2, 1)$ pour $a \ge 3$.
   • Classe de Chern : $c_2 = 4a - 3$.
   • Dimension : $\dim V(a; b) = 6a^2 + 6a + 2$.
   • Résultat : De même, cette famille ne peut être contenue dans les composantes connues. De plus, les auteurs prouvent que cette nouvelle composante contient des points singuliers (en comparant les dimensions de l'espace tangent pour deux fibrés différents de la même famille, obtenant des valeurs distinctes).

C. Généralisation et Conjecture

Les auteurs proposent la Conjecture 4.8 pour des familles de monades de rang $k$ (généralisant les cas $k=2$ étudiés).

• Ils vérifient cette conjecture pour $k=3$ et $k=4$.
• Pour $k=3$, ils montrent l'existence de nouvelles composantes pour $c_2 = 6a - 3 - b^2$ (avec $b \in \{0, 1, 2\}$).
• Pour $k=4$, ils vérifient la validité pour $a > 4$.
• Ils notent que pour certaines petites valeurs de $a$ et $k$, la dimension dépasse la dimension attendue, suggérant l'existence de nouvelles composantes même pour des $c_2$ plus petits (ex: $c_2=15$).

4. Signification et Impact

• Avancée structurelle : Ce travail brise le paradigme selon lequel les composantes de $B(0, c_2)$ seraient limitées aux types Instanton, Ein et modifiés. Il démontre l'existence d'une infinité de nouvelles composantes irréductibles.
• Méthodologie computationnelle : L'article valide l'usage de l'algèbre computationnelle (Macaulay2) comme outil rigoureux pour la géométrie algébrique, permettant de calculer des dimensions d'espaces tangents complexes qui seraient inaccessibles par des méthodes purement théoriques dans ces cas spécifiques.
• Points singuliers : La découverte que ces nouvelles composantes contiennent des points singuliers (où la dimension de l'espace tangent est supérieure à la dimension de la composante) enrichit la compréhension de la géométrie fine de ces espaces de modules.
• Classification future : En fournissant des formules explicites pour les dimensions et des matrices de monades, l'article ouvre la voie à une classification plus complète des espaces de modules de fibrés sur $\mathbb{P}^3$ pour de grandes valeurs de $c_2$.

En résumé, Fontes et Santos établissent l'existence d'une richesse structurelle inédite dans les espaces de modules de fibrés de rang 2 sur $\mathbb{P}^3$, en combinant des preuves théoriques de dimension avec des calculs explicites de cohomologie.