Classes caractéristiques supérieures des lieux de multisingularité

Informations fondamentales

• ID de l'article: 2510.14602
• Titre: Higher characteristic classes of multisingularity loci
• Auteurs: Jakub Koncki, Richárd Rimányi
• Classification: math.AG (Géométrie algébrique)
• Date de publication: Printemps 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.14602

Résumé

Les applications entre variétés stratifient l'espace source et l'espace cible selon les multisingularités qui y apparaissent. Cet article étudie les expressions universelles des classes de Segre-Schwartz-MacPherson décrivant les lieux de multisingularité — appelées polynômes de Thom d'ordre supérieur. Nous démontrons un théorème de structure qui réduit ces polynômes de Thom aux données de séries linéaires associées à chaque multisingularité. Les séries correspondant aux multisingularités vides, appelées séries principales, jouent un rôle particulier. En nous appuyant sur les connexions avec la théorie géométrique des représentations, nous établissons en outre un théorème d'interpolation permettant le calcul algorithmique des polynômes de Thom dans l'intervalle de bonne dimension de Mather. Comme application, nous dérivons des formules explicites pour le nombre de Milnor de l'image des germes quasi-homogènes, fournissant une preuve d'un aspect de la célèbre conjecture de Mond, calculable jusqu'aux limites théoriques.

Contexte de recherche et motivation

Formulation du problème

Le problème central étudié dans cet article concerne la théorie des classes caractéristiques des lieux de multisingularité. Considérant une application algébrique entre variétés complexes $f: M → N$, cette application stratifie l'espace source $M$ et l'espace cible $N$ selon les multisingularités qui s'y produisent. Chaque multisingularité $η = \{η_1, ..., η_r\}$ correspond au lieu cible $Σ^T_η(f) ⊂ N$, constitué des points ayant exactement $r$ préimages avec des types de singularités spécifiés.

Importance et motivation

1. Principe d'universalité: L'objectif central de la théorie des singularités est d'établir des formules de comptage universelles, c'est-à-dire le principe de Thom. Ce principe affirme l'existence de polynômes universels dépendant uniquement du type de multisingularité, capables d'exprimer les classes caractéristiques des lieux de singularités.
2. Structure fine des classes SSM: Comparées aux classes fondamentales élémentaires, les classes de Segre-Schwartz-MacPherson (SSM) véhiculent une information plus riche. Pour les sous-variétés de l'espace projectif, la classe fondamentale détermine uniquement le degré, tandis que la classe SSM encode les caractéristiques d'Euler de toutes les sections linéaires générales en toutes dimensions.
3. Connexion avec la théorie géométrique des représentations: Les classes SSM sont étroitement liées aux classes caractéristiques d'enveloppes stables de Maulik-Okounkov, qui jouent un rôle central dans les systèmes intégrables quantiques.

Limitations des approches existantes

La théorie classique des polynômes de Thom se concentre principalement sur les classes fondamentales, tandis que la théorie des polynômes de Thom d'ordre supérieur pour les classes SSM reste imparfaite. Les méthodes de calcul existantes incluent l'analyse partielle, les résidus itérés et les quotients non réduits, mais leur extension directe au cadre SSM présente des difficultés.

Contributions principales

1. Théorème de structure: Établissement de la théorie de structure des polynômes SSM-Thom, codant les expressions complexes d'ordre supérieur en séries linéaires $S_η$ associées à chaque multisingularité.
2. Théorie des séries principales: Découverte que les séries principales $S_∅$ correspondant aux multisingularités vides jouent un rôle fondamental, phénomène nouveau par rapport à la théorie classique.
3. Théorème d'interpolation: Démonstration d'un théorème d'interpolation permettant le calcul algorithmique des polynômes SSM-Thom dans l'intervalle de Mather, transformant le problème géométrique en calcul purement algébrique.
4. Application à la conjecture de Mond: Dérivation de formules explicites pour le nombre de Milnor de l'image des germes quasi-homogènes, fournissant une preuve d'un aspect de la conjecture de Mond, calculable jusqu'aux limites théoriques.

Détails méthodologiques

Définition de la tâche

L'objectif de recherche est d'établir l'existence et la théorie de calcul des polynômes SSM-Thom. Pour une multisingularité T-$η$, on cherche une série universelle $Th^T_η ∈ Q[[s]]$ telle que pour une application appropriée $f: M → N$: $Th^T_η(f) = ssm(Σ^T_η(f)) · |Aut(η)| ∈ H^•(N)$

Architecture centrale

1. Théorème de structure

Pour la fonction génératrice des multisingularités T-$η$: $\sum_η \frac{Th^T_η}{|Aut(η)|} t^η = \exp\left(\sum_η \frac{S_η}{|Aut(η)|} t^η\right)$

Cette structure exponentielle réduit les polynômes de Thom complexes aux données de séries linéaires $S_η$.

2. Série principale $S_∅$

La série de la multisingularité vide $S_∅$ satisfait $\exp(S_∅) = Th^T_∅$, pour le cas $l=1$: $S_∅ = -s_∅ + \frac{1}{2}s_1 + \frac{1}{6}(7s_2 - 2s_{11}) + \frac{1}{4}(s_3 - 5s_{21} + s_{111}) + \cdots$

3. Méthode d'interpolation

Le théorème d'interpolation réduit le calcul des polynômes SSM-Thom à deux conditions:

