Relations tautologiques et systèmes intégrables

Informations fondamentales

• ID de l'article: 2210.07552
• Titre: Relations tautologiques et systèmes intégrables
• Auteurs: Alexandr Buryak, Sergey Shadrin
• Classification: math.AG math-ph math.MP
• Date de publication/Conférence: Épijournal de Géométrie Algébrique, Volume 8 (2024), Article No. 12
• Lien de l'article: https://arxiv.org/abs/2210.07552

Résumé

Cet article propose une famille de relations conjecturales dans la cohomologie tautologique de l'espace de modules $M_{g,n}$ des courbes algébriques stables. Une grande partie de ces relations possède une forme étonnamment simple : les classes tautologiques impliquées sont données par des graphes stables, qui sont des arbres, et décorés uniquement par des puissances de classes psi sur les demi-arêtes. Les auteurs démontrent que les relations conjecturales proposées impliquent certaines propriétés fondamentales de la hiérarchie Dubrovin-Zhang (DZ) et de la hiérarchie double ramification (DR) associées à la théorie des champs de cohomologie F. Ces relations étendent naturellement un système similaire de relations conjecturales proposé antérieurement par le premier auteur avec Guéré et Rossi, responsable de l'équivalence Miura normale des hiérarchies DZ et DR associées à une théorie des champs de cohomologie arbitraire. Enfin, les auteurs prouvent toutes les relations mentionnées ci-dessus pour les cas $n=1$ et $g$ arbitraire en utilisant une variante de la méthode de Liu-Pandharipande, ce qui pourrait présenter un intérêt indépendant.

Contexte et motivation de la recherche

Contexte du problème

Le problème central étudié dans cet article concerne les relations dans la cohomologie tautologique de l'espace de modules $M_{g,n}$ des courbes algébriques stables, ainsi que les connexions profondes entre ces relations et les systèmes intégrables. Plus précisément :

1. Relation entre la géométrie de l'espace de modules et les systèmes intégrables : Depuis la conjecture de Witten (prouvée par Kontsevich), il existe une connexion profonde entre la géométrie sur $M_{g,n}$ et les systèmes intégrables. Cette conjecture affirme que la fonction génératrice des intégrales $\int_{M_{g,n}} \prod_{i=1}^n \psi_i^{d_i}$ fournit une solution de la hiérarchie KdV.
2. Hiérarchies DZ et DR : Dubrovin et Zhang ont construit des hiérarchies intégrables associées aux théories des champs de cohomologie (hiérarchie DZ), tandis que Buryak a ultérieurement introduit la hiérarchie double ramification (hiérarchie DR). La relation entre ces deux hiérarchies constitue un problème ouvert important.
3. Problème de polynomialité : La polynomialité des équations de la hiérarchie DZ est un problème fondamental mais difficile, résolu uniquement dans le cas des CohFT semi-simples.

Motivation de la recherche

• Cadre théorique unifié : Établir l'équivalence Miura entre les hiérarchies DZ et DR
• Extension des résultats existants : Généraliser les relations de BGR19 au cadre F-CohFT plus général
• Résolution de problèmes fondamentaux : Prouver la polynomialité de la hiérarchie DZ et les propriétés connexes

Contributions principales

1. Proposition d'une nouvelle famille de relations conjecturales : Introduction de relations conjecturales paramétrées dans la cohomologie tautologique de $M_{g,n+m}$, possédant une forme simple et une signification géométrique profonde
2. Établissement de connexions avec les systèmes intégrables : Démonstration que ces relations conjecturales impliquent les propriétés fondamentales des hiérarchies DZ et DR associées à F-CohFT
3. Preuve de cas particuliers :
   • Preuve complète pour $n=1$ et $g$ arbitraire
   • Preuve complète pour $g=0$ et $n$ arbitraire
4. Formules géométriques explicites : Fourniture de formules géométriques explicites pour la partie polynomiale de la hiérarchie DZ
5. Simplification du système de relations : Démonstration que pour $m \geq 2$, le système entier de relations est équivalent à un nombre fini de relations de degré $2g+m-1$

