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

Sintesi Tecnica: Un Teorema di "No-Go" per i Fasci Ulrich Speciali, con un Complemento sulle Superfici di Burniat Primarie

Enunciato del Problema
Il saggio investiga l'esistenza di fasci Ulrich di rango due su superfici proiettive lisce $X$ con genere geometrico $p_g = 0$. In particolare, affronta il caso "speciale" in cui la classe di Chern prima soddisfa $c_1(E) = 3H + K_X$ in $\text{Pic}(X)$, piuttosto che meramente numericamente. Una questione centrale nella letteratura è se la standard costruzione di Cayley–Bacharach (un'estensione della forma $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$) possa produrre tali fasci quando la polarizzazione $H$ è speciale (ovvero $h^1(\mathcal{O}_X(H)) \neq 0$). Mentre la non-specialità ($h^1=0$) è un'ipotesi standard nei teoremi di esistenza (ad esempio, Casnati [Ca17], Beauville [Be16b]), questo saggio si chiede se tale condizione sia un requisito necessario per questa specifica costruzione o solo una supposizione conveniente.

Metodologia
Gli autori impiegano una combinazione di analisi coomologica, teoria delle estensioni e la geometria di specifiche classi di superficie:

1. Criteri di Estensione: Il saggio utilizza la corrispondenza di Serre–Griffiths–Harris, che lega l'esistenza di un'estensione localmente libera alla proprietà di Cayley–Bacharach (CB) di un sotto schema 0-dimensionale $Z$ rispetto a un sistema lineare.
2. Tensione Coomologica: L'argomento centrale consiste nell'analizzare la tensione tra la proprietà CB (che richiede che $Z$ imponga condizioni dipendenti per garantire la libertà locale) e la condizione di vanishing di Ulrich $h^0(E(-H)) = 0$ (che richiede che $Z$ imponga condizioni indipendenti).
3. Meccanismi Generici vs. Speciali: Gli autori contrastano il meccanismo "generico" di Li–Qin [LQ94], che si basa su 0-cicli generici e richiede la non-specialità, con il meccanismo "punti su una curva" di [An94], che colloca $Z$ su una curva irriducibile. Dimostrano che anche quest'ultimo fallisce per il kernel aggiunto quando $H$ è speciale.
4. Analisi delle Superfici di Burniat: Per i risultati positivi, gli autori eseguono calcoli espliciti su superfici di Burniat primarie (superfici minimali di tipo generale con $p_g=q=0$ e $K_X^2=6$). Utilizzano la struttura di copertura bidoble $\pi: X \to Y$ (dove $Y$ è una superficie del Pezzo di grado 6) per ridurre i calcoli della coomologia alla superficie razionale $Y$, impiegando decomposizioni di eigensheaf e teoria dei reticoli.

Contributi Chiave e Risultati

1. Il Teorema di No-Go (Teorema 1.3)
Il principale risultato negativo stabilisce che, per una superficie con $p_g=0$ e un divisore ampio $H$ con $h^1(\mathcal{O}_X(H)) \neq 0$ (e $\chi(\mathcal{O}_X(H)) \ge q$), nessun fascio vettoriale di rango due $E$ con $c_1(E) = 3H + K_X$ e la corretta $c_2(E)$ può derivare dall'estensione del kernel aggiunto:
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
satisfacendo $h^0(E(-H)) = 0$.

• Meccanismo: La prova mostra che la condizione di Ulrich forza la lunghezza di $Z$ a essere $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$. Il vanishing $h^0(E(-H))=0$ implica che $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$. Tuttavia, la proprietà CB (richiesta per la libertà locale) implica che $Z$ imponga condizioni dipendenti, portando a una contraddizione a meno che $h^1(\mathcal{O}_X(H)) = 0$.
• Significato: Questo prova che la non-specialità è un'ipotesi necessaria per la naturale costruzione del kernel aggiunto, non solo una supposizione conveniente. Esclude la possibilità che meccanismi di "posizione speciale" (come porre punti su curve) possano aggirare il requisito di non-specialità per questo specifico tipo di fascio.

2. Esistenza sulle Superfici di Burniat Primarie (Teorema 1.5)
Gli autori applicano i loro risultati alle superfici di Burniat primarie.

