Résumé Technique : Apolarité de Bordure pour les Décompositions de Cactus de Bordure

Énoncé du Problème

L'article traite du problème de la caractérisation de l'appartenance d'un point $F$ (ou d'une sous-espace linéaire $W$) aux variétés de cactus et aux variétés sécantes de variétés toriques lisses $X$. Plus précisément, il cherche à généraliser la technique d'apolarité de bordure, précédemment développée pour les variétés sécantes sur les nombres complexes, à :

1. Aux variétés de cactus ($K_r(X)$), qui généralisent les variétés sécantes en permettant des décompositions en sous-schémas de dimension 0 de degré au plus $r$, plutôt qu'en de simples ensembles de $r$ points distincts.
2. À des corps algébriquement clos arbitraires $k$, supprimant la restriction aux caractéristiques nulles ou aux nombres complexes présente dans les travaux antérieurs (spécifiquement [BB21]).
3. Aux sous-espaces linéaires $W \subset H^0(X, L)^*$, étendant la théorie des points uniques aux sous-espaces de dimension supérieure (ce qui équivaut à des décompositions simultanées dans le cadre non-bordure).

Le défi central réside dans le fait que l'apolarité standard relie un point à un schéma $R$ via l'inclusion d'idéaux $I(R) \subset \text{Ann}(F)$. Cependant, pour le rang de bordure et le rang de cactus, il faut considérer des limites de tels schémas ou des schémas non réduits, où l'idéal $I(R)$ peut ne pas être saturé ou peut ne pas se comporter correctement sous une dégénérescence plate. L'article vise à définir rigoureusement les « décompositions de cactus de bordure » en utilisant des idéaux dans l'anneau de Cox (anneau des coordonnées totales) de la variété torique.

Méthodologie

Les auteurs emploient une combinaison de schémas de Hilbert multigradués, de la théorie de l'anneau de Cox et de l'apolarité pour construire une correspondance entre des objets géométriques (sous-schémas) et des objets algébriques (idéaux).

1. Schémas de Hilbert Multigradués et Saturation

L'article établit un pont entre le schéma de Hilbert de Grothendieck $\text{Hilb}(X)$ (paramétrant les sous-schémas de $X$) et le schéma de Hilbert multigradué $\text{Hilb}(S[X])$ (paramétrant les idéaux multihomogènes dans l'anneau de Cox $S[X]$).

• Outil Technique Clé : Les auteurs prouvent que pour une famille plate de sous-schémas, la propriété selon laquelle l'idéal homogène associé est saturé (par rapport à l'idéal irrévérent de la variété torique) est une condition ouverte (Théorème 2.1, Corollaire 2.2).
• Analyse de la Fibre Générique : Ils démontrent qu'une configuration générale de points dans une variété torique lisse possède la fonction de Hilbert attendue (Théorème 2.12), étendant ainsi les résultats précédents de $\mathbb{C}$ à n'importe quel corps algébriquement clos.

2. La Correspondance de Morphisme

Une construction centrale est le morphisme $\text{sch}: \text{Hilb}(S[X]) \to \text{Hilb}(X)$, qui associe un idéal homogène au sous-schéma qu'il définit.

• Proposition 1.3 / Corollaire 3.5 : Pour chaque composante irréductible $H \subset \text{Hilb}(X)$, il existe une composante irréductible unique $H_H \subset \text{Hilb}(S[X])$ telle que la restriction de $\text{sch}$ à $H_H$ est un morphisme birationnel. Crucialement, un idéal général dans $H_H$ est saturé.
• Cela permet aux auteurs de transférer les problèmes géométriques concernant les sous-schémas de $X$ vers des problèmes d'idéaux dans l'anneau de Cox $S[X]$.

3. Apolarité et Décompositions de Bordure

Les auteurs utilisent l'action d'apolarité de l'anneau de Cox $S[X]$ sur l'espace dual $\tilde{S}[X]$.

• Définition : Une décomposition de cactus de bordure est définie comme un idéal homogène $I \subset S[X]$ contenu dans l'idéal apolaire $\text{Ann}(F)$ qui témoigne de l'appartenance de $F$ à une variété de cactus.
• Application de l'Espace Linéaire : Ils construisent une « application d'espace linéaire » du schéma de Hilbert vers un Grassmannien, résolvant le problème selon lequel l'espace linéaire d'un sous-schéma n'est pas continu sous dégénérescence plate. En travaillant sur le schéma de Hilbert multigradué, ils définissent un morphisme qui capture correctement l'espace linéaire des schémas limites (Proposition 3.6).

Contributions Clés et Résultats

1. Généralisation de l'Apolarité de Bordure

