Fonctions lisses qui sont Morse sur les préimages de valeurs n'étant pas des extrêma locaux et construction de fonctions naturelles de cette classe sur les sommes connexes de variétés admettant ces fonctions

Informations fondamentales

• ID de l'article : 2510.00464
• Titre : Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
• Auteur : Naoki Kitazawa
• Classification : math.GN (Topologie générale), math.CO (Combinatoire), math.GT (Topologie géométrique)
• Date de publication : Octobre 2025 (prépublication arXiv)
• Lien de l'article : https://arxiv.org/abs/2510.00464v3

Résumé

Cet article traite des fonctions lisses possédant la propriété de Morse sur les préimages de valeurs n'étant pas des extrêma locaux, appelées fonctions de Morse intérieures ou fonctions I-Morse. Le graphe de Reeb est l'espace de toutes les composantes connexes des préimages ponctuelles d'une fonction lisse, dont les sommets correspondent aux préimages contenant des points critiques. Si la préimage d'un sommet est un sous-ensemble fermé d'intérieur vide dans le domaine variété, la fonction lisse est dite propre par rapport au graphe de Reeb (N-Reeb). L'auteur étudie la combinaison des fonctions I-Morse et N-Reeb (fonctions IN-Morse-Reeb), dont le résultat principal est la construction d'une fonction IN-Morse-Reeb sur la somme connexe de variétés données, respectant deux telles fonctions.

Contexte et motivation de la recherche

Contexte du problème

1. Importance des fonctions de Morse : Les fonctions de Morse et de Morse-Bott sont des outils fondamentaux en géométrie des variétés et des objets d'étude importants en théorie des singularités. Elles jouent un rôle clé dans la compréhension de la structure topologique des variétés par la correspondance naturelle entre les points critiques et les k-anses.
2. Rôle du graphe de Reeb : Pour certaines bonnes classes de fonctions, on peut définir leur graphe de Reeb. Ces objets combinatoires sont des outils fondamentaux pour obtenir des informations importantes (telles que le premier nombre de Betti et le rang du groupe fondamental), et constituent un moyen important de visualiser les fonctions de Morse ou certaines généralisations.
3. Limitations de la recherche existante : La théorie classique des fonctions de Morse se concentre principalement sur les propriétés de tous les points critiques, tandis que l'étude des fonctions possédant la propriété de Morse uniquement sur des préimages spécifiques est moins développée.

Motivation de la recherche

1. Perfectionnement théorique : Étendre la théorie de Morse et étudier des classes de fonctions plus générales
2. Problèmes de construction : Résoudre les problèmes de construction de fonctions ayant des propriétés spécifiques sur les variétés sommes connexes
3. Propriétés combinatoires : Établir des liens profonds entre les propriétés des fonctions et leur graphe de Reeb

Contributions principales

1. Définition de nouvelles classes de fonctions : Introduction des concepts de fonctions I-Morse (Morse intérieures) et de fonctions N-Reeb (propres par rapport au graphe de Reeb), et étude de leur combinaison en fonctions IN-Morse-Reeb
2. Théorème de construction principal : Démonstration que pour les fonctions IN-M-R sur deux variétés fermées connexes, on peut construire une fonction IN-M-R sur leur somme connexe dont le graphe orienté de Reeb est isomorphe à un graphe orienté obtenu d'une manière spécifique
3. Propriétés des fonctions simples : Établissement de la théorie des fonctions G-simples et démonstration des résultats de construction et de classification associés
4. Méthodes techniques : Fourniture de méthodes de construction basées sur le théorème de fibration d'Ehresmann et la théorie des anses

Explication détaillée des méthodes

Définitions fondamentales

Définition 1 (Fonction I-Morse) : Une fonction lisse est dite de Morse intérieure ou I-Morse si elle est Morse sur les préimages de valeurs n'étant pas des extrêma locaux.

Définition 2 (Fonction N-Reeb) : Une fonction est dite propre par rapport au graphe de Reeb ou N-Reeb si chaque préimage correspondant à un sommet du graphe de Reeb est un sous-ensemble fermé d'intérieur vide dans le domaine variété.

Définition 3 (Fonction IN-M-R) : Une fonction satisfaisant simultanément les propriétés I-Morse et N-Reeb est appelée fonction IN-Morse-Reeb.

Théorèmes principaux

Théorème 1 : Pour les fonctions IN-M-R sur deux variétés fermées connexes de dimension m > 1, on peut construire une fonction IN-M-R sur leur somme connexe dont le graphe orienté de Reeb est isomorphe au graphe orienté GR obtenu de la manière suivante :

• Sélectionner un point correspondant à une valeur n'étant pas un extrêmum local dans chacun des deux graphes orientés de Reeb GR,1 et GR,2
• Identifier ces deux points comme l'unique sommet nouveau pour obtenir GR

Théorème 2 : Si les deux applications données sont des fonctions GR,i-S, alors la fonction résultante peut également être obtenue comme fonction GR-S.

Théorème 3 : Pour les graphes connexes finis satisfaisant des conditions spécifiques, des résultats plus précis sont donnés pour la construction de fonctions IN-M-R sur les sommes connexes.