1. Condition de normalisation: Pour chaque singularité simple $η$, le polynôme $A_{\{η\}}$ en cohomologie équivariante satisfait la condition de prototype
2. Condition de support: Pour les types de singularités non appariés, la classe caractéristique correspondante s'annule dans les parties de haut degré

Points d'innovation technique

1. Structure exponentielle: Contrairement à la théorie classique où $S_∅ = 0$, dans la théorie SSM la série principale non triviale joue un rôle fondamental, tous les autres polynômes de Thom en dépendant.
2. Linéarisation: Par la démonstration de la linéarité des séries $S_η$, transformation du problème géométrique complexe en calcul algébrique.
3. Méthode équivariante: Utilisation de l'action torale et de la construction de Borel pour finiter les problèmes de dimension infinie.

Configuration expérimentale

Domaine de calcul

Calculs effectués dans l'intervalle de Mather $M(l)$, pour $l=1$, $M(1)=14$. Les calculs impliquent 55 algèbres de Mather et 265 multisingularités T-Mather.

Outils d'implémentation

Utilisation de systèmes d'algèbre informatique pour vérifier les conditions du théorème d'interpolation, tous les calculs étant algorithmiques, sans entrée géométrique.

Validation des données

Résultats de calcul et données de vérification fournis via le portail des polynômes de Thom TPP.

Résultats expérimentaux

Calcul des séries principales

Calcul réussi des séries principales pour les cas $l=1,2,3,4$ et $l=∞$, découverte que les dénominateurs coïncident avec ceux des nombres de Cauchy de deuxième espèce: 1, 2, 6, 4, 30, 12, 84, 24, ...

Vérification de structure

Vérification de la justesse du théorème de structure dans l'intervalle de Mather, toutes les séries $S_η$ correspondant à $η$ non vide possédant des coefficients entiers.

Résultats d'application

Dérivation de formules explicites pour le nombre de Milnor de l'image des germes quasi-homogènes en dimension $m ≤ 14$, étendant les résultats précédemment connus uniquement pour $m ≤ 5$.

Travaux connexes

Théorie classique des polynômes de Thom

• Théorème de structure de Kazarian établissant la structure exponentielle des polynômes de Thom de classe fondamentale
• Preuve par Ohmoto de l'existence des polynômes de Thom de classe fondamentale pour les multisingularités T

Théorie des classes SSM

• Construction par MacPherson de la transformation naturelle des classes csm
• Introduction par Ohmoto de la version équivariante de la transformation de MacPherson
• Théorie des enveloppes stables fournissant une caractérisation axiomatique

Méthodes de calcul

• Méthode d'interpolation introduite par Rimányi
• Extension par Ohmoto-Nekarda au cadre SSM
• Méthodes d'analyse partielle et de quotient non réduit fournissant des approches alternatives

Conclusion et discussion

Conclusions principales

1. Établissement de la théorie de structure complète des polynômes SSM-Thom de multisingularité
2. Découverte du rôle fondamental des séries principales dans la théorie SSM
3. Fourniture d'une méthode de calcul algorithmique dans l'intervalle de Mather
4. Contribution calculable à la conjecture de Mond

Limitations

1. La conjecture d'existence complète reste ouverte
2. La signification arithmétique des dénominateurs des séries principales reste obscure
3. Les cas au-delà de l'intervalle de Mather sont plus complexes

Directions futures

1. Preuve complète de l'existence des polynômes SSM-Thom
2. Compréhension de la structure arithmétique des séries principales
3. Extension à une théorie des classes caractéristiques plus générale
4. Exploration des connexions plus profondes avec les systèmes intégrables quantiques

Évaluation approfondie

Avantages

1. Profondeur théorique: Établissement d'une base solide pour la théorie des classes caractéristiques de multisingularité, réduisant les problèmes complexes à des séries linéaires calculables
2. Innovation méthodologique: Le théorème d'interpolation algébrise complètement le problème géométrique, réalisant le calcul algorithmique
3. Valeur applicative: La contribution à la conjecture de Mond démontre l'utilité pratique de la théorie
4. Complétude computationnelle: Fourniture d'un cadre de calcul complet et de données de vérification

Insuffisances

1. Problème d'existence: Les résultats principaux reposent sur des conjectures, la preuve complète d'existence restant à résoudre
2. Mystère arithmétique: La signification arithmétique des dénominateurs des séries principales demeure obscure, pouvant cacher des structures profondes
3. Restriction de domaine: Les résultats principaux sont limités à l'intervalle de Mather

Impact

Ce travail exerce une influence importante dans les domaines de la géométrie algébrique et de la théorie des singularités, jetant les fondations de la théorie des classes caractéristiques de multisingularité et fournissant des outils pratiques pour les problèmes de calcul connexes.

Domaines d'application

Cette théorie s'applique à:

1. Problèmes énumératifs en géométrie algébrique
2. Applications computationnelles de la théorie des singularités
3. Calcul de classes caractéristiques en théorie géométrique des représentations
4. Étude de la théorie de la déformation des germes d'applications

Références

L'article contient une riche bibliographie couvrant les travaux importants de plusieurs domaines incluant la théorie des singularités, la géométrie algébrique et la théorie géométrique des représentations, en particulier les contributions fondamentales de Kazarian, Ohmoto et MacPherson.