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

Technische Samenvatting: Een No-Go Stelling voor Speciale Ulrich-bundels, met een Complement op Primaire Burniat-oppervlakken

Probleemstelling
Het artikel onderzoekt het bestaan van rank twee Ulrich-bundels op gladde projectieve oppervlakken $X$ met een geometische genus $p_g = 0$. Specifiek behandelt het de "speciale" gevallen waarbij de eerste Chern-klasse voldoet aan $c_1(E) = 3H + K_X$ in $\text{Pic}(X)$, in plaats van louter numeriek. Een centrale vraag in de literatuur is of de standaard Cayley–Bacharach-constructie (een extensie van de vorm $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$) dergelijke bundels kan produceren wanneer de polarisatie $H$ speciaal is (dat wil zeggen $h^1(\mathcal{O}_X(H)) \neq 0$). Terwijl niet-specialiteit ($h^1=0$) een standaardhypothese is in existentietheorema's (bijv. Casnati [Ca17], Beauville [Be16b]), vraagt dit artikel zich af of dit een noodzakelijke voorwaarde is voor deze specifieke constructie of slechts een gemakkelijke.

Methodologie
De auteurs maken gebruik van een combinatie van cohomologische analyse, extensietheorie en de geometrie van specifieke oppervlakteklassen:

1. Extensie-criteria: Het artikel maakt gebruik van de Serre–Griffiths–Harris-correspondentie, die de existentie van een lokaal vrije extensie koppelt aan de Cayley–Bacharach (CB) eigenschap van een 0-dimensionale subschema $Z$ met betrekking tot een lineair systeem.
2. Cohomologische Spanning: De kern van het argument betreft de analyse van de spanning tussen de CB-eigenschap (die vereist dat $Z$ afhankelijke condities oplegt aan een lineair systeem om lokale vrijheid te waarborgen) en de Ulrich-verdwijningsvoorwaarde $h^0(E(-H)) = 0$ (die vereist dat $Z$ onafhankelijke condities oplegt).
3. Generieke versus Speciale Mechanismen: De auteurs contrasteren het "generieke" mechanisme van Li–Qin [LQ94], dat steunt op generieke 0-cycli en niet-specialiteit vereist, met het "punten-op-een-curve" mechanisme van [An94], dat $Z$ op een irreducibele curve plaatst. Zij demonstreren dat zelfs het laatste faalt voor de adjoint-kernel wanneer $H$ speciaal is.
4. Analyse van Burniat-oppervlakken: Voor de positieve resultaten voeren de auteurs expliciete berekeningen uit op primaire Burniat-oppervlakken (minimale oppervlakken van algemeen type met $p_g=q=0$ en $K_X^2=6$). Zij maken gebruik van de bidouble cover-structuur $\pi: X \to Y$ (waarbij $Y$ een del Pezzo-oppervlak van graad 6 is) om de cohomologische berekeningen te reduceren tot het rationale oppervlak $Y$, waarbij zij eigensheaf-decompositie en lattictheorie toepassen.

Belangrijkste Bijdragen en Resultaten

1. De No-Go Stelling (Theorem 1.3)
Het primaire negatieve resultaat stelt dat voor een oppervlak met $p_g=0$ en een ample divisor $H$ met $h^1(\mathcal{O}_X(H)) \neq 0$ (en $\chi(\mathcal{O}_X(H)) \ge q$), geen rank twee vectorbundel $E$ met $c_1(E) = 3H + K_X$ en de juiste $c_2(E)$ kan voortkomen uit de adjoint-kernel extensie:
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
die voldoet aan $h^0(E(-H)) = 0$.

• Mechanisme: Het bewijs toont aan dat de Ulrich-voorwaarde dwingt dat de lengte van $Z$ gelijk is aan $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$. De verdwijning $h^0(E(-H))=0$ impliceert dat $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$. Echter, de CB-eigenschap (vereist voor lokale vrijheid) impliceert dat $Z$ afhankelijke condities oplegt, wat leidt tot een contradictie, tenzij $h^1(\mathcal{O}_X(H)) = 0$.
• Significantie: Dit bewijst dat niet-specialiteit een noodzakelijke hypothese is voor de natuurlijke adjoint-kernel constructie, en niet slechts een handige aanname. Het sluit de mogelijkheid uit dat "special-position" mechanismen (zoals het plaatsen van punten op curven) de niet-specialiteitsvereiste voor deze specifieke bundelvorm kunnen omzeilen.

2. Existentie op Primaire Burniat-oppervlakken (Theorem 1.5)
De auteurs passen hun resultaten toe op primaire Burniat-oppervlakken.

