A note on Virasoro constriants for products

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie de Gromov-Witten, plus précisément concernant la conjecture de Virasoro. Cette conjecture, ouverte depuis les années 1990, postule que le potentiel descendant total $D_W$ d'une variété projective lisse $W$ satisfait une infinité d'équations différentielles :
$$L_m^W D_W = 0, \quad \forall m \geq -1$$
où $L_m^W$ sont des opérateurs différentiels spécifiques (opérateurs de Virasoro).

Le problème central abordé par l'auteur est le suivant (Problème 1.1) :

La conjecture de Virasoro est-elle vraie pour le produit de deux variétés lisses $X \times Y$ si et seulement si elle est vraie pour $X$ et $Y$ séparément ?

Bien que ce problème semble naturel, les progrès ont été limités. Les cas connus de la conjecture reposent soit sur l'étude des courbes non singulières, soit sur la structure de la théorie de Gromov-Witten semi-simple (approche de Givental).

2. Méthodologie

L'auteur adopte l'approche de Givental, spécifiquement celle développée pour les fibrés toriques, pour établir un résultat partiel sur le Problème 1.1. La méthodologie repose sur les piliers suivants :

• Hypothèse de semi-simplicité : L'article suppose que la cohomologie quantique de l'une des deux variétés, disons $Y$, est semi-simple en un certain point. Cela permet d'appliquer la classification de Givental-Teleman à la théorie de Gromov-Witten de $Y$.
• Théorie des champs de cohomologie (CohFT) : Le cadre formel utilisé est celui des théories des champs de cohomologie (CohFT). L'auteur utilise la structure algébrique des CohFT pour décomposer les théories associées aux variétés.
• Action de la matrice R et groupes de boucles :
  • La classification de Givental-Teleman établit qu'une CohFT semi-simple $\Omega$ peut être obtenue à partir de sa partie topologique $\omega$ (degré 0) par l'action d'un élément unique d'un groupe de boucles (matrice $R(z)$) : $\Omega = R \cdot \omega$.
  • L'auteur exploite la formule de produit des invariants de Gromov-Witten pour exprimer la théorie de $X \times Y$ en fonction de celle de $X$ et de l'action d'un élément de groupe de boucles spécifique.
• Covariance du groupe de boucles : La preuve finale repose sur la propriété de covariance des opérateurs de Virasoro sous l'action du groupe de boucles (un résultat clé de [5]).

3. Résultats Clés et Dérivation Technique

Le résultat principal est l'énoncé du Théorème 1.2 :

Théorème : Si la cohomologie quantique de $Y$ est semi-simple en un point, alors les contraintes de Virasoro pour $X \times Y$ sont vérifiées si et seulement si elles sont vérifiées pour $X$.

Détails de la démonstration :

1. Décomposition de la théorie du produit :
   En utilisant la formule de produit des invariants, l'auteur montre que la théorie de Gromov-Witten de $X \times Y$ (avec un décalage approprié) peut être écrite comme l'action d'un opérateur de groupe de boucles $R = \text{Id} \otimes R_Y$ sur le produit des théories de $X$ et de la partie topologique de $Y$.
   $$\Omega_{X \times Y} \approx R \cdot (\Omega_X \otimes \omega_Y)$$
   où $R_Y$ est l'élément unique associé à la semi-simplicité de $Y$.

2. Formule pour le potentiel :
   L'auteur dérive une formule explicite pour le potentiel descendant total $D_{X \times Y}$ en termes du potentiel $D_X$ et de l'action quantifiée de l'opérateur $R$ :
   $$D_{X \times Y} \approx \widehat{(S_{X \times Y})^{-1}} \, \widehat{R} \, \widehat{S_X} \, D_X$$
   (où les termes $\widehat{S}$ et $\widehat{R}$ représentent les quantifications des opérateurs linéaires et de la matrice R).

3. Préservation du gradué et conjugaison :
   L'étape cruciale consiste à vérifier que l'élément de groupe de boucles $R$ préserve le gradué (grading). En utilisant les propriétés d'homogénéité des solutions fondamentales et la relation de conjugaison des opérateurs de Virasoro :
   $$(S_X \otimes \text{Id})^{-1} R^{-1} S_{X \times Y} L_0^{X \times Y} (S_{X \times Y})^{-1} R (S_X \otimes \text{Id}) = L_0^X \otimes \text{Id} + \text{Id} \otimes L_0^{N \text{ points}}$$
   Cela montre que conjuguer les opérateurs de Virasoro de $X \times Y$ à travers la transformation de produit revient à obtenir les opérateurs de Virasoro de $X$ (plus une partie triviale liée aux points).

4. Conclusion par covariance :
   Grâce à la covariance du groupe de boucles (Proposition 1.3 de [5]), si $D_X$ est annulé par les opérateurs $L_m^X$, alors $D_{X \times Y}$ est annulé par les opérateurs $L_m^{X \times Y}$, et vice-versa.

4. Contributions et Signification

• Résolution partielle d'un problème ouvert : L'article fournit une avancée significative sur le Problème 1.1, en établissant une équivalence conditionnelle (sous l'hypothèse de semi-simplicité de l'un des facteurs).
• Généralisation de la formule de Givental : L'auteur étend la formule de Givental pour le potentiel ancestral (initialement pour $Y$ seul) au cas d'un produit $X \times Y$, intégrant la structure de la théorie de $X$.
• Extension aux orbifolds : Dans la remarque 3.5, l'auteur note que l'argument s'étend naturellement à la théorie de Gromov-Witten des orbifolds, car la classification de Givental-Teleman et la formule de produit sont valables dans ce contexte.
• Méthodologie unificatrice : Le papier démontre la puissance de l'approche par les groupes de boucles et la classification semi-simple pour traiter des problèmes de structure sur les produits de variétés, reliant la géométrie algébrique complexe à la théorie des représentations (opérateurs de Virasoro).

En résumé, ce travail établit que la complexité des contraintes de Virasoro sur un produit $X \times Y$ se réduit essentiellement à celle de la composante $X$ dès lors que la composante $Y$ possède une structure quantique semi-simple, offrant ainsi un outil puissant pour vérifier la conjecture dans de nouveaux cas.