On the Fano dimension of an Enriques surface

Résumé Technique : Sur la dimension de Fano d'une surface d'Enriques

Énoncé du Problème
L'article traite du « problème du visiteur de Fano », une question en géométrie algébrique et catégories dérivées posée pour la première fois par Bondal (2011). Le problème demande si, pour toute variété projective lisse $X$, il existe une variété de Fano lisse $Y$ et un foncteur pleinement fidèle $D(X) \hookrightarrow D(Y)$, où $D(X)$ désigne la catégorie dérivée bornée des faisceaux cohérents. Si un tel $Y$ existe, $X$ est appelée un « visiteur de Fano » et $Y$ un « hôte de Fano ». La « dimension de Fano » de $X$ est définie comme la dimension minimale de tels hôtes de Fano.

Avant ce travail, Kuznetsov ([Kuz18]) a établi qu'une surface d'Enriques générale $S$ est un visiteur de Fano pour un hôte de Fano de dimension six, tandis que les surfaces d'Enriques nodales admettent un hôte de dimension quatre. L'article cherche à abaisser la borne de la dimension de Fano d'une surface d'Enriques générale de six à quatre.

Méthodologie
L'auteur emploie la théorie des lieux de dégénérescence de morphismes entre fibrés vectoriels et la géométrie des fibrés de Grassmann stratifiés. Les outils techniques fondamentaux incluent :

1. Lieux de dégénérescence et fibrés vectoriels : La construction repose sur un morphisme général $\phi: E \to F$ de fibrés vectoriels sur une variété lisse $X$, où $E^\vee \otimes F$ est globalement engendré. L'article utilise la relation entre le lieu de dégénérescence $D_r(\phi)$ et les lieux zéros de sections associées sur des fibrés projectifs.
2. Fibrés projectifs stratifiés : Un lemme clé (Lemme 2.3) établit que pour un morphisme général $\phi: E \to F$ avec des rangs $e > f$, le lieu zéro $Y = V(\phi_E)$ à l'intérieur du fibré projectif $\mathbb{P}_X(E)$ est birationnel à $X$. Crucialement, si $f = e-1$, $Y$ est isomorphe au soufflement de $X$ le long du lieu de dégénérescence $D_{f-1}(\phi)$.
3. Immersions de catégories dérivées : L'article applique la formule de soufflement d'Orlov et des résultats sur les décompositions semi-orthogonales (spécifiquement [Kuz07, Théorème 8.8]) pour établir des immersions de catégories dérivées. Si $Y$ est un soufflement de $X$ le long d'un centre $Z$, et que $Y$ est de Fano, alors $D(Y)$ contient $D(Z)$ comme une composante semi-orthogonale.
4. Proposition 2.4 : L'auteur prouve un résultat général stipulant que sous des conditions spécifiques (vanité des lieux de dégénérescence inférieurs et une condition d'anti-amplification sur un fibré en ligne spécifique), le lieu zéro $Y$ d'une section sur un fibré projectif est un hôte de Fano pour le lieu de dégénérescence $Z$.

Contributions Clés et Résultats

• Construction d'un hôte de Fano de dimension quatre : Le résultat principal (Théorème 3.1) construit une variété de Fano spécifique $Y$ qui sert d'hôte pour une surface d'Enriques générale $S$.

  • Réalisation Géométrique : Soit $X = \mathbb{P}^2 \times \mathbb{P}^2$. L'auteur considère les fibrés vectoriels $E = \mathcal{O}_X \otimes W_3$ et $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$. Un morphisme général $\phi: E \to F$ définit une surface d'Enriques générale $S$ comme le premier lieu de dégénérescence $D_1(\phi)$.
  • La Variété Hôte : La variété $Y$ est définie comme le lieu zéro d'une section du fibré $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ à l'intérieur de $\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$.
  • Isomorphisme : L'article prouve que $Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$, le soufflement de $\mathbb{P}^2 \times \mathbb{P}^2$ le long de la surface d'Enriques $S$.
  • Propriété de Fano : En utilisant la formule d'adjonction, $Y$ est montrée être une variété de Fano (son fibré anticanonique est ample).

• Décomposition de la Catégorie Dérivée : Le Corollaire 3.3 établit la décomposition semi-orthogonale de la catégorie dérivée de $Y$ :
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  où $E_1, \dots, E_9$ sont des fibrés exceptionnels provenant de la collection exceptionnelle de $\mathbb{P}^2 \times \mathbb{P}^2$. Cela confirme que $S$ est un visiteur de Fano pour $Y$.

• Invariants et Torsion :

  • Le losange de Hodge de $Y$ est diagonal.
  • La cohomologie intégrale $H^4(Y, \mathbb{Z})$ contient un facteur isomorphe au réseau de rang dix $\Lambda$ de la surface d'Enriques plus une composante de torsion $\mathbb{Z}/2\mathbb{Z}$.
  • Par conséquent, $K_0(Y)$ contient une classe de 2-torsion, impliquant que $D(Y)$ n'admet pas de collection exceptionnelle complète.

• Argument de Borne Inférieure : L'article soutient que la dimension de Fano d'une surface d'Enriques générale est exactement 4. Puisque $S$ ne peut pas être plongée dans une courbe ou une surface de Fano (en raison de la dimension et des contraintes de la théorie de Hodge), l'auteur exclut les variétés de Fano de dimension trois. Si une variété de Fano de dimension trois $Y'$ était un hôte, son rang de Picard devrait être au moins de 5 pour accommoder les dimensions de l'homologie de Hochschild. Cependant, toutes les variétés de Fano de dimension trois connues avec un rang de Picard $\ge 5$ admettent des collections exceptionnelles complètes, ce qui implique que leurs groupes de Grothendieck sont sans torsion, ce qui contredit la présence de la 2-torsion induite par $S$.

Signification
L'article affirme améliorer la borne connue de la dimension de Fano d'une surface d'Enriques générale de 6 à 4. En construisant explicitement une quatrefold de Fano $Y$ contenant $D(S)$ comme composante semi-orthogonale, ce travail fournit une solution concrète au problème du visiteur de Fano pour cette classe de surfaces. La construction met en lumière l'interaction profonde entre les lieux de dégénérescence, les soufflements de produits d'espaces projectifs et les catégories dérivées. Le résultat renforce également la connexion entre la torsion dans le groupe de Grothendieck de l'hôte et l'existence de collections exceptionnelles complètes.