Explication détaillée des méthodes

Définition de la tâche

La tâche principale étudiée dans cet article est :

• Entrée : L'espace de modules $M_{g,n}$ des courbes algébriques stables et ses classes de cohomologie tautologique
• Sortie : Relations linéaires dans la cohomologie tautologique
• Contraintes : Les relations doivent être compatibles avec les propriétés fondamentales des systèmes intégrables

Cadre mathématique fondamental

1. Construction des classes de cohomologie tautologique

Pour $m \geq 0$, définition de la classe $B^m_{g,d} \in R^{\sum d_i}(M_{g,n+m})$ :

$B^m_{g,d} := \sum_{T \in \text{SRT}^{(b,c,a)}_{g,n,m;\circ}} (-1)^{\deg(T)-1} e_*[T,d]$

où $T$ est un arbre enraciné stable satisfaisant des conditions spécifiques.

2. Énoncé des relations conjecturales

Conjecture 1 ($m \geq 2$) : Pour $\sum d_i \geq 2g + m - 1$, on a $B^m_{g,d} = 0$.

Conjecture 2 ($m = 1$) : $B^1_{g,d} = A^1_{g,d}$, où $A^1_{g,d}$ est défini par les cycles double ramification.

Conjecture 3 ($m = 0$) : $B^0_{g,d} = A^0_{g,d}$, ce sont les relations de BGR19.

3. Caractérisation équivalente

En utilisant le polynôme générateur $P_{g,n,m}(x_1, \ldots, x_n)$, la conjecture 1 est équivalente à : $\deg P_{g,n,m} \leq 2g + m - 2$

Points d'innovation technique

1. Classification des arbres enracinés stables

Introduction des concepts d'arbres équilibrés, d'arbres complets et d'arbres admissibles, fournissant une classification combinatoire systématique :

• Arbres équilibrés : Chaque sommet autre que la racine possède au moins une demi-arête supplémentaire
• Arbres complets : Satisfont des conditions de structure hiérarchique spécifiques
• Arbres admissibles : Satisfont des conditions de contrainte de degré

2. Généralisation de la méthode de Liu-Pandharipande

Pour le cas $n=1$, utilisation de formules de localisation sur l'espace de modules des applications stables relatives :

$\epsilon_*(\mathcal{I}_g \cap [M_{g,1}(\mathbb{P}^1,1)]^{\text{vir}}) = \sum_{\text{composantes}} \frac{[\text{composante}]^{\text{vir}}}{e_{C^*}(N^{\text{vir}})}$

3. Réduction systématique

Démonstration que le système entier de relations peut être réduit à un nombre fini de relations fondamentales : $\tilde{B}^m_{g,d} = 0 \text{ pour } d_i \geq 1, \sum d_i = 2g + m - 1$

Configuration expérimentale

Méthodes de vérification

Comme il s'agit d'un travail théorique en mathématiques pures, les « expériences » sont principalement des vérifications théoriques :

1. Calculs directs pour les cas particuliers :
   • Calculs explicites pour les cas de petit genre
   • Vérification pour un petit nombre de points marqués
2. Vérification de la cohérence avec les résultats connus :
   • Compatibilité avec la conjecture de Witten
   • Cohérence avec la théorie existante des hiérarchies DZ/DR

Stratégie de preuve

• Cas $n=1$ : Utilisation de formules de localisation pour les applications stables relatives sur $\mathbb{P}^1$
• Cas $g=0$ : Exploitation de la structure de cohomologie de $M_{0,n}$ et de la propriété tensorielle de CohFT

Résultats expérimentaux

Théorèmes principaux

Théorème 2.2 : Les conjectures 1, 2, 3 sont vraies pour $n=1$.

Théorème 2.3 : Les conjectures 1, 2, 3 sont vraies pour $g=0$.

Résultats d'application

