Sur les sous-variétés algébriquement coisotropes des variétés symplectiques holomorphes

Informations fondamentales

• ID de l'article: 2205.07958
• Titre: On algebraically coisotropic submanifolds of holomorphic symplectic manifolds
• Auteurs: Ekaterina Amerik (Université Paris-Sud & HSE University), Frédéric Campana (Université Lorraine)
• Classification: math.AG (géométrie algébrique), math.CV (analyse complexe)
• Date de publication: 2023, publié dans Épijournal de Géométrie Algébrique, numéro spécial (en hommage à Claire Voisin)
• Lien de l'article: https://arxiv.org/abs/2205.07958

Résumé

Cet article étudie les sous-variétés algébriquement coisotropes $X$ dans les variétés projectives symplectiques holomorphes $M$. En s'appuyant sur les résultats des auteurs dans le cas des hypersurfaces, on pose la question centrale suivante : lorsque $X$ n'est pas unirationnelle, existe-t-il, au sens d'un revêtement étale fini, une décomposition en produit $(Z\times Y, N\times Y)$ pour $(X,M)$, où $N, Y$ sont des variétés symplectiques holomorphes et $Z\subset N$ est une sous-variété lagrangienne ? Les auteurs démontrent ce résultat lorsque $M$ est une variété abélienne, et fournissent une réponse partielle lorsque le fibré canonique $K_X$ est semi-ample. En particulier, lorsque $K_X$ est nef et big, $X$ est lagrangienne dans $M$. On note également que, contrairement au cas hyperkählérien irréductible, il n'existe pas de sous-variétés lagrangiennes sur les variétés abéliennes suffisamment générales.

Contexte et motivation de la recherche

Problème central

Cet article étudie les problèmes de structure des sous-variétés algébriquement coisotropes dans les variétés symplectiques holomorphes. Une sous-variété coisotrope est un concept important en géométrie symplectique : pour une sous-variété $X$ d'une variété symplectique holomorphe $(M,\sigma)$, si en chaque point $x\in X$, le corang de la restriction $\sigma|_X$ égale la codimension de $X$, alors $X$ est appelée coisotrope.

Motivations de la recherche

1. Généralisation de résultats connus : les auteurs ont caractérisé la structure des diviseurs algébriquement coisotropes dans AC17, et cet article vise à généraliser ces résultats au cas de codimension supérieure
2. Problèmes de classification de structure : comprendre si les sous-variétés algébriquement coisotropes non-unirationnelles se décomposent toujours en produit d'une sous-variété lagrangienne et d'une variété symplectique holomorphe
3. Intuition géométrique : les sous-variétés lagrangiennes sont l'analogue en dimension supérieure des courbes dans les surfaces symplectiques holomorphes, et l'étude de leur existence et structure est d'une importance capitale

Limitations des recherches existantes

• Hwang-Viehweg HV10 ont démontré que les hypersurfaces lisses algébriquement coisotropes de type général sont des courbes dans les surfaces symplectiques holomorphes
• Cependant, la théorie de structure pour le cas de codimension supérieure a été peu étudiée
• Il manque un cadre de classification unifié

Contributions principales

1. Classification complète dans le cas des variétés abéliennes : démonstration que la Question 1.4 admet une réponse affirmative lorsque $M$ est une variété abélienne (Théorème 1.11)
2. Théorème de structure sous conditions sur le fibré canonique : lorsque $K_X$ est semi-ample, la fibration caractéristique est isotriviale (Théorèmes 1.7-1.8)
3. Critère de lagrangianité : lorsque $K_X$ est nef et big, $X$ est nécessairement lagrangienne (Corollaire 1.9)
4. Résultats d'existence : démonstration que sur les variétés abéliennes Hodge-générales, il n'existe pas de sous-variétés lagrangiennes (Corollaire 5.5)
5. Construction d'exemples concrets : fourniture d'exemples de sous-variétés lagrangiennes dans le cas non-projectif

Explication détaillée des méthodes

Définitions et concepts fondamentaux

Définition 1.1 (Sous-variété coisotrope) : Soit $M$ une variété complexe projective munie d'une forme symplectique holomorphe $\sigma$, et $X$ une sous-variété complexe irréductible de $M$. Si en chaque point $x\in X$, le corang de $\sigma|_X$ égale $\text{codim}(X)$, alors $X$ est appelée coisotrope.

