The number of smooth varieties in an MMP on a 3-fold of Fano type

Resumo Técnico: O Número de Variedades Suaves em um MMP de um Trifold de Tipo Fano

Enunciado do Problema
O Programa do Modelo Mínimo (MMP) para tríades frequentemente produz variedades singulares, ao contrário do caso das superfícies, onde os resultados costumam permanecer suaves. Isso torna necessária o estudo de singularidades como tipos terminais, kawamata log terminal (klt) e log canônicos. Uma questão natural é sobre a frequência de variedades suaves geradas durante a execução de um MMP em um tríade de tipo Fano. Especificamente, este artigo investiga quantas variedades suaves podem aparecer em um $D$-MMP (onde $D$ é um divisor $\mathbb{Q}$-Cartier móvel) em um tríade $X$ de tipo Fano. Trabalhos anteriores de [Ben85] estabeleceram que, se $D = -K_X$, nenhuma variedade suave além de $X$ própria aparece em um $-K_X$-MMP. Este artigo generaliza o problema para um divisor móvel $D$ arbitrário.

Metodologia
A prova do teorema principal segue uma estrutura de quatro etapas, adaptando-se estritamente ao argumento encontrado em [Kim24, Teorema 1.4]. A metodologia baseia-se na interação entre invariantes cohomológicos e as propriedades geométricas de flips dentro do MMP.

1. Configuração e Redução a Flips: O autor primeiro estabelece que, para um divisor móvel $D$ em uma variedade projetiva normal, qualquer $D$-MMP consiste exclusivamente de flips (Lema 2.4). Isso ocorre porque contrações divisoriais contradiriam a mobilidade da transformada estrita de $D$. A prova prossegue analisando uma sequência de flips $X_0 \dashrightarrow X_1 \dashrightarrow \dots \dashrightarrow X_n$. Mostra-se que, se a variedade inicial $X$ é de tipo Fano, todas as variedades subsequentes $X_i$ no MMP permanecem de tipo Fano.

2. Monotonicidade Cohomológica: O núcleo do argumento envolve a definição de uma sequência de inteiros $d_i = h^1(X_i, \mathcal{O}_{X_i}(2mD_i))$, onde $D_i$ é a transformada estrita de $D$ em $X_i$. Utilizando sequências espectrais de Leray, resoluções de flips e teoremas de desaparecimento (especificamente o Lema 2.8 e o teorema de desaparecimento de Kawamata-Viehweg relativo), o autor prova que esta sequência é não-crescente: $d_{i-1} \geq d_i$.

3. Condição de Decréscimo Estrito: O artigo estabelece uma ligação crítica entre a suavidade (ou a propriedade de Cartier) do divisor e a sequência cohomológica. Prova-se que, se $d_{i-1} = d_i$, então $mD_i$ não pode ser Cartier. Esta etapa utiliza as propriedades da contração de flip $\phi_i$, o desaparecimento de imagens diretas superiores e um argumento de contradição envolvendo curvas racionais contraídas pelo flip. Especificamente, se $mD_{i-1}$ fosse Cartier, seria possível construir uma curva racional $C$ onde a restrição do fibrado de linha levaria a um grupo de cohomologia que é conhecido por ser nulo para fibrados anti-amplos em $\mathbb{P}^1$.

4. Limitando a Contagem: Ao combinar a monotonicidade ($d_{i-1} \geq d_i$) com a condição de decréscimo estrito (se $mD_i$ é Cartier, então $d_{i-1} > d_i$), o autor limita o número de índices $i$ para os quais $mD_i$ é Cartier. Como a sequência $d_i$ consiste de inteiros não-negativos e começa em $h^1(X, 2mD)$, o número de decréscimos estritos não pode exceder o valor inicial.

Principais Contribuições e Resultados

• Teorema 1.1: Para um tríade $X$ de tipo Fano e um divisor $\mathbb{Q}$-Cartier Weil móvel $D$, o número de variedades $X_i$ em um $D$-MMP onde $mD_i$ é Cartier é limitado por $1 + h^1(X, \mathcal{O}_X(2mD))$.
• Corolário 1.2: Uma consequência direta do Teorema 1.1 é que o número de variedades suaves em tal MMP é limitado por $1 + h^1(X, \mathcal{O}_X(2D))$. Isto ocorre porque, em uma variedade suave, todo divisor de Weil é Cartier.
• Corolário 1.3 (Converso Parcial ao Desaparecimento de Kodaira): O artigo prova um inverso parcial ao teorema de desaparecimento de Kodaira para divisores móveis em tríades de tipo Fano. Ele afirma que, se $X$ é de tipo Fano, $D$ é um divisor $\mathbb{Q}$-Cartier Weil móvel e $H^1(X, \mathcal{O}_X(mD)) = 0$ para qualquer $m$ suficientemente divisível, então $D$ é nef. A prova utiliza o fato de que, se $D$ não fosse nef, um $D$-MMP terminaria de forma não trivial, contradizendo a hipótese de desaparecimento via Teorema 1.1.

Significância e Alegações
O artigo afirma fornecer um limite quantitativo para a ocorrência de variedades suaves no MMP para tríades de tipo Fano, estendendo os resultados conhecidos para o caso anticanônico para divisores móveis gerais. A significância reside em conectar a propriedade geométrica de suavidade (ou a propriedade de Cartier de divisores) ao invariante cohomológico $h^1(X, 2D)$.

Além disso, o artigo apresenta o Corolário 1.3 como um inverso parcial ao teorema de desaparecimento de Kodaira. Enquanto o teorema de desaparecimento de Kodaira padrão afirma que divisores nef em variedades de tipo Fano possuem desaparecimento de cohomologia superior, este resultado sugere que, para divisores móveis, o desaparecimento de $H^1$ é suficiente para garantir a nefidade. O autor observa que a suposição de mobilidade é essencial, fornecendo um contraexemplo (Observação 3.1) envolvendo uma explosão (blow-up) de $\mathbb{P}^3$ onde um divisor não-nef satisfaz a condição de desaparecimento cohomológico, mas falha em ser móvel.

O trabalho baseia-se em técnicas estabelecidas do MMP, incluindo o Lema da Negatividade, resolução de singularidades e teoremas de desaparecimento, sintetizando-as para abordar a questão específica da frequência de suavidade em MMPs de tríades.