• Non-Specialità Globale: Dimostrano che ogni divisore ampio e privo di punti base su una superficie di Burniat primaria è non-speciale ($h^1(\mathcal{O}_X(H)) = 0$). Ciò deriva da un limite di grado: un divisore ampio e privo di punti base deve avere un numero di intersezione $\ge 2$ con le sei curve di ramificazione ellittiche della superficie. Poiché $K_X$ ha intersezione 1 con queste curve, $H - K_X$ è ampio, e il vanishing di Kodaira si applica.
• Conseguenze: Di conseguenza, ogni polarizzazione su una superficie di Burniat primaria ammette un fascio Ulrich speciale di rango due $\mu_H$-stabile. Inoltre, queste superfici sono "strettamente Ulrich selvagge" (strictly Ulrich wild) rispetto a ogni polarizzazione, possedendo fasci Ulrich semplici di ogni rango pari $r \ge 2$ in famiglie di dimensione arbitrariamente grande.

3. Classificazione delle Classi Ample Speciali
Sebbene nessuna polarizzazione (divisore molto ampio) sia speciale su queste superfici, gli autori classificano le "classi ample speciali" (ampie ma non prive di punti base).

• Mostrano che tutte le classi ample speciali giacciono su tre specifici raggi numerici attraverso $K_X$.
• Calcolano la coomologia lungo questi raggi, mostrando che le classi $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ sono speciali per $u \ge 2$.
• Crucialmente, dimostrano che nessuna classe su questi raggi è priva di punti base, spiegando perché non contraddicono la non-specialità delle polarizzazioni.

4. Kernel Ritorti e Ostacoli
Il saggio indaga se i kernel "ritorti" (ad esempio, $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) possano salvare la costruzione per le polarizzazioni speciali.

• Sulle superfici di Burniat primarie, analizzano una specifica variante ritorta che coinvolge le curve di ramificazione.
• Dimostrano che, anche con la torsione, la costruzione fallisce per le specifiche classi speciali identificate. Il "budget" della coomologia (la dimensione del target della mappa di connessione) è insufficiente per assorbire la specialità della polarizzazione mantenendo i richiesti vanishing.

5. Rango Superiore e Selvaggiaggine
Costruendo sulla presenza di fasci di rango due, gli autori utilizzano il criterio di Faenzi–Pons-Llopis per costruire famiglie di fasci Ulrich semplici di ranghi pari superiori. Stabiliscono che le superfici di Burniat primarie sono strettamente Ulrich selvagge, migliorando i risultati precedenti fornendo conteggi dimensionali espliciti e la semplicità (invece della sola indecomposibilità).

Significato e Rivendicazioni
Il saggio rivendica due contributi principali:

1. Un Risultato Negativo: Chiarisce i limiti della costruzione di Cayley–Bacharach, provando che la non-specialità della polarizzazione è un requisito intrinseco per la forma del kernel aggiunto, non un artefatto della tecnica di prova. Ciò risolve una lacuna nella letteratura in cui la necessità di questa ipotesi non era stata esplicitamente registrata.
2. Un Risultato Positivo sulle Superfici di Burniat: Fornisce un quadro completo dei fasci Ulrich sulle superfici di Burniat primarie. Conferma che, nonostante la complessità della superficie, la geometria impone che tutte le polarizzazioni siano non-speciali, garantendo così l'esistenza di fasci speciali $\mu_H$-stabili per ogni polarizzazione. Questo contrasta con il lavoro recente di Cho [Cho26], che stabiliva la non-specialità per classi specifiche (come $3K_X$) ma non formulava il risultato globale per tutte le polarizzazioni o le conseguenze della stretta selvaggiaggine.

Gli autori notano che i loro risultati sulle superfici di Burniat si sovrappongono al lavoro di Cho riguardo al limite di grado sulle curve ellittiche, ma la loro derivazione è indipendente e conduce a conclusioni globali più forti. Evidenziano inoltre che, sebbene i loro metodi elementari (Cayley–Bacharach) falliscano per certi casi speciali (come la superficie quintica in $\mathbb{P}^3$), i fasci probabilmente esistono comunque, suggerendo che l'ostacolo sia posizionale piuttosto che numerico.