Présentations de Weinstein pour l'antichirurgie en haute dimension

Informations de base

• ID de l'article: 2310.03133
• Titre: Weinstein presentations for high-dimensional antisurgery
• Auteurs: Ipsita Datta, Oleg Lazarev, Chindu Mohanakumar, Angela Wu
• Classification: math.SG (géométrie symplectique)
• Date de publication: 6 octobre 2023
• Lien de l'article: https://arxiv.org/abs/2310.03133

Résumé

Cet article fournit un algorithme pour décrire les présentations de Weinstein des sous-domaines de Weinstein obtenus par excision de sous-variétés lagrangiennes régulières. Ce travail généralise les résultats antérieurs dans le cas tridimensionnel et introduit une nouvelle famille de mouvements d'isotopie légendriennes (« mouvements en forme de bateau »), qui modifient l'indice local des cordes de Reeb dans la projection avant. En application, les auteurs décrivent les présentations de certains sous-domaines de Weinstein singuliers et donnent une description explicite des légendriens P-souples.

Contexte et motivation de la recherche

Problème central

L'article traite du problème central suivant : comment fournir une présentation de Weinstein explicite pour les sous-domaines de Weinstein construits par « antichirurgie » (antisurgery). Spécifiquement, lorsqu'on excise un disque lagrangien régulier L d'un domaine de Weinstein X, comment construire explicitement une présentation de Weinstein du sous-domaine X\L.

Importance de la recherche

1. Valeur théorique: Les domaines de Weinstein sont des variétés symplectiques exactes équipées d'une décomposition en anses symplectiques, analogues aux complexes CW en topologie. Leurs présentations rendent le calcul des invariants (tels que la catégorie de Fukaya enroulée) traitable.
2. Construction de structures singulières: De nombreux domaines de Weinstein singuliers en géométrie symplectique peuvent être construits comme des sous-domaines de domaines de Weinstein standards, par excision de disques lagrangiens. Par exemple, Sylvan et le deuxième auteur ont montré que pour n≥5, le fibré cotangent standard TS^n possède une infinité de sous-domaines de Weinstein difféomorphes à TS^n mais non symplectomorphes deux à deux.
3. Construction de structures de contact: L'antichirurgie de contact est importante pour la construction de structures de contact. Par exemple, toute structure de contact sur S^{2n-1} peut être obtenue en effectuant une chirurgie et une antichirurgie de contact sur la structure de contact standard.

Limitations des méthodes existantes

Bien que des résultats connexes existent dans le cas tridimensionnel (comme DG09), il manquait une méthode générale pour construire explicitement les présentations de Weinstein après antichirurgie en haute dimension. En particulier :

• La construction de variétés de Weinstein P-flexibles reste relativement peu claire, car on ne sait pas comment l'excision/antichirurgie modifie la projection avant du légendrien original
• La projection avant des légendriens P-souples était jusqu'à présent inconnue

Contributions principales

1. Introduction des mouvements en forme de bateau: Proposition d'une nouvelle famille de mouvements légendriennes n-dimensionnels — suspensions D^k, en particulier les mouvements (n,k)-bateau, qui modifient l'indice local des cordes de Reeb dans la projection avant.
2. Algorithme principal: Fourniture d'un algorithme de construction explicite pour les présentations de Weinstein des domaines de Weinstein obtenus par antichirurgie (Théorème 1.2).
3. Description explicite des légendriens P-souples: Première description explicite de la projection avant des nœuds légendriennes P-souples (Corollaire 1.4).
4. Généralisation en haute dimension: Extension des résultats d'antichirurgie tridimensionnels au cas arbitrairement haute dimension.

Détails de la méthode

Définition de la tâche

Étant donné un domaine de Weinstein X^{2n} et un disque lagrangien régulier L qu'il contient, construire une présentation de Weinstein explicite du sous-domaine X\L, compatible avec la présentation du domaine original X.

Technique centrale : mouvements en forme de bateau

Construction de suspensions D^k

Pour une isotopie légendriennes ψ: D^{n-k} × 0,1 → R^{2(n-k)+1}, on définit sa suspension D^k Σ^{D^k}{ψ} par :

Σ^{D^k}{ψ} = {(s, ψ(θ, β_k(s))) | s ∈ D^k, θ ∈ D^{n-k}}

où β_k: D^k → 0,1 est une fonction « bosse » lisse avec des propriétés spécifiques.

Mouvements (n,k)-bateau

