Structures in topological recursion relations

Résumé Technique : Structures dans les Relations de Récurrence Topologique

Énoncé du Problème
L'article étudie les propriétés structurelles des relations de récurrence topologique (TRR) de degré $g$ sur l'espace de modules des courbes stables $\mathcal{M}_{g,n}$. Bien qu'il soit établi que les TRR existent pour exprimer tout polynôme de degré $g$ en classes $\psi$ en termes de classes de bord (classes supportées sur le bord $\overline{\mathcal{M}}_{g,n} \setminus \mathcal{M}_{g,n}$), les formules explicites pour ces relations ne sont connues que pour de faibles genres ($g \leq 4$) et sont généralement très complexes. Les auteurs visent à découvrir les contraintes structurelles fondamentales sur les coefficients de ces relations, en se concentrant spécifiquement sur deux types de strates de bord : la « classe bouquet » (un sommet de genre 0 avec $g$ boucles) et les classes de « queue rationnelle » (strates où une courbe de genre $g$ est attachée à une composante rationnelle). Comprendre ces coefficients est crucial car les TRR se traduisent en équations universelles pour les invariants de Gromov-Witten, qui sont essentiels pour calculer les invariants de genre supérieur et étudier les systèmes intégrables comme la conjecture de Virasoro.

Méthodologie
Les auteurs emploient un algorithme constructif dérivé de la formule du cycle de ramification double (DR) de Pixton, telle qu'affinée dans leurs travaux précédents avec Clader et Zakharov [5]. La méthodologie centrale implique :

1. La Formule DR de Pixton : Utilisation de la polynomialité de la classe de Pixton $D_{g,n}(a_1, \dots, a_n)$ dans les variables $a_i$ et le paramètre $r$. Plus précisément, ils extraient les coefficients de monômes spécifiques de la partie de degré $g$ de ces classes pour générer des TRR.
2. Algèbre des Strates et Push-forwards : Travaillant au sein de l'algèbre des strates $S_{g,n}$, ils analysent les images directes (push-forwards) de ces classes sous les applications d'oubli. Ils décomposent les contributions des graphes stables en trois types basés sur la manière dont ils se projettent sur le graphe de base : ajout d'une patte, division d'une patte en une queue rationnelle, ou division d'une arête.
3. Fonctions Génératrices et Identités Combinatoires : Pour calculer des coefficients spécifiques, les auteurs introduisent une fonctionnelle linéaire $F$ agissant sur les polynômes de classes $\psi$. En appliquant cette fonctionnelle aux contributions de graphes spécifiques (particulièrement le graphe trivial et le graphe bouquet), ils dérivent des identités impliquant des fonctions hyperboliques ($\sinh, \cosh$) et des nombres de Bernoulli.
4. Induction et Relations Linéaires : Ils utilisent l'induction sur le genre et le nombre de points marqués, combinée aux relations linéaires entre coefficients dérivées de la conjecture des nombres d'intersection de Faber, pour isoler des termes spécifiques dans les TRR.

Contributions Clés et Résultats

1. Le Coefficient de la Classe Bouquet (Théorème 1) :
   L'article prouve une conjecture de T. Kimura et X. Liu concernant le coefficient de la classe bouquet dans les TRR de degré $g$. Pour tous entiers non négatifs $\{k_i\}$ dont la somme est $g$, le coefficient de la classe $\xi_{\Gamma_{0,g,[n]}^{loop}}^*(1)$ dans l'expansion de $\prod \psi_i^{k_i}$ est explicitement donné par :
   $$\frac{1}{8^g \prod_{i=1}^n (2k_i + 1)!!}$$
   Les auteurs établissent que ce coefficient est unique sous des conditions spécifiques concernant l'absence de classes $\kappa$ et de monômes $\psi$ de degré élevé sur les sommets de genre inférieur.

