Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality

Sintesi Tecnica: Fasci Vettoriali su Superfici Biellittiche: Fasci Ulrich e Grado di Irrazionalità

Enunciato del Problema
Questo articolo affronta due problemi distinti ma interconnessi riguardanti la geometria delle superfici biellittiche $S$:

1. Classificazione dei Fasci Ulrich: Determinare i caratteri di Chern (specificamente, i vettori di Mukai) dei fasci Ulrich su superfici biellittiche. Sebbene l'esistenza di fasci Ulrich di rango 2 su superfici di dimensione kodaira zero sia stabilita, una classificazione completa dei loro caratteri di Chern a seconda del tipo topologico della superficie rimane un problema aperto.
2. Grado di Irrazionalità: Calcolare il grado di irrazionalità, $\text{irr}(S)$, definito come il grado minimo di una mappa razionale genericamente finita da $S$ a $\mathbb{P}^2$. Il lavoro precedente di Yoshihara [31] ha calcolato questo invariante per tutti i tipi di superfici biellittiche tranne che per il Tipo 6.

Metodologia
L'autore impiega una combinazione di teoria degli spazi moduli, tecniche di categoria derivata e geometria algebrica classica.

• Proprietà debole di Brill-Noether: Uno strumento centrale è l'indagine sulla proprietà debole di Brill-Noether per gli spazi moduli di fogli $M_H(v)$. Uno spazio moduli soddisfa questa proprietà se un foglio generico in esso possiede al massimo un gruppo di coomologia non nullo. L'articolo stabilisce questa proprietà per i fasci lineari su superfici biellittiche, distinguendo tra i casi in cui il sottogruppo di torsione $H^2(S, \mathbb{Z})_{\text{tor}}$ è non banale (Tipi 1, 2, 3, 5) e dove è banale (Tipi 4, 6, 7).
• Spazi Moduli e Vettori Isotropi: Lo studio dei fasci Ulrich è ridotto all'analisi degli spazi moduli di fogli stabili con vettori di Mukai isotropi. L'autore sfrutta i recenti risultati di esistenza di Nuer [25] riguardanti la non vuotezza di questi spazi moduli per polarizzazioni generiche.
• Coperture Canoniche ed Étale: L'analisi utilizza frequentemente la copertura canonica $\tilde{X}$ (una superficie abeliana) e coperture étale intermedie per elevare i problemi da $S$ a un contesto in cui la geometria è meglio compresa (ad esempio, usando le proprietà dei fogli semi-omogenei su varietà abeliane).
• Grado di Irrazionalità tramite Fasci Stabili: Per calcolare $\text{irr}(S)$, l'articolo adatta un metodo sviluppato da Moretti [21] per le superfici K3. Ciò comporta la costruzione di una "coppia buona" $(E, V)$, dove $E$ è un fascio vettoriale stabile di rango 2 e $V \subset H^0(S, E)$ genera $E$ in codimensione 2. Il grado della mappa razionale indotta $\phi_V: S \dashrightarrow \mathbb{P}^2$ viene poi calcolato utilizzando la formula $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$.

Contributi Chiave e Risultati

1. Classificazione dei Fasci Ulrich (Teorema 1.3)
L'articolo fornisce una classificazione completa dei vettori di Mukai dei fasci Ulrich su superfici biellittiche polarizzate da un divisore ampio generico $H$ di classe numerica $aA_0 + bB_0$ (con $b \ge \lambda_S$). La classificazione dipende strettamente dal tipo topologico di $S$:

• Tipi 1, 2, 3, 5: Queste superfici ammettono fasci Ulrich per tutti i ranghi $r \ge 1$ con vettori di Mukai $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$ per tutti gli interi $r \le k \le 2r$. Ciò include l'esistenza di fasci lineari Ulrich.
• Tipi 4, 6, 7: Queste superfici ammettono fasci Ulrich per ogni rango $r \ge 2$, ma non ammettono fasci lineari Ulrich. Inoltre, non tutti i vettori di Mukai teorici $v_{\text{Ulrich}}(r, k)$ corrispondono ad effettivi fasci Ulrich; sorgono specifiche obstruzioni a causa dell'annullamento del sottogruppo di torsione $H^2(S, \mathbb{Z})_{\text{tor}}$. Ad esempio, le superfici di Tipo 4 mancano di fasci Ulrich con vettore di Mukai $v_{\text{Ulrich}}(3, 3)$, e le superfici di Tipo 6 mancano di quelli con $v_{\text{Ulrich}}(2, 2)$.

2. Grado di Irrazionalità (Teorema 1.5)
L'articolo dimostra che per tutte le superfici biellittiche $S$, il grado di irrazionalità soddisfa $\text{irr}(S) \le 3$.

• Questo risultato completa il lavoro di Yoshihara [31], risolvendo specificamente il caso precedentemente aperto del Tipo 6.
• La dimostrazione costruisce un particolare fascio vettoriale stabile di rango 2 $E$ con vettore di Mukai $(2, D, 3)$ dove $D$ ha classe numerica $3A_0 + 2B_0$. Dimostrando che $E$ è globalmente generato in codimensione 2, l'autore stabilisce una mappa razionale genericamente finita di grado al massimo 3.
• La strategia conferma che il limite $\text{irr}(S) \le 3$ è valido uniformemente per tutte le sette famiglie di superfici biellittiche.

Significato e Rivendicazioni
L'articolo sostiene di fornire la prima classificazione completa dei fasci Ulrich su superfici biellittiche, evidenziando come gli invarianti topologici (specificamente la torsione nella seconda coomologia) dettino l'esistenza di tali fasci. Dimostra che la proprietà debole di Brill-Noether per i fasci lineari è un determinante critico per l'esistenza di fasci lineari Ulrich.

Per quanto riguarda il grado di irrazionalità, l'articolo sostiene di risolvere la questione per le superfici biellittiche fornendo un trattamento uniforme che adatta il metodo di Moretti dalle superfici K3. Il risultato $\text{irr}(S) \le 3$ è presentato come un limite superiore definitivo per questa classe di superfici, colmando la lacuna lasciata dalla letteratura precedente. Il lavoro si basa sull'interazione tra la geometria della copertura canonica e le condizioni di stabilità dei fogli sulla superficie base, offrendo un'applicazione concreta della teoria degli spazi moduli agli invarianti birazionali.