Stability of syzygy bundles on certain Picard rank one varieties

Résumé technique : Stabilité des fibrés de syzygies sur certaines variétés de rang de Picard un

Énoncé du problème
L'article traite de la stabilité des fibrés de syzygies $M_L$ sur des variétés projectives lisses $X$ de dimension au moins 2 avec un rang de Picard égal à 1. Étant donné un fibré en ligne non trivial et engendré globalement sur $X$, le fibré de syzygie $M_L$ est défini comme le noyau de l'application d'évaluation $H^0(X, L) \otimes \mathcal{O}_X \to L$. La question centrale (Question 1.1) est de savoir si $M_L$ est stable par rapport à la polarisation unique sur $X$ (puisque le rang de Picard est 1). Bien que la stabilité soit bien comprise pour les courbes et connue pour des cas spécifiques de dimensions supérieures (par exemple, les variétés de Fano ou de Calabi-Yau, ou lorsque $L$ est « suffisamment ample »), le cas général pour un $L$ ample arbitraire sur des variétés de rang de Picard 1 restait ouvert.

Méthodologie
L'auteur emploie une combinaison de techniques de géométrie algébrique, se concentrant spécifiquement sur la monotonie des sections globales de fibrés en ligne et sur les critères de stabilité de pente.

1. Monotonie des sections globales : Une contribution technique centrale est la preuve d'un résultat de monotonie (Proposition 3.2 et Corollaire 3.5). L'auteur établit que pour une variété projective normale $X$ de dimension $\ge 2$, si $H$ est un fibré en ligne ample et engendré globalement et que $F$ est un fibré en ligne numériquement trivial, la fonction $h^0(X, F(k))/k$ est non décroissante pour $k \ge 1$.

   • Ceci est dérivé de la théorie des anneaux et modules gradués. En construisant un anneau gradué $R = \bigoplus H^0(X, \mathcal{O}_X(k))$ et un module $M = \bigoplus H^0(X, F(k))$, l'auteur utilise une suite régulière de sections générales pour relier les polynômes de Hilbert de $M$ et de son quotient.
   • La preuve repose sur le fait que pour $k \ge 1$, la différence des dimensions normalisées des sections globales est non négative, en exploitant les propriétés des fibrés numériquement triviaux sur les variétés normales.

2. Contradiction par inégalités de pente : Pour prouver le théorème principal, l'auteur suppose que $M_L$ est instable. Selon les résultats standards (citant [10]), l'instabilité implique l'existence d'un sous-faisceau déstabilisant, spécifiquement un fibré en ligne $N$ et un entier $r$ tels que la pente $\mu_H(\wedge^r M_L \otimes N) \le 0$ et $H^0(X, \wedge^r M_L \otimes N) \neq 0$.

   • L'auteur exprime $L$ et $N$ en termes d'un générateur du groupe de Néron-Severi et de fibrés numériquement triviaux : $L \cong N_2(l)$ et $N \cong N_1(k)$ avec $N_1, N_2$ numériquement triviaux.
   • En utilisant la formule de la pente pour les fibrés de syzygie, la condition d'instabilité produit une inégalité reliant $k$, $l$ et $r$.
   • Le résultat de monotonie (Corollaire 3.5) est ensuite appliqué pour comparer la croissance des sections globales $h^0(X, N)$ et $h^0(X, L)$. Cela conduit à une chaîne d'inégalités qui force $k \ge l$, ce qui contredit directement la déduction antérieure que $k < l$ dérivée des contraintes de rang.

Contributions et résultats clés

• Théorème A : Le résultat principal stipule que si $X$ est une variété projective lisse de dimension $\ge 2$ avec un rang de Picard 1, et que tout fibré en ligne ample sur $X$ est engendré globalement, alors pour tout fibré en ligne ample $L$, le fibré de syzygie $M_L$ est stable.
• Corollaire 4.1 : Le théorème est appliqué aux intersections complètes lisses de dimension $\ge 2$ dans l'espace projectif $\mathbb{P}^N$. Par les théorèmes de Lefschetz, ces variétés ont un rang de Picard 1 et sont engendrées par la classe de l'hyperplan (qui est engendrée globalement). Ainsi, le fibré de syzygie de tout fibré en ligne non trivial engendré globalement sur une telle variété est stable.
• Extension de travaux antérieurs : L'article note que bien que la stabilité ait été précédemment connue pour les intersections complètes de Fano ou de Calabi-Yau (via [10]), ce résultat étend la réponse affirmative à toutes les intersections complètes lisses de dimension $\ge 2$ avec un rang de Picard 1, qu'elles soient de Fano, de Calabi-Yau ou de type général.

Signification et affirmations
L'article affirme fournir une réponse affirmative à la Question 1.1 pour une « large classe de variétés », spécifiquement celles où tous les fibrés en ligne amples sont engendrés globalement. L'auteur déclare explicitement que cela étend les résultats antérieurs de Jiang-Ren, Coandă, et d'autres.

La signification est formulée comme la résolution d'une question naturelle concernant la stabilité des fibrés de syzygie en l'absence d'hypothèses de « suffisance d'amplitude » sur $L$. L'auteur ne prétend pas résoudre la Question 1.1 pour toutes les variétés de rang de Picard 1 (notant que l'hypothèse de l'engendrement global pour tous les fibrés amples est requise), mais établit plutôt une classe robuste d'exemples (intersections complètes) où la conjecture est vérifiée. L'auteur fait également référence à la Remarque 4.2, notant que, via les théorèmes de restriction de Mehta-Ramanathan, la question générale se réduit au cas des surfaces, et ce travail fournit des réponses affirmatives pour une large classe de surfaces de type général.