Des Fonctions de Morse aux Fibrés de Lefschetz sur les Fibrés Cotangents

Informations Fondamentales

• ID de l'article: 2510.10669
• Titre: From Morse Functions to Lefschetz Fibrations on Cotangent Bundles
• Auteur: Emmanuel GIROUX (CNRS et ENS-PSL)
• Classification: math.SG (Géométrie Symplectique), math.GT (Topologie Géométrique)
• Date de publication: 12 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.10669

Résumé

Cet article démontre que pour toute fonction de Morse sur une variété compacte et tout gradient adapté satisfaisant la condition de Morse-Smale, il existe une fibration symplectique de Lefschetz à valeurs complexes, définie sur le fibré cotangent, dont la restriction à la section nulle est la fonction donnée, la partie imaginaire est l'évaluation du covecteur sur le gradient, et qui est équivariante sous l'involution de réflexion des fibres et la conjugaison complexe. L'article étudie ensuite la topologie et la géométrie symplectique des fibres régulières de cette fibration, qui sont des variétés de Weinstein bien définies.

Contexte et Motivation de la Recherche

Contexte du Problème

1. Travaux fondateurs de Donaldson: S. Donaldson a démontré que toutes les variétés symplectiques fermées admettent des pencils de Lefschetz avec fibres symplectiques, fournissant un outil puissant pour l'étude géométrique.
2. Développements de Seidel: P. Seidel a développé ces idées pour étudier la catégorie de Fukaya, mais nécessite de transposer le cadre des variétés symplectiques fermées aux régions de Liouville/Weinstein, remplaçant en conséquence les pencils de Lefschetz par des fibrés de Lefschetz.
3. Problème d'existence: Bien que l'existence de fibrés symplectiques de Lefschetz sur les régions de Weinstein ait été établie dans GP en adaptant les méthodes asymptotiques de Donaldson, les exemples importants explicitement décrits dans la littérature restent relativement rares en dehors de la dimension 4.

Motivation de la Recherche

1. Manque d'exemples concrets: Les preuves des résultats généraux d'existence ne sont pas suffisamment intuitives et manquent d'exemples explicites de fibrés de Lefschetz.
2. Pont entre théorie et pratique: Il est nécessaire d'établir une connexion plus directe entre la théorie de Morse et les fibrés de Lefschetz.
3. Compréhension géométrique: On souhaite mieux comprendre la structure géométrique des fibrés de Lefschetz par des constructions explicites.

Contributions Principales

1. Théorème d'extension majeur: Démonstration que toute fonction de Morse satisfaisant la condition de Morse-Smale peut être étendue en une fibration symplectique de Lefschetz sur le fibré cotangent, cette extension étant unique au sens homotopique.
2. Méthode de construction explicite: Fourniture d'un processus de construction explicite réalisé par deux étapes clés : la « complexification grossière » et la « réorganisation des valeurs critiques ».
3. Analyse de la structure de Weinstein: Étude détaillée de la structure de Weinstein des fibres régulières, démontrant que ces structures appartiennent à la même classe d'homotopie.
4. Caractérisation des propriétés géométriques: Description géométrique détaillée des fibrés de Lefschetz, incluant les cycles évanescents, les sous-variétés critiques et autres objets géométriques importants.

Détails de la Méthode

Définition de la Tâche

Étant donnée une fonction de Morse φ: M → ℝ sur une variété compacte M et un gradient adapté ν satisfaisant la condition de Morse-Smale, construire une application à valeurs complexes h = f + ig: T*M → ℂ telle que:

• h restreinte à la section nulle M égale φ
• la partie imaginaire g(p,q) = ⟨p,ν(q)⟩
• h est une fibration symplectique de Lefschetz
• la partie réelle f est 1-homogène à l'infini

Méthode de Construction Principale

Première Étape: Complexification Grossière

Définition de l'application préliminaire h₀: T*M → ℂ:

h₀(p,q) := φ(q) - (1/2)χ(q)∇²φₑ(p,p) + i⟨p,ν(q)⟩

où χ est une fonction de troncature et ∇²φₑ est la dérivée seconde covariante de φ en q.

Propriétés clés:

• Dans un petit voisinage Wδ, les points critiques de h₀ coïncident avec ceux de φ et sont de type Morse complexe
• la partie réelle f⁰ = Re h₀ est une fonction de Lyapunov pour le champ hamiltonien ν̃
• sur la sphère Vᵣ, f⁰ᵣ est une fonction de Lyapunov de Morse-Bott pour le champ de contact ν̄

Deuxième Étape: Réorganisation des Valeurs Critiques

Extension de h₀ à l'ensemble de T*M par réorganisation des valeurs critiques de la fonction de Morse-Bott f⁰ᵣ|∂Wδ.

Construction de la famille fᵣ:

fᵣ := τ₀(r)f⁰ᵣ + τ₁(r)f¹ᵣ

où f¹ᵣ = rf∞ et τ₀, τ₁ sont des fonctions de transition convenablement choisies.

Points d'Innovation Technique

1. Double relèvement du champ vectoriel: Utilisation des propriétés du relèvement hamiltonien ν̃ du champ vectoriel ν sur TM et du relèvement de contact ν̄ sur STM.
2. Condition d'homogénéité: Exigence que f soit 1-homogène à l'infini pour assurer le comportement asymptotique correct de la fibration.
3. Rôle crucial de la condition de Morse-Smale: Démonstration que la violation de la condition de Morse-Smale entraîne l'incomplétude des connexions, empêchant l'obtention d'une fibration.

Analyse Théorique

Définition de la Fibration de Lefschetz

