The equations of general Hassett maximal cubic fourfolds

Resumo Técnico: As Equações das Quatrovariedades Cúbicas Máximas de Hassett Gerais

Enunciado do Problema
As quatrovariedades cúbicas ocupam uma posição central na geometria algébrica moderna devido à sua teoria de Hodge complexa e ao problema da racionalidade não resolvido. Uma quatrovariedade cúbica $X \subset \mathbb{P}^5$ é denominada "especial" se o posto de seu reticulado de cohomologia algébrica $A(X)$ for pelo menos 2. Hassett estabeleceu que o lugar das quatrovariedades cúbicas especiais forma uma união de divisores irredutíveis $C_d$, indexados por um discriminante $d$ pertencente ao subconjunto de Hassett $\mathcal{H} = \{n \in \mathbb{N}_{\ge 8} : n \equiv 0, 2 \pmod 6\}$.

A interseção de todos esses divisores de Hassett, denotada $Z = \bigcap_{d \in \mathcal{H}} C_d$, representa quatrovariedades cúbicas com estruturas geométricas maximalmente ricas, denominadas "máximas de Hassett". Em trabalhos anteriores, os autores (Gal e Nuer) estabeleceram que a dimensão de $Z$ é 16 e que qualquer componente irredutível de $Z$ corresponde a um espaço de módulos $C_M$ de quatrovariedades $M$-polarizáveis, onde $M$ é um reticulado definido positivo de posto mínimo (posto 4) representando primitivamente $\mathcal{H}$. No entanto, a relação geométrica explícita entre o reticulado $M$ e as equações definidoras dessas quatrovariedades permanecia obscura. O objetivo principal desta nota é construir uma família explícita de polinômios cúbicos cujos lugares de anulação constituem uma componente irredutível de dimensão 16 de $Z$, fornecendo assim uma descrição geométrica concreta das quatrovariedades cúbicas máximas de Hassett gerais.

Metodologia
Os autores empregam uma combinação de construção geométrica, teoria de reticulados e métodos aritméticos para alcançar seus objetivos:

1. Construção Geométrica via Arranjos de Planos:
   Aproveitando um resultado fundamental de Voisin sobre a interseção de planos em quatrovariedades cúbicas, os autores definem uma família especializada $\mathcal{N}$ de quatrovariedades cúbicas contendo quatro planos ($P_1, P_2, P_3, P_4$) com um perfil de incidência específico:

   • $P_1 \cap P_2$ e $P_1 \cap P_3$ são retas.
   • $P_2 \cap P_3$ é um ponto.
   • $P_1 \cap P_4 = \emptyset$.

   Usando as relações de incidência, os autores derivam os ideais definidores desses planos em termos de formas lineares. Ao analisar a interseção desses ideais, eles constroem uma família específica de polinômios cúbicos $F$ que se anulam em todos os quatro planos. Isso leva a uma forma algébrica explícita para $F$ envolvendo parâmetros $a, b \in \mathbb{C}$.

2. Análise Dimensional:
   Os autores analisam o espaço de parâmetros de tais arranjos de planos módulo a ação de $PGL(6, \mathbb{C})$. Ao calcular a dimensão da correspondência de incidência entre arranjos de planos e quatrovariedades cúbicas, eles demonstram que a família resultante $\mathcal{N}$ tem dimensão 16, correspondendo à dimensão conhecida do lugar máximo de Hassett $Z$.

3. Verificação Aritmética via Formas ADC:
   Para provar que essa família construída $\mathcal{N}$ cobre de fato todo o lugar máximo de Hassett (ou seja, que a imagem primitiva do reticulado associado abrange todo o subconjunto de Hassett $\mathcal{H}$), os autores analisam o reticulado associado de posto 4 $L(M)$. Eles reduzem o problema a mostrar que uma forma quadrática definida positiva específica $F$ representa primitivamente todo inteiro em $\mathcal{H}$.

   Isso requer provar que a forma $F$ (e formas ternárias relacionadas) possui a propriedade ADC (Qualquer inteiro representável por um vetor racional também é representável por um vetor inteiro). Os autores:

   • Estabelecem que as formas ternárias $Q_3(x, y, z) = x^2 + y^2 + 3z^2$ e $G(x, y, z) = x^2 + 3y^2 + 3z^2$ são formas ADC.
   • Utilizam um argumento de descida geométrica generalizado (estendendo o método de Davenport-Cassels via particionamento de toro) para confirmar a propriedade ADC para formas não euclidianas.
   • Usam o teorema de Hasse-Minkowski e princípios local-global para demonstrar que a imagem da forma cobre todos os resíduos necessários módulo inteiros específicos, garantindo que todo elemento em $\mathcal{H}$ seja representado primitivamente.

Principais Contribuições e Resultados

• Equações Explícitas: O artigo fornece a primeira construção explícita de uma família de quatrovariedades cúbicas que são máximas de Hassett. O membro geral desta família é isomorfo ao lugar de anulação de um polinômio cúbico homogêneo $F$ pertencente à interseção de quatro ideais específicos:
  $$F \in (x, y, z) \cap (x, y, u) \cap (x, z, v) \cap (v - by, u - az, w)$$
  onde $x, y, z, u, v, w$ são formas lineares e $a, b \in \mathbb{C}$ são constantes.
• Confirmação Dimensional: Os autores provam que o lugar $\mathcal{N}$ definido por essas equações tem dimensão 16, confirmando que constitui uma componente irredutível do lugar máximo de Hassett $Z$.
• Maximalidade do Reticulado: Ao provar a propriedade ADC para as formas quadráticas associadas, os autores demonstram que a imagem primitiva do reticulado $L(M)$ associado a essas quatrovariedades é exatamente o subconjunto de Hassett $\mathcal{H}$. Isso confirma que a família construída é de fato "máxima de Hassett", significando que essas quatrovariedades estão na interseção de todos os divisores de Hassett $C_d$.
• Ferramenta Aritmética: O artigo contribui com um argumento de descida geométrica refinado (Apêndice A) para confirmar a propriedade ADC para formas ternárias não euclidianas específicas, um resultado técnico usado para fechar a lacuna entre a construção do reticulado e as propriedades aritméticas do subconjunto de Hassett.

Significado
O artigo afirma resolver a relação "opaca" entre o reticulado abstrato $M$ e a geometria concreta das quatrovariedades cúbicas máximas de Hassett. Ao fornecer equações polinomiais explícitas, os autores movem o estudo desses objetos máximos de um resultado de existência puramente teórico para um framework concreto e computável. O trabalho confirma que a família de dimensão 16 de quatrovariedades cúbicas definida pela interseção de ideais de planos específicos não é apenas de dimensão correta, mas também aritmeticamente completa em relação ao subconjunto de Hassett, caracterizando assim plenamente uma componente geral do lugar máximo de Hassett.