Cubic fourfolds containing highly singular hyperplane sections

Resumen Técnico: Cuatrifolios Cúbicos que Contienen Secciones Hiperplanas Altamente Singulares

Planteamiento del Problema
El artículo aborda la clasificación de divisores dentro del espacio de módulos $\mathcal{C}$ de cuatrifolios cúbicos complejos suaves. Un tema central en el estudio de $\mathcal{C}$ es la distinción entre cuatrifolios "especiales" (aquellos que contienen una superficie no homóloga a una intersección completa, parametrizada por los divisores de Hassett) y los "no especiales". Si bien los divisores de Hassett están bien comprendidos y vinculados a construcciones de racionalidad, existe una escasez de ecuaciones explícitas conocidas para los divisores no de Hassett. Los autores pretenden construir nuevos divisores irreducibles en $\mathcal{C}$ que parametrizen cuatrifolios cúbicos suaves que contengan secciones hiperplanas con configuraciones singulares específicas y altamente singulares (específicamente, singularidades con número de Tjurina total 6) y demostrar que estos divisores no son divisores de Hassett. Esto contribuye al objetivo más amplio de identificar ejemplos explícitos de cuatrifolios irracionales, como garantiza la teoría de átomos de Hodge para cuatrifolios no especiales.

Metodología
Los autores emplean una combinación de geometría algebraica, teoría de singularidades y teoría de números computacional:

1. Construcción Geométrica y Teoría de Deformación:

   • Los autores definen los loci $D_K \subset \mathcal{C}$ que parametrizan cuatrifolios cúbicos que contienen una sección hiperplana $Y$ con un tipo de singularidad específico $K$ (donde $K$ representa combinaciones de singularidades ADE o la singularidad $T_{333}$).
   • Utilizan la clasificación de singularidades de tríadas cúbicas (secciones hiperplanas) para identificar combinaciones con un número de Tjurina total $\tau(Y) = 6$.
   • Para probar que estos loci son divisores (codimensión 1), analizan la teoría de deformación de la sección hiperplana singular $Y$ dentro del cuatrifolio ambiente $X$. Específicamente, examinan el mapa global-a-local $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$.
   • Utilizando ejemplos explícitos construidos mediante el sistema de álgebra computacional MAGMA, demuestran que para los miembros generales de estos loci, el mapa $\phi$ es inyectivo. Esta inyectividad implica que un cuatrifolio cúbico general en estos loci contiene solo finitas secciones hiperplanas de este tipo, confirmando que los loci son efectivamente divisores (o de codimensión 2 para el caso $T_{333}$).

2. Verificación Computacional de la No Especialidad (Método Addington–Auel):

   • Para probar que los divisores construidos no son divisores de Hassett (es decir, que los cuatrifolios no son especiales), los autores aplican el método computacional desarrollado por Addington y Auel.
   • Este método se basa en el trabajo de van Luijk para superficies K3. Implica seleccionar un cuatrifolio cúbico específico $X$ definido sobre $\mathbb{Q}$ dentro del divisor, reducirlo módulo un primo (específicamente $p=2$) y contar puntos sobre cuerpos finitos $\mathbb{F}_{2^m}$.
   • Utilizando la fórmula de la traza de Lefschetz, computan el polinomio característico $\chi(t)$ de la acción de Frobenius sobre la cohomología étale primitiva $H^4_{\text{ét, prim}}$.
   • De acuerdo con el Corolario 4.3, si $\chi(t)$ es irreducible sobre $\mathbb{Q}$ y no todos sus coeficientes son enteros, el cuatrifolio cúbico es no especial. Los autores implementan esto utilizando la librería CubicLib.m para verificar esta condición para representantes explícitos de cada divisor.

Contribuciones Clave y Resultados

• Construcción de Nuevos Divisores: El artículo construye cinco divisores irreducibles en $\mathcal{C}$:
  • $D_{E6}$ y $D_{D6}$: Parametrizan cuatrifolios con secciones hiperplanas que poseen singularidades $E_6$ y $D_6$, respectivamente.
  • $D_{D5+A1}$ y $D_{D4+A2}$: Parametrizan cuatrifolios con secciones hiperplanas con $D_5+A_1$ y $D_4+A_2$.
  • $D_{D4+2A1}$: Este locus se divide en dos componentes irreducibles, $D^0_{D4+2A1}$ y $D^1_{D4+2A1}$, distinguidos por el defecto $\sigma(Y)$ de la sección hiperplana singular.
• Resultados de Codimensión: Se demuestra que el locus $D_{T333}$ (que parametriza cuatrifolios con una singularidad $T_{333}$, una singularidad unimodal de corango 3 y número de Tjurina 8) es una variedad irreducible de codimensión 2 en $\mathcal{C}$.
• Clasificación de No Hassett:
  • Los autores prueban que $D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$ y $D^0_{D4+2A1}$ no son divisores de Hassett.
  • Muestran que $D^1_{D4+2A1}$ coincide con el divisor de Hassett conocido $C_8$ (que parametriza cuatrifolios que contienen un plano).
  • Se demuestra que el locus de codimensión 2 $D_{T333}$ no está contenido en ningún divisor de Hassett.
• Ecuaciones Explícitas: El artículo proporciona ecuaciones polinómicas explícitas para los representantes de cada divisor, las cuales pueden utilizarse para generar ejemplos de cuatrifolios irracionales.

Significado

El artículo reclama su importancia principalmente al expandir el panorama conocido de los divisores no de Hassett en el espacio de módulos de los cuatrifolios cúbicos. Antes de este trabajo, solo se conocían explícitamente unos pocos divisores no de Hassett (por ejemplo, aquellos construidos por Ranestad–Voisin, Addington–Auel y Costa–Harvey–Kedlaya). Al identificar cinco nuevos divisores irreducibles y probar su no especialidad mediante métodos computacionales, los autores proporcionan nuevas fuentes explícitas de cuatrifolios irracionales.

Además, los resultados tienen implicaciones para el estudio de las compactificaciones de la variedad jacobiana intermedia. Los autores señalan que el trabajo reciente de Druel y Mauri [DM26] extiende la construcción de compactificaciones hiperkähler a cuatrifolios "muy buenos"—aquellos que no contienen un plano, un scroll cúbico o una sección hiperplana con una singularidad de corango 3. Los resultados de los autores implican que cualquier cuatrifolio cúbico en $\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ es "muy bueno", garantizando así la existencia de una variedad hiperkähler proyectiva suave de tipo OG10 con una fibración lagrangiana para estos cuatrifolios. El artículo no especula sobre aplicaciones futuras más allá de estas consecuencias geométricas inmediatas.