Groups generated by spherical twists on K3 surfaces and full exceptional collections on Fano threefolds

Résumé Technique : Groupes Générés par des Torsions Sphériques sur les Surfaces K3 et Collections Exceptionnelles Pleines sur les Variétés de Fano de Dimension Trois

Énoncé du Problème
L'article traite de deux problèmes interconnectés en géométrie algébrique et dans la théorie des catégories dérivées :

1. La description structurelle du sous-groupe $G \subset \text{Aut}(\mathcal{D}^b(Y))$ généré par toutes les torsions sphériques sur une surface K3 lisse $Y$ de rang de Picard 1. Plus précisément, les auteurs cherchent à déterminer si $G$ est un groupe libre, à identifier ses générateurs libres, et à établir les conditions sous lesquelles $G$ est de type fini.
2. La vérification du premier cas de dimension trois de la conjecture de Bondal-Polishchuk concernant la transitivité de l'action du groupe de tresses sur les collections exceptionnelles pleines. La conjecture pose que le groupe de tresses $B_n$ agit de manière transitive sur l'ensemble des collections exceptionnelles pleines de longueur $n$ dans une catégorie triangulée. Bien que des contre-exemples existent de manière générale, le statut pour les catégories dérivées de variétés lisses projectives reste ouvert en dimensions supérieures.

Méthodologie
Les auteurs emploient une synthèse de la théorie des catégories dérivées, des conditions de stabilité et de la théorie des groupes de Fuchs au niveau du plan hyperbolique.

1. Conditions de Stabilité et Géométrie de $\text{Stab}(Y)$ :
   S'appuyant sur les travaux fondamentaux de Bridgeland et Bayer-Bridgeland, les auteurs utilisent la contractibilité de la composante distinguée $\text{Stab}^\circ(Y)$ de l'espace des conditions de stabilité sur une surface K3 $Y$ de rang de Picard 1. Ils exploitent la suite exacte :
   $$1 \to \text{Aut}_0 \mathcal{D}^b(Y) \to \text{Aut} \mathcal{D}^b(Y) \to \text{Aut}^+ H^*(Y, \mathbb{Z}) \to 1$$
   où $\text{Aut}^+ H^*(Y, \mathbb{Z})$ est le groupe des isométries de Hodge préservant l'orientation. Le noyau $\text{Aut}_0$ est identifié au groupe fondamental d'une composante spécifique de l'espace de stabilité.

2. Réduction aux Groupes de Fuchs :
   Les auteurs projettent le problème sur la géométrie du demi-plan supérieur $\mathbb{H}$. Ils identifient le quotient de l'espace de stabilité (modulo les décalages et les automorphismes) avec une surface de Riemann orbifold $\mathbb{H}/\Gamma$, où $\Gamma$ est un groupe de Fuchs (spécifiquement lié au groupe d'Atkin-Lehner $\Gamma_0^+(\delta)$).

• Les objets sphériques dans $\mathcal{D}^b(Y)$ correspondent à des « racines » (vecteurs de carré $-2$) dans le réseau de Mukai.
• Les torsions sphériques correspondent à des réflexions à travers des hyperplans orthogonaux à ces racines.
• Le groupe $G$ généré par les torsions sphériques est analysé via son image $\bar{G}$ dans le groupe des réflexions sphériques agissant sur $\mathbb{H}$.

3. Analyse Topologique des Orbifolds :
   En utilisant la théorie des groupes fondamentaux d'orbifolds, les auteurs analysent le quotient $\mathbb{H}_0 / \bar{G}$, où $\mathbb{H}_0$ est le plan hyperbolique avec des points de puncture correspondant aux racines. Ils démontrent que $\mathbb{H}_0 / \bar{G}$ est une surface de Riemann non compacte. Par conséquent, le groupe fondamental $\pi_1(\mathbb{H}_0 / \bar{G})$, qui est isomorphe à $\bar{G}$, est un groupe libre.

4. Application aux Variétés de Fano de Dimension Trois :
   Pour aborder la conjecture de Bondal-Polishchuk, les auteurs considèrent une variété de Fano $X$ possédant une collection exceptionnelle pleine de longueur 4. Ils restreignent les objets exceptionnels de $X$ à un diviseur anticanonique générique $Y \subset X$, qui est une surface K3 de rang de Picard 1.

