Weak and strong Lefschetz properties for Hartshorne-Rao modules of curves in $\mathbb P^3$

Résumé technique de « Propriétés de Lefschetz faible et forte pour les modules de Hartshorne-Rao de courbes dans $\mathbb{P}^3$ »

Énoncé du problème
Soit $K$ un corps algébriquement clos de caractéristique nulle et $C \subset \mathbb{P}^3$ une courbe localement Cohen-Macaulay. Le module de Hartshorne-Rao de $C$, défini par $M(C) = \bigoplus_{t \in \mathbb{Z}} H^1(\mathbb{P}^3, \mathcal{I}_C(t))$, est un $R$-module gradué de longueur finie. Le problème central abordé consiste à déterminer comment la configuration géométrique de $C$ influence le fait que $M(C)$ satisfasse la propriété de Lefschetz faible (WLP) ou la propriété de Lefschetz forte (SLP).

Bien que l'on puisse intuitivement s'attendre à ce que la régularité ou l'irréductibilité de $C$ garantisse la WLP, les auteurs notent que tout module gradué de longueur finie peut être réalisé (à un décalage près) comme le module de Hartshorne-Rao d'une courbe lisse. Par conséquent, la régularité seule est insuffisante pour assurer la WLP. L'article examine des contraintes géométriques spécifiques — telles que des unions de droites gauches, des droites situées sur des surfaces quadriques et des courbes lisses irréductibles de faible degré — afin d'identifier les conditions qui imposent ou excluent ces propriétés de Lefschetz.

Méthodologie
Les auteurs emploient une combinaison de la théorie de la liaison, de suites exactes cohomologiques et d'arguments de spécialisation.

1. Suites exactes et spécialisation : Un outil principal est l'analyse de l'application de multiplication $\times L^m: [M(C)]_{t-m} \to [M(C)]_t$ via la suite exacte :
   $$0 \to [\mathcal{I}_C]_{t-m} \xrightarrow{\times L^m} [\mathcal{I}_C]_t \to [\mathcal{I}_{Z_m}|_{H_m}]_t \to [M(C)]_{t-m} \xrightarrow{\times L^m} [M(C)]_t \to H^1(\mathcal{I}_{Z_m}(t)) \to \dots$$
   où $L$ est une forme linéaire générale, $H_m$ est l'épaississement $m$-uple d'un hyperplan défini par $L^m$, et $Z_m$ est le schéma défini par la saturation de $\mathcal{I}_C + (L^m)$. Les auteurs relient le rang maximal de l'application sur $M(C)$ aux fonctions de Hilbert des schémas de dimension zéro $Z_m$.

2. Spécialisation vers des points épais : Pour prouver des résultats pour des ensembles généraux de droites gauches, les auteurs spécialisent les droites sur un hyperplan $H$. Cela transforme le problème en l'étude des fonctions de Hilbert d'unions de « points épais plats » (schémas curvilignes de multiplicité $m$ supportés sur une droite). Ils établissent que les unions générales de tels points (avec multiplicité $m \le 3$) possèdent des fonctions de Hilbert génériques.

3. Propriété de position uniforme (UPP) : Pour les courbes lisses irréductibles, les auteurs utilisent le fait qu'une section hyperplane générale $\Gamma$ possède la UPP. Ils appliquent le théorème de Huneke-Ulrich, qui relie le degré initial du socle de la réduction artinienne de l'anneau de coordonnées de $\Gamma$ au relèvement des éléments de la section hyperplane vers la courbe. Cela leur permet de déterminer quand les applications de multiplication ne possèdent pas le rang maximal, en se basant sur la géométrie de la section hyperplane.

Contributions et résultats clés

• Ensembles généraux de droites gauches :

  • Les auteurs prouvent que si $C$ est un ensemble général de droites gauches dans $\mathbb{P}^3$, alors $M(C)$ satisfait la WLP.
  • De plus, ils établissent que $M(C)$ possède le rang maximal pour la multiplication par $L^i$ pour $i=1, 2, 3$ (SLP dans la plage $\le 3$).
  • Un résultat technique clé (Théorème 3.4) montre qu'une union générale de $s$ points épais plats de multiplicité $m \in \{1, 2, 3\}$ dans $\mathbb{P}^2$ possède la fonction de Hilbert générique, à condition que $s$ soit suffisamment grand (spécifiquement $s \ge 3$ pour $m=3$).

• Droites sur des surfaces quadriques :

  • Toutes les droites sur une quadrique : Si $C$ est une union de droites gauches situées entièrement sur une surface quadrique lisse, $M(C)$ possède la WLP. Ce résultat s'étend à toute courbe sur une surface quadrique lisse via la liaison.
  • Toutes sauf une droite : Si toutes sauf une droite sont situées sur une quadrique, la WLP est préservée.
  • Toutes sauf deux droites : Les auteurs construisent un contre-exemple montrant que pour $r \ge 10$ droites gauches, si toutes sauf deux sont situées sur une quadrique, $M(C)$ échoue à satisfaire la WLP. Cela démontre que la WLP est sensible au nombre de droites s'écartant de la surface quadrique.

• Courbes lisses irréductibles :

  • Faible degré : Les auteurs prouvent que si $\deg(C) < 10$, alors $M(C)$ possède la WLP.
  • Contre-exemple : Ils construisent une courbe lisse irréductible de degré 15 (genre arithmétique 25) pour laquelle $M(C)$ échoue à satisfaire la WLP. Cette courbe est une courbe arithmétiquement Buchsbaum.
  • Degré 10–14 : Pour les degrés jusqu'à 14, la WLP vaut pour toutes les courbes lisses irréductibles, sauf pour trois cas spécifiques impliquant les vecteurs $h$ de leurs sections hyperplanes générales : $(1, 2, 3, 3, 1)$, $(1, 2, 3, 4, 2, 1)$ et $(1, 2, 3, 4, 3, 1)$. Le statut de ces trois cas reste ouvert.
  • Courbes rationnelles : Les auteurs prouvent qu'une courbe rationnelle non dégénérée générale de degré $d$ possède un module de Hartshorne-Rao avec la WLP. Cependant, ils fournissent un exemple d'une courbe rationnelle lisse réductible (degré 10) qui échoue à satisfaire la WLP, soulignant l'importance de l'irréductibilité.

Signification et conclusions
L'article illustre à la fois la force et les limites des hypothèses géométriques dans le contrôle des propriétés de Lefschetz. Il démontre que si les configurations « génériques » (droites gauches générales, courbes rationnelles générales) tendent à satisfaire la WLP/SLP, des contraintes géométriques spécifiques (telles que des droites sur une quadrique) peuvent soit imposer, soit briser ces propriétés, selon la configuration exacte.

Les auteurs concluent en formulant plusieurs questions ouvertes :

1. Si les ensembles généraux de droites gauches satisfont la SLP complète (Conjecture 6.1).
2. Si le résultat sur la fonction de Hilbert générique pour les points épais plats s'étend à la multiplicité $m \ge 4$ (Conjecture 6.2).
3. Si les courbes sur une quadrique lisse satisfont la SLP (Question 6.3).
4. Si la WLP vaut pour les trois cas ouverts spécifiques de courbes lisses irréductibles de degrés compris entre 10 et 14 (Question 6.4).
5. Si toute courbe rationnelle lisse (pas seulement la générale) satisfait la WLP (Question 6.5).

L'ouvrage fournit une carte détaillée de la relation entre la géométrie des courbes et les propriétés algébriques de leurs modules de Hartshorne-Rao, en particulier dans le contexte de la propriété de Lefschetz faible.