Résumé technique : Transitions de conifold logarithmiques

Énoncé du problème

Cet article traite de la théorie de la déformation des paires de troisfolds Fano singulières, en généralisant le mécanisme classique de transition de conifold — bien établi pour les troisfolds Calabi-Yau — au cadre logarithmique des paires « demi-anticanoniques » $(X, Y)$ où $K_X + 2Y \cong \mathcal{O}_X$. Le problème central est de déterminer si les espaces singuliers obtenus par la contraction de courbes rationnelles spécifiques sur de telles paires peuvent être lissés globalement, et de comprendre les propriétés topologiques et géométriques des fibres lisses résultantes.

Une difficulté clé des transitions de conifold classiques (par exemple, pour les variétés Calabi-Yau) est la présence de conditions d'équilibre topologique global (relations de cycles homologiques) parmi les courbes contractées, qui font souvent obstacle au lissage indépendant des nœuds. L'article étudie si la géométrie spécifique des troisfolds Fano d'indice deux permet de lever les lissages locaux vers des déformations globales sans ces obstructions, et si les variétés lisses résultantes possèdent de nouvelles caractéristiques géométriques, telles que l'absence de surfaces effectives ou des structures non-Kähler.

Méthodologie

Les auteurs emploient une combinaison de la théorie de la déformation logarithmique, de l'analyse de suites spectrales et de la résolution récente des conjectures de Clemens relatives.

1. Construction de paires singulières :

   • En partant d'un threefold Fano premier lisse $X$ d'indice deux et d'un diviseur générique $Y \in |-\frac{1}{2}K_X|$, les auteurs utilisent la solution aux conjectures de Clemens relatives (par Zahariuc) pour identifier un ensemble fini de courbes rationnelles ancrées $C_i$ de degré $e$ intersectant $Y$ transversalement en un ensemble de points $\xi$.
   • Ils effectuent un soufflage $\sigma: \tilde{X} \to X$ en $\xi$. Les transformées strictes $\tilde{C}_i$ de ces courbes acquièrent un fibré normal $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$.
   • Ces transformées strictes sont contractées via un morphisme $\pi: \tilde{X} \to X_0$, produisant un threefold singulier $X_0$ avec des points doubles ordinaires (ODP) et un diviseur limite $Y_0$.

2. Analyse de la théorie de la déformation :

   • Les auteurs analysent la théorie de la déformation de la paire $(X_0, Y_0)$ en utilisant le faisceau tangent logarithmique $T_{X_0}(-\log Y_0)$.
   • Ils utilisent la suite spectrale locale-globale et la suite spectrale de Leray associée à la résolution $\pi$ pour relier les déformations locales des nœuds aux déformations globales de la paire.
   • Crucialement, ils calculent les groupes de cohomologie $H^2(\tilde{X}, T_{\tilde{X}}(-\log \tilde{Y}))$ et $T^2_{X_0}(-\log Y_0)$ pour déterminer les obstructions.

3. Analyse topologique et de la théorie de Hodge :

   • L'article examine les groupes de Picard et les cônes effectifs des fibres lissées $X_t$.
   • Il applique la théorie de la structure de Hodge mixte limite (LMHS) et les résultats récents de Chen concernant la $\partial\bar{\partial}$-lemme pour les variétés à croisements normaux pour étudier la théorie de Hodge des lissages.
   • Il compare les jacobiennes intermédiaires des fibres lissées avec celles de potentielles constructions d'espaces de twisteurs pour distinguer les variétés résultantes.

Contributions clés et résultats

1. Absence d'obstruction et lissage indépendant (Théorème A)

Le principal résultat technique est que les transitions de conifold logarithmiques pour ces paires Fano sont inconditionnellement non obstruées.

• Vanishing des obstructions : Les auteurs prouvent que $H^2(\tilde{X}, T_{\tilde{X}}(-\log \tilde{Y})) = 0$ et $T^2_{X_0}(-\log Y_0) = 0$.
• Indépendance des nœuds : Contrairement au cas Calabi-Yau, la géométrie Fano sous-jacente force l'annulation de l'espace cible global $H^2(\tilde{X}, T_{\tilde{X}}(-\log \tilde{Y}))$. Par conséquent, il n'y a pas de relations de cycles homologiques globales reliant les courbes contractées.
• Levée (Lifting) : Cette annulation implique que les lissages de premier ordre locaux des nœuds peuvent être levés vers des déformations globales de premier ordre indépendamment. Toute combinaison de lissages locaux aux nœuds s'étend à une déformation globale non obstruée de la paire.

