Curves in projective space and RSK

1. Problématique et Contexte Géométrique

Le papier s'intéresse au calcul des degrés de Tevelev géométriques pour l'espace projectif complexe $\mathbb{P}^r$. Ce problème consiste à dénombrer le nombre de cartes holomorphes $f : C \to \mathbb{P}^r$ de degré $d$, où $C$ est une courbe algébrique lisse, projective et générale de genre $g$, satisfaisant des conditions d'interpolation.

Plus précisément, étant donné $n$ points distincts et généraux $p_1, \dots, p_n$ sur la courbe $C$ et $n$ points généraux $x_1, \dots, x_n$ dans $\mathbb{P}^r$, on cherche le nombre de telles cartes vérifiant $f(p_i) = x_i$ pour tout $i$. Le nombre de conditions d'interpolation est fixé à la valeur maximale possible pour garantir un nombre fini de solutions :
$$n = \frac{r+1}{r} \cdot d - g + 1$$
Ce nombre est noté $\text{Tev}_{g,n,d}^{\mathbb{P}^r}$.

État de l'art :
Des travaux antérieurs (notamment [Lia24a]) ont exprimé ces invariants en termes de calcul de Schubert sur la grassmannienne $Gr(r+1, d+1)$. La formule donne $\text{Tev}_{g,n,d}^{\mathbb{P}^r}$ comme un nombre d'intersection impliquant des classes de Schubert $\sigma_\lambda$.
Dans le cas où le degré $d$ est suffisamment grand ($d \ge rg + r$), une formule simple existe : $\text{Tev}_{g,n,d}^{\mathbb{P}^r} = (r+1)^g$. Ce résultat a été interprété combinatoirement par Gillespie, Reimer et Berg ([GRB23]) via la correspondance RSK (Robinson-Schensted-Knuth), établissant une bijection avec les mots de longueur $g$ à $(r+1)$ lettres.

Le défi :
L'interprétation combinatoire simple $(r+1)^g$ ne vaut que pour $d$ grand. Pour les degrés plus petits (la plage « Brill-Noether spécial »), la formule de Schubert est plus complexe et l'interprétation combinatoire directe n'était pas connue. L'objectif du papier est de fournir une preuve combinatoire positive et explicite pour toute la plage de paramètres, y compris les cas où $d < rg + r$.

2. Méthodologie

Les auteurs étendent la méthode de Gillespie-Reimer-Berg en utilisant la correspondance RSK pour traduire les invariants géométriques en termes de combinatoire des mots. La stratégie se déroule en trois étapes principales :

A. Reformulation via les Tableaux L (L-tableaux)

Le point de départ est la reformulation du nombre $\text{Tev}_{g,n,d}^{\mathbb{P}^r}$ en termes de L-tableaux (définis dans [Lia24a] et [GRB23]). Un L-tableau est une grille $(r+1) \times (d-r)$ remplie de deux types d'entiers :

• Des entiers bleus (de $1$à$r+1$) formant un tableau de Young semi-standard (SSYT), top- et left-justifié.
• Des entiers rouges (de $1$à$g$) formant un tableau semi-standard tourné à $180^\circ$, bottom- et right-justifié.
  Des contraintes supplémentaires s'appliquent : le tableau bleu doit être contenu dans les $n-r-1$ premières colonnes et ne doit contenir aucune « bande » (strip) $(i, i+1)$ de longueur $n-r-1$.

B. Transformation en Paires de Tableaux $(P, Q)$

Pour appliquer l'algorithme RSK, les auteurs doivent convertir les L-tableaux en paires de tableaux de même forme.

1. Ajustement de la largeur ($\psi$) : Ils définissent une application $\psi$ qui transforme le tableau bleu $B$ (de taille variable selon $d$) en un tableau $P$ de taille fixe $g$.
   • Si $d < g+r$, on ajoute des colonnes de hauteur $r+1$.
   • Si $d > g+r$, on retire les colonnes de gauche (qui ne contiennent que des entiers bleus).
     Cela produit un tableau $P \in SSYTAC(g, r, d)$ de taille $g$, de hauteur $\le r+1$, et sans bandes $(i, i+1)$ de longueur $d/r$.
2. Transformation du tableau rouge ($\phi$) : Le tableau rouge $R$ est converti en un tableau standard $Q$ (SYT) de même taille $g$ via une bijection $\phi$ (déjà utilisée dans [GRB23]), où $P$ et $Q$ sont complémentaires dans un rectangle $(r+1) \times g$.

