Interpolation for rational curves with secants

Résumé Technique : Interpolation pour les Courbes Rationnelles avec Sécantes

Énoncé du Problème
Cet article traite du problème de l'interpolation pour les courbes rationnelles dans l'espace projectif $\mathbb{P}^r$ soumises à une condition de sécante. Plus précisément, étant donnés des entiers $d, k, r, s$ et un espace linéaire $P_s \subset \mathbb{P}^r$, les auteurs étudient l'existence et l'énumération des courbes rationnelles $f: \mathbb{P}^1 \to \mathbb{P}^r$ de degré $d$ qui rencontrent $P_s$ avec une multiplicité $k$ et passent par $n$ points généraux $x_1, \dots, x_n$. L'étude considère deux scénarios :

1. Points non prescrits : Déterminer le nombre maximal de points généraux qu'une courbe générale peut traverser (Question 1.1.1(a)).
2. Points prescrits : Déterminer le nombre maximal de points généraux $p_i \in \mathbb{P}^1$ tels que $f(p_i) = x_i$ pour des $x_i$ généraux (Question 1.1.1(b)).

Géométriquement, ces questions sont reformulées en termes du fibré de la résolution (blow-up) $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$. Une courbe rencontrant $P_s$ avec une multiplicité $k$ correspond à une application $f: \mathbb{P}^1 \to X_{r,s}$ de degré $(d, k)$. Les questions reviennent à déterminer si les applications d'évaluation à partir de l'espace de modules de telles applications vers l'espace cible sont dominantes.

Méthodologie
Les auteurs déterminent les réponses en analysant les types de décomposition de deux fibrés vectoriels spécifiques associés à une application générale $f$ :

• Le fibré normal $N_{C/X_{r,s}}$, qui régit la déformation de la courbe au sein de l'espace ambiant (lié aux points non prescrits).
• Le fibré tangent restreint $f^* T_{X_{r,s}}$, qui régit la déformation de l'application avec des points du domaine fixes (lié aux points prescrits).

L'outil technique central est la propriété de balancement (balancedness). Un fibré vectoriel sur $\mathbb{P}^1$ est balancé s'il se décompose en une somme directe de fibrés en droites dont les degrés diffèrent au plus de 1. En caractéristique 0, un fibré est balancé si et seulement s'il satisfait la propriété d'interpolation (c'est-à-dire que les sections s'annulent en des points généraux comme attendu). Les auteurs étendent ces résultats à la caractéristique arbitraire, y compris la caractéristique 2, où des obstructions supplémentaires apparaissent.

L'approche méthodologique principale est la dégénérescence. Les auteurs construisent des courbes nodales singulières $C = C' \cup L$ (où $L$ est une droite de degré spécifique) et analysent les fibrés normaux et tangents de ces courbes singulières. En utilisant la théorie des modifications élémentaires et des fibrés pointés (pointing bundles), ils relient les fibrés des courbes singulières à ceux des composantes lisses. En prouvant que l'interpolation est une condition ouverte dans les familles plates, ils déduisent les propriétés de la courbe lisse générale à partir de celles des courbes singulières.

Étapes techniques clés :

• Étapes inductives : Établir que si un fibré pour le degré $(d, k)$ est balancé (ou « presque balancé »), alors le fibré pour $(d + r - s - 1, k + 1)$ est également balancé. Cela implique l'ajout de configurations spécifiques de droites à la courbe.
• Analyse des obstructions : Identifier les conditions géométriques et arithmétiques spécifiques sous lesquelles le balancement échoue. Celles-ci incluent :
  • Dégénérescence : Lorsque l'image de la courbe réside dans un sous-espace linéaire propre.
  • Suites de projection : Lorsque la pente du fibré tangent relatif est trop grande par rapport au fibré normal de la projection, provoquant une décomposition non balancée de la suite d'extension.
  • Obstructions en caractéristique 2 : Échecs spécifiques en caractéristique 2 liés à l'application de Frobenius et à la parité des degrés, qui empêchent le balancement même lorsque les conditions de pente sont remplies.

Contributions Clés et Résultats

1. Détermination Complète des Fibrés Normaux :
   L'article fournit une classification complète du type de décomposition du fibré normal $N_{C/X_{r,s}}$ pour les courbes rationnelles générales dans $X_{r,s}$ en caractéristique arbitraire.

   • Caractéristique $\neq 2$ : Le fibré est balancé si et seulement si la courbe est non dégénérée et que le degré $d$ satisfait une borne inférieure spécifique $d \ge L_{r,s}(k)$. Si $d$ est plus petit, le fibré se décompose en une somme directe du fibré tangent relatif et du fibré normal de la projection, ce qui est non balancé.
   • Caractéristique 2 : Les auteurs identifient que le balancement échoue non seulement à cause de la décomposition de la suite de projection, mais aussi à cause d'obstructions héritées de l'espace projectif ambiant $\mathbb{P}^r$ (spécifiquement quand $(r-1) \nmid (d-1)$) et de conditions arithmétiques spécifiques sur $d$ et $k$. Le Théorème 1.4.3 stipule que ce sont les seules obstructions.

2. Détermination Complète des Fibrés Tangents Restreints :
   L'article détermine le type de décomposition du fibré tangent restreint $f^* T_{X_{r,s}}$ dans toutes les caractéristiques.

   • Contrairement au fibré normal, le fibré tangent restreint est balancé si et seulement si une inégalité spécifique impliquant $d, k, r, s$ est satisfaite ($d \ge L^t_{r,s}(k)$). Cette condition est uniforme à travers toutes les caractéristiques.
   • Ce résultat implique que le nombre maximal de points prescrits qu'une courbe générale peut traverser est déterminé uniformément par la pente du fibré tangent restreint, indépendamment de la caractéristique du corps.

3. Résultats Énumératifs (Degrés de Tevelev) :
   Dans l'appendice, les auteurs énumèrent le nombre de ces courbes interpolantes lorsque le nombre de points est maximal. Ils calculent les « degrés de Tevelev » pour $X_{r,s}$, fournissant une formule pour le nombre d'applications satisfaisant $n$ conditions d'incidence générales. Cela récupère les résultats précédents pour $s=0$ et les généralise aux espaces linéaires de dimension supérieure.

Signification et Revendications
L'article prétend résoudre le problème d'interpolation pour les courbes rationnelles avec sécantes en caractéristique arbitraire. Sa signification réside dans :

• L'uniformité : Établir que la réponse au problème des points prescrits (Question 1.1.1(b)) est uniforme en caractéristique, tandis que le problème des points non prescrits (Question 1.1.1(a)) présente un comportement distinct en caractéristique 2.
• La complétude : Fournir une liste complète des obstructions au balancement, montant qu'en caractéristique 2, l'échec du balancement est entièrement expliqué par la décomposition de la suite de projection ou la propagation du non-balancement depuis l'espace projectif ambiant.
• La généralisation : Étendre les résultats connus pour les courbes rationnelles dans $\mathbb{P}^r$ (où $k=0$) au cadre plus complexe des courbes avec conditions de sécance ($k>0$) sur les blow-ups d'espaces projectifs.

Les auteurs notent explicitement que bien qu'ils se concentrent sur les courbes rationnelles, les méthodes et les questions sont pertinentes pour les courbes générales de genre positif, bien que ces cas ne soient pas traités dans ce travail. Les résultats sont dérivés rigoureusement à l'aide de techniques de géométrie algébrique, spécifiquement les espaces de modules, la théorie des fibrés vectoriels et les arguments de dégénérescence, sans recours à des données expérimentales ou des conjectures non prouvées.