L'article adopte une définition de la fibration de Lefschetz adaptée aux variétés de Liouville:

Définition 1: Une application h: W → ℂ est une fibration symplectique de Lefschetz si et seulement si:

1. les points critiques sont de type Morse complexe
2. la distribution Ker dh est composée de sous-espaces symplectiques, dont le complément symplectique orthogonal forme une connexion singulière complète
3. W est épuisée par des régions de Liouville, chaque fibre régulière étant une variété de Liouville

Critère de Fibration

Proposition 7: Si le relèvement hamiltonien ν̃ admet une fonction de Lyapunov f étendue et 1-homogène à l'infini pour φ, alors h := f + ig est une fibration symplectique de Lefschetz.

Propriétés Géométriques

Structure de Weinstein des Fibres Régulières

Proposition 13: Chaque fibre réelle Fᵤ = h⁻¹(u) (u ∈ ℝ-Δφ) possède une structure de Weinstein induite par la 1-forme canonique λ de T*M, et ces structures appartiennent à la même classe d'homotopie.

Sous-variétés Critiques

Pour une valeur régulière u, les sous-variétés critiques de la fonction d'énergie ρᵤ = ρ|Fᵤ incluent:

• les ensembles de niveau Qᵤ = Fᵤ ∩ M
• les sphères C±ₐ (lorsque φ(a) < u ou φ(a) > u)

Applications Géométriques et Exemples

Cas de la Sphère

Exemple 0: Pour la fonction coordonnée φ(x) = xₙ₊₁ sur la sphère unité Sⁿ, le fibré cotangent T*Sⁿ est symplectomorphe à la quadrique affine complexe:

W = {z ∈ ℂⁿ⁺¹ : Σzⱼ² = 1}

la restriction de la coordonnée zₙ₊₁ à W fournit une fibration holomorphe de Lefschetz.

Cas de la Décomposition de Heegaard

Exemple 16: Pour une fonction de Morse ordonnée sur une variété de dimension 3, la fibre de Lefschetz est une variété de Weinstein de dimension 4 obtenue en attachant des anses de Weinstein le long de 4g courbes encadrées imbriquées disjointes sur le fibré cotangent du disque DT*Q.

Comparaison avec les Travaux Connexes

Relation avec les Travaux de Johns

• Johns a obtenu dans sa thèse une version faible du résultat d'extension, mais n'a pas pu identifier la variété de Weinstein construite W avec T*M
• La méthode de cet article est plus directe, évitant les principales difficultés techniques rencontrées par Johns

Relation avec les Travaux de Lee

• Lee a proposé un algorithme pour construire des fibrés de Lefschetz à partir de décompositions en anses
• La méthode de cet article clarifie la résolution des principaux problèmes techniques

Conclusions et Discussion

Conclusions Principales

1. Établissement d'une correspondance directe entre les fonctions de Morse et les fibrés de Lefschetz
2. Fourniture d'une construction explicite de fibrés de Lefschetz sur les fibrés cotangents
3. Description complète de la géométrie de Weinstein des fibres régulières

Signification Théorique

• Chaque « fonction de Morse améliorée » (φ,ν) correspond à une variété de Weinstein de type fini standard F^(2n-2)
• F contient les cycles évanescents et les ensembles de niveau réguliers de φ comme sous-variétés lagrangiennes exactes
• La géométrie de F peut être décrite explicitement à partir de ces objets et de leurs relations d'association

Limitations

1. Exigence que le gradient satisfasse la condition de Morse-Smale (ce qui est nécessaire)
2. Le processus de construction implique plusieurs étapes techniques, rendant les calculs pratiques potentiellement complexes
3. Le cas des variétés non compactes nécessite des considérations supplémentaires

Directions Futures

1. Étude de la relation entre les fibrés de Lefschetz construits et la catégorie de Fukaya
2. Exploration des applications en symétrie miroir
3. Généralisation à des cadres géométriques plus généraux

Évaluation Approfondie

Avantages

1. Complétude théorique: Fourniture d'un cadre théorique complet allant de la théorie de Morse aux fibrés de Lefschetz
2. Caractère explicite de la construction: Présentation d'une méthode de construction concrète, et non seulement une preuve d'existence
3. Perspicacité géométrique: Analyse approfondie des propriétés géométriques des objets construits
4. Innovation technique: Utilisation ingénieuse du double relèvement des champs vectoriels et de la condition d'homogénéité

Insuffisances

1. Complexité technique: Le processus de construction implique plusieurs étapes techniques, pouvant limiter les applications pratiques
2. Défi computationnel: Le calcul pour des exemples concrets peut s'avérer considérablement complexe
3. Restrictions de généralisation: L'incertitude quant à la possibilité de généraliser la méthode à d'autres cadres géométriques

Impact

1. Contribution théorique: Fourniture de nouveaux outils pour la recherche interdisciplinaire entre géométrie symplectique et théorie de Morse
2. Perspectives d'application: Proposition de nouvelles méthodes pour l'étude de la classification et des invariants des variétés de Weinstein
3. Valeur pédagogique: Fourniture d'exemples concrets pour la compréhension des fibrés de Lefschetz

Domaines d'Application

• Étude de la géométrie symplectique des fibrés cotangents
• Problèmes de classification des variétés de Weinstein
• Calculs concrets de la catégorie de Fukaya
• Recherche en symétrie miroir

Références

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

• Les travaux fondateurs de Donaldson sur les pencils de Lefschetz
• Les recherches de Seidel sur la catégorie de Fukaya
• La preuve de Giroux-Pardon de l'existence de fibrés de Lefschetz sur les régions de Weinstein
• Les travaux de construction connexes de Johns et Lee