• Globale Niet-Specialiteit: Zij bewijzen dat elke ample en base-point-free divisor op een primair Burniat-oppervlak niet-speciaal is ($h^1(\mathcal{O}_X(H)) = 0$). Dit volgt uit een graad-bound: een ample base-point-free divisor moet een snijgetal $\ge 2$ hebben met de zes elliptische ramificatiecurven van het oppervlak. Omdat $K_X$ een snijgetal 1 heeft met deze curven, is $H - K_X$ ample, en is Kodaira-vanishing van toepassing.
• Consequenties: Bijgevolg staat elke polarisatie op een primair Burniat-oppervlak een $\mu_H$-stabiele speciale Ulrich-bundel van rank twee toe. Bovendien zijn deze oppervlakken "strikt Ulrich wild" met betrekking tot elke polarisatie, aangezien zij eenvoudige Ulrich-bundels van elke evene rang $r \ge 2$ bevatten in families van willekeurig grote dimensie.

3. Classificatie van Speciale Ample Klassen
Hoewel geen enkele polarisatie (zeer ample divisor) speciaal is op deze oppervlakken, classificeren de auteurs de "speciale ample klassen" (ample maar niet base-point-free).

• Zij tonen aan dat alle speciale ample klassen op drie specifieke numerieke stralen liggen die door $K_X$ lopen.
• Zij berekenen de cohomologie langs deze stralen en tonen aan dat klassen $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ speciaal zijn voor $u \ge 2$.
• Cruciaal is dat zij bewijzen dat geen enkele klasse op deze stralen base-point-free is, wat verklaart waarom zij de niet-specialiteit van de polarisaties niet tegenspreken.

4. Getwiste Kernels en Obstructies
Het artikel onderzoekt of "getwiste" kernels (bijv. $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) de constructie voor speciale polarisaties kunnen redden.

• Op primaire Burniat-oppervlakken analyseren zij een specifieke getwiste variant die betrokken is bij ramificatiecurven.
• Zij demonstreren dat zelfs met twisting, de constructie faalt voor de geïdentificeerde specifieke speciale klassen. Het "budget" aan cohomologie (de dimensie van het doel van de verbindende afbeelding) is onvoldoende om de specialiteit van de polarisatie te absorberen terwijl de vereiste verdwijningscondities behouden blijven.

5. Hogere Rang en Wildheid
Bouwend op de existentie van rank twee bundels, gebruiken de auteurs het Faenzi–Pons-Llopis criterium om families van eenvoudige Ulrich-bundels van hogere even rangen te construeren. Zij stellen vast dat primaire Burniat-oppervlakken strikt Ulrich wild zijn, wat de eerdere resultaten verbetert door expliciete dimensie-tellingen en eenvoud (in plaats van enkel onherleidbaarheid) te bieden.

Significantie en Claims
Het artikel claimt twee hoofd bijdragen:

1. Een Negatief Resultaat: Het verheldert de beperkingen van de Cayley–Bacharach-constructie, waarbij bewezen wordt dat de niet-specialiteit van de polarisatie een intrinsieke vereiste is voor de adjoint-kernel vorm, en niet een artefact van de bewijstechniek. Dit lost een gat in de literatuur op waar de noodzaak van deze hypothese niet expliciet werd genoteerd.
2. Een Positief Resultaat op Burniat-oppervlakken: Het biedt een volledig beeld van Ulrich-bundels op primaire Burniat-oppervlakken. Het bevestigt dat, ondanks de complexiteit van het oppervlak, de geometrie dwingt dat alle polarisaties niet-speciaal zijn, waardoor de existentie van stabiele speciale Ulrich-bundels voor elke polarisatie gegarandeerd is. Dit staat in contrast met recent werk door Cho [Cho26], dat niet-specialiteit voor specifieke klassen (zoals $3K_X$) vaststelde, maar niet het globale resultaat voor alle polarisaties of de strikte wildheid-consequenties formuleerde.

De auteurs merken op dat hun resultaten op Burniat-oppervlakken overlappen met het werk van Cho wat betreft de graad-bound op elliptische curven, maar dat hun afleiding onafhankelijk is en leidt tot sterkere globale conclusies. Zij benadrukken ook dat hoewel hun elementaire methoden (Cayley–Bacharach) falen voor bepaalde speciale gevallen (zoals het quintic oppervlak in $\mathbb{P}^3$), de bundels waarschijnlijk wel bestaan, wat suggereert dat de obstructie positioneel van aard is in plaats van numeriek.