A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

Résumé Technique : Un théorème de non-existence pour les fibrés d'Ulrich spéciaux, avec un complément sur les surfaces de Burniat primaires

Énoncé du Problème
L'article étudie l'existence de fibrés d'Ulrich de rang deux sur des surfaces projectives lisses $X$ avec un genre géométrique $p_g = 0$. Il traite spécifiquement le cas « spécial » où la première classe de Chern satisfait $c_1(E) = 3H + K_X$ dans $\text{Pic}(X)$, plutôt que simplement de manière numérique. Une question centrale dans la littérature est de savoir si la construction standard de Cayley–Bacharach (une extension de la forme $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$) peut produire de tels fibrés lorsque la polarisation $H$ est spéciale (c'est-à-dire $h^1(\mathcal{O}_X(H)) \neq 0$). Alors que la non-spécialité ($h^1=0$) est une hypothèse standard dans les théorèmes d'existence (ex. Casnati [Ca17], Beauville [Be16b]), cet article demande si cette condition est nécessaire pour cette construction spécifique ou simplement commode.

Méthodologie
Les auteurs emploient une combinaison d'analyse cohomologique, de théorie des extensions et de la géométrie de classes de surfaces spécifiques :

1. Critères d'extension : L'article utilise la correspondance de Serre–Griffiths–Harris, qui lie l'existence d'une extension localement libre à la propriété de Cayley–Bacharach (CB) d'un sous-schéma de dimension 0 $Z$ par rapport à un système linéaire.
2. Tension cohomologique : Le cœur de l'argument consiste à analyser la tension entre la propriété CB (qui exige que $Z$ impose des conditions dépendantes sur un système linéaire pour assurer la liberté locale) et la condition d'annulation d'Ulrich $h^0(E(-H)) = 0$ (qui exige que $Z$ impose des conditions indépendantes).
3. Mécanismes génériques vs spéciaux : Les auteurs contrastent le mécanisme « générique » de Li–Qin [LQ94], qui repose sur des 0-cycles génériques et nécessite la non-spécialité, avec le mécanisme « points sur une courbe » de [An94], qui place $Z$ sur une courbe irréductible. Ils démontrent que même ce dernier échoue pour le noyau adjoint lorsque $H$ est spéciale.
4. Analyse des surfaces de Burniat : Pour les résultats positifs, les auteurs effectuent des calculs explicites sur des surfaces de Burniat primaires (surfaces minimales de type général avec $p_g=q=0$ et $K_X^2=6$). Ils utilisent la structure de revêtement bidouble $\pi: X \to Y$ (où $Y$ est une surface de del Pezzo de degré 6) pour réduire les calculs de cohomologie à la surface rationnelle $Y$, en employant des décompositions de faisceaux propres et la théorie des réseaux.

Contributions Clés et Résultats

1. Le Théorème de Non-existence (Théorème 1.3)
Le principal résultat négatif établit que pour une surface avec $p_g=0$ et un diviseur ample $H$ tel que $h^1(\mathcal{O}_X(H)) \neq 0$ (et $\chi(\mathcal{O}_X(H)) \ge q$), aucun fibré vectoriel de rang deux $E$ avec $c_1(E) = 3H + K_X$ et le $c_2(E)$ correct ne peut provenir de l'extension du noyau adjoint :
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
satisfaisant $h^0(E(-H)) = 0$.

• Mécanisme : La preuve montre que la condition d'Ulrich force la longueur de $Z$ à être $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$. L'annulation $h^0(E(-H))=0$ implique que $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$. Cependant, la propriété CB (requise pour la liberté locale) implique que $Z$ impose des conditions dépendantes, menant à une contradiction à moins que $h^1(\mathcal{O}_X(H)) = 0$.
• Signification : Cela prouve que la non-spécialité est une hypothèse nécessaire pour la construction naturelle du noyau adjoint, et non seulement une hypothèse commode. Cela exclut la possibilité que des mécanismes de « position spéciale » (comme placer des points sur des courbes) puissent contourner l'exigence de non-spécialité pour cette forme spécifique de fibré.

2. Existence sur les Surfaces de Burniat Primaires (Théorème 1.5)
Les auteurs appliquent leurs résultats aux surfaces de Burniat primaires.

