Résumé technique : Courbes contenues dans une surface quartique déterminantale contenant une droite

Énoncé du problème

L'article étudie la géométrie des courbes contenues dans une surface quartique très générale et lisse $X \subseteq \mathbb{P}^3$ qui contient une droite $L$. Bien que la géométrie des courbes sur les surfaces K3 (dont les quartiques lisses sont les exemples les plus simples) soit un thème central de la géométrie algébrique, les travaux précédents des auteurs ([CV26]) avaient déjà fourni une classification complète des courbes arithmétiquement Cohen-Macaulay (ACM) sur de telles surfaces. Plus précisément, pour une surface où $\text{Pic}(X)$ est engendré par la classe d'hyperplan $H$ et la classe de la droite $L$ (avec des nombres d'intersection $H^2=4, H\cdot L=1, L^2=-2$), une courbe de classe $aH + bL$ est ACM si et seulement si $b \in \{0, 1, -1\}$.

Le problème principal traité dans ce travail est d'étendre l'analyse au-delà du locus ACM pour étudier toutes les courbes contenues dans $X$, qu'elles soient ACM ou non. Les auteurs visent à déterminer :

1. Quels systèmes linéaires sur $X$ contiennent des courbes lisses et irréductibles.
2. Le comportement de ces courbes au sein du schéma de Hilbert $\mathcal{H}_{d,g}$ des courbes dans $\mathbb{P}^3$, en déterminant spécifiquement si le membre général est un point lisse ou singulier.
3. Le comportement cohomologique de ces courbes via le calcul de leurs fonctions de Rao.

Méthodologie

Les auteurs emploient une combinaison de techniques classiques de géométrie algébrique, de calculs cohomologiques et d'algèbre computationnelle :

• Analyse des systèmes linéaires : Pour distinguer les classes contenant des courbes lisses irréductibles de celles où le membre général est nécessairement réductible, les auteurs appliquent un critère de Kleppe [Kle17]. Ils analysent les nombres d'intersection des diviseurs avec la droite $L$ et la classe résiduelle $H-L$.
• Calculs cohomologiques : L'article utilise les suites exactes longues en cohomologie associées aux suites exactes courtes de faisceaux (par exemple, reliant le faisceau structure d'une courbe à celui de la surface et de la droite). Cela permet de calculer les dimensions $h^0$ et $h^1$, qui sont cruciales pour déterminer la dimension des systèmes linéaires et la lissité des points du schéma de Hilbert.
• Théorie de la biliaison : Les auteurs utilisent le concept de biliaison élémentaire (spécifiquement la $(4,1)$-biliaison) pour relier les courbes de différents systèmes linéaires. En reliant les courbes à des courbes plus simples connues (telles que $F_m \in |mL|$ ou $G_m \in |mH - mL|$), ils dérivent des résolutions libres minimales et calculent les fonctions de Rao de manière inductive.
• Vérification computationnelle : Pour les cas où la décomposition théorique des diviseurs réductibles est complexe, les auteurs utilisent le logiciel Macaulay2 pour calculer des dimensions cohomologiques spécifiques ($h^0(C, \mathcal{N}_C)$ et $h^1(C, \mathcal{N}_C)$) et vérifier la lissité de familles de courbes spécifiques.
• Variétés d'incidence : Pour déterminer la dimension des composantes du schéma de Hilbert pour des cas singuliers spécifiques, les auteurs analysent des variétés d'incidence impliquant la famille des surfaces quartiques déterminantes.

Contributions clés et résultats

1. Existence de courbes lisses irréductibles

Les auteurs classent les systèmes linéaires $|(k+m)H - mL|$ et $|kH + mL|$ selon l'existence de membres lisses irréductibles :

