Cubic fourfolds containing highly singular hyperplane sections

Resumo Técnico: Quatrifolhas Cúbicas Contendo Seções Hiperplanas Altamente Singulares

Enunciado do Problema
O artigo aborda a classificação de divisores dentro do espaço de módulos $\mathcal{C}$ de quatrifolhas cúbicas complexas suaves. Um tema central no estudo de $\mathcal{C}$ é a distinção entre quatrifolhas cúbicas "especiais" (aquelas que contêm uma superfície não homóloga a uma interseção completa, parametrizadas por divisores de Hassett) e as "não especiais". Embora os divisores de Hassett sejam bem compreendidos e ligados a construções de racionalidade, há uma escassez de equações explícitas conhecidas para divisores não-Hassett. Os autores visam construir novos divisores irredutíveis em $\mathcal{C}$ que parametrizam quatrifolhas cúbicas suaves contendo seções hiperplanares com configurações singulares específicas e altamente singulares (especificamente, singularidades com número de Tjurina total 6) e provar que esses divisores não são divisores de Hassett. Isso contribui para o objetivo mais amplo de identificar exemplos explícitos de quatrifolhas cúbicas irracionais, como garantido pela teoria dos átomos de Hodge para quatrifolhas não especiais.

Metodologia
Os autores empregam uma combinação de geometria algébrica, teoria de singularidades e teoria dos números computacional:

1. Construção Geométrica e Teoria de Deformação:

   • Os autores definem os loci $D_K \subset \mathcal{C}$ que parametrizam quatrifolhas cúbicas contendo uma seção hiperplana $Y$ com um tipo de singularidade específico $K$ (onde $K$ representa combinações de singularidades ADE ou a singularidade $T_{333}$).
   • Eles utilizam a classificação de singularidades de tríades cúbicas (seções hiperplanares) para identificar combinações com número de Tjurina total $\tau(Y) = 6$.
   • Para provar que esses loci são divisores (codimensão 1), eles analisam a teoria de deformação da seção hiperplana singular $Y$ dentro da quatrifolha ambiente $X$. Especificamente, eles examinam o mapa global-para-local $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$.
   • Utilizando exemplos explícitos construídos via o sistema de álgebra computacional MAGMA, eles demonstram que, para membros gerais desses loci, o mapa $\phi$ é injetivo. Essa injetividade implica que uma quatrifolha cúbica geral nesses loci contém apenas finitas seções hiperplanares tais, confirmando que os loci são, de fato, divisores (ou codimensão 2 para o caso $T_{333}$).

2. Verificação Computacional de Não-Especialidade (Método Addington–Auel):

   • Para provar que os divisores construídos não são divisores de Hassett (ou seja, as quatrifolhas não são especiais), os autores aplicam o método computacional desenvolvido por Addington e Auel.
   • Este método baseia-se no trabalho de van Luijk para superfícies K3. Ele envolve a seleção de uma quatrifolha cúbica específica $X$ definida sobre $\mathbb{Q}$ dentro do divisor, reduzindo-a módulo um primo (especificamente $p=2$) e contando pontos sobre corpos finitos $\mathbb{F}_{2^m}$.
   • Usando a fórmula do traço de Lefschetz, eles computam o polinômio característico $\chi(t)$ da ação de Frobenius na cohomologia étale primitiva $H^4_{\text{ét, prim}}$.
   • De acordo com o Corolário 4.3, se $\chi(t)$ for irredutível sobre $\mathbb{Q}$ e nem todos os seus coeficientes forem inteiros, a quatrifolha cúbica é não especial. Os autores implementam isso usando a biblioteca CubicLib.m para verificar essa condição para representantes explícitos de cada divisor.

Principais Contribuições e Resultados

• Construção de Novos Divisores: O artigo constrói cinco divisores irredutíveis em $\mathcal{C}$:
  • $D_{E6}$ e $D_{D6}$: Parametrizando quatrifolhas com seções hiperplanares tendo singularidades $E_6$ e $D_6$, respectivamente.
  • $D_{D5+A1}$ e $D_{D4+A2}$: Parametrizando quatrifolhas com seções hiperplanares tendo $D_5+A_1$ e $D_4+A_2$.
  • $D_{D4+2A1}$: Este locus se divide em dois componentes irredutíveis, $D^0_{D4+2A1}$ e $D^1_{D4+2A1}$, distinguidos pelo defeito $\sigma(Y)$ da seção hiperplana singular.
• Resultados de Codimensão: O locus $D_{T333}$ (parametrizando quatrifolhas com uma singularidade $T_{333}$, uma singularidade unimodular de corrank 3 e número de Tjurina 8) é provado ser uma variedade irredutível de codimensão 2 em $\mathcal{C}$.
• Classificação Não-Hassett:
  • Os autores provam que $D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$ e $D^0_{D4+2A1}$ não são divisores de Hassett.
  • Eles mostram que $D^1_{D4+2A1}$ coincide com o conhecido divisor de Hassett $C_8$ (parametrizando quatrifolhas que contêm um plano).
  • O locus de codimensão 2 $D_{T333}$ mostra-se não contido em nenhum divisor de Hassett.
• Equações Explícitas: O artigo fornece equações polinomiais explícitas para representantes de cada divisor, que podem ser usadas para gerar exemplos de quatrifolhas cúbicas irracionais.

Significância
O artigo afirma significância principalmente ao expandir o cenário conhecido de divisores não-Hassett no espaço de módulos de quatrifolhas cúbicas. Antes deste trabalho, apenas alguns poucos divisores não-Hassett eram explicitamente conhecidos (por exemplo, aqueles construídos por Ranestad–Voisin, Addington–Auel e Costa–Harvey–Kedlaya). Ao identificar cinco novos divisores irredutíveis e provar sua não-especialidade via métodos computacionais, os autores fornecem novas fontes explícitas de quatrifolhas cúbicas irracionais.

Além disso, os resultados têm implicações para o estudo de fibrados de Jacobiano intermediário compactificados. Os autores observam que o trabalho recente de Druel e Mauri [DM26] estende a construção de compactificações hiperkählerais para quatrifolhas cúbicas "muito boas"—aquelas que não contêm um plano, um scroll cúbico ou uma seção hiperplana com uma singularidade de corrank 3. Os resultados dos autores implicam que qualquer quatrifolha cúbica em $\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ é "muito boa", garantindo assim a existência de uma variedade hiperkählera projetiva suave do tipo OG10 com uma fibragem lagrangiana para essas quatrifolhas. O artigo não especula sobre aplicações futuras além dessas consequências geométricas imediatas.