Rational curves on cubic hypersurfaces in positive characteristic

1. Énoncé du problème

L'article étudie la géométrie des espaces de modules de courbes rationnelles sur des hypersurfaces cubiques lisses définies sur un corps algébriquement clos $k$ de caractéristique $p \neq 2, 3$.

• Contexte : L'étude des courbes rationnelles sur les variétés de Fano est centrale dans la théorie de la classification (par exemple, le Programme des modèles minimaux, la connexité rationnelle). En caractéristique 0, l'irréductibilité de ces espaces de modules pour les hypersurfaces cubiques de dimension $n \geq 4$ a été établie par Coskun et Starr [CS09].
• Le défi : Étendre ces résultats à la caractéristique positive est non trivial en raison de l'existence de applications inséparables. En caractéristique 0, la dominance des applications d'évaluation implique souvent l'existence de courbes rationnelles libres. En caractéristique positive, cette implication échoue car une application dominante peut être purement inséparable, ce qui signifie que la fibre générique peut ne pas contenir de courbes « libres » (courbes avec des fibrés normaux amples).
• Objectif : Prouver que pour une hypersurface cubique lisse $X$ de dimension $n \geq 4$, l'espace de modules de Kontsevich $\overline{M}_{0,0}(X, d)$ des applications stables de degré $d$ est irréductible et paramètre génériquement des courbes libres. De plus, l'article aborde le cas des troisfolds cubiques ($n=3$).

2. Méthodologie

Kitagawa emploie une combinaison d'arguments de comptage de dimension, d'induction sur le degré des courbes et de propriétés spécifiques des hypersurfaces cubiques en caractéristique positive.

• Comptage de dimension des lieux non libres :
  La stratégie centrale consiste à borner la dimension du lieu des courbes « non libres ». L'auteur utilise un résultat de [Gla25] concernant la dimension des fibres des applications d'évaluation pour effectuer un comptage de dimension inductif. Cela permet de montrer que le lieu des applications contenant des composantes non libres est un sous-ensemble fermé propre de l'espace de modules.
• Gestion de l'inséparabilité :
  Au lieu de s'appuyer sur la dominance des applications d'évaluation pour déduire l'existence de courbes libres (ce qui échoue en caractéristique positive), l'auteur calcule explicitement la borne supérieure de la dimension du lieu non libre. En montrant que ce lieu a une dimension strictement inférieure à la dimension attendue de l'espace de modules, l'existence de courbes libres est garantie.
• Lemme de pliage et de cassure (Bend and Break) :
  La preuve utilise le lemme de pliage et de cassure pour décomposer les applications stables de haut degré en chaînes d'applications de degré inférieur (spécifiquement des droites). Cela réduit le problème de l'irréductibilité pour le degré $d$ à l'irréductibilité des fibres pour les degrés inférieurs et à l'irréductibilité de l'espace des droites.
• Analyse de l'application de Gauss :
  Pour le cas de base des droites ($d=1$), l'auteur analyse l'application de Gauss $\gamma_X: X \to X^*$ pour étudier le lieu des droites non libres, prouvant qu'il s'agit d'un sous-ensemble fermé propre.

3. Contributions et résultats clés

Théorèmes principaux

• Théorème 1.1 (Dimension $n \geq 4$) :
  Soit $X$ une hypersurface cubique lisse de dimension $n \geq 4$ sur un corps de caractéristique $\neq 2, 3$. Pour tout entier $d \geq 1$, l'espace de modules de Kontsevich $\overline{M}_{0,0}(X, d)$ est irréductible et paramètre génériquement des courbes libres.

  • Signification : Cela étend le résultat de caractéristique 0 de Coskun et Starr à la caractéristique positive, surmontant l'obstacle posé par les applications inséparables.

• Théorème 1.2 (Dimension $n = 3$, Troisfolds cubiques) :
  Soit $X$ un troisfold cubique lisse sur un corps de caractéristique $\neq 2, 3$. Pour tout entier $d \geq 1$, l'espace de modules $\overline{M}_{0,0}(X, d)$ paramètre génériquement des courbes libres.

  • Note : Bien que l'article établisse la paramétrisation générique de courbes libres, il ne revendique pas explicitement l'irréductibilité pour l'ensemble de l'espace de la même manière que le Théorème 1.1, probablement en raison du comportement spécifique des coniques en dimension 3.

Résultats techniques spécifiques

• Irréductibilité des droites (Proposition 2.2) : L'espace des droites $\overline{M}_{0,0}(X, 1)$ est lisse, irréductible et paramètre génériquement des droites libres.
• Dimension du lieu non libre (Lemme 3.3) : Pour $n \geq 4$, le lieu dans $\overline{M}_{0,0}(X, d)$ paramétrant les applications stables ayant au moins une composante non libre a une dimension au plus égale à $d(n-1)$. Puisque la dimension attendue de l'espace de modules est $d(n-1) + (n-3)$ (ou similaire selon le comptage spécifique), le lieu non libre est un sous-ensemble propre.
• Troisfolds cubiques et coniques (Lemme 4.1) : Pour $n=3$, l'espace des coniques $\overline{M}_{0,0}(X, 2)$ se compose de deux composantes irréductibles :
  1. $R_2$ : Applications birationnelles de courbes irréductibles vers des coniques lisses.
  2. $N_2$ : Revêtements de degré 2 de $\mathbb{P}^1$ vers des droites.
     Les deux composantes paramètrent génériquement des courbes libres.

Contre-exemple et limitations

• Caractéristique 2 : Les résultats ne s'appliquent pas à l'hypersurface cubique de Fermat en caractéristique 2. Dans ce cas spécifique, l'hypersurface n'est pas globalement $F$-régulière, et toutes les droites qui s'y trouvent sont non libres. Cela souligne la nécessité de l'hypothèse de caractéristique $\neq 2$.

4. Signification et implications

• Conjecture de Manin géométrique : Les résultats fournissent de nouveaux exemples soutenant la Conjecture de Manin géométrique (proposée par Lehmann et Tanimoto) en caractéristique positive. Cette conjecture prédit la structure des espaces de modules de courbes rationnelles (nombre de composantes, dimensions, etc.). L'article confirme que pour les hypersurfaces cubiques, les composantes « principales » sont séparables et paramétrées par des courbes libres, s'alignant ainsi avec les prédictions de la conjecture.
• Surmonter l'inséparabilité : L'article démontre une méthode robuste pour traiter les applications inséparables en caractéristique positive en utilisant le comptage de dimension plutôt que de s'appuyer uniquement sur les propriétés des applications d'évaluation. Cette technique est probablement applicable à d'autres variétés de Fano en caractéristique positive.
• Généralisation de [CS09] : Il généralise avec succès le résultat fondateur de Coskun et Starr de la caractéristique 0 à la caractéristique positive (à l'exclusion de 2 et 3), comblant une lacune significative dans la classification des courbes rationnelles sur les variétés de Fano.

Résumé

L'article de Kitagawa résout l'irréductibilité et la liberté des courbes rationnelles sur les hypersurfaces cubiques de haute dimension en caractéristique positive. En analysant soigneusement la dimension des lieux non libres et en utilisant la géométrie de l'application de Gauss, l'auteur prouve que malgré la présence d'applications inséparables, les espaces de modules se comportent « génériquement » comme en caractéristique 0 : ils sont irréductibles et dominés par des courbes libres. Ce travail renforce le fondement théorique de la Conjecture de Manin géométrique dans les contextes de caractéristique positive.