• Non-spécialité Globale : Ils prouvent que chaque diviseur ample et sans base sur une surface de Burniat primaire est non-spécial ($h^1(\mathcal{O}_X(H)) = 0$). Ceci est dérivé d'une borne de degré : un diviseur ample sans base doit avoir un nombre d'intersection $\ge 2$ avec les six courbes de ramification elliptiques de la surface. Puisque $K_X$ a une intersection 1 avec ces courbes, $H - K_X$ est ample, et la disparition de Kodaira s'applique.
• Conséquences : Par conséquent, chaque polarisation sur une surface de Burniat primaire admet un fibré d'Ulrich spécial de rang deux $\mu_H$-stable. De plus, ces surfaces sont « strictement Ulrich sauvages » par rapport à toute polarisation, portant des fibrés d'Ulrich simples de tout rang pair $r \ge 2$ dans des familles de dimension arbitrairement grande.

3. Classification des Classes Amples Spéciales
Bien qu'aucune polarisation (diviseur très ample) ne soit spéciale sur ces surfaces, les auteurs classent les « classes amples spéciales » (amples mais sans base).

• Ils montrent que toutes les classes amples spéciales se situent sur trois rayons numériques spécifiques passant par $K_X$.
• Ils calculent la cohomologie le long de ces rayons, montrant que les classes $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ sont spéciales pour $u \ge 2$.
• Crucialement, ils prouvent qu'aucune classe sur ces rayons n'est sans base, expliquant pourquoi elles ne contredisent pas la non-spécialité des polarisations.

4. Noyaux Tordus et Obstructions
L'article examine si des noyaux « tordus » (par exemple, $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) peuvent sauver la construction pour les polarisations spéciales.

• Sur les surfaces de Burniat primaires, ils analysent une variante tordue spécifique impliquant des courbes de ramification.
• Ils démontrent que même avec un tordage, la construction échoue pour les classes spéciales identifiées. Le « budget » de cohomologie (la dimension du domaine de la application de connexion) est insuffisant pour absorber la spécialité de la polarisation tout en maintenant les conditions d'annulation requises.

5. Rang Supérieur et Sauvagerie
S'appuyant sur l'existence de fibrés de rang deux, les auteurs utilisent le critère de Faenzi–Pons-Llopis pour construire des familles de fibrés d'Ulrich simples de rangs pairs supérieurs. Ils établissent que les surfaces de Burniat primaires sont strictement Ulrich sauvages, améliorant les résultats précédents en fournissant des comptes de dimension explicites et la simplicité (plutôt que la simple indécomposabilité).

Signification et Revendications
L'article revendique deux contributions principales :

1. Un Résultat Négatif : Il clarifie les limites de la construction de Cayley–Bacharach, prouvant que la non-spécialité de la polarisation est un critère intrinsèque pour la forme du noyau adjoint, et non un artefact de la technique de preuve. Cela résout une lacune dans la littérature où la nécessité de cette hypothèse n'avait pas été explicitement enregistrée.
2. Un Résultat Positif sur les Surfaces de Burniat : Il fournit une image complète des fibrés d'Ulrich sur les surfaces de Burniat primaires. Il confirme que malgré la complexité de la surface, la géométrie force toutes les polarisations à être non-spéciales, garantissant ainsi l'existence de fibrés d'Ulrix spéciaux stables pour chaque polarisation. Cela contraste avec les travaux récents de Cho [Cho26], qui établissaient la non-spécialité pour des classes spécifiques (comme $3K_X$) mais n'avaient pas formulé le résultat global pour toutes les polarisations ou les conséquences de la sauvagerie stricte.

Les auteurs notent que leurs résultats sur les surfaces de Burniat chevauchent le travail de Cho concernant la borne de degré sur les courbes elliptiques, mais que leur dérivation est indépendante et mène à des conclusions globales plus fortes. Ils soulignent également que bien que leurs méthodes élémentaires (Cayley–Bacharach) échouent pour certains cas spéciaux (comme la surface quintique dans $\mathbb{P}^3$), les fibrés existent probablement toujours, suggérant que l'obstruction est positionnelle plutôt que numérique.