2. Relations Linéaires pour les Coefficients de Queue Rationnelle (Théorème 2) :
   Les auteurs dérivent des relations linéaires parmi les coefficients des strates de queue rationnelle dans les TRR. Plus précisément, pour une TRR de la forme $\prod \psi_i^{k_i} = \sum a_{\Gamma} \xi_{\Gamma}^*(\dots)$, la somme des coefficients correspondant aux queues rationnelles satisfait une identité spécifique dépendant de $g$ et $n$. Pour $n=2$, le coefficient est calculé explicitement comme $\frac{(2g-1)!!}{(2k_1-1)!!(2k_2-1)!!}$. Pour $n \geq 3$, bien que les coefficients individuels ne soient pas uniques, leur somme est contrainte.

3. Applications à la Théorie de Gromov-Witten (Corollaires 4 & 5) :
   Traduisant les TRR géométriques dans le langage des invariants de Gromov-Witten via l'opérateur $T$ (qui décale les niveaux descendants), les auteurs fournissent des équations universelles explicites.

• Ils dérivent une formule pour $\langle\langle T^{k_1}(W_1) \dots T^{k_n}(W_n) \rangle\rangle_g$ impliquant une somme d'invariants de genre 0 avec des insertions spécifiques.
• Ils établissent une relation pour $n=2$ où l'invariant de genre $g$ est exprimé en termes d'un invariant de genre $g$ d'un produit quantique, modulo des termes de genre inférieur.

4. Coefficient dans la Formule de Ramification Double pour $\lambda_g$ (Proposition 6) :
   En tant qu'application du Théorème 1, les auteurs calculent le coefficient de la classe bouquet dans la formule pour la classe Hodge supérieure $\lambda_g$ (exprimée via la formule DR de Pixton). Ils montrent que ce coefficient est le coefficient de $t^{2g}$ dans l'expansion de $\frac{(-1)^g}{2^g} \frac{t^2 e^t}{(e^t-1)^2}$.

5. Algorithme Récursif pour les Nombres d'Intersection (Théorème 27) :
   L'article propose une nouvelle formule de récurrence combinatoire pour calculer les nombres d'intersection $\int_{\mathcal{M}_{g,n}} \prod \psi_i^{k_i}$ où $\sum k_i = 3g-3+n$. Contrairement au modèle topologique de Kontsevich, cette approche utilise les TRR de degré $3g-3+n$ dérivées de la formule de Pixton. L'algorithme exprime ces intégrales comme une somme sur des graphes stables possédant au moins une arête, pondérée par des coefficients rationnels dérivés de la formule DR, de l'équation de la corde (string equation) et de l'équation du dilaton.

Signification et Revendications
L'article affirme fournir la première compréhension structurelle explicite des coefficients des TRR de degré $g$ pour un genre arbitraire.

• Résolution de Conjectures : Il apporte une réponse affirmative à la conjecture de Kimura-Liu sur le coefficient de la classe bouquet, un problème resté ouvert pour un $n$ général.
• Utilité Computationnelle : Les formules dérivées offrent une méthode constructive pour calculer des coefficients spécifiques qui étaient auparavant inaccessibles en raison de la complexité des relations connues (par exemple, l'équation de Getzler).
• Alternative à Kontsevich : L'algorithme récursif pour les nombres d'intersection offre une approche purement combinatoire distincte de l'intégrale de matrice de Kontsevich et de la décomposition cellulaire topologique, offrant potentiellement une nouvelle voie pour retrouver la conjecture de Witten.
• Universalité : Les résultats produisent des équations universelles explicites pour les invariants de Gromov-Witten de n'importe quelle variété projective lisse, contribuant à l'effort plus large visant à déterminer les invariants de genre supérieur à partir de données de genre 0 dans le cas semi-simple.

Les auteurs restent modestes quant à l'unicité de l'ensemble complet des coefficients pour les queues rationnelles lorsque $n \geq 3$, notant que bien que des relations linéaires existent, une structure de facteur commun (motivée par la conjecture de Faber) pour les coefficients individuels demeure un problème ouvert nécessitant des formules explicites encore non dérivées.