On the Morrison-Kawamata dream space and its applications

Resumo Técnico: Sobre o Espaço Sonhador de Morrison-Kawamata e Suas Aplicações

Enunciado do Problema
O artigo aborda a necessidade de um arcabouço axiomático unificado para caracterizar variedades algébricas que satisfaçam a conjectura do cone de Morrison-Kawamata (MK). Enquanto os espaços sonhadores de Mori (MDS) fornecem uma teoria robusta para variedades de tipo Fano, e as variedades do tipo Calabi-Yau (CY) são centrais para o estudo da conjectura do cone MK, existe uma lacuna para variedades que não são nem de tipo Fano, nem estritamente do tipo Calabi-Yau. Os autores visam desenvolver uma teoria que axiomatize as propriedades das variedades que satisfazem a conjectura do cone MK, estendendo assim os resultados estruturais de MDS (como decomposições de câmaras e limitação/boundedness) para uma classe mais ampla de variedades, incluindo variedades do tipo CY e outras com divisores canônicos não triviais.

Metodologia
Os autores introduzem o conceito de espaços sonhadores de MK (MKD spaces) e espaços fibrados MKD. A metodologia baseia-se em:

1. Definição Axiomática: Definir espaços MKD via quatro condições: $Q$-factorialidade, a existência de modelos mínimos bons para todos os divisores $\mathbb{R}$-Cartier efetivos, a existência de um cone poliédrico racional $\Pi$ cujo órbita sob o grupo de pseudo-automorfismos cobre o cone móvel, e a "factorialidade local de modelos canônicos" para o cone efetivo.
2. Geometria Combinatória: Utilizar a geometria de cones convexos em espaços de Néron-Severi, especificamente a estrutura de politopos de Shokurov e a decomposição de cones em câmaras onde os modelos mínimos permanecem constantes.
3. Programa do Modelo Mínimo (MMP): Estabelecer a terminação de MMPs com escalonamento para divisores efetivos dentro da categoria de espaços fibrados MKD.
4. Deformação e Especialização: Empregar técnicas de spreading-out (espalhamento) e especialização para relacionar a geometria da fibra genérica geométrica com as fibras sobre um subconjunto de Zariski denso da base, utilizando condições de desaparecimento cohomológico ($H^1 = H^2 = 0$) para controlar o comportamento dos cones.
5. Ações de Grupos: Analisar a ação de grupos de pseudo-automorfismos ($\text{PsAut}$) e grupos de automorfismos ($\text{Aut}$) sobre cones móveis, nef e efetivos, e estendê-los para grupos de automorfismos genéricos ($\text{GAut}$) que atuam sobre cones nef genéricos.

Principais Contribuições e Resultados

• Definição e Equivalência: O artigo define espaços fibrados MKD e prova (Teorema 1.3) que, no cenário absoluto, esta noção é equivalente a um conjunto de condições que se assemelham a MDS, mas adaptadas para ações biracionais (especificamente, a existência de um domínio fundamental para o cone móvel sob pseudo-automorfismos). Isso unifica MDS e variedades do tipo CY (sob a conjectura do cone e a conjectura do modelo mínimo bom) em um único arcabouço.
• Estruturas de Câmaras:
  • Politopos de Shokurov: Os autores estabelecem que, para qualquer cone gerado por divisores efetivos onde existem modelos mínimos bons, o cone se decompõe em um número finito de câmaras poliédricas racionais onde o modelo mínimo fraco é constante (Teorema 1.4).
  • Cones Nef e Efetivos: Eles provam que o cone nef de divisores efetivos ($\text{Nef}_e$) é um cone poliédrico racional e admite um domínio fundamental poliédrico racional sob a ação do grupo de automorfismos (Teorema 1.5, Teorema 1.6).
• Estabilidade sob MMP e Contrações:
  • A classe de espaços fibrados MKD é mostrada como fechada sob modificações $Q$-fatoriais pequenas e contrações biracionais (Teorema 1.7).
  • Um $D$-MMP com escalonamento de um divisor amplo é provado como terminando com um modelo mínimo bom para qualquer divisor efetivo $D$ em um espaço fibrado MKD (Teorema 1.8).
• Invariância de Deformação:
  • O artigo estabelece a invariância de deformação genérica dos cones nef, efetivo e móvel, bem como a decomposição de câmaras de Mori, para espaços fibrados MKD (Teorema 1.10). Isso é alcançado através da estratificação da base e do uso das propriedades do cone nef genérico.
  • Os resultados mostram que o fato de a fibra genérica geométrica ser um espaço MKD implica que as fibras sobre um subconjunto de Zariski aberto são "quase" espaços MKD (Teorema 6.17), satisfazendo as necessárias conjecturas de cone e propriedades de factorialidade local.
• Limitação de Moduli (Boundedness of Moduli):
  • Aplicando os resultados de invariância de deformação, os autores provam um teorema de limitação (Teorema 1.11). Assumindo a conjectura do cone MK e a conjectura do modelo mínimo bom para variedades Calabi-Yau racionalmente conexas, eles mostram que tais variedades formam uma família limitada. Isso é alcançado construindo uma fibração onde cada tal variedade aparece como uma fibra (ou uma contração biracional da mesma).

Significância e Alegações
O artigo alega que os espaços MKD servem como uma generalização natural das variedades do tipo Calabi-Yau em geometria biracional, analogamente ao papel que os espaços sonhadores de Mori desempenham para variedades de tipo Fano. A significância reside em:

1. Unificação: Fornecer um arcabouço conceitual que estende a "colagem" das teorias locais de MDS para variedades com divisores canônicos triviais e além.
2. Provas Conceituais: Demonstrar que as provas referentes às estruturas de cones e limitação tornam-se mais conceituais quando visualizadas através da lente dos espaços MKD, em vez de depender de teoremas de desaparecimento específicos que podem não se sustentar no cenário geral.
3. Limitação (Boundedness): Resolver o problema de limitação para espaços de moduli de variedades Calabi-Yau racionalmente conexas sob a suposição da conjectura do cone MK, um resultado que depende crucialmente da invariância de deformação de cones estabelecida para espaços fibrados MKD.

Os autores observam explicitamente que, embora a teoria seja robusta, certos fenômenos patológicos (como a falta de limitação do comprimento de raios extremais no caso geral) exigem suposições específicas, como a factorialidade local de modelos canônicos. O artigo não pretende resolver a própria conjectura do cone MK, mas sim axiomatizar as consequências de sua validade para facilitar o estudo posterior de teoria de moduli e deformação.