On the Fano dimension of an Enriques surface

Technische Samenvatting: Over de Fano-dimensie van een Enriques-oppervlak

Probleemstelling
Het artikel behandelt het "Fano-visitor probleem", een vraagstuk in de algebraïsche meetkunde en afgeleide categorieën dat in 2011 door Bondal werd geformuleerd. Het probleem vraagt of er voor elke gladde projectieve variëteit $X$ een gladde Fano-variëteit $Y$ bestaat en een vol en trouw functor $D(X) \hookrightarrow D(Y)$, waarbij $D(X)$ de begrensde afgeleide categorie van coherente schubben voorstelt. Als een dergelijke $Y$ bestaat, wordt $X$ een "Fano-visitor" genoemd en $Y$ een "Fano-host". De "Fano-dimensie" van $X$ wordt gedefinieerd als de minimale dimensie van dergelijke Fano-hosts.

Vooraf aan dit werk stelde Kuznetsov ([Kuz18]) vast dat een algemeen Enriques-oppervlak $S$ een Fano-visitor is voor een zesdimensionale Fano-host, terwijl nodale Enriques-oppervlakken een vierdimensionale host toelaten. Dit artikel beoogt de bovengrens voor de Fano-dimensie van een algemeen Engens-oppervlak te verlagen van zes naar vier.

Methodologie
De auteur maakt gebruik van de theorie van degeneratieloci van morfismen tussen vectorbundels en de geometrie van gestratificeerde Grassmann-bundels. De kern van de technische instrumenten omvat:

1. Degeneratieloci en Vectorbundels: De constructie rust op een algemeen morfisme $\phi: E \to F$ van vectorbundels op een gladde variëteit $X$, waarbij $E^\vee \otimes F$ globaal gegenereerd is. Het artikel maakt gebruik van de relatie tussen de degeneratieloc de $D_r(\phi)$ en de nul loci van geassocieerde secties op projectieve bundels.
2. Gestratificeerde Projectieve Bundels: Een cruciaal lemma (Lemma 2.3) stelt vast dat voor een algemeen morfisme $\phi: E \to F$ met rangen $e > f$, de nul locus $Y = V(\phi_E)$ binnen de projectieve bundel $\mathbb{P}_X(E)$ birationaal is aan $X$. Cruciaal is dat als $f = e-1$, $Y$ isomorf is aan de blow-up van $X$ langs de degeneratieloc de $D_{f-1}(\phi)$.
3. Afgeleide Categorie Inbeddingen: Het artikel past Orlovs blow-up formule en resultaten over semiorthogonale decomposities toe (specifiek [Kuz07, Stelling 8.8]) om inbeddingen van afgeleide categorieën te vestigen. Als $Y$ een blow-up is van $X$ langs een centrum $Z$, dan bevat $D(Y)$ de $D(Z)$ als een semiorthogonale component.
4. Propositie 2.4: De auteur bewijst een algemeen resultaat dat stelt dat onder specifieke condities (het verdwijnen van lagere degeneratieloci en een anti-ampleness conditie op een specifieke lijnbundel), de nul locus $Y$ van een sectie op een projectieve bundel een Fano-host is voor de degeneratieloc de $Z$.

Belangrijkste Bijdragen en Resultaten

• Constructie van een Vierdimensionale Fano-host: Het primaire resultaat (Stelling 3.1) construeert een specifieke Fano viervoud $Y$ die dient als host voor een algemeen Enriques-oppervlak $S$.

  • Geometrische Realisatie: Laat $X = \mathbb{P}^2 \times \mathbb{P}^2$. De auteur beschouwt vectorbundels $E = \mathcal{O}_X \otimes W_3$ en $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$. Een algemeen morfisme $\phi: E \to F$ definieert een algemeen Enriques-oppervlak $S$ als de eerste degeneratieloc de $D_1(\phi)$.
  • De Host-variëteit: De variëteit $Y$ is gedefinieerd als de nul locus van een sectie van de bundel $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ binnen $\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$.
  • Isomorfisme: Het artikel bewijst dat $Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$, de blow-up van $\mathbb{P}^2 \times \mathbb{P}^2$ langs het Enriques-oppervlak $S$.
  • Fano-eigenschap: Met behulp van de adjunction formule wordt aangetoond dat $Y$ een Fano-variëteit is (haar anticanonieke bundel is ampel).

• Afgeleide Categorie Decompositie: Corolarium 3.3 vestigt de semiorthogonale decompositie van de afgeleide categorie van $Y$:
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  waarbij $E_1, \dots, E_9$ exceptionele bundels zijn die voortkomen uit de exceptionele collectie van $\mathbb{P}^2 \times \mathbb{P}^2$. Dit bevestigt dat $S$ een Fano-visitor is voor $Y$.

• Invarianten en Torsie:

  • De Hodge-ruit van $Y$ is diagonaal.
  • De integrale cohomologie $H^4(Y, \mathbb{Z})$ bevat een summand die isomorf is aan de rang-tien rooster $\Lambda$ van het Enriques-oppervlak plus een $\mathbb{Z}/2\mathbb{Z}$ torsiecomponent.
  • Gevolgelijk bevat $K_0(Y)$ een 2-torsieklasse, wat impliceert dat $D(Y)$ geen volledige exceptionele collectie toelaat.

• Argument voor de Ondergrens: Het artikel betoogt dat de Fano-dimensie van een algemeen Enriques-oppervlak exact 4 is. Aangezien $S$ niet ingebed kan worden in een Fano-kromme of -oppervlak (vanwege dimensie en Hodge-theoretische beperkingen), sluit de auteur Fano-drievervouden uit. Indien een Fano-drievervoud $Y'$ een host zou zijn, zou de Picard-rang van $Y'$ ten minste 5 moeten zijn om de dimensies van de Hochschild-homologie te accommoderen. Echter, alle bekende Fano-drievervouden met een Picard-rang $\ge 5$ laten volledige exceptionele collecties toe, wat impliceert dat hun Grothendieck-groepen torsievrij zijn, wat in tegenspraak is met de aanwezigheid van 2-torsie geïnduceerd door $S$.

Betekenis
Het artikel claimt de bekende bovengrens voor de Fano-dimensie van een algemeen Enriques-oppervlak te verbeteren van 6 naar 4. Door expliciet een Fano-viervoud $Y$ te construeren die $D(S)$ als een semiorthogonale component bevat, biedt het werk een concrete oplossing voor het Fano-visitor probleem voor deze klasse van oppervlakken. De constructie benadrukt de diepe wisselwerking tussen degeneratieloci, blow-ups van producten van projectieve ruimten en afgeleide categorieën. Het resultaat versterkt ook de verbinding tussen de torsie in de Grothendieck-groep van de host en het bestaan van volledige exceptionele collecties.