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

Technische Zusammenfassung: Vektorbindel auf bielliptischen Flächen: Ulrich-Bindel und der Grad der Irrationalität

Problemstellung
Diese Arbeit befasst sich mit zwei distinkten, aber miteinander verknüpften Problemen bezüglich der Geometrie von bielliptischen Flächen $S$:

1. Klassifizierung von Ulrich-Bindeln: Bestimmung der Chern-Charaktere (speziell der Mukai-Vektoren) von Ulrich-Bindeln auf bielliptischen Flächen. Während die Existenz von Rang-2-Ulrich-Bindeln auf Flächen mit Kodaira-Dimension Null etabliert ist, bleibt eine vollständige Klassifizierung ihrer Chern-Charaktere in Abhängigkeit vom topologischen Typ der Fläche ein offenes Problem.
2. Grad der Irrationalität: Berechnung des Grades der Irrationalität, $\text{irr}(S)$, definiert als der minimale Grad einer generisch endlichen rationalen Abbildung von $S$ nach $\mathbb{P}^2$. Vorherige Arbeiten von Yoshihara [31] berechneten diese Invariante für alle Typen bielliptischer Flächen, mit Ausnahme von Typ 6.

Methodik
Der Autor verwendet eine Kombination aus Modulirraumtheorie, Techniken der derivierten Kategorie und klassischer algebraischer Geometrie.

• Schwache Brill-Noether-Eigenschaft: Ein zentrales Werkzeug ist die Untersuchung der schwachen Brill-Noether-Eigenschaft für Moduliräume von Schälen $M_H(v)$. Ein Modulirraum erfüllt diese Eigenschaft, wenn ein allgemeiner Schale in ihm höchstens eine nicht verschwindende Kohomologiegruppe besitzt. Die Arbeit stellt diese Eigenschaft für Linienbindel auf bielliptischen Flächen fest und unterscheidet dabei zwischen Fällen, in denen die Torsionsuntergruppe $H^2(S, \mathbb{Z})_{\text{tor}}$ nicht trivial ist (Typen 1, 2, 3, 5) und solchen, in denen sie trivial ist (Typen 4, 6, 7).
• Moduliräume und isotrope Vektoren: Die Untersuchung von Ulrich-Bindeln wird auf die Analyse von Moduliräumen stabiler Schäle mit isotropen Mukai-Vektoren reduziert. Der Autor nutzt aktuelle Existenzergebnisse von Nuer [25] bezüglich der Nicht-Leere dieser Moduliräume für generische Polarisationen.
• Kanonsiche Cover und Ätale Cover: Die Analyse nutzt häufig das kanonische Cover $\tilde{X}$ (eine abelsche Fläche) und intermediäre ätale Cover, um Probleme von $S$ in einen Kontext zu heben, in dem die Geometrie besser verstanden ist (z. B. unter Verwendung von Eigenschaften semi-homogener Schäle auf abelschen Varietäten).
• Grad der Irrationalität über stabile Bindel: Zur Berechnung von $\text{irr}(S)$ adaptiert das Papier eine Methode, die von Moretti [21] für K3-Flächen entwickelt wurde. Dies beinhaltet die Konstruktion eines „guten Paares“ $(E, V)$, wobei $E$ ein stabiles Rang-2-Vektorbindel ist und $V \subset H^0(S, E)$ das Bindel in Kodimension 2 erzeugt. Der Grad der induzierten rationalen Abbildung $\phi_V: S \dashrightarrow \mathbb{P}^2$ wird dann unter Verwendung der Formel $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$ berechnet.

Wesentliche Beiträge und Ergebnisse

1. Klassifizierung von Ulrich-Bindeln (Theorem 1.3)
Das Papier liefert eine vollständige Klassifizierung der Mukai-Vektoren von Ulrich-Bindeln auf bielliptischen Flächen, die durch eine generische ample Divisor $H$ der numerischen Klasse $aA_0 + bB_0$ (mit $b \ge \lambda_S$) polarisiert sind. Die Klassifizierung hängt strikt vom topologischen Typ von $S$ ab:

• Typen 1, 2, 3, 5: Diese Flächen tragen Ulrich-Bindel für alle Ränge $r \ge 1$ mit Mukai-Vektoren $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$ für alle ganzen Zahlen $r \le k \le 2r$. Dies schließt die Existenz von Ulrich-Linienbindeln ein.
• Typen 4, 6, 7: Diese Flächen tragen Ulrich-Bindel für jeden Rang $r \ge 2$, besitzen aber keine Ulrich-Linienbindel. Zudem entsprechen nicht alle theoretischen Mukai-Vektoren $v_{\text{Ulrich}}(r, k)$ tatsächlichen Ulrich-Bindeln; spezifische Obstruktionen entstehen aufgrund des Verschwindens der Torsionsuntergruppe $H^2(S, \mathbb{Z})_{\text{tor}}$. Beispielsweise besitzen Typ-4-Flächen keine Ulrich-Bindel mit dem Mukai-Vektor $v_{\text{Ulrich}}(3, 3)$, und Typ-6-Flächen besitzen keine mit $v_{\text{Ulrich}}(2, 2)$.

2. Grad der Irrationalität (Theorem 1.5)
Das Papier beweist, dass für alle bielliptischen Flächen $S$ der Grad der Irrationalität $\text{irr}(S) \le 3$ erfüllt.

• Dieses Resultat schließt die Arbeit von Yoshihara [31] ab, indem es insbesondere den zuvor offenen Fall von Typ-6-Flächen löst.
• Der Beweis konstruiert ein spezifisches stabiles Rang-2-Vektorbindel $E$ mit dem Mukai-Vektor $(2, D, 3)$, wobei $D$ die numerische Klasse $3A_0 + 2B_0$ besitzt. Durch den Nachweis, dass $E$ in Kodimension 2 global erzeugt ist, etabliert der Autor eine generisch endliche rationale Abbildung vom Grad höchstens 3.
• Die Strategie bestätigt, dass die Schrankung $\text{irr}(S) \le 3$ einheitlich für alle sieben Familien bielliptischer Flächen gilt.

Bedeutung und Behauptungen
Das Papier beansprucht, die erste vollständige Klassifizierung von Ulrich-Bindeln auf bielliptischen Flächen geliefert zu haben, wobei hervorgehoben wird, wie die topologischen Invarianten (speziell die Torsion in der zweiten Kohomologiegruppe) die Existenz dieser Bindel bestimmen. Es zeigt auf, dass die schwache Brill-Noether-Eigenschaft für Linienbindel ein entscheidender Faktor für die Existenz von Ulrich-Linienbindeln ist.

Hinsichtlich des Grades der Irrationalität behauptet das Papier, die Frage für bielliptische Flächen geklärt zu haben, indem es eine einheitliche Behandlung bietet, die Morettis Methode für K3-Flächen adaptiert. Das Resultat $\text{irr}(S) \le 3$ wird als definitive obere Schranke für diese Klasse von Flächen präsentiert, welche die Lücke in der bisherigen Literatur schließt. Die Arbeit stützt sich auf das Zusammenspiel zwischen der Geometrie des kanonischen Covers und den Stabilitätsbedingungen der Schäle auf der Basislage und bietet eine konkrete Anwendung der Modulirraumtheorie auf birationale Invarianten.