Geometry of Holomorphic One-forms on Smooth Projective Varieties

Résumé Technique : Géométrie des 1-formes holomorphes sur les variétés projectives lisses

Énoncé du Problème
L'article étudie la géométrie et la topologie des variétés irrégulières à travers le prisme des 1-formes holomorphes. Plus précisément, il examine la relation entre l'existence de 1-formes holomorphes sans zéros et la lissité des morphismes de variétés projectives lisses vers des variétés abéliennes. De plus, il cherche à caractériser la structure des espaces de 1-formes holomorphes possédant des zéros. Une question centrale est de savoir si ces espaces, particulièrement leurs « ensembles de niveaux inférieurs » (sous-ensemsets de formes dont les lieux de zéros sont de codimension $\leq i$), présentent des structures linéaires (unions de sous-espaces vectoriels) ou s'ils peuvent être non linéaires, reflétant des propriétés algébro-géométriques plus complexes.

Méthodologie
Les auteurs emploient une combinaison de techniques de géométrie différentielle, de topologie algébrique et de géométrie birationnelle :

1. Vecteurs conormaux relatifs limites : Pour analyser les singularités des morphismes $f: X \to A$ (où $A$ est une variété abélienne), les auteurs utilisent le concept d'espace conormal relatif $T^*_f X$. Ils introduisent une condition appelée « sans explosion en codimension 0 », définie par l'équidimensionnalité de l'application naturelle de l'espace conormal relatif vers la cible.
2. Contraintes Topologiques : La preuve s'appuie sur la condition que les images directes supérieures $R^i f_* \mathbb{Z}$ sont des faisceaux localisés $\mathbb{Z}$ (définissant un fibré de cohomologie $\mathbb{Z}$). Les auteurs prouvent que cette condition topologique force le morphisme à être « sans explosion en codimension 0 » et, sous certaines conditions, lisse.
3. Lieux de saut de cohomologie et formalité : L'étude de la linéarité des espaces de lieux de zéros repose sur le théorème du cône tangent des lieux de saut de cohomologie. Les auteurs distinguent les formes issues des lieux de saut de cohomologie (qui forment des sous-ensemsets linéaires $V^i(X)$) de celles qui n'en sont pas (« formes non formelles »).
4. Constructions Explicites : Pour démontrer les limites de la linéarité, les auteurs construisent des exemples spécifiques impliquant des éclatements de sous-variétés dans des variétés abéliennes et des sections hyperplanes de produits de courbes elliptiques et de variétés abéliennes.

Contributions Clés et Résultats

• Caractérisation des Morphismes Lisses (Théorème 1.1 / 2.5) :
  L'article établit une condition nécessaire et suffisante pour qu'un morphisme $f: X \to A$ d'une variété projective lisse vers une variété abélienne simple soit lisse. Le morphisme est lisse si et seulement s'il existe une 1-forme holomorphe $\omega$ sur $A$ telle que le premier tiré $f^*\omega$ ne possède pas de zéros. Ce résultat confirme une conjecture du second auteur [13] et étend les travaux antérieurs de Church [5] sur les cas de dimension inférieure. La simplicité de $A$ est démontrée comme étant une condition nécessaire via un contre-exemple impliquant un éclatement d'un produit de courbes elliptiques.

• Fibrés de Cohomologie $\mathbb{Z}$ et Platitude (Théorème 1.2 / 2.2) :
  Un résultat intermédiaire clé prouve que si $f: X \to Y$ est un morphisme propre entre une variété lisse et une variété normale, et que les images directes supérieures $R^i f_* \mathbb{Z}$ sont des systèmes localisés, alors $Y$ est lisse et $f$ est « sans explosion en codimension 0 ». Ce résultat est motivé par la conjecture de de Bobadilla-Kollár concernant la lissité de tels morphismes.

• Linéarité des Espaces avec Zéros (Théorème 1.3 / 3.2, 3.3, 3.7) :
  Les auteurs étudient l'espace $W^n(X)$ des 1-formes holomorphes avec zéros sur une variété projective lisse $X$ de dimension $n$. Ils prouvent que $W^n(X)$ est une union de fin de sous-espaces vectoriels (un « sous-ensemble linéaire ») dans les cas suivants :

  1. $X$ est un bon modèle minimal.
  2. $X$ possède une variété de Albanese simple.
  3. $\dim(X) \leq 3$.
     Dans ces cas, la structure est contrôlée par la géométrie birationnelle de $X$ ou la simplicité de sa application d'Albanese.

• Non-Linéarité des Ensembles de Niveaux Inférieurs (Théorème 1.4 / 4.1) :
  Contrairement à l'intuition selon laquelle les ensembles de niveaux inférieurs $W^i(X)$ pour les sous-variétés de variétés abéliennes sont toujours linéaires, les auteurs construisent un contre-exemple. Ils présentent une quatre-variété lisse $X$ (une sous-variété d'une six-variété abélienne) pour laquelle le troisième niveau inférieur $W^3(X)$ n'est pas linéaire. Cela répond à une question posée dans [9] et démontre que l'espace des formes avec zéros peut encoder des structures algébriques non linéaires délicates, non capturées par les lieux de saut de cohomologie.

• 1-formes Non-Formelles (Section 4.2) :
  L'article définit les « 1-formes non-formelles » comme les 1-formes avec zéros qui ne proviennent pas des lieux de saut de cohomologie. Ils fournissent un critère cohomologique de non-formalité impliquant l'exactitude du complexe de Koszul. Les auteurs étudient les surfaces admettant de telles formes, montrant que pour les surfaces de dimension d'Albanese 1, la non-formalité est liée à l'existence de composantes non réduites dans les fibres de l'application d'Albanese. Ils prount également que de telles surfaces ne peuvent pas être dominées par des produits de courbes de genres supérieurs.

Signification
L'article prétend fournir une « étude fine » de l'espace des 1-formes holomorphes, jetant un pont entre les invariants topologiques (systèmes localisés) et les propriétés géométriques (lissité des morphismes). En prouvant l'équivalence entre l'existence d'un tiré de forme sans zéros et la lissité du morphisme vers une variété abélienne simple, les auteurs résolvent une conjecture spécifique dans le domaine.

De plus, la découverte de niveaux inférieurs non linéaires dans les sous-variétés de variétés abéliennes défie l'intuition prédominante selon laquelle ces espaces sont uniquement régis par des structures linéaires dérivées des lieux de saut de cohomologie. Les auteurs suggèrent que les 1-formes non-formelles reflètent la « nature algébro-géométrique profonde » des variétés, particulièrement concernant les modifications birationnelles et la structure des modèles minimaux. Le travail affine la compréhension de la manière dont les singularités des applications d'Albanese contrôlent les zéros des 1-formes holomorphes, offrant de nouveaux outils (vecteurs conormaux relatifs limites) pour analyser les morphismes en géométrie algébrique.