• Ils établissent une application $\phi$ des collections exceptionnelles sur $X$ vers des $n$-uplets de torsions sphériques sur $Y$.
• Ils prouvent que $\phi$ entrelace l'action de mutation du groupe de tresses $B_4$ sur les collections dans $X$ avec l'action de Hurwitz de $B_4$ sur le groupe $G^4$.
• Puisque $G$ est montré être un groupe libre de rang 4 dans ces cas spécifiques, la transitivité et la liberté de l'action du groupe de tresses sur $G^4$ (un résultat connu pour les groupes libres) impliquent les propriétés correspondantes pour les collections exceptionnelles sur $X$.

Contributions Clés et Résultats

1. Structure du Groupe de Torsion Sphérique :

• Théorème 1.3 : Pour une surface K3 $Y$ de rang de Picard 1, le sous-groupe $G \subset \text{Aut}(\mathcal{D}^b(Y))$ généré par toutes les torsions sphériques est un groupe libre. Les générateurs libres sont explicitement identifiés comme des torsions sphériques associées à un ensemble spécifique de fibrés vectoriels sphériques (représentants de classes d'orbite de l'action de $G$ sur l'ensemble des objets sphériques).
• Théorème 1.4 : Le groupe $G$ est de type fini si et seulement si le degré $d = 2\delta$ de la surface K3 satisfait $\delta \in \{1, 2, 3, 5, 7, 11, 17, 19, 23, 29, 31, 41, 47, 59, 71\}$. Pour des degrés en dehors de cet ensemble (par exemple, $d=8$), le groupe est de type infini.
  Les auteurs fournissent une recette précise pour trouver ces générateurs en utilisant les domaines fondamentaux pour l'action des groupes de réflexions correspondants sur le plan hyperbolique.

2. Résolution de la Conjecture de Bondal-Polishchuk (Cas 3D) :

• Théorème 1.5 : Pour toute variété de Fano $X$ de rang de Picard 1 admettant une collection exceptionnelle pleine de quatre fibrés vectoriels (spécifiquement $X = \mathbb{P}^3, Q^3, V_5, V_{22}$), l'action du groupe de tresses $B_4 \ltimes \mathbb{Z}^4$ (mutations et décalages) sur l'ensemble des collections exceptionnelles pleines est transitive et libre.
• Corollaire 8.7 : De plus, toute collection exceptionnelle pleine sur un tel $X$ est composée entièrement de décalages de fibrés vectoriels et est forte.

3. Classification des Objets Sphériques :
   La description de $G$ permet une classification précise des objets sphériques dans $\mathcal{D}^b(Y)$ à un facteur près de l'action du groupe généré par les torsions sphériques et les décalages.

Signification
Les auteurs affirment que leur travail est significatif dans deux domaines principaux :

• Catégories Dérivées des Surfaces K3 : Il fournit une description structurelle complète du groupe généré par les torsions sphériques, un objet fondamental dans l'étude des auto-équivalences des surfaces K3. Il résout la question de la génération finie, montrant qu'elle dépend strictement des propriétés arithmétiques du degré de la surface.
• Collections Exceptionnelles sur les Variétés de Fano de Dimension Trois : Il tranche le premier cas non trivial de dimension (dimension 3) de la conjecture de Bondal-Polishchuk. En réduisant le problème à l'action de Hurwitz sur un groupe libre, les auteurs contournent les difficultés de l'analyse directe des objets exceptionnels en dimension 3, en s'appuyant plutôt sur la géométrie associée de la surface K3.

Les auteurs notent que bien que leurs résultats confirment la transitivité pour ces variétés de Fano spécifiques, ils ne prétendent pas classer tous les fibrés vectoriels exceptionnels sur ces variétés, ni exclure l'existence d'objets exceptionnels qui ne seraient pas des décalages de fibrés vectoriels (bien qu'ils prouvent que les pleines collections doivent consister en de tels décalages). Le travail repose lourdement sur la contractilité de l'espace de stabilité pour les surfaces K3 de rang de Picard 1, un résultat établi par Bayer et Bridgeland.