Veronese Avoiding Hypersurfaces

Résumé technique : Hypersurfaces évitant le Veronese

Énoncé du problème
L'article examine une condition géométrique spécifique sur la pièce graduée supérieure de l'idéal jacobien d'un polynôme homogène réduit $f \in R = k[x_1, \dots, x_n]$ de degré $d \geq 3$. Soit $X = V(f) \subseteq \mathbb{P}^{n-1}_k$ l'hypersurface correspondante, $J_f$ son idéal gradient, et $M_f = R/J_f$ son algèbre de Milnor. En posant $T = n(d-2)$, les auteurs définissent $X$ comme évitant le Veronese si deux conditions sont remplies dans l'espace projectif $\mathbb{P}(R_{T-1})$ :

1. Condition de généralité du gradient : Le sous-espace linéaire $\mathbb{P}((J_f)_{T-1})$ a une codimension $n$.
2. Condition d'évitement du Veronese : Ce sous-espace est disjoint de la variété de Veronese de degré $(T-1)$, notée $V^{T-1}_n$ (l'image de l'application $[\ell] \mapsto [\ell^{T-1}]$).

Cette condition combine une contrainte numérique sur l'algèbre de Milnor (spécifiquement $\dim_k (M_f)_{T-1} = n$) avec une condition géométrique d'évitement. Le problème est motivé par l'interplay entre les variétés de Veronese, les systèmes inverses de Macaulay, les propriétés de Lefschetz et la théorie des formes associées développée par Alper et Isaev.

Méthodologie
Les auteurs emploient une combinaison d'algèbre commutative, de géométrie algébrique et de théorie des invariants :

• Systèmes inverses de Macaulay : Dans le cas lisse, les auteurs réinterprètent la condition d'évitement du Veronese via le système inverse de Macaulay $F$ de l'algèbre de Milnor $M_f$. Ils utilisent l'appariement apolaire pour relier la non-dégénérescence de la forme associée à la régularité de l'hypersurface définie par $F$.
• Analyse du lieu singulier : Pour les hypersurfaces singulières, l'étude se concentre sur la relation entre la propriété d'évitement du Veronese et la géométrie du lieu singulier $\text{Sing}(X)$. Les auteurs analysent le module jacobien $N(f) = J_f^{\text{sat}}/J_f$ et sa dualité graduée.
• Applications rationnelles : Dans les cas où le nombre de points singuliers $r$ est inférieur à $n$, les auteurs introduisent une application rationnelle $\phi_f: \mathbb{P}(I(\Gamma)_1) \dashrightarrow \mathbb{P}(N(f)_{T-1})$ pour caractériser la condition d'évitement.
• Géométrie de l'espace des paramètres : L'article étudie l'espace des paramètres des hypersurfaces évitant le Veronese en réalisant la condition de généralité du gradient comme une condition de rang constant sur une matrice de dérivées partielles et la condition d'évitement comme l'image réciproque d'un ouvert dans une grassmannienne.
• Projections de Lefschetz : La section finale utilise des arguments de projection géométrique, projetant la variété de Veronese à partir de l'espace linéaire défini par l'idéal jacobien, pour prouver des isomorphismes de type Lefschetz.

Contributions et résultats clés

1. Caractérisation du cas lisse :
   L'article réinterprète le critère d'Alper–Isaev pour les hypersurfaces lisses. Il démontre qu'une hypersurface lisse $V(f)$ évite le Veronese si et seulement si son système inverse de Macaulay $F$ définit une hypersurface lisse $V(F)$. Cela fournit un test pratique pour la condition dans le cas d'intersection complète.

2. Classification des hypersurfaces singulières avec $n$ singularités :
   Le théorème central (Théorème 2.15) établit une classification géométrique précise pour les hypersurfaces ayant exactement $n$ points singuliers isolés. Une hypersurface réduite $X$ ayant exactement $n$ points singuliers isolés évite le Veronese si et seulement si ces points sont des nœuds ordinaires en position linéaire générale.

   • La preuve démontre que la condition de codimension force le nombre total de Tjurina à être $n$, impliquant que chaque singularité est un nœud ordinaire.
   • La condition d'évitement force ces points à imposer des conditions linéaires indépendantes sur $R_1$, ce qui équivaut à être en position linéaire générale.
   • Ce résultat fournit une explication conceptuelle des formes auxiliaires utilisées par Alper et Isaev, les identifiant comme se trouvant sur la frontière nodale du lieu évitant le Veronese lisse.

