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

Technische Samenvatting: Vectorbundels op Bielliptische Oppervlakken: Ulrich-bundels en Graad van Irrationaliteit

Probleemstelling
Dit artikel behandelt twee afzonderlijke maar onderling verbonden problemen met betrekking tot de geometrie van bielliptische oppervlakken $S$:

1. Classificatie van Ulrich-bundels: Het bepalen van de Chern-karakters (specifiek de Mukai-vectoren) van Ulrich-bundels op bielliptische oppervlakken. Hoewel de existentie van rank 2 Ulrich-bundels op oppervlakken met Kodaira-dimensie nul is vastgesteld, blijft een volledige classificatie van hun Chern-karakters, afhankelijk van het topologische type van het oppervlak, een openstaand probleem.
2. Graad van Irrationaliteit: Het berekenen van de graad van irrationaliteit, $\text{irr}(S)$, gedefinieerd als de minimale graad van een generiek eindige rationale afbeelding van $S$ naar $\mathbb{P}^2$. Voorgaand werk door Yoshihara [31] berekende deze invariant voor alle typen bielliptische oppervlakken, behalve voor Type 6.

Methodologie
De auteur maakt gebruik van een combinatie van moduli-ruimte theorie, afgeleide categorie technieken en klassieke algebraïsche geometrie.

• Zwakke Brill-Noether Eigenschap: Een centraal instrument is het onderzoek naar de zwakke Brill-Noether eigenschap voor moduli-ruimten van schéven $M_H(v)$. Een moduli-ruimte voldoet aan deze eigenschap als een algemene schéef ten hoogste één niet-nul cohomologiegroep heeft. Het artikel stelt deze eigenschap vast voor lijnbundels op bielliptische oppervlakken, waarbij onderscheid wordt gemaakt tussen gevallen waar de torsiegroep $H^2(S, \mathbb{Z})_{\text{tor}}$ niet-triviaal is (Typen 1, 2, 3, 5) en gevallen waar deze triviaal is (Typen 4, 6, 7).
• Moduli-ruimten en Isotrope Vectoren: De studie van Ulrich-bundels wordt gereduceerd tot de analyse van moduli-ruimten van stabiele schéven met isotrope Mukai-vectoren. De auteur maakt gebruik van recente existentie-resultaten door Nuer [25] betreffende de niet-leegheid van deze moduli-ruimten voor generieke polarisaties.
• Canonieke Covers en Étale Covers: De analyse maakt veelvuldig gebruik van de canonieke cover $\tilde{X}$ (een abeliaans oppervlak) en tussenliggende étale covers om problemen van $S$ te liften naar een setting waar de geometrie beter begrepen wordt (bijvoorbeeld door gebruik te maken van eigenschappen van semi-homogene schéven op abeliaanse variëteiten).
• Graad van Irrationaliteit via Stabiele Bundels: Om $\text{irr}(S)$ te berekenen, past de auteur een methode toe die is ontwikkeld door Moretti [21] voor K3-oppervlakken. Dit behelst het construeren van een "goede paar" $(E, V)$, waarbij $E$ een stabiele rank 2 vectorbundel is en $V \subset H^0(S, E)$ de bundel $E$ genereert in codimensie 2. De graad van de geïnduceerde rationale afbeelding $\phi_V: S \dashrightarrow \mathbb{P}^2$ wordt vervolgens berekend met de formule $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$.

Belangrijkste Bijdragen en Resultaten

1. Classificatie van Ulrich-bundels (Stelling 1.3)
Het artikel biedt een volledige classificatie van de Mukai-vectoren van Ulrich-bundels op bielliptische oppervlakken gepolariseerd door een generieke ample divisor $H$ van numerieke klasse $aA_0 + bB_0$ (met $b \ge \lambda_S$). De classificatie hangt strikt af van het topologische type van $S$:

• Typen 1, 2, 3, 5: Deze oppervlakken bevatten Ulrich-bundels voor alle rangen $r \ge 1$ met Mukai-vectoren $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$ voor alle gehele getallen $r \le k \le 2r$. Dit omvat de existentie van Ulrich lijnbundels.
• Typen 4, 6, 7: Deze oppervlakken bevatten Ulrich-bundels voor elke rang $r \ge 2$, maar zij bevatten geen Ulrich lijnbundels. Bovendien komen niet alle theoretische Mukai-vectoren $v_{\text{Ulrich}}(r, k)$ overeen met werkelijke Ulrich-bundels; er doen specifieke obstructies zich voor door het verdwijnen van de torsiegroep $H^2(S, \mathbb{Z})_{\text{tor}}$. Bijvoorbeeld, Type 4 oppervlakken missen Ulrich-bundels met Mukai-vector $v_{\text{Ulrich}}(3, 3)$, en Type 6 oppervlakken missen die van $v_{\text{Ulrich}}(2, 2)$.

2. Graad van Irrationaliteit (Stelling 1.5)
Het artikel bewijst dat voor alle bielliptische oppervlakken $S$, de graad van irrationaliteit voldoet aan $\text{irr}(S) \le 3$.

• Dit resultaat voltooit het werk van Yoshihara [31], en lost specifiek de voorheen openstaande casus van Type 6 oppervlakken op.
• Het bewijs construeert een specifieke stabiele rank 2 vectorbundel $E$ met Mukai-vector $(2, D, 3)$ waarbij $D$ de numerieke klasse $3A_0 + 2B_0$ heeft. Door aan te tonen dat $E$ globaal gegenereerd is in codimensie 2, vestigt de auteur een generiek eindige rationale afbeelding van graad ten hoogste 3.
• De strategie bevestigt dat de bovengrens $\text{irr}(S) \le 3$ uniform geldt voor alle zeven families van bielliptische oppervlakken.

Betekenis en Claims
Het artikel claimt de eerste volledige classificatie van Ulrich-bundels op bielliptische oppervlakken te bieden, waarbij wordt benadrukt hoe de topologische invarianten (specifiek de torsie in de tweede cohomologiegroep) de existentie van deze bundels dicteren. Het demonstreert dat de zwakke Brill-Noether eigenschap voor lijnbundels een kritieke determinant is voor de existentie van Ulrich lijnbundels.

Wat betreft de graad van irrationaliteit, claimt het artikel de vraag voor bielliptische oppervlakken te hebben beslecht door een uniforme behandeling te bieden die de methode van Moretti voor K3-oppervlakken aanpast. Het resultaat $\text{irr}(S) \le 3$ wordt gepresenteerd als een definitieve bovengrens voor deze klasse van oppervlakken, waarmee de kloof in de eerdere literatuur wordt gedicht. Het werk steunt op de wisselwerking tussen de geometrie van de canonieke cover en de stabiliteitscondities van schéven op het basisoppervlak, wat een concrete toepassing vormt van moduli-ruimte theorie op birationale invarianten.