Variation of cones of divisors in a family of varieties -- Fano type case

Resumo Técnico: Variação de Cones de Divisores em uma Família de Variedades – Caso de Tipo Fano

Enunciado do Problema
O artigo investiga o comportamento dos cones de divisores (espaços de Néron-Severi, cones nef, efetivos e móveis) e das decomposições de câmaras de Mori em uma família de variedades $f: X \to T$. Um desafio central na teoria de módulos de variedades de tipo Fano é que essas estruturas geométricas podem variar drasticamente entre as fibras. Especificamente, a dimensão do espaço de Néron-Severi $\dim N_1(X_t)$ pode não permanecer constante, e a identificação de cones entre fibras é obstruída pela monodromia.

Os autores abordam uma questão específica relativa à propriedade de "tipo Fano": Se as fibras sobre um subconjunto denso de Zariski $S \subset T$ são de tipo Fano, a variedade total $X$ (após o encolhimento de $T$) herda a propriedade de tipo Fano? Além disso, eles buscam estabelecer a invariância de deformação dos cones de divisores associados e o comportamento uniforme do Programa do Modelo Mínimo (MMP) para tais famílias, o que pode exigir uma mudança de base genericamente finita para superar a monodromia.

Metodologia
Os autores empregam uma combinação de técnicas da geometria biracional, teoria de deformação e a teoria de complementos:

1. Redução para Espaços Totais de Tipo Fano: O artigo estabelece primeiro que, se as fibras sobre um subconjunto denso de Zariski são de tipo Fano, o espaço total pode ser assumido como sendo de tipo Fano sobre $T$ (possivelmente após o encolhimento). Isso depende de resultados profundos sobre complementos limitados (especificamente [Bir19]) e da construção de pares log $\mathbb{Q}$-fatoriais $(X, \Delta)$ com $K_X + \Delta \sim_{\mathbb{Q}} 0/T$.
2. Modificações Pequenas $\mathbb{Q}$-Fatoriais: Um passo crucial envolve a construção de modificações pequenas $\mathbb{Q}$-fatoriais por fibra. Os autores provam que, sob a suposição de singularidades racionais e de o desaparecimento da cohomologia ($H^1, H^2$) nas fibras, é possível realizar uma mudança de base e encolher a base para obter uma família onde cada fibra admite uma modificação pequena $\mathbb{Q}$-fatorial que também é uma modificação do espaço total.
3. Monodromia e Mudança de Base: Para lidar com a não constância dos espaços de Néron-Severi, os autores utilizam mudanças de base genericamente finitas. Eles utilizam a trivialidade local de morfismos na topologia analítica (via lémas de isotopia de Thom) e o desaparecimento das imagens diretas superiores da camada estrutural para mostrar que, após a mudança de base, o grupo de Picard torna-se um feixe constante.
4. MMP Uniforme: Os autores analisam o Programa do Modelo Mínimo para o espaço total $X/T$ e demonstram que este induz um MMP do mesmo tipo em cada fibra $X_t$. Inversamente, eles mostram que um MMP em uma fibra pode ser levantado para o espaço total. Isso depende da finitude de modelos de contração biracional para variedades de tipo Fano (Proposição 5.1) e da preservação de contrações extremais sob restrição.

Contribuições e Resultados Principais

• Teorema 1.2 (Resposta Parcial à Questão 1.1): Os autores provam que, se as fibras sobre um subconjunto denso de Zariski são de tipo Fano, então, após o encolhimento de $T$, existe um divisor $D$ tal que $(X, D)$ possui singularidades lc e $K_X + D \sim_{\mathbb{Q}} 0/T$. Além disso, sob condições específicas (ex: fibras são klt weak Fano, pontos muito gerais, ou admitem complementos klt limitados), $X$ é de tipo Fano sobre $T$.
• Teorema 1.3 (Invariância dos Espaços de Néron-Severi): Após uma mudança de base genericamente finita e o encolhimento da base, os mapas de restrição naturais entre o espaço de Néron-Severi relativo $N_1(X/T)$ e os espaços das fibras $N_1(X_t)$ tornam-se isomorfismos. Isso estabelece que $Pic_{X/T} \otimes \mathbb{R}$ é um feixe constante.
• Teorema 1.4 (Modificações por Fibra): A existência de modificações pequenas $\mathbb{Q}$-fatoriais por fibra é estabelecida para famílias onde as fibras possuem singularidades racionais e desaparecimento de $H^1, H^2$. Isso permite a comparação de cones entre as fibras.
• Teorema 1.5 (Invariância de Deformação de Cones): Sob as condições do Teorema 1.2, o cone efetivo $Eff(X_t)$, o cone nef $Nef(X_t)$ e o cone móvel $Mov(X_t)$ são invariantes de deformação em um subconjunto de Zariski aberto. Crucialmente, a decomposição de câmaras de Mori do cone móvel também é invariante.
• Teorema 1.6 (MMP Uniforme): O artigo estabelece que o MMP se comporta uniformemente na família. Uma sequência de passos do MMP no espaço total induz a mesma sequência de passos em cada fibra, e vice-versa. Isso inclui a preservação do tipo de contração (divisorial, flip ou tipo fibra).
• Teorema 1.7 (Limitação): Como aplicação, mostra-se que o conjunto de modelos de contração biracional ($bcm(S)$) para uma família de variedades de tipo Fano é limitado. Este resultado decorre da finitude de modelos para variedades de tipo Fano e da invariância de deformação do MMP.

Significância e Alegações
O artigo afirma fornecer um arcabouço fundamental para o estudo dos módulos de variedades de tipo Fano através da linearização de suas propriedades geométricas via invariância de cones de divisores.

• Analogia com Tipo Geral: O resultado referente à propriedade de tipo Fano do espaço total é apresentado como uma analogia fraca para a invariância de plurigeneras de variedades de tipo geral.
• Justificativa de Modificações por Fibra: Os autores observam que modificações pequenas $\mathbb{Q}$-fatoriais por fibra são frequentemente usadas na literatura sem a devida justificativa; este artigo fornece a construção rigorosa necessária para famílias.
• Aplicações em Módulos: O resultado de limitação (Teorema 1.7) é significativo para o problema de módulos, pois permite a parametrização de modelos biracionais de variedades de tipo Fano.
• Limitações e Escopo: Os autores são modestos quanto ao escopo do Teorema 1.2, descrevendo-o como uma "resposta parcial" à Questão 1.1, pois requer condições específicas (como pontos muito gerais ou complementos limitados) para garantir que o espaço total seja de tipo Fano. Eles também observam que o encolhimento da base é uma operação necessária, mesmo para famílias de variedades Fano terminais $\mathbb{Q}$-fatoriais, citando contraexemplos na literatura onde a invariância falha sem tais restrições.

O artigo conclui observando que estes resultados são aplicados em um trabalho subsequente [CLLZ25] para investigar "espaços dream de Morrison-Kawamata", um híbrido de espaços dream de Mori e variedades de tipo Calabi-Yau.