Lorsque ψ est un mouvement de Reidemeister 1 de dimension (n-k), sa suspension D^k est appelée mouvement (n,k)-bateau. La propriété clé de ce mouvement :

Proposition 3.7: Le bateau (n,k) B_{n,k} est légendrien-isotope au légendrien original Λ_0 relatif au bord.

Proposition 3.9: Après le mouvement en forme de bateau, tous les points critiques de la projection avant se trouvent dans une seule composante graphique, et ce point critique est un maximum.

Flux de l'algorithme principal

Construction du Lemme 4.3

Étant donné une sous-variété légendriennes Λ dans une variété de contact, ainsi qu'une paire de légendriens parallèles Λ^+ et Λ^-, les rendre complètement parallèles par les étapes suivantes :

1. Perturbation: Rendre toutes les cordes de Reeb non dégénérées et correspondant aux points critiques d'une fonction de Morse
2. Traitement séquentiel des points critiques: Pour chaque point critique :
   • Si l'indice est 0 (maximum) : effectuer directement un handle slide
   • Si l'indice est n-k (0≤k<n) : d'abord effectuer un mouvement (n,k)-bateau pour le convertir en maximum, puis effectuer un handle slide
3. Élimination: Répéter jusqu'à ce que tous les obstacles aux cordes de Reeb soient éliminés

Preuve du Théorème 1.2

1. Configuration: Transformer le problème d'antichirurgie en problème de diagramme de chirurgie
2. Ajout de paires de compensation: Introduire une (n-1)-anse et le légendrien correspondant Λ^-
3. Application du Lemme 4.3: Rendre Λ^+ et Λ^- complètement parallèles
4. Compensation: Éliminer Λ^+ et Λ^-, obtenant la présentation finale

Points d'innovation technique

1. Intuition géométrique des mouvements en forme de bateau: Par la construction de suspension, généraliser les mouvements de Reidemeister de basse dimension à la haute dimension, tout en préservant la propriété légendriennes.
2. Contrôle de l'indice local: Les mouvements en forme de bateau permettent de convertir systématiquement les points critiques d'indice arbitraire en maxima, ce qui est la clé du traitement des cordes de Reeb en haute dimension.
3. Isotopie relative du bord: Toutes les constructions préservent le bord invariant, assurant la cohérence de la structure géométrique globale.

Configuration expérimentale

Vérification théorique

En tant qu'article de mathématiques pures, cet article valide l'efficacité de la théorie par la construction d'exemples concrets :

Exemple 4.7 : Cas U = D^{n-1}

Lorsque U est un disque, la fonction de Morse g possède un point critique d'indice 0 unique, et l'application de la construction produit un nœud légendrien standard.

Exemple 4.8 : Cas U comme union disjointe

Lorsque U = U' ∐ D^{n-1}, la construction produit un légendrien souple.

Exemple 4.9 : Souplesse du légendrien P-souple

Prouver que lorsque 0∈P, le légendrien P-souple est effectivement souple.

Méthodes de vérification

Vérification par calcul explicite et analyse géométrique :

1. Le légendrien construit possède effectivement les propriétés attendues
2. Les mouvements en forme de bateau préservent la classe d'isotopie légendriennes
3. Le résultat final est cohérent avec les résultats théoriques connus

Résultats expérimentaux

Résultats principaux

Théorème 1.2 (Théorème principal)

Pour un disque lagrangien régulier L⊂X, la présentation de Weinstein du sous-domaine X\L possède les propriétés suivantes :

• Elle possède une (n-1)-anse supplémentaire par rapport à X
• Les n-anses sont en correspondance biunivoque avec les n-anses de X
• La sphère d'attachement Λ'_i de chaque n-anse est obtenue via le mouvement (n,k)-bateau correspondant et la somme connexe pointée

Corollaire 1.4 (Description explicite du légendrien P-souple)

Le nœud légendrien P-souple ΛP est composé de quatre nœuds légendriennes souples, qui sont complètement parallèles en dehors d'une région bornée, et connectés par trois mouvements en forme de bateau et une somme connexe pointée dans la région bornée.

Validité de la construction

La correction de l'algorithme est vérifiée par des exemples concrets :

• L'exemple 4.7 montre le traitement du cas le plus simple
• L'exemple 4.8 démontre l'émergence de la souplesse
• L'exemple 4.9 confirme la souplesse du légendrien P-souple

Travaux connexes

Travaux précurseurs dans le cas tridimensionnel

