Explicit birational geometry of determinantal quartic 3-folds

Planteamiento del Problema
El artículo investiga la geometría biracional explícita de las cuárticas tridimensionales determinantes lineales en $\mathbb{P}^4$. Mientras que las cúbicas tridimensionales suaves están bien comprendidas a través de sus jacobianos intermedios y las curvas planas asociadas, el jacobiano intermedio de una cuártica suave es intrincado. Para evitar esta complejidad, los autores restringen su estudio a la familia $\mathcal{F}$ de las cuárticas determinantes lineales. Un miembro general $Y \in \mathcal{F}$ es nodal (posee 20 nodos), no-$\mathbb{Q}$-factorial y racional. El problema central es comprender la geometría biracional de estas cuárticas y su módulo mediante el análisis de la geometría extrínseca de una curva específica $C \subset \mathbb{P}^3$ de grado 10 y género 11, la cual gobierna la estructura de la cuártica a través de una resolución pequeña.

Metodología
Los autores emplean el Programa de Modelos Mínimos (MMP) en la variedad $X = \text{Bl}_C \mathbb{P}^3$, el soplado de $\mathbb{P}^3$ a lo largo de una curva suave $C$ de grado 10 y género 11. La estrategia se basa en la correspondencia entre la presentación determinante de $Y$ y la geometría de $C$.

1. Clasificación de Curvas: Los autores analizan el esquema de Hilbert $\mathcal{H}_{10,11}$ de curvas de grado 10 y género 11. Identifican un componente irreducible único cuyo punto genérico parametriza curvas suaves, irreducibles y aritméticamente Cohen-Macaulay (ACM). Además, identifican dos divisores distinguidos dentro de este componente:

   • $D_1$: El lugar de las curvas semicanónicas (que satisfacen $\omega_C \cong \mathcal{O}_C(2)$).
   • $D_2$: El lugar de las curvas contenidas en una superficie cúbica suave.
     Utilizando el módulo de Hartshorne-Rao y la teoría de enlace (liaison), demuestran que cualquier curva suave e irreducible en este esquema de Hilbert pertenece a una de estas tres clases (ACM, semicanónica o contenida en una cúbica).

2. Ejecución del MMP: Para cada clase de curvas, los autores ejecutan el MMP en $X$. Esto implica:

   • Determinar los conos nefos, efectivos y móviles de $X$.
   • Calcular la descomposición del lugar base estable (SBLD) del cono efectivo.
   • Describir explícitamente los modelos biracionales (flops, flips, contracciones divisoriales) inducidos por los divisores en estas cámaras.
   • Utilizar la geometría extrínseca de $C$ (por ejemplo, líneas secantes, contención en superficies) para describir los loci excepcionales de estos mapas.

3. Construcciones Explícitas: El artículo utiliza Macaulay2 para verificar propiedades geométricas específicas, tales como la suavidad de los divisores de ramificación y la generación de haces ideales, para asegurar que los miembros generales de las familias se comporten como se predice.

Contribuciones Clave y Resultados

• Descripción Uniforme de Modelos Biracionales: El artículo establece que la geometría biracional de $X$ está gobernada por la geometría extrínseca de $C$. El cono efectivo de $X$ posee generalmente cuatro cámaras de lugar base estable, lo que conduce a una secuencia específica de modelos biracionales.

  • Caso 1: Curvas ACM Generales ($C \in \mathcal{H}^\circ_{10,11}$):

    • El mapa anticanónico $f: X \to Y$ contrae exactamente veinte líneas de 4-secantes de $C$ hacia 20 nodos, resultando en una cuártica determinante lineal $Y \subset \mathbb{P}^4$.
    • La variedad $X$ es un espacio de sueños de Mori (Mori dream space).
    • El MMP procede mediante un flop de las 20 líneas de 4-secantes, seguido de una contracción divisorial hacia $\mathbb{P}^3$. Esto forma un enlace de Sarkisov que conecta $X$ con $\mathbb{P}^3$ y $Y$.
    • El cono efectivo está generado por el divisor excepcional $E$ y una clase de divisor rígido $40H - 11E$.

  • Caso 2: Curvas Semicanónicas ($C \in D_1$):

    • El mapa anticanónico $f_0: X \to Y_0$ es un morfismo genéricamente 2:1 sobre una tridimensional cuadrática $Y_0 \subset \mathbb{P}^4$.
    • El divisor de rama es una superficie de grado 8 con 20 nodos.
    • La geometría biracional involucra una involución galoisiana (Galois flip) en lugar de un flop estándar, reflejando la estructura de doble recubrimiento.
    • Esta especialización corresponde a una doble cuadrática racional no-$\mathbb{Q}$-factorial.

  • Caso 3: Curvas en una Superficie Cúbica ($C \in D_2$):

    • La geometría cambia significativamente: el divisor anticanónico ya no es nefos.
    • La curva $C$ posee dos líneas de 5-secantes (además de las líneas de 4-secantes).
    • El MMP involucra un "flip inverso" de las dos líneas de 5-secantes. Esto conduce a una tridimensional terminal singular $X^+$.
    • Una subsecuente contracción divisorial mapea $X^+$ a una cuártica $Y_0 \subset \mathbb{P}^4$ que es $\mathbb{Q}$-factorial pero posee una singularidad elíptica (formada por la coalescencia de diez nodos) y diez puntos dobles ordinarios.

• Implicaciones de los Módulos: Los autores muestran que la familia $\mathcal{F}$ de cuárticas determinantes lineales contiene cuárticas $\mathbb{Q}$-factoriales racionales (vía la especialización a $D_2$) y dobles cuadráticas racionales no-$\mathbb{Q}$-factoriales (vía la especialización a $D_1$). Argumentan que el jacobiano intermedio de $X$ coincide con el jacobiano de $C$, lo que implica que estas especializaciones reflejan variaciones en el módulo de la curva $C$ más que simples degeneraciones extrínsecas.

Significancia
El artículo afirma que su contribución primaria es proporcionar una descripción detallada y explícita de la geometría biracional de las cuárticas determinantes a través de la geometría extrínseca de la curva asociada $C$. Específicamente:

1. Generaliza el enlace de Sarkisov conocido para curvas ACM generales a los casos donde $C$ se especializa en curvas semicanónicas o curvas en una superficie cúbica.
2. Identifica dos divisores irreducibles en el espacio de módulos de tales cuárticas asociados con las curvas no-ACM suaves.
3. Demuestra cómo el MMP puede utilizarse para describir explícitamente la transición de una cuártica determinante general a especializaciones singulares (dobles cuadráticas y cuárticas $\mathbb{Q}$-factoriales con singularidades elípticas).
4. El trabajo sugiere que el espacio de módulos de estas cuárticas puede estudiarse a través de la geometría de la curva $C$, ofreciendo un enfoque novedoso para comprender los módulos de hipersuperficies determinantes, que de otro modo son difíciles de analizar debido a la complejidad de sus jacobianos intermedios.

Los autores señalan que, si bien el caso genérico (ACM) ya era conocido, la descripción detallada de los casos no-ACM utilizando el esquema de Hilbert y los módulos de Hartshorne-Rao es nueva. Expresan explícitamente que un análisis completo del espacio de módulos $M$ se pospone para un futuro artículo con el fin de mantener la extensión del presente trabajo.