Coisotrope algébrique : Si la feuilletage caractéristique sur la sous-variété coisotrope $X$ est algébrique (c'est-à-dire que les feuilles sont toutes des sous-variétés algébriques), alors $X$ est appelée algébriquement coisotrope.

Méthodes techniques principales

1. Analyse de la fibration caractéristique

Pour une sous-variété algébriquement coisotrope $X$, son feuilletage caractéristique définit une fibration $f: X \to B$, où les fibres sont les feuilles du feuilletage. Le lemme clé est :

Lemme 2.1 (Sawon) : Il existe une forme symplectique holomorphe $\eta$ sur $B$ telle que $f^*\eta = \sigma|_X$.

2. Propriétés géométriques de la base

Proposition 2.2 : La base $B$ de la fibration caractéristique possède les propriétés suivantes :

• Pas de fibres multiples en codimension 1
• $B$ ne possède que des singularités canoniques
• $\kappa(B) = 0$ (dimension de Kodaira égale à zéro)

3. Critère d'isotrivialité

Utilisation des résultats sur les bases spéciales de AC18 :

Théorème 1.7 : Si $K_X$ est semi-ample, alors la fibration caractéristique $f: X \to B$ est isotriviale, et $\kappa(X) = \kappa(F)$.

Analyse dans le cas des variétés abéliennes

Pour une sous-variété algébriquement coisotrope $X$ dans une variété abélienne $M$, on utilise le théorème de classification d'Ueno :

1. Décomposition de structure : $X = p^{-1}(Z)$, où $p: M \to L = M/A$, $A$ est une sous-variété abélienne, $Z \subset L$ est une sous-variété de type général
2. Décomposition en produit : par complète réductibilité de Poincaré, on obtient une décomposition $M = D \times C \times N \times P$
3. Analyse d'orthogonalité : utilisation de la condition coisotrope pour analyser les relations d'orthogonalité entre les facteurs
4. Structure de la forme symplectique : détermination des propriétés de la restriction de $\sigma$ à chaque facteur

Théorèmes principaux et esquisse de leurs preuves

Théorème 1.11 (Cas des variétés abéliennes)

Énoncé : Soit $M$ une variété abélienne et $X \subset M$ une sous-variété algébriquement coisotrope. Alors après revêtement étale fini, il existe des sous-tores $D,N,C,P$ tels que :

1. $M = D \times C \times N \times P$
2. $X = D \times C \times Z$, où $Z \subset N$
3. $Z$ est lagrangienne dans $N$

Points clés de la preuve :

1. Utilisation du théorème d'Ueno pour obtenir la structure fondamentale de $X$
2. Réalisation de la décomposition en produit par complète réductibilité de Poincaré
3. Analyse de la décomposition de Künneth de la forme symplectique : $\sigma = \sigma_D \oplus \sigma_N \oplus \sigma_P \oplus s$
4. Utilisation de la condition coisotrope pour déterminer les relations d'orthogonalité entre les facteurs
5. Démonstration que $\sigma_N$ est symplectique et que $Z$ est coisotrope pour $\sigma_N$
6. Preuve par calcul de dimension que $Z$ est lagrangienne

Théorèmes 1.7-1.8 (Isotrivialité)

Esquisse de preuve :

1. Utilisation de la Proposition 2.2 pour déterminer les propriétés géométriques de la base $B$
2. Application des résultats de spécialité de AC18 ou Taj23
3. Analyse par la version relative du fibré canonique pour obtenir $\kappa(X) = \kappa(F)$

Applications importantes et corollaires

Corollaire 1.9 (Critère de lagrangianité)

Lorsque $K_X$ est nef et big, $X$ est nécessairement lagrangienne. Ceci généralise le théorème de Hwang-Viehweg au cas de dimension supérieure.

Corollaire 1.10 (Variétés abéliennes simples)

Les sous-variétés algébriquement coisotropes d'une variété abélienne simple sont nécessairement lagrangiennes.

Corollaire 5.5 (Non-existence)

Sur une variété abélienne Hodge-générale, il n'existe pas de sous-variétés lagrangiennes (lorsque la dimension est $>2$).

Points d'innovation technique

1. Analyse de la décomposition de Künneth de la forme symplectique : analyse fine de la structure de la forme symplectique sur les variétés abéliennes
2. Contrôle géométrique de la fibration caractéristique : utilisation des propriétés spéciales de la base pour contrôler la structure de la fibration
3. Application de la théorie de Hodge : utilisation des propriétés du groupe de Hodge pour prouver les résultats de non-existence
4. Techniques de calcul de dimension : détermination de la structure géométrique par les contraintes de dimension imposées par la condition coisotrope

Comparaison avec les travaux existants

Relations avec les résultats antérieurs

• AC17 : cet article généralise les résultats du cas des diviseurs à la codimension supérieure
• HV10 : généralisation du critère de type général de Hwang-Viehweg
• Saw09 : utilisation et développement de la théorie du feuilletage de Sawon
• Voi92, Bea11 : fourniture de contraste dans le cas hyperkählérien irréductible

Éléments d'innovation

1. Première classification complète des sous-variétés algébriquement coisotropes dans les variétés abéliennes
2. Établissement d'une connexion profonde entre les propriétés du fibré canonique et la structure géométrique
3. Révélation des différences essentielles entre les variétés abéliennes et les variétés hyperkählériennes concernant l'existence de sous-variétés lagrangiennes

Exemples concrets et applications

Exemple 1 (Construction de Schoen)

Il existe des surfaces lagrangiennes dans certaines variétés abéliennes de dimension quatre simples, données par la construction de Schoen.

Exemple 2 (Cas non-projectif)

Proposition 6.1 : Il existe un tore complexe bidimensionnel $T$ et un automorphisme $g$ tels que pour toute forme symplectique $\sigma$, on ait $g^*\sigma = \lambda\sigma$, où $\lambda$ n'est pas une racine de l'unité.

Ceci fournit un exemple de surface lagrangienne sur $T \times T$.

Problèmes ouverts

Question 1.4 (Conjecture principale)

Pour les sous-variétés algébriquement coisotropes non-unirationnelles dans les variétés symplectiques holomorphes générales, peut-on toujours réaliser une décomposition en produit ?

Problèmes connexes

1. Problème 5.1 : Recherche d'exemples de sous-variétés lagrangiennes dans les variétés abéliennes simples de dimension $\geq 6$
2. Question 5.8 : Quelles restrictions le groupe fondamental impose-t-il aux sous-variétés de dimension moyenne dans les variétés abéliennes simples ?

Évaluation approfondie

Avantages

1. Profondeur théorique : établissement des fondations importantes de la théorie des sous-variétés algébriquement coisotropes
2. Innovation technique : combinaison ingénieuse des outils de la géométrie algébrique, la géométrie complexe et la géométrie symplectique
3. Complétude : classification complète dans le cas des variétés abéliennes
4. Analyse comparative : révélation des différences essentielles entre différents types de variétés symplectiques holomorphes

Contributions techniques

1. Développement de la théorie géométrique de la fibration caractéristique
2. Analyse fine des propriétés algébriques de la structure symplectique sur les variétés abéliennes
3. Établissement d'une connexion entre la théorie de Hodge et l'existence géométrique

Limitations

1. Les résultats principaux se limitent au cas des variétés abéliennes, le cas général nécessite encore du développement
2. Certaines conditions techniques (comme la semi-ampleur) peuvent être trop fortes
3. Les exemples constructifs sont relativement peu nombreux

Évaluation de l'impact

Cet article pose les fondations théoriques importantes pour la recherche sur les sous-variétés algébriquement coisotropes, en particulier :

1. Fourniture d'une réponse affirmative à la Question 1.4 dans des cas particuliers
2. Établissement des méthodes techniques standard dans ce domaine
3. Révélation des problèmes fondamentaux nécessitant une recherche ultérieure

Domaines d'application

1. Problèmes de classification de sous-variétés en géométrie algébrique
2. Théorie des sous-variétés lagrangiennes en géométrie symplectique
3. Recherche géométrique sur les variétés abéliennes et les variétés hyperkählériennes

Références

L'article cite les travaux importants du domaine, incluant les travaux classiques de Voisin, Sawon, Hwang-Viehweg et autres, ainsi que les résultats antérieurs des auteurs dans AC17, AC18. Il est particulièrement remarquable d'noter l'application des résultats récents de Taji Taj23, reflétant le caractère avant-gardiste de cette recherche.

Cet article constitue une contribution théorique importante en géométrie algébrique, fournissant des perspectives profondes pour la compréhension de la structure géométrique des sous-variétés dans les variétés symplectiques holomorphes, établissant en particulier une théorie de classification complète dans le cas des variétés abéliennes.