Théorème 4.7 : La conjecture 1 ($m=2$) implique la polynomialité de la hiérarchie DZ pour tout F-CohFT.

Théorème 4.10 : La conjecture 2 implique que la hiérarchie DZ de F-CohFT est polynomiale et liée à la hiérarchie DR par la transformation de Miura.

Exemples de calculs concrets

Pour $n=1, m \geq 2$, les relations possèdent la forme : $\sum_{k \geq 1} (-1)^{k-1} \sum_{(g,d) \in S^{m,k}_{g,d}} \text{[graphe décoré]} = 0$

où les graphes décorés impliquent uniquement des puissances de classes psi.

Travaux connexes

Développement historique

1. Conjecture de Witten (1991) : Établissement de la connexion entre la géométrie de l'espace de modules et la hiérarchie KdV
2. Théorie de Dubrovin-Zhang (2001) : Construction de hiérarchies intégrables pour CohFT général
3. Hiérarchie double ramification (Buryak 2015) : Fourniture d'une nouvelle construction de systèmes intégrables
4. Relations BGR (2019) : Établissement de l'équivalence DR/DZ par des relations tautologiques

Position de cet article

Cet article étend naturellement le travail de BGR19 selon plusieurs aspects :

• Extension de CohFT à F-CohFT
• Extension de $m=0$ à $m \geq 0$ arbitraire
• Fourniture d'un cadre théorique plus complet

Conclusions et discussion

Conclusions principales

1. Existence de relations tautologiques : Les relations proposées possèdent une signification géométrique et algébrique profonde
2. Propriétés fondamentales des systèmes intégrables : Ces relations contrôlent les propriétés essentielles des hiérarchies DZ et DR
3. Preuve partielle : Preuve complète des conjectures dans des cas particuliers importants

Limitations

1. Cas général non résolu : Les conjectures restent ouvertes pour $(g,n,m)$ généraux
2. Complexité computationnelle : La vérification directe pour les cas de grand genre présente des défis techniques
3. Portée des applications : Principalement limitée aux domaines de la géométrie algébrique et de la physique mathématique

Directions futures

1. Preuve complète : Recherche de méthodes de preuve pour le cas général
2. Applications généralisées : Exploration des applications à d'autres problèmes géométriques et physiques
3. Méthodes computationnelles : Développement de méthodes de calcul et de vérification plus efficaces

Évaluation approfondie

Avantages

1. Profondeur théorique : Connexion des structures profondes de la géométrie algébrique, des systèmes intégrables et de la physique mathématique
2. Innovation méthodologique : Combinaison ingénieuse de méthodes combinatoires et de techniques géométriques
3. Importance des résultats : Résolution de problèmes fondamentaux du domaine
4. Clarté de la rédaction : Expression mathématique rigoureuse et structure logique claire

Insuffisances

1. Nature conjecturale : Les résultats fondamentaux restent des conjectures nécessitant une preuve supplémentaire
2. Seuil technique : Nécessite une connaissance approfondie de la géométrie algébrique et des systèmes intégrables
3. Vérification computationnelle : Absence de vérification numérique à grande échelle

Influence

1. Contribution théorique : Fourniture d'une nouvelle perspective pour la théorie de la cohomologie tautologique et des systèmes intégrables
2. Valeur méthodologique : La généralisation de la méthode de Liu-Pandharipande possède une valeur indépendante
3. Recherche future : Établissement des fondations pour les recherches ultérieures dans ce domaine

Domaines d'application

• Recherche en théorie des espaces de modules en géométrie algébrique
• Théorie des systèmes intégrables en physique mathématique
• Recherche sur les théories des champs de cohomologie et les structures géométriques connexes

Références bibliographiques

Cet article cite les travaux importants du domaine, notamment :

• Wit91 Travaux originaux de Witten
• DZ01 Théorie de la hiérarchie Dubrovin-Zhang
• Bur15 Établissement de la hiérarchie double ramification
• BGR19 Travaux sur les relations tautologiques connexes
• LP11 Méthode de Liu-Pandharipande