Explicit birational geometry of determinantal quartic 3-folds

Enunciado do Problema
O artigo investiga a geometria biracional explícita de quarticas três-variedades determinanteis lineares em $\mathbb{P}^4$. Enquanto as cúbicas três-variedades suaves são bem compreendidas através de seus jacobianos intermediários e curvas planas associadas, o jacobiano intermediário de uma quartica suave é intrincado. Para contornar essa complexidade, os autores restringem seu estudo à família $\mathcal{F}$ das quarticas determinanteis lineares. Um membro geral $Y \in \mathcal{F}$ é nodal (possuindo 20 nós), não-$\mathbb{Q}$-fatorial e racional. O problema central é compreender a geometria biracional dessas quarticas e seu módulo através da análise da geometria extrínseca de uma curva específica $C \subset \mathbb{P}^3$ de grau 10 e gênero 11, que governa a estrutura da quartica via uma resolução pequena.

Metodologia
Os autores empregam o Programa do Modelo Mínimo (MMP) na variedade $X = \text{Bl}_C \mathbb{P}^3$, o blow-up de $\mathbb{P}^3$ ao longo de uma curva suave $C$ de grau 10 e gênero 11. A estratégia baseia-se na correspondência entre a apresentação determinante de $Y$ e a geometria de $C$.

1. Classificação de Curvas: Os autores analisam o esquema de Hilbert $\mathcal{H}_{10,11}$ de curvas de grau 10 e gênero 11. Eles identificam um componente irredutível único cujo ponto genérico parametriza curvas suaves, irredutíveis e aritmeticamente Cohen-Macaulay (ACM). Eles identificam adicionalmente dois divisores distintos dentro deste componente:

   • $D_1$: O lócus de curvas semicanônicas (satisfazendo $\omega_C \cong \mathcal{O}_C(2)$).
   • $D_2$: O lócus de curvas contidas em uma superfície cúbica suave.
     Usando o módulo de Hartshorne-Rao e a teoria de ligação (liaison), eles provam que qualquer curva suave irredutível neste esquema de Hilbert pertence a uma destas três classes (ACM, semicanônica ou contida em uma superfície).

2. Execução do MMP: Para cada classe de curvas, os autores executam o MMP em $X$. Isso envolve:

   • Determinar os cones nef, efetivo e móvel de $X$.
   • Computar a decomposição do lócus base estável (SBLD) do cone efetivo.
   • Descrever explicitamente os modelos biracionais (flops, flips, contrações divisoriais) induzidos por divisores nestes câmaras.
   • Utilizar a geometria extrínseca de $C$ (por exemplo, secantes lineares, contenção em superfícies) para descrever os lócus excepcionais destes mapas.

3. Construções Explícitas: O artigo utiliza Macaulay2 para verificar propriedades geométricas específicas, tais como a suavidade de divisores de ramificação e a geração de feixes ideais, para garantir que os membros gerais das famílias se comportem conforme o previsto.

Contribuições Principais e Resultados

• Descrição Uniforme de Modelos Biracionais: O artigo estabelece que a geometria biracional de $X$ é governada pela geometria extrínseca de $C$. O cone efetivo de $X$ geralmente possui quatro câmaras de lócus base estável, levando a uma sequência específica de modelos biracionais.

  • Caso 1: Curvas ACM Gerais ($C \in \mathcal{H}^\circ_{10,11}$):

    • O mapa anticanônico $f: X \to Y$ contrai exatamente vinte linhas 4-secantes de $C$ para 20 nós, resultando em uma quartica determinante linar $Y \subset \mathbb{P}^4$.
    • A variedade $X$ é um espaço dos sonhos de Mori (Mori dream space).
    • O MMP procede via um flop das 20 linhas 4-secantes, seguido por uma contração divisorial para $\mathbb{P}^3$. Isso forma um elo de Sarkisov conectando $X$ a $\mathbb{P}^3$ e $Y$.
    • O cone efetivo é gerado pelo divisor excepcional $E$ e uma classe de divisor rígido $40H - 11E$.

  • Caso 2: Curvas Semicanônicas ($C \in D_1$):

    • O mapa anticanônico $f_0: X \to Y_0$ é um morfismo genericamente 2:1 sobre uma três-variedade quadrica $Y_0 \subset \mathbb{P}^4$.
    • O divisor de ramificação é uma superfície de grau 8 com 20 nós.
    • A geometria biracional envolve uma involução galoisiana (Galois flip) em vez de um flop padrão, refletindo a estrutura de cobertura dupla.
    • Esta especialização corresponde a uma dupla quadrica racional não-$\mathbb{Q}$-fatorial.

  • Caso 3: Curvas em uma Superfície Cúbica ($C \in D_2$):

    • A geometria muda significamente: o divisor anticanônico não é mais nef.
    • A curva $C$ possui duas linhas 5-secantes (além das linhas 4-secantes).
    • O MMP envolve um "flip inverso" das duas linhas 5-secantes. Isso leva a uma três-variedade terminal singular $X^+$.
    • Uma contração divisorial subsequente mapeia $X^+$ para uma quartica $Y_0 \subset \mathbb{P}^4$ que é $\mathbb{Q}$-fatorial, mas possui uma singularidade elíptica (formada pela coalescência de dez nós) e dez pontos duplos ordinários.

• Implicações de Módulo: Os autores mostram que a família $\mathcal{F}$ das quarticas determinanteis lineares contém quarticas racionais $\mathbb{Q}$-fatoriais (via especialização para $D_2$) e dupla quadricas racionais não-$\mathbb{Q}$-fatoriais (via especialização para $D_1$). Eles argumentam que o jacobiano intermediário de $X$ coincide com o jacobiano de $C$, implicando que estas especializações refletem variações no módulo da curva $C$ e não apenas degenerações extrínsecas.

Significância
O artigo afirma que sua principal contribuição é fornecer uma descrição detalhada e explícita da geometria biracional de quarticas determinanteis através da geometria extrínseca da curva $C$ associada. Especificamente:

1. Ele generaliza o elo de Sarkisov conhecido para curvas ACM gerais para os casos onde $C$ se especializa em curvas semicanônicas ou curvas em uma superfície cúbica.
2. Identifica dois divisores irredutíveis no espaço de módulos de tais quarticas associados às curvas não-ACM suaves.
3. Demonstra como o MMP pode ser usado para descrever explicitamente a transição de uma quartica determinante linar geral para especializações singulares (duplas quadricas e quarticas $\mathbb{Q}$-fatoriais com singularidades elípticas).
4. O trabalho sugere que o espaço de módulos destas quarticas pode ser estudado através da geometria da curva $C$, oferecendo uma abordagem novel para entender o módulo de hipersuperfícies determinanteis, que de outra forma seriam difíceis de analisar devido à complexidade de seus jacobianos intermediários.

Os autores observam que, embora o caso genérico (ACM) já fosse conhecido, a descrição detalhada dos casos não-ACM usando o esquema de Hilbert e os módulos de Hartshorne-Rao é nova. Eles declaram explicitamente que uma análise completa do espaço de módulos $M$ é adiada para um trabalho futuro para manter a extensão do presente trabalho.