Le résultat clé (Proposition 3.12) est que l'ensemble des L-tableaux valides est en bijection avec l'ensemble des paires $(P, Q)$ de même forme, où $P$ satisfait les contraintes de taille et de « strip » mentionnées ci-dessus.

C. Application de la Correspondance RSK

Enfin, les auteurs appliquent la correspondance RSK à la paire $(P, Q)$. Selon le théorème de RSK, cela correspond à un mot $w$ de longueur $g$ à $(r+1)$ lettres.
L'analyse des contraintes sur $P$ et $Q$ se traduit par des propriétés combinatoires sur le mot $w$ :

• La contrainte de hauteur et de largeur de $P$ se traduit par des bornes sur les longueurs des sous-suites croissantes et décroissantes (via le Théorème de Greene).
• L'absence de bandes $(i, i+1)$ dans $P$ se traduit par l'absence de sous-suites spécifiques $(i, i+1)$ dans le mot $w$ (via l'équivalence de Knuth).

3. Résultats Principaux

Le théorème central (Théorème 1.1) établit que $\text{Tev}_{g,n,d}^{\mathbb{P}^r}$ est égal au nombre de mots $(r+1)$-aires de longueur $g$ satisfaisant trois conditions :

1. Condition de décroissance : Le mot possède au moins $g + r - d$ sous-suites décroissantes disjointes de longueur $r+1$.
2. Condition de croissance : Le mot ne contient aucune sous-suite non décroissante de longueur supérieure à $d/r$.
3. Condition de bande locale : Le mot ne contient aucune sous-suite $(i, i+1)$ (non décroissante composée uniquement des lettres $i$ et $i+1$) de longueur $d/r$.

Cas particuliers et vérifications :

• Degré élevé ($d \ge rg + r$) : Les trois conditions deviennent triviales (vides). Le nombre de mots est alors $(r+1)^g$, ce qui récupère le résultat classique de [FL23] et [GRB23].
• Cas $r=1$ : La description se simplifie considérablement. Les mots correspondent à des chemins de grille (lattice paths) évitant certaines régions, reliant le problème aux nombres de Catalan dans des cas spécifiques (ex: $d = g/2 + 1$).
• Monotonie : Le résultat montre explicitement que $\text{Tev}_{g,n,d}^{\mathbb{P}^r} \le \text{Tev}_{g,n+r+1,d+r}^{\mathbb{P}^r}$, reflétant une propriété géométrique de dégénérescence des cartes.

4. Contributions Clés

1. Preuve Combinatoire Positive : Le papier fournit la première preuve combinatoire explicite et positive des degrés de Tevelev pour l'espace projectif dans le cas général (dégénéré et non dégénéré), sans recourir uniquement à l'intersection cohomologique.
2. Extension de la Méthode RSK : Il généralise l'approche de Gillespie-Reimer-Berg au-delà de la plage « Brill-Noether général » ($d \ge g+r$) en introduisant des restrictions fines sur les tableaux et les mots.
3. Interprétation des Contraintes Géométriques : Il établit un lien direct entre les conditions géométriques complexes (comme l'absence de bandes dans les tableaux de Schubert) et des propriétés de sous-suites dans les mots (Théorème de Greene et équivalence de Knuth).
4. Unification : Le résultat unifie les formules de Schubert complexes et les formules simples de comptage de mots, montrant comment la combinatoire des mots encode la géométrie des courbes.

5. Signification et Impact

Ce travail est significatif car il comble un fossé entre la géométrie énumérative (théorie de Gromov-Witten, calcul de Schubert) et la combinatoire algébrique (correspondance RSK, tableaux de Young).

• Pour la géométrie : Il offre une nouvelle perspective sur les degrés de Tevelev, permettant potentiellement de calculer ces invariants de manière algorithmique et efficace pour des paramètres variés, là où les méthodes d'intersection sur les grassmanniennes deviennent lourdes.
• Pour la combinatoire : Il enrichit la théorie des mots et des tableaux en introduisant de nouvelles classes de mots restreints qui comptent des objets géométriques naturels.
• Généralité : La méthode suggérée pourrait être adaptée à d'autres variétés cibles, comme le suggèrent les références aux travaux sur d'autres variétés dans l'introduction.

En résumé, Lian et Solotko réussissent à « décoder » la géométrie des courbes dans l'espace projectif en une règle de lecture simple sur les mots, démontrant la puissance de la correspondance RSK pour résoudre des problèmes d'énumération géométrique complexes.