On the Fano dimension of an Enriques surface

Resumen Técnico: Sobre la Dimensión Fano de una Superficie de Enriques

Planteamiento del Problema
El artículo aborda el "problema del visitante Fano" (Fano-visitor problem), una pregunta en geometría algebraica y categorías derivadas planteada por Bondal (2011). El problema pregunta si, para cualquier variedad proyectiva suave $X$, existe una variedad Fano suave $Y$ y un functor completo y fiel $D(X) \hookrightarrow D(Y)$, donde $D(X)$ denota la categoría derivada acotada de haces coherentes. Si tal $Y$ existe, $X$ es denominada un "visitante Fano" (Fano-visitor) y $Y$ un "anfitrión Fano" (Fano-host). La "dimensión Fano" de $X$ se define como la dimensión mínima de tales anfitriones Fano.

Antes de este trabajo, Kuznetsov ([Kuz18]) estableció que una superficie de Enriques general $S$ es un visitante Fano para un anfitrión Fano de seis dimensiones, mientras que las superficies de Enriques nodales admiten un anfitrión de cuatro dimensiones. El artículo busca reducir el límite de la dimensión Fano de una superficie de Enriques general de seis a cuatro.

Metodología
El autor emplea la teoría de los loci de degeneración de morfismos entre haces vectoriales y la geometría de fibrados de Grassmann estratificados. Las herramientas técnicas centrales incluyen:

1. Loci de Degeneración y Haces Vectoriales: La construcción se basa en un morfismo general $\phi: E \to F$ de haces vectoriales en una variedad suave $X$, donde $E^\vee \otimes F$ es globalmente generado. El artículo utiliza la relación entre el locus de degeneración $D_r(\phi)$ y los loci de ceros de secciones asociadas en fibrados proyectivos.
2. Fibrados Proyectivos Estratificados: Un lema clave (Lema 2.3) establece que para un morfismo general $\phi: E \to F$ con rangos $e > f$, el locus de ceros $Y = V(\phi_E)$ dentro del fibrado proyectivo $\mathbb{P}_X(E)$ es biracional a $X$. Crucialmente, si $f = e-1$, $Y$ es isomorfo al soplado (blow-up) de $X$ a lo largo del locus de degeneración $D_{f-1}(\phi)$.
3. Inmersiones de Categorías Derivadas: El artículo aplica la fórmula de soplado de Orlov y resultados sobre descomposiciones semiortonales (específicamente [Kuz07, Teorema 8.8]) para establecer inmersiones de categorías derivadas. Si $Y$ es un soplado de $X$ a lo largo de un centro $Z$, y $Y$ es Fano, entonces $D(Y)$ contiene $D(Z)$ como un componente semiortonal.
4. Proposición 2.4: El autor demuestra un resultado general estableciendo que, bajo condiciones específicas (el desvanecimiento de los loci de degeneración inferiores y una condición de anti-amplitud sobre un haz lineal específico), el locus de ceros $Y$ de una sección en un fibrado proyectivo es un anfitrión Fano para el locus de degeneración $Z$.

Contribuciones Clave y Resultados

• Construcción de un Anfitrión Fano de Cuatro Dimensiones: El resultado principal (Teorema 3.1) construye una variedad Fano específica $Y$ que sirve como anfitrión para una superficie de Enriques general $S$.

  • Realización Geométrica: Sea $X = \mathbb{P}^2 \times \mathbb{P}^2$. El autor considera los haces vectoriales $E = \mathcal{O}_X \otimes W_3$ y $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$. Un morfismo general $\phi: E \to F$ define una superficie de Enriques general $S$ como el primer locus de degeneración $D_1(\phi)$.
  • La Variedad Anfitriona: La variedad $Y$ se define como el locus de ceros de una sección del haz $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ dentro de $\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$.
  • Isomorfismo: El artículo demuestra que $Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$, el soplado de $\mathbb{P}^2 \times \mathbb{P}^2$ a lo largo de la superficie de Enriques $S$.
  • Propiedad Fano: Usando la fórmula de adjunción, se muestra que $Y$ es una variedad Fano (su haz anticanónico es amplio).

• Descomposición de la Categoría Derivada: El Corolario 3.3 establece la descomposición semiortonal de la categoría derivada de $Y$:
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  donde $E_1, \dots, E_9$ son haces excepcionales que surgen de la colección excepcional de $\mathbb{P}^2 \times \mathbb{P}^2$. Esto confirma que $S$ es un visitante Fano para $Y$.

• Invariantes y Torsión:

  • El diamante de Hodge de $Y$ es diagonal.
  • La cohomología integral $H^4(Y, \mathbb{Z})$ contiene un sumando isomorfo a la red de rango diez $\Lambda$ de la superficie de Enriques más un componente de torsión $\mathbb{Z}/2\mathbb{Z}$.
  • Consecuentemente, $K_0(Y)$ contiene una clase de 2-torsión, lo que implica que $D(Y)$ no admite una colección excepcional completa.

• Argumento de Límite Inferior: El artículo argumenta que la dimensión Fano de una superficie de Enriques general es exactamente 4. Dado que $S$ no puede ser embebida en una curva o superficie Fano (debido a restricciones de dimensión y de la teoría de Hodge), el autor descarta las tresvariedades Fano. Si una tresvariedad Fano $Y'$ fuera un anfitrión, su rango de Picard tendría que ser al menos 5 para acomodar las dimensiones de la homología de Hochschild; sin embargo, todas las tresvariedades Fano conocidas con rango de Picard $\ge 5$ admiten colecciones excepcionales completas, lo que implica que sus grupos de Grothendieck carecen de torsión, lo cual contradice la presencia de 2-torsión inducida por $S$.

Significado
El artículo afirma mejorar el límite conocido para la dimensión Fano de una superficie de Enriques general de 6 a 4. Al construir explícitamente una cuatrovariedad Fano $Y$ que contiene $D(S)$ como un componente semiortonal, el trabajo proporciona una solución concreta al problema del visitante Fano para esta clase de superficies. La construcción resalta la profunda interacción entre los loci de degeneración, los soplados de productos de espacios proyectivos y las categorías derivadas. El resultado también refuerza la conexión entre la torsión en el grupo de Grothendieck del anfitrión y la existencia de colecciones excepcionales completas.