L'article étend le théorème de Faible Apolarité de Bordure à des caractéristiques arbitraires et des variétés toriques.

• Théorème 1.1 : Si $F \in \sigma_r(X)$ (la $r$-ième variété sécante), il existe un idéal homogène $I \subset S[X]$ tel que $I \subset \text{Ann}(F)$ et la codimension des parties graduées $I_D$ correspond à la dimension attendue $\min(r, \dim S[X]_D)$. Si un groupe soluble $B$ agit sur $X$ et préserve $F$, un tel idéal invariant existe.

2. Apolarité pour les Décompositions de Cactus de Bordure (ABCD)

La principale contribution théorique est la caractérisation de l'appartenance aux variétés de cactus via des idéaux.

• Théorème 1.4 (ABCD) : Un point $F$ appartient à la $r$-ième variété de cactus $K_r(X)$ si et seulement si il existe une composante irréductible $H \subset \text{Hilb}_r(X)$ (spécifiquement une contenant des schémas de Gorenstein) et un idéal homogène $I \in H_H$ (la composante correspondante dans le schéma de Hilbert multigradué) tel que $I \subset \text{Ann}(F)$.
• Théorème 1.2 (Faible ABCD) : Ce théorème fournit une liste finie de fonctions de Hilbert $\{h_1, \dots, h_k\}$ telles que si $F \in K_r(X)$, il existe un idéal $I \subset \text{Ann}(F)$ possédant l'une de ces fonctions de Hilbert.

3. Extension aux Sous-espaces Linéaires

La théorie est généralisée aux sous-espaces linéaires $W \subset H^0(X, L)^*$.

• Théorèmes 4.5 & 4.6 : Ces théorèmes établissent une équivalence entre l'appartenance de $W$ à une variété de cactus de Grassmann $K_{r,i}(X)$ et l'existence d'un idéal $I$ dans la composante appropriée du schéma de Hilbert multigradué tel que $I \subset \text{Ann}(W)$.
• Cela inclut un argument de point fixe de Borel (Théorème 4.6) pour garantir l'existence d'idéaux invariants lorsqu'un groupe soluble agit, ce qui est crucial pour les applications computationnelles impliquant des symétries.

4. Raffinement des Fonctions de Hilbert

L'article étudie les fonctions de Hilbert des idéaux saturés dans les composantes du schéma de Hilbert.

• Proposition 4.10 : Pour une composante $H \subset \text{Hilb}_r(\mathbb{P}^n)$, la fonction de Hilbert au degré 1 est toujours $h_H(1) = \min(r, n+1)$.
• Proposition 4.14 : Les auteurs fournissent un contre-exemple montrant que pour $r=28$ dans $\mathbb{P}^6$, la fonction de Hilbert d'un schéma général dans une composante spécifique diffère de la fonction « attendue » générique au degré 2 ($27 < 28$). Cela souligne que l'ensemble des fonctions de Hilbert pertinentes pour les décompositions de cactus n'est pas trivial et nécessite une énumération minutieuse.

Signification et Revendications

L'article affirme améliorer et étendre la méthode d'apolarité de bordure introduite dans [BB21]. Sa signification réside dans :

1. Indépendance du Corps : Suppression de la dépendance aux nombres complexes, rendant la théorie applicable à tout corps algébriquement clos.
2. Variétés de Cactus : Fournir un cadre algébrique rigoureux (via le schéma de Hilbert multigradué) pour étudier les variétés de cactus, qui servent d'obstructions pour les équations déterminantales définissant les variétés sécantes.
3. Cadre Unifié : Unifier l'étude des variétés sécantes, des variétés de cactus et des décompositions simultanées (sous-espaces linéaires) sous un formalisme unique basé sur l'apolarité impliquant des idéaux dans l'anneau de Cox.
4. Potentiel Algorithmique : En caractérisant l'appartenance via l'existence d'idéaux spécifiques avec des fonctions de Hilbert bornées, les résultats offrent une voie pour la vérification algorithmique du rang de cactus de bordure, bien que l'article note que l'énumération de toutes les fonctions de Hilbert pertinentes pour un $r$ général reste un problème ouvert.

Les auteurs déclarent explicitement que les résultats sont énoncés et prouvés pour des sous-espaces linéaires de n'importe quelle dimension, et non seulement pour des points, et que les versions « faibles » des théorèmes fournissent des conditions nécessaires (existence d'un idéal) qui sont suffisantes pour l'appartenance aux variétés respectives. L'article ne prétend pas résoudre le problème de calcul du rang de cactus exact pour tous les cas, mais fournit plutôt la machinerie théorique (les idéaux « témoins ») pour tester l'appartenance.