Upper bounds for logarithmic Gromov-Witten invariants of projective space

1. Problématique et Contexte

L'article s'intéresse au calcul et à l'estimation des invariants de Gromov–Witten logarithmiques de l'espace projectif $\mathbb{P}^k$ par rapport à sa frontière torique $\partial \mathbb{P}^k$. Plus précisément, l'auteur étudie les courbes stables logarithmiques de genre zéro, notées $M_{0,\alpha}(\mathbb{P}^k, \partial \mathbb{P}^k)$, qui sont des applications de courbes lisses vers $\mathbb{P}^k$ avec des ordres de contact fixés $\alpha_{ij}$ aux points marqués $p_i$ par rapport aux composantes de la frontière $D_j$.

Le défi principal réside dans le fait que le calcul exact de ces invariants (qui comptent le nombre de courbes satisfaisant certaines contraintes de cohomologie) est souvent complexe et nécessite des outils de géométrie énumérative sophistiqués (comme la correspondance tropicale ou les récursions). L'objectif de l'article est de fournir une borne supérieure polynomiale pour ces invariants, exprimée en fonction des ordres de contact et du nombre de points marqués, sans avoir besoin de calculer la valeur exacte.

2. Méthodologie

La stratégie de preuve repose sur une compactification alternative de l'espace de modules, exploitant la positivité de la géométrie projective. La démarche se décompose en trois étapes clés :

A. Isomorphisme et Compactification Alternative

L'auteur utilise un résultat fondamental (Proposition 2.4) : si au moins un point marqué est envoyé dans le tore dense $T \subset \mathbb{P}^k$ (c'est-à-dire qu'il n'a pas de tangence avec la frontière), alors l'espace de modules $M_{0,\alpha}(\mathbb{P}^k, \partial \mathbb{P}^k)$ est isomorphe à un ouvert de $M_{0,n} \times T$.

• $M_{0,n}$ (espace de modules des courbes de genre 0 à $n$ points) est isomorphe à un ouvert de $\mathbb{P}^{n-3}$.
• $T$ (le tore) est isomorphe à un ouvert de $\mathbb{P}^k$.
  Ainsi, l'espace de modules s'injecte dans un produit d'espaces projectifs :
  $$M_{0,\alpha}(\mathbb{P}^k, \partial \mathbb{P}^k) \hookrightarrow \mathbb{P}^{n-3} \times \mathbb{P}^k$$
  Contrairement à la compactification standard (espace des applications stables logarithmiques), cette compactification est un produit d'espaces projectifs, ce qui simplifie considérablement la théorie d'intersection.

B. Intersections Transverses et Positivité

Les invariants de Gromov–Witten sont définis comme l'intégrale d'un produit de classes de cohomologie sur la classe fondamentale virtuelle de l'espace de modules.

• Dans le cadre du genre 0 pour les variétés toriques, l'espace est lisse et la classe virtuelle coïncide avec la classe fondamentale classique (Théorème 2.5).
• L'auteur exprime l'invariant comme l'intersection transverse de cycles dans l'intérieur de l'espace de modules.
• En passant à la compactification $\mathbb{P}^{n-3} \times \mathbb{P}^k$, l'intersection des clôtures de ces cycles peut contenir des composantes supplémentaires situées sur la frontière.
• Point clé : Grâce au théorème de positivité des intersections (Théorème 2.6, basé sur la génération globale du fibré tangent des espaces projectifs), les contributions des composantes de la frontière sont non négatives.
  Par conséquent, l'invariant exact (intersection dans l'intérieur) est majoré par le degré total de l'intersection dans le produit d'espaces projectifs :
  $$\langle \dots \rangle \leq \deg \left( \prod \overline{A_i} \right)$$

C. Calculs Combinatoires

L'auteur calcule explicitement le degré de l'intersection dans $\mathbb{P}^{n-3} \times \mathbb{P}^k$.

• Il détermine la classe de cohomologie de la préimage d'une hyperplan générique par les applications d'évaluation ($ev_i$).
• Pour un point marqué $p$ dans le tore, la classe est simplement $H_2$ (classe hyperplane du second facteur).
• Pour les autres points, la classe est bornée par une combinaison linéaire impliquant la somme des ordres de contact maximaux $\alpha_i^{\max} = \max_j \alpha_{ij}$.
• Le calcul final consiste à extraire le coefficient du terme approprié dans le développement du produit de ces classes, ce qui conduit à une formule polynomiale.

3. Résultats Principaux

Le résultat central est le Théorème 1.1, qui établit la borne supérieure suivante pour les invariants primaires de genre 0 :

Soit $\alpha_{ij}$ les ordres de contact, et $\alpha_i^{\max} = \max_j \alpha_{ij}$. Soit $\nu$ la codimension maximale d'une insertion en un point sans tangence à la frontière. Alors :

$$\langle d_1 H^{\nu_1}, \dots, d_n H^{\nu_n} \rangle_{0,\alpha}^{\mathbb{P}^k | \partial \mathbb{P}^k} \leq d_1 \cdots d_n \binom{n - 3 + k - \nu}{n - 3} \left( \sum_{i=1}^n \alpha_i^{\max} \right)^{n-3}$$

Caractéristiques de la borne :

• Polynomiale : La borne est un polynôme en les ordres de contact $\alpha_{ij}$.
• Degré : Le degré du polynôme dépend du nombre de points marqués $n$ (degré $n-3$).
• Cas particuliers :
  • Pour les courbes de contact maximal dans $\mathbb{P}^k$ passant par 2 points, la borne est de l'ordre de $((k+1)d)^k$.
  • Pour les nombres caractéristiques de courbes planes rationnelles ($N_d$), la borne donne $N_d \leq \frac{(3d)^{6d-4}}{(d!)^3}$.

4. Exemples et Comparaisons

L'article compare cette borne avec des calculs exacts connus (via la correspondance tropicale de Mikhalkin) pour $\mathbb{P}^2$ :

• Cas à 3 points tangents : La borne est exacte à un facteur constant près (ex: $9d^2$ vs $d^2$).
• Cas à 4 points tangents : La borne devient moins précise (ex: $81d^4$ vs $2d^2(d-1)$), mais reste valide.
• L'auteur note que la précision de la borne diminue à mesure que le nombre de points marqués augmente, ce qui est attendu car la compactification alternative introduit des composantes de frontière qui ne correspondent pas aux courbes "réelles" comptées par l'invariant.

5. Signification et Contributions

1. Nouvelle Approche de Compactification : L'article propose une méthode élégante pour majorer des invariants énumératifs en utilisant une compactification par produit d'espaces projectifs, évitant ainsi la complexité des classes virtuelles sur les espaces de modules logarithmiques standards.
2. Utilisation de la Positivité : Il met en évidence comment la positivité du fibré tangent des espaces projectifs permet de contrôler les contributions de la frontière, transformant un problème d'égalité difficile en un problème d'inégalité plus accessible.
3. Généralité : La méthode s'applique potentiellement à toute variété torique lisse et, plus généralement, à tout espace de modules birationnel à une variété à fibré tangent globalement engendré.
4. Outil pour la Géométrie Énumérative : Ces bornes fournissent des estimations rapides pour des quantités qui sont autrement difficiles à calculer, utiles pour la conjecture de croissance des invariants ou l'analyse asymptotique.

En résumé, Dan Simms démontre que la structure simple de l'espace projectif, combinée à une compactification astucieuse, permet de dériver des bornes supérieures polynomiales robustes pour les invariants de Gromov–Witten logarithmiques, offrant une nouvelle perspective sur la géométrie énumérative des variétés toriques.