• Existence de membres lisses : Des courbes lisses irréductibles existent dans $|(k+m)H - mL|$ pour tous $k, m \geq 1$. Elles existent également dans $|kH + mL|$ à condition que $m \geq 1$ et $k \geq 2m$.
• Réductibilité :
  • Pour $|kH + mL|$ avec $1 \leq k \leq 2m-2$, le système linéaire ne contient aucune courbe lisse irréductible.
  • Pour $|(2m-1)H + mL|$, le membre général est réductible, constitué de la droite $L$ unie à une courbe lisse dans $|(2m-1)H + (m-1)L|$.
  • Pour $|mH - mL|$, le membre général est l'union de $m$ courbes cubiques planes contenues dans $X$.

2. Comportement du schéma de Hilbert

L'article analyse la position de ces courbes dans le schéma de Hilbert $\mathcal{H}_{d,g}$ :

• Classe $|(k+m)H - mL|$ :
  • Si $k \geq 5$ et $m \geq 1$, le membre général est un point lisse d'une composante génériquement lisse de dimension $2k^2 + mk + 34$.
  • Si $k \in \{1, 2, 3\}$ et $m \geq 1$, le membre général est un point lisse d'une composante de dimension $4(4k+3m)$.
  • Si $k=4$ et $m \geq 2$, le membre général est un point singulier du schéma de Hilbert. Les auteurs prouvent cela en montrant que la dimension de la composante contenant ces courbes est strictement inférieure à la dimension attendue dérivée de la cohomologie du fibré normal.
• Classe $|kH + mL|$ :
  • Si $k > 2m + 2$ et $m \geq 1$, le membre général est un point lisse d'une composante de dimension attendue.
  • Si $k \in \{2m, 2m+1, 2m+2\}$, le membre général se trouve dans une composante non réduite du schéma de Hilbert.
  • Pour les cas restants ($m \geq 2$ et $1 \leq k \leq 2m-1$), les diviseurs sont réductibles. Les auteurs fournissent des descriptions géométriques spécifiques pour de petits cas (par exemple, des unions de droites et de courbes planes) et utilisent Macaulay2 pour calculer la cohomologie du fibré normal, bien que la lissité ne soit pas toujours déterminée de manière concluante pour tous les sous-cas.

3. Fonctions de Rao

Les auteurs calculent la fonction de Rao $\rho_C(n) = \dim H^1(\mathbb{P}^3, \mathcal{I}_C(n))$ pour toute courbe $C$ sur $X$.

• Ils dérivent d'abord des formules explicites pour la fonction de Rao des courbes $F_m$ (définies par l'idéal $I_{F_m} = I_L^m + \langle F \rangle$) pour $m \geq 3$.
• En utilisant la théorie de la biliaison, ils établissent une formule générale reliant la fonction de Rao de toute courbe $C$ dans les classes $|(k+m)H - mL|$ ou $|kH + mL|$ à celle de $F_m$ :
  $$\rho_C(n) = \rho_{F_m}(m + k - n)$$
• Des formules par morceaux explicites sont fournies pour $m=3, 4$, et le cas général $m \geq 5$.

Signification et portée

L'article prétend fournir une étude complète des courbes sur une surface quartique très générale contenant une droite, allant au-delà du champ restreint des courbes ACM. La signification réside dans :

1. Compléter la classification : En déterminant exactement quels systèmes linéaires produisent des courbes lisses et en caractérisant les cas réductibles, ce travail comble la lacune laissée par la classification ACM précédente.
2. Stratification du schéma de Hilbert : L'identification de classes spécifiques où la courbe générale est un point singulier ou se trouve dans une composante non réduite contribue à la compréhension de la géométrie locale du schéma de Hilbert des courbes de l'espace.
3. Données cohomologiques : Le calcul explicite des fonctions de Rao et des résolutions libres minimales fournit des données concrètes pour le caractère de postulat et la stratification du schéma de Hilbert par des schèmes à cohomologie constante.

Les auteurs conservent un ton modeste, reconnaissant que pour certains cas réductibles (spécifiquement $kH + mL$ avec un petit $k$), la décomposition du membre général n'est pas entièrement connue théoriquement, et que leurs intuitions reposent sur des exemples computationnels. Ils ne proposent pas de nouvelles applications mais approfondissent la compréhension théorique de la géométrie des courbes sur cette classe spécifique de surfaces K3.