Méthodes techniques

1. Application de la théorie des anses : Utilisation de la correspondance naturelle entre les k-anses et les points critiques d'indice k
2. Théorème de fibration d'Ehresmann : Construction de structures de fibrés produits dans les régions sans points critiques
3. Construction locale et collage : Réalisation de la construction globale par construction de fonctions de Morse locales et collage approprié

Mise en place expérimentale

Puisqu'il s'agit d'une recherche théorique en mathématiques pures, il n'y a pas d'expériences numériques, mais plutôt une vérification des résultats théoriques par des démonstrations mathématiques rigoureuses.

Stratégie de démonstration

1. Analyse locale : Construction locale autour de chaque composante connexe
2. Construction de fibrés produits : Utilisation de la Proposition 1 et de la Remarque 1 pour construire les fibrés produits requis
3. Déformation et collage : Déformation et collage appropriés des fibrés produits locaux pour obtenir la variété souhaitée

Résultats principaux

Résultats de construction

L'article démontre avec succès qu'on peut construire des fonctions IN-M-R avec la structure de graphe de Reeb attendue sur les variétés sommes connexes, ce qui fournit une base théorique importante pour la compréhension de l'existence et de la constructibilité de cette classe de fonctions.

Réalisations techniques

1. Proposition 1 : Fournit une méthode de construction de fibrés produits sous certaines conditions
2. Proposition 2 : Décrit en détail les propriétés de structure locale des fonctions G-IN-M-R
3. Illustrations graphiques : Cinq figures techniques illustrent en détail les étapes clés du processus de construction

Travaux connexes

Contexte historique

• Théorie de Morse : Basée sur les travaux classiques de Milnor 26 et autres
• Théorie du graphe de Reeb : Originaire des travaux fondateurs de Reeb 27
• Théorie des singularités : Référence à l'exposé systématique de Golubitsky et Guillemin 8

Développements récents

• Problèmes de classification : Réalisation des graphes de Reeb de fonctions de Morse-Bott sur des surfaces données par Gelbukh 6,7
• Méthodes de construction : Modifications combinatoires des problèmes de réalisation du graphe de Reeb par Michalak 24,25
• Domaines d'application : Applications en topologie symplectique et en théorie de l'optimisation

Conclusion et discussion

Conclusions principales

1. Établissement réussi de la théorie de construction des fonctions IN-M-R sur les sommes connexes
2. Fourniture de méthodes de construction concrètes et d'outils techniques
3. Établissement de liens profonds entre les propriétés des fonctions et la structure du graphe de Reeb

Limitations

1. Restrictions dimensionnelles : Les résultats principaux requièrent m > 2, les cas de faible dimension nécessitant un traitement spécial
2. Conditions techniques : Nécessité de satisfaire des conditions spécifiques d'encastrement de graphes et de degré
3. Complexité de construction : Le processus de construction réelle implique une analyse locale complexe et un collage global

Directions futures

1. Problèmes de classification : Classification de certaines classes de fonctions IN-M-R par le graphe orienté de Reeb
2. Applications géométriques : Exploration de l'importance de ces nouvelles classes de fonctions dans d'autres domaines de la géométrie
3. Méthodes computationnelles : Développement de méthodes de construction et de calcul plus efficaces

Évaluation approfondie

Avantages

1. Innovation théorique : Introduction de nouvelles classes de fonctions, extension de la théorie de Morse
2. Résultats constructifs : Fourniture de méthodes de construction concrètes, démonstration non seulement de l'existence
3. Rigueur technique : Utilisation d'outils de topologie différentielle éprouvés, argumentation rigoureuse
4. Aide graphique : Illustration claire du processus de construction par des figures techniques détaillées

Insuffisances

1. Motivation d'application insuffisante : Manque d'applications concrètes de ces nouvelles classes de fonctions dans d'autres domaines mathématiques
2. Cas de faible dimension : Traitement incomplet du cas m = 2
3. Complexité computationnelle : Le processus de construction réelle peut être excessivement complexe, limitant l'applicabilité pratique

Impact

1. Contribution théorique : Fourniture d'une nouvelle direction pour la généralisation de la théorie de Morse
2. Valeur technique : Les méthodes de construction peuvent s'appliquer à d'autres problèmes connexes
3. Inspiration pour la recherche : Fourniture d'outils techniques riches et d'un cadre théorique pour les recherches ultérieures

Domaines d'application

1. Recherche en topologie différentielle : Problèmes de classification et de construction de fonctions sur les variétés
2. Théorie des singularités : Étude de classes spéciales de fonctions
3. Mathématiques appliquées : Applications potentielles en théorie de l'optimisation et en analyse de données

Références

L'article cite 33 références pertinentes, couvrant les résultats classiques et récents dans plusieurs domaines tels que la théorie de Morse, la théorie des singularités et la topologie différentielle, fournissant une base théorique solide pour cette recherche.

Évaluation générale : Cet article est un travail théorique mathématique de haute qualité qui apporte des contributions importantes à la généralisation de la théorie de Morse. Bien que des explorations supplémentaires soient nécessaires concernant les applications pratiques, sa valeur théorique et son innovation technique méritent reconnaissance.