2. Construction de troisfolds non-Kähler (Théorème B)

En exploitant la capacité de lisser des sous-ensembles de nœuds indépendamment, les auteurs construisent de nouveaux exemples de troisfolds non-Kähler :

• Lissage partiel : Si un sous-ensemble propre et non vide de nœuds est lissé tandis que les autres sont résolus via des résolutions petites, la variété lisse résultante $X_S$ est non-Kähler. Cela est dû au fait que la classe d'homologie des courbes lissées devient triviale, tandis que les courbes effectives correspondant aux nœuds non lissés persistent, menant à une contradiction avec l'existence d'une forme Kähler (théorème de Stokes).
• Lissage systématique et effondrement du cône effectif : En contractant simultanément des courbes de degrés $e$ et $e-1$, les auteurs peuvent réduire le rang de Picard de l'espace singulier à 1. Si le nombre de points soufflés $e$ dépasse le degré $d$ du threefold Fano plus un ($e > d+1$), le générateur unique du groupe de Picard devient obstrué dans le lissage. La fibre lisse $X_t$ résultante possède aucune surface effective ($H^0(X_t, L) = 0$ pour le générateur $L$).

3. Persistance des courbes libres

L'article démontre que les courbes rationnelles très libres générales sur le threefold Fano $X$ d'origine évitent le locus de conifold. Ces courbes se déforment sans obstruction vers la fibre non-Kähler $X_t$, assurant que, bien que le cône effectif des diviseurs s'effondre (pas de surfaces), l'abondance des courbes rationnelles libres persiste.

4. Propriétés de la théorie de Hodge

• Les fibres lissées $X_t$ satisfont la $\partial\bar{\partial}$-lemme et héritent d'une structure de Hodge pure polarisée de poids 3.
• Distinction des espaces de twisteurs : Dans le cas spécifique où $X$ est un threefold cubique, les auteurs prouvent que la fibre lissée $X_t$ n'est pas birationnelle à un espace de twisteur. Ceci est établi en comparant la jacobienne intermédiaire de $X_t$ (qui est liée à la jacobienne indécomposable du threefold cubique) avec la jacobienne d'une courbe (qui résulterait d'un soufflage d'espace de twisteur). Le théorème de Clemens-Griffiths sur l'indécomposabilité de la jacobienne intermédiaire du threefold cubique fournit la contradiction.

Signification

L'article revendique une importance dans plusieurs domaines :

1. Généralisation des transitions de conifold : Il étend avec succès le mécanisme de transition de conifold des Calabi-Yau aux paires Fano, en tirant parti des propriétés d'annulation spécifiques de la géométrie Fano pour contourner les conditions de l'équilibre topologique qui obstruent typiquement le lissage indépendant.
2. Nouvelle géométrie non-Kähler : Il fournit une méthode systématique pour construire des troisfolds non-Kähler qui présentent un « effondrement total » du cône effectif des diviseurs (aucune surface effective) tout en maintenant un nombre de Betti second positif ($b_2 \ge 1$) et une abondance de courbes rationnelles libres. Cela contraste avec les constructions précédentes (comme les transitions de Clemens-Friedman ou les espaces de Poon) qui aboutissent typiquement à $b_2=0$ ou $b_3=0$.
3. Théorie de la déformation : Il établit que la théorie de la déformation de ces paires logarithmiques singulières est inconditionnellement non obstruée, une propriété pilotée par la géométrie de la surface de Del Pezzo frontière et l'indice de Fano.
4. Théorie de Hodge : Il clarifie la nature de Hodge des lissages non-Kähler, montrant qu'ils possèdent des structures de Hodge polarisées mais sont distincts des constructions connues d'espaces de twisteurs.

Le travail suggère que l'abondance de courbes $(-1, -1)$ construites via ces soufflages ouvre de nouvelles voies pour explorer la géométrie birationnelle et le programme du modèle minimal des troisfolds logarithmiques.