3. Classification des cubiques planes singulières :
   Pour les cubiques planes réduites singulières ($n=3, d=3$), l'article fournit une classification complète : une telle courbe évite le Veronese si et seulement si elle est nodale. Cela inclut les cubiques nodales irréductibles, l'union d'une conique lisse et d'une droite transverse, et l'union de trois droites distinctes en position générale.

4. Le cas de moins de $n$ singularités :
   Les auteurs démontrent que lorsque le lieu singulier a $r < n$ points, la propriété d'évitement du Veronese n'est pas déterminée uniquement par le nombre de singularités ou leur type analytique local (par exemple, s'il s'agit de nœuds). Au lieu de cela, elle devient une propriété globale de l'idéal jacobien.

   • Le Théorème 2.21 montre que pour $r$ nœuds en position linéaire générale, la condition est satisfaite si et seulement si une application rationnelle spécifique $\phi_f$ n'a pas de points de base.
   • Des exemples sont fournis où deux courbes ont des lieux singuliers identiques (un seul nœud), pourtant l'une évite le Veronese et l'autre non, soulignant la dépendance à l'équation globale définissante.

5. Structure de l'espace des paramètres :
   L'article démontre que l'espace des paramètres $V_{n,d}$ des hypersurfaces évitant le Veronese est une sous-variété localement fermée de $\mathbb{P}(R_d)$.

   • Il identifie un lieu irréductible distingué $N_{n,d}$ composé d'hypersurfaces ayant exactement $n$ nœuds en position linéaire générale.
   • Il démontre que $N_{n,d}$ est non vide, irréductible, et a pour dimension $\binom{n+d-1}{d} - 1 - n$.
   • L'existence de ces exemples singuliers implique l'existence d'hypersurfaces évitant le Veronese lisses du même degré.

6. Conséquence de type Lefschetz :
   L'article démontre que si $X$ évite le Veronese, alors pour une forme linéaire générale $\ell$, l'application de multiplication
   $$\ell^{T-2}: (M_f)_1 \longrightarrow (M_f)_{T-1}$$
   est un isomorphisme. Géométriquement, cela découle du fait que la projection de la variété de Veronese à partir du sous-espace jacobien est un morphisme bien défini à fibres finies. Dans le cas des cubiques planes nodales, cela se spécialise en la propriété de Lefschetz faible en degré 2.

Signification et affirmations
L'article prétend combler le fossé entre la théorie des formes associées (Alper–Isaev) et la géométrie des hypersurfaces singulières. En introduisant le terme « évitant le Veronese », les auteurs unifient les cas lisses et singuliers sous une définition géométrique unique.

• Unification conceptuelle : Le travail explique pourquoi certaines formes auxiliaires construites par Alper et Isaev fonctionnent : elles correspondent à la frontière du lieu évitant le Veronese où les singularités sont exactement $n$ nœuds en position générale.
• Global vs Local : L'article met en évidence une distinction significative dans la théorie des singularités : tandis que la condition d'évitement du Veronese est purement locale (déterminée par la géométrie du lieu singulier) lorsqu'il y a exactement $n$ singularités, elle devient une propriété véritablement globale lorsque le nombre de singularités est inférieur à $n$.
• Praticité : Les résultats offrent des critères concrets (via les systèmes inverses de Macaulay pour les cas lisses et les applications rationnelles pour les cas singuliers) pour tester si une hypersurface donnée satisfait cette condition, ce qui est pertinent pour l'étude de la propriété de Lefschetz forte et la reconstruction des singularités d'hypersurfaces isolées.

Les auteurs ne prétendent pas résoudre le problème général de reconstruction pour toutes les singularités, mais fournissent plutôt une caractérisation complète pour le cas spécifique de $n$ singularités isolées et un cadre pour analyser les cas avec moins de singularités.