The equations of general Hassett maximal cubic fourfolds

Resumen Técnico: Las Ecuaciones de las Cuatrovariedades Cúbicas Máximas de Hassett Generales

Planteamiento del Problema
Las cuatrovariedades cúbicas ocupan una posición central en la geometría algebraica moderna debido a su teoría de Hodge compleja y al problema de la racionalidad sin resolver. Una cuatrovariedad cúbica $X \subset \mathbb{P}^5$ se denomina "especial" si el rango de su retículo de cohomología algebraica $A(X)$ es al menos 2. Hassett estableció que el lugar geométrico de las cuatrovariedades cúbicas especiales forma una unión de divisores irreducibles $C_d$, indexados por un discriminante $d$ perteneciente al subconjunto de Hassett $\mathcal{H} = \{n \in \mathbb{N}_{\ge 8} : n \equiv 0, 2 \pmod 6\}$.

La intersección de todos estos divisores de Hassett, denotada $Z = \bigcap_{d \in \mathcal{H}} C_d$, representa cuatrovariedades cúbicas con estructuras geométricas máximamente ricas, denominadas "máximas de Hassett". En trabajos anteriores, los autores (Gal y Nuer) establecieron que la dimensión de $Z$ es 16 y que cualquier componente irreducible de $Z$ corresponde a un espacio de móduli $C_M$ de cuatrovariedades $M$-polarizables, donde $M$ es un retículo definido positivo de rango mínimo (rango 4) que representa primitivamente $\mathcal{H}$. Sin embargo, la relación geométrica explícita entre el retículo $M$ y las ecuaciones definitorias de estas cuatrovariedades permaneció poco clara. El objetivo principal de esta nota es construir una familia explícita de polinomios cúbicos cuyos lugares de anulación constituyan una componente irreducible de 16 dimensiones de $Z$, proporcionando así una descripción geométrica concreta de las cuatrovariedades cúbicas máximas de Hassett generales.

Metodología
Los autores emplean una combinación de construcción geométrica, teoría de retículos y métodos aritméticos para lograr sus objetivos:

1. Construcción Geométrica mediante Disposiciones de Planos:
   Aprovechando un resultado fundamental de Voisin sobre la intersección de planos en cuatrovariedades cúbicas, los autores definen una familia especializada $\mathcal{N}$ de cuatrovariedades cúbicas que contienen cuatro planos ($P_1, P_2, P_3, P_4$) con un perfil de incidencia específico:

   • $P_1 \cap P_2$ y $P_1 \cap P_3$ son líneas.
   • $P_2 \cap P_3$ es un punto.
   • $P_1 \cap P_4 = \emptyset$.

   Utilizando las relaciones de incidencia, los autores derivan los ideales definitorios para estos planos en términos de formas lineales. Al analizar la intersección de estos ideales, construyen una familia específica de polinomios cúbicos $F$ que se anulan en los cuatro planos. Esto conduce a una forma algebraica explícita para $F$ que involucra parámetros $a, b \in \mathbb{C}$.

2. Análisis Dimensional:
   Los autores analizan el espacio de parámetros de tales disposiciones de planos módulo la acción de $PGL(6, \mathbb{C})$. Al calcular la dimensión de la correspondencia de incidencia entre disposiciones de planos y cuatrovariedades cúbicas, demuestran que la familia resultante $\mathcal{N}$ tiene dimensión 16, coincidiendo con la dimensión conocida del lugar geométrico máximo de Hassett $Z$.

3. Verificación Aritmética mediante Formas ADC:
   Para probar que esta familia construida $\mathcal{N}$ cubre efectivamente todo el lugar geométrico máximo de Hassett (es decir, que la imagen primitiva del retículo asociado abarca todo el subconjunto de Hassett $\mathcal{H}$), los autores analizan el retículo asociado de rango 4 $L(M)$. Reducen el problema a demostrar que una forma cuadrática definida positiva específica $F$ representa primitivamente cada entero en $\mathcal{H}$.

   Esto requiere probar que la forma $F$ (y formas ternarias relacionadas) posee la propiedad ADC (Cualquier entero representable por un vector racional también es representable por un vector entero). Los autores:

   • Establecen que las formas ternarias $Q_3(x, y, z) = x^2 + y^2 + 3z^2$ y $G(x, y, z) = x^2 + 3y^2 + 3z^2$ son formas ADC.
   • Utilizan un argumento de descenso geométrico generalizado (extendiendo el método de Davenport-Cassels mediante partición de toros) para confirmar la propiedad ADC para formas no euclidianas.
   • Utilizan el teorema de Hasse-Minkowski y principios local-globales para demostrar que la imagen de la forma cubre todos los residuos necesarios módulo enteros específicos, asegurando que cada elemento en $\mathcal{H}$ sea representado primitivamente.

Contribuciones y Resultados Clave

• Ecuaciones Explícitas: El artículo proporciona la primera construcción explícita de una familia de cuatrovariedades cúbicas que son máximas de Hassett. El miembro general de esta familia es isomorfo al lugar de anulación de un polinomio cúbico homogéneo $F$ perteneciente a la intersección de cuatro ideales específicos:
  $$F \in (x, y, z) \cap (x, y, u) \cap (x, z, v) \cap (v - by, u - az, w)$$
  donde $x, y, z, u, v, w$ son formas lineales y $a, b \in \mathbb{C}$ son constantes.
• Confirmación Dimensional: Los autores prueban que el lugar geométrico $\mathcal{N}$ definido por estas ecuaciones tiene dimensión 16, confirmando que constituye una componente irreducible del lugar geométrico máximo de Hassett $Z$.
• Maximalidad del Retículo: Al probar la propiedad ADC para las formas cuadráticas asociadas, los autores demuestran que la imagen primitiva del retículo $L(M)$ asociado a estas cuatrovariedades es exactamente el subconjunto de Hassett $\mathcal{H}$. Esto confirma que la familia construida es efectivamente "máxima de Hassett", lo que significa que estas cuatrovariedades se encuentran en la intersección de todos los divisores de Hassett $C_d$.
• Herramienta Aritmética: El artículo contribuye con un argumento de descenso geométrico refinado (Apéndice A) para confirmar la propiedad ADC para formas ternarias no euclidianas específicas, un resultado técnico utilizado para cerrar la brecha entre la construcción del retículo y las propiedades aritméticas del subconjunto de Hassett.

Significado
El artículo afirma resolver la relación "opaca" entre el retículo abstracto $M$ y la geometría concreta de las cuatrovariedades cúbicas máximas de Hassett. Al proporcionar ecuaciones polinómicas explícitas, los autores trasladan el estudio de estos objetos máximos de un resultado de existencia puramente teórico a un marco concreto y computable. El trabajo confirma que la familia de 16 dimensiones de cuatrovariedades cúbicas definida por la intersección de ideales de planos específicos no solo tiene la dimensión correcta, sino que también es aritméticamente completa con respecto al subconjunto de Hassett, caracterizando así plenamente una componente general del lugar geométrico máximo de Hassett.