A Finiteness Theorem for Quartic K3-Fibred Calabi--Yau Threefolds in Scrolls

Resumo Técnico: Um Teorema de Finitude para Calabi–Yau Trêsformas K3-Fibradas Quarticas em Scrolls

Enunciado do Problema
O artigo aborda uma forma restrita do problema de finitude de Gross referente a variedades de Calabi–Yau algébricas mínimas. Embora resultados de limitação geral para trêsformas de Calabi–Yau fibradas tenham sido estabelecidos (notadamente por Engel et al. [5]), esses resultados não fornecem classificações explícitas de vetores de peso, tipos de singularidade ou números de Hodge para famílias específicas. Este trabalho foca em trêsformas fibradas por superfícies K3 quarticas ($S_4 \subset \mathbb{P}^3$) que são realizadas como hipersuperfícies anticanônicas em "scrolls" sobre $\mathbb{P}^1$. O estudo estende-se além das famílias de "straight-scroll" previamente conhecidas (onde o espaço ambiente é um feixe $\mathbb{P}^3$ não singular) para incluir "orbifold scrolls" da forma $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$. O objetivo principal é determinar quais dessas construções de orbifold produzem trêsformas de Calabi–Yau com, no máximo, singularidades canônicas e classificar explicitamente as famílias de deformação resultantes.

Metodologia
A classificação baseia-se em uma análise combinatória de vetores de peso e na aplicação do critério de Reid–Shepherd-Barron–Tai (RSBT) para singularidades canônicas.

1. Construção Geométrica:

   • Straight Scrolls ($n=1$): O espaço ambiente é um feixe não singular $F = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(a_2) \oplus \mathcal{O}_{\mathbb{P}^1}(a_3) \oplus \mathcal{O}_{\mathbb{P}^1}(a_4))$. A trêsforma de Calabi–Yau $X$ é uma hipersuperfície anticanônica geral em $F$.
   • Orbifold Scrolls ($n \ge 2$): O espaço ambiente é o quociente $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$, onde $\mathbb{Z}_n$ atua diagonalmente nas coordenadas da fibra $[x_j]$ com pesos $m = (m_1, \dots, m_4)$ e trivialmente na base. A condição de Calabi–Yau exige a existência de um polinômio quartico $\mathbb{Z}_n$-invariante, o que impõe uma condição de congruência nos pesos.

2. Singularidades e o Critério RSBT:

   • O artigo aplica o critério RSBT aos loci fixos da ação de $\mathbb{Z}_n$ (especificamente as seções $C_j = \mathbb{P}^1 \times \{x_j=0\}$).
   • Para que o orbifold ambiente possua singularidades canônicas, a "idade" (age) da ação do grupo nos pontos fixos deve ser $\ge 1$. Para que a restrição da hipersuperfície permaneça canônica, esta condição é aguçada em uma unidade.
   • Isso leva a um sistema de condições aritméticas sobre os pesos $m_i$ e a ordem $n$:
     $$m_2 + m_3 + m_4 \equiv \beta \pmod n$$
     $$m_2 + m_3 + m_4 \ge n + 1$$
     onde $\beta$ é o peso do quartico invariante.

3. Bem-formação (Well-Formedness):

   • Uma restrição crucial é a "bem-formação", que exclui casos onde três ou mais pesos são congruentes módulo $n$. Tais casos correspondem a reflexões quase-quáticas na ação do grupo, que fixam um divisor (codimensão 1) em vez de uma curva, levando a singularidades não canônicas ou à falha da condição de Calabi–Yau (dimensão de Kodaira negativa).

4. Computação do Número de Hodge:

   • Para casos suaves, $h^{1,1}$ é determinado pelo teorema da hipersuperfície de Lefschetz.
   • Para casos de orbifold, $h^{2,1}$ é computado contando a dimensão do espaço de polinômios invariantes do grau apropriado módulo os automorfismos do espaço ambiente.
   • $h^{1,1}$ é corrigido por contribuições dos "setores torcidos" (curvas fixas) onde a idade é $\le 1$, correspondendo a divisores excepcionais em uma resolução crepante.

Contribuições Principais e Resultados

1. Teorema de Finitude: O artigo prova que, para qualquer ordem $n$ fixa, o conjunto de vetores de peso admissíveis $C_n$ que produzem trêsformas de Calabi–Yau K3-fibradas quarticas canônicas é finito.

2. Classificação Completa para $n=1, 2, 3$:

   • $n=1$ (Straight Scrolls): Reconfirma a existência de exatamente 10 famílias (como encontrado em trabalhos anteriores [12, 13, 14]), listadas na Tabela 1.
   • $n=2$: Identifica exatamente 1 família com vetor de peso $(1, 1, 1)$ (módulo 2), correspondendo ao quociente de $X(2,4)$ por $x_j \mapsto -x_j$.
   • $n=3$: Identifica 3 famílias válidas entre 4 candidatas. A candidata $(0, 2, 2, 2)$ é descartada devido à falta de bem-formação (coincidência tripla de pesos). As famílias válidas correspondem aos pesos $(0, 0, 2, 2)$, $(0, 1, 1, 2)$ e $(0, 1, 2, 2)$.
   • Total: O estudo produz 14 famílias de deformação distintas de trêsformas de Calabi–Yau K3-fibradas quarticas canônicas.

3. Dados Explícitos de Hodge:

   • O artigo computa os números de Hodge completos $(h^{1,1}, h^{2,1})$ para todas as 14 famílias.
   • Para as famílias de $n=3$, os resultados são:
     • Família 1 $(0,0,2,2)$: $(5, 23)$
     • Família 2 $(0,1,1,2)$: $(6, 34)$
     • Família 3 $(0,1,2,2)$: $(4, 34)$
   • O artigo observa que, embora a Família 2 compartilhe números de Hodge com certas variedades CICY (Calabi–Yau de Interseção Completa), as construções são distintas (hipersuperfície em um stack singular vs. interseção completa suave), e a correspondência dos números é uma coincidência numérica, não evidência de isomorfismo.

Significância
Este artigo fornece a primeira classificação explícita e efetiva desta classe específica de trêsformas de Calabi–Yau. Embora teoremas de limitação geral (ex: [5]) garantam a existência de um limite para os invariantes de trêsformas de Calabi–Yau fibradas, eles não fornecem os vetores de peso específicos, tipos de singularidade ou dados de Hodge. Este trabalho preenche essa lacuna para o caso de trêsformas K3-fibradas quarticas em (orbifold) scrolls sobre $\mathbb{P}^1$.

A significância reside na transição de uma limitação abstrata para uma enumeração concreta. Ao aproveitar a rigidez da base $\mathbb{P}^1$ e a natureza combinatória do critério RSBT, o autor reduz um problema geométrico complexo a um sistema de desigualdades aritméticas solucionável. Os resultados resolvem a questão da existência para estas construções específicas de orbifold e fornecem um conjunto completo de dados de 14 famílias, incluindo suas estruturas de singularidade e invariantes topológicos, servindo como uma referência fundamental para estudos posteriores de trêsformas de Calabi–Yau de baixo grau fibradas por K3.

Questões em Aberto
O artigo nota explicitamente que não determina se a ordem $n$ em si é limitada através de todas as construções possíveis; ele prova apenas que, para qualquer $n$ fixo, o número de famílias é finito. Estender a classificação além de $n=3$ e resolver a limitação de $n$ permanecem como problemas abertos.