Multigraded Regularity of the Complete Flag Variety

Résumé Technique : Régularité multigraduée de la variété de drapeaux complète

Énoncé du Problème
Cet article traite du calcul de la régularité multigraduée de la variété de drapeaux complète, $Fl(\mathbb{C}^n)$, sous l'application de Plücker. Alors que Maclagan et Smith ont introduit la régularité multigraduée pour généraliser la régularité de Castelnuovo-Mumford aux produits d'espaces projectifs, les calculs explicites pour des familles spécifiques de variétés restent rares. Les auteurs se concentrent sur la variété de drapeaux complète, une classe de variétés possédant une riche structure combinatoire et une multigraduation naturelle induite par l'application de Plücker dans un produit d'espaces projectifs $\mathbb{P}^{\binom{n}{1}-1} \times \cdots \times \mathbb{P}^{\binom{n}{n-1}-1}$. La question centrale est de déterminer l'ensemble des degrés multiples $d \in \mathbb{Z}^{n-1}$ pour lesquels le faisceau cohérent $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ est $d$-régulier, où $\iota$ désigne l'application de Plücker.

Méthodologie
L'étude exploite l'interaction entre les données combinatoires et l'algèbre commutative multigraduée. Le principal outil théorique est le théorème de Borel-Weil-Bott, qui fournit une description combinatoire complète de la cohomologie des fibrés en droites sur les variétés de drapeaux complètes. Plus précisément, les auteurs utilisent l'algorithme de Bott (et sa variante de comptage d'inversions) pour déterminer l'annulation des groupes de cohomologie $H^i(F, \mathcal{O}_F(a))$.

La définition de la régularité multigraduée exige l'annulation des groupes de cohomologie $H^i(P, \mathcal{G}(d-c))$ pour tout $i > 0$ et tout $c \in \mathbb{N}^{n-1}$ avec $|c|=i$. Les auteurs établissent que pour la variété de drapeaux complète, la régularité de l'idéal définissant $S/I$ coïncide avec la régularité du faisceau cohérent associé $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$.

Pour gérer la complexité computationnelle à mesure que $n$ augmente, l'article développe des relations inductives entre les régions de régularité de $Fl(\mathbb{C}^n)$ et de $Fl(\mathbb{C}^{n-1})$. Ces relations permettent aux auteurs de dériver des bornes inférieures et supérieures pour la région de régularité de $Fl(\mathbb{C}^{n+1})$ basées sur la région calculée pour $Fl(\mathbb{C}^n)$. Pour de petites valeurs de $n$, les auteurs effectuent des calculs explicites à l'aide du logiciel Macaulay2, vérifiant les conditions d'annulation de la cohomologie via les critères de comptage d'inversions dérivés du théorème de Bott.

Contributions Clés et Résultats

1. Bornes Inductives (Théorèmes A et B) :
   L'article prouve deux propositions inductives critiques concernant la propagation de la régularité :

   • Propagation de la non-régularité : Si un degré multiple $a$ n'est pas dans la région de régularité de $Fl(\mathbb{C}^n)$, alors pour tout entier $b$, les degrés étendus $(a, b)$ et $(b, a)$ ne sont pas dans la région de régularité de $Fl(\mathbb{C}^{n+1})$. Cela fournit une méthode pour établir des bornes extérieures.
   • Propagation de la régularité : Si $a$ est dans la région de régularité de $Fl(\mathbb{C}^n)$, alors $(a, b)$ et $(b, a)$ sont dans la région de régularité de $Fl(\mathbb{C}^{n+1})$, à condition que $b$ soit suffisamment grand (spécifiquement $b \geq \dim(Fl(\mathbb{C}^{n+1}))$). Cela fournit des bornes intérieures.

2. Calculs Explicites pour de Faibles Valeurs de $n$ (Théorème A) :
   Les auteurs fournissent une description complète des éléments minimaux de la région de régularité pour $n \leq 6$ :

   • $n=3$ : La région de régularité est $\mathbb{N}^2$ (élément minimal $(0,0)$).
   • $n=4$ : Les éléments minimaux sont $(1,0,0), (0,1,0), (0,0,1)$. La vérification nécessite de contrôler 83 conditions de cohomologie.
   • $n=5$ : Il y a 19 éléments minimaux.
   • $n=6$ : Il y a 179 éléments minimaux.
     Le nombre de conditions de cohomologie requises pour vérifier un seul élément croît rapidement (par exemple, 15 503 conditions pour $n=6$), nécessitant une assistance computationnelle.

3. Comportement Asymptotique (Théorème C) :
   En analysant le degré total minimal $m(n) = \min \{|d| : d \in \text{reg}(Fl(\mathbb{C}^n))\}$, les auteurs établissent des bornes sur la croissance de la région de régularité :

   • Borne Inférieure : $m(n) \geq \frac{6}{5}n - 6$ pour $n \geq 7$.
   • Borne Supérieure : $m(n) \leq \frac{n^3 - n - 24}{6}$.
     Cela démontre que la croissance du degré total minimal est au moins linéaire et au plus cubique en $n$.

4. Régularité Graduée Standard :
   L'article calcule également la régularité graduée standard de la variété de drapeaux lorsqu'elle est plongée dans un espace projectique unique via l'application de Segre de l'image de Plücker. La régularité est montrée être $d-1$, où $d = \dim(Fl(\mathbb{C}^n)) = \binom{n}{2}$.

Signification et Revendications
L'article prétend fournir la première description complète de la régularité multigraduée pour la variété de drapeaux complète pour une plage de $n$, allant au-delà des définitions théoriques pour proposer des résultats de calcul explicites. Il souligne la difficulté du problème, notant que le nombre de conditions à vérifier croît de manière factorielle avec $n$.

La signification réside dans le pont jeté entre la géométrie algébrique combinatoire et l'algèbre commutative multigraduée. En utilisant la structure combinatoire de la variété de drapeaux (spécifiquement l'ordre de Bruhat et le théorème de Borel-Weil-Bott), les auteurs démontrent que la régularité multigraduée est effectivement encodée dans les données combinatoires, de la même manière que la régularité de Castelnuovo-Mumford est encodée pour les Grassmanniennes et les variétés de Schubert.

Les auteurs restent modestes concernant le cas général pour un $n$ arbitraire. Bien qu'ils conjecturent que la croissance de $m(n)$ est quadratique (spécifiquement $m(n) = \binom{n-2}{2}$ pour $n \geq 4$) et que la région de régularité le long de la diagonale $(a, \dots, a)$ est déterminée par $a \geq \frac{n-3}{2}$, ces points restent des questions ouvertes. L'article ne prétend pas avoir résolu le problème pour tout $n$, mais établit plutôt un cadre de bornes inductives et fournit un ensemble concret de données pour les faibles dimensions qui suggère le comportement asymptotique.