• Ding-Geiges DG09 : Description de l'antichirurgie le long des cercles légendriennes permettant un remplissage par disque lagrangien en dimension 3
• Le présent travail généralise ces résultats à la haute dimension

Domaines de Weinstein et théorie de flexibilité

• Weinstein Wei91 : Introduction du concept de domaine de Weinstein
• Cieliebak-Eliashberg CE12 : Théorie des domaines de Weinstein flexibles
• Murphy Mur19 : Théorie des légendriens souples
• Lazarev-Sylvan LS23 : Construction des légendriens P-souples

Théorie de la chirurgie

• Bourgeois-Ekholm-Eliashberg BEE12 : Effets de la chirurgie légendriennes
• Ganatra-Pardon-Shende GPS18 : Formules de localisation

Conclusion et discussion

Conclusions principales

1. Complétude de l'algorithme: Fourniture d'un algorithme complet pour construire les présentations explicites de Weinstein des domaines d'antichirurgie
2. Efficacité des mouvements en forme de bateau: Les mouvements en forme de bateau nouvellement introduits sont l'outil clé pour traiter le cas haute dimension
3. Explicitation des légendriens P-souples: Première description concrète de ces objets géométriques importants

Limitations

1. Hypothèse de régularité: Exigence que le disque lagrangien soit régulier
2. Conditions de non-dégénérescence: Nécessité que les cordes de Reeb soient non dégénérées (bien que cela soit réalisable par perturbation)
3. Complexité computationnelle: Pour les espaces de Moore P complexes, le calcul peut devenir difficile

Directions futures

L'article soulève plusieurs problèmes ouverts :

Problème 4.10

Existe-t-il une méthode de construction plus directe pour les légendriens P-souples, analogue à la construction de Murphy pour les légendriens souples ?

Problème 4.11

Peut-on donner une preuve alternative de la formule de localisation de Ganatra-Pardon-Shende en calculant directement via la dga légendriennes des sphères d'attachement produites par le Théorème 1.2 ?

Évaluation approfondie

Points forts

1. Innovation théorique: L'introduction des mouvements en forme de bateau constitue une véritable innovation technique, résolvant la difficulté technique clé du cas haute dimension.
2. Approche systématique: Fourniture d'un algorithme complet et systématique, donnant non seulement l'existence mais aussi la construction explicite.
3. Intuition géométrique: Les mouvements en forme de bateau possèdent une interprétation géométrique claire, l'image du « bateau » décrivant bien la déformation géométrique.
4. Valeur applicative: La description explicite des légendriens P-souples comble une lacune importante et possède une grande valeur pour les recherches ultérieures.

Insuffisances

1. Seuil technique: Nécessite une formation approfondie en géométrie de contact et géométrie symplectique, lisibilité limitée.
2. Complexité computationnelle: Bien qu'un algorithme soit fourni, le calcul pratique pour les cas complexes reste difficile.
3. Restrictions de généralisation: La méthode s'applique principalement aux cas de disques lagrangiens réguliers.

Impact

1. Contribution théorique: Fourniture d'outils techniques importants pour la géométrie symplectique et la géométrie de contact.
2. Recherches ultérieures: Les mouvements en forme de bateau peuvent trouver des applications dans d'autres problèmes connexes.
3. Aspects computationnels: Fourniture de nouvelles voies pour le calcul d'invariants tels que la catégorie de Fukaya enroulée.

Scénarios d'application

1. Recherche théorique: Applicable à l'étude des propriétés géométriques des domaines de Weinstein et des variétés de contact
2. Calcul d'invariants: Peut être utilisé pour calculer divers invariants en géométrie symplectique et géométrie de contact
3. Problèmes de construction: Applicable à la construction d'objets de géométrie symplectique possédant des propriétés spécifiques

Références

L'article cite les travaux importants du domaine, notamment :

• Wei91 Travaux fondateurs de Weinstein
• Mur19 Théorie de Murphy sur les légendriens souples
• LS23 Construction de Lazarev-Sylvan des légendriens P-souples
• GPS18 Formules de localisation de Ganatra-Pardon-Shende
• DG09 Résultats d'antichirurgie tridimensionnelle de Ding-Geiges

Cet article apporte des contributions importantes au domaine de la géométrie symplectique et de la géométrie de contact, en particulier l'introduction des mouvements en forme de bateau et la description explicite des légendriens P-souples, fournissant des outils importants pour le développement ultérieur du domaine.