On a conjecture of Fujino and Sato

1. O Problema

O artigo aborda questões centrais na geometria biracional de variedades toricas completas, especificamente focando nos resultados e conjecturas de Fujino e Sato (publicados em [2]). O problema central divide-se em duas partes:

• Teorema 1.1 (Fujino-Sato): Estabelece que toda variedade torica completa é biracionalmente equivalente a uma variedade torica projetiva e $\mathbb{Q}$-fatorial via um mapa que é um isomorfismo em codimensão 1.
• Conjectura 1.2 (Fujino-Sato): Propõe que qualquer variedade torica completa e $\mathbb{Q}$-fatorial pode ser conectada a uma variedade torica projetiva e $\mathbb{Q}$-fatorial através de uma sequência finita de "flips" (dobraduras), "flops" e "anti-flips".
• Limitação anterior: Os resultados anteriores de Fujino e Sato eram parciais (verificados para três-folds suaves com número de Picard $\leq 5$) e as provas eram técnicas e dependentes de dimensões específicas.

2. Metodologia

Rossi adota uma abordagem conceitual unificada baseada na teoria dos Anéis de Cox e Espaços de Sonho de Mori (Mori Dream Spaces - MDS), em vez de depender de combinatorial torica pura. A metodologia utiliza:

• Abordagem via Anel de Cox: Trata variedades toricas e generalizações como Espaços de Sonho de Mori Fracos (wMDS), onde o anel de Cox é finitamente gerado.
• Fã Secundário (GKZ): Utiliza a decomposição do cone móvel (moving cone) via o fã secundário de Gelfand-Kapranov-Zelevinsky (GKZ). Neste contexto, as diferentes modelos biracionais correspondem a "câmaras" (chambers) no fã secundário, e as operações biracionais (como flips) correspondem ao cruzamento de "paredes" (walls) entre essas câmaras.
• Generalização para wMDS: Estende a lógica do caso torico para o caso mais geral de Espaços de Sonho de Mori Fracos ($\mathbb{Q}$-fatoriais e completos), denotados como wMDS.

3. Principais Contribuições

A. Reinterpretação e Prova Concisa dos Resultados de Fujino-Sato

O autor demonstra que os teoremas de Fujino-Sato são consequências diretas e imediatas da teoria geral desenvolvida por Hu-Keel e Arzhantsev et al., quando vista através da lente do fã secundário:

• Prova do Teorema 1.1: A existência de uma resolução $\mathbb{Q}$-fatorial pequena (isomorfismo em codimensão 1) é garantida pela subdivisão simplicial do fã torico. Como toda variedade torica $\mathbb{Q}$-fatorial completa é um wMDS, e todo wMDS admite uma modificação pequena para um MDS projetivo (Teorema 2.1), a existência do modelo projetivo segue naturalmente.
• Prova da Conjectura 1.2: A conexão entre variedades não-projetivas e projetivas é explicada pela estrutura de câmaras do fã secundário. Se uma variedade $X$ não é projetiva, seu cone nef ($Nef(X)$) não é uma câmara de dimensão cheia, mas sim uma face de uma câmara de dimensão cheia associada a um modelo projetivo $X'$. O cruzamento da parede que separa $Nef(X)$ de $Nef(X')$ corresponde a um flip (ou sequência de flips), estabelecendo a conexão desejada sem restrições de dimensão ou número de Picard.

B. Generalização para Espaços de Sonho de Mori Fracos (wMDS)

A contribuição mais original do artigo é a extensão desses resultados para além do caso torico:

• Teorema 3.1: O autor prova que, para qualquer wMDS completo e $\mathbb{Q}$-fatorial não-projetivo $X$, existe um divisor de Cartier $D$ e um $D$-flip $f: X \dashrightarrow X'$ tal que $X'$ é um MDS (e, portanto, projetivo).
• Isso estabelece que o mecanismo fundamental não é a combinatorial torica, mas sim a estrutura de câmaras no cone móvel, válida para uma classe muito mais ampla de variedades algébricas.

4. Resultados Técnicos Chave

• Estrutura do Cone Móvel: O cone móvel $Mov(X)$ suporta o fã secundário. As câmaras de dimensão cheia correspondem a modelos projetivos.
• Mecanismo de Flip: Se $X$ não é projetiva, $Nef(X)$ é uma face de uma câmara $\gamma$ de dimensão cheia. A escolha de um divisor $D$ na interseção relativa do interior de $\gamma$ e o exterior de $Nef(X)$ induz um flip que leva a um modelo projetivo.
• Exemplo Computacional (Exemplo 3.2): O artigo apresenta um exemplo explícito de uma variedade torica de posto 3 (não-projetiva e não-$\mathbb{Q}$-fatorial inicialmente) derivada de um prisma.
  • Mostra-se que existem 8 resoluções $\mathbb{Q}$-fatoriais pequenas ($X_1, \dots, X_8$).
  • As resoluções $X_1, \dots, X_6$ são projetivas (suas câmaras nef são de dimensão cheia no fã secundário).
  • As resoluções $X_7, X_8$ são não-projetivas (seus cones nef são faces de dimensão menor).
  • Demonstra-se explicitamente como um flip (via um divisor $D$ específico) conecta a variedade não-projetiva $X_7$ à projetiva $X_1$.

5. Significado e Impacto

• Unificação Conceitual: O trabalho substitui provas técnicas e dependentes de dimensão por uma estrutura unificada baseada na teoria de MDS e no fã secundário.
• Generalidade: Remove restrições de dimensão e número de Picard, provando que a conjectura de Fujino-Sato é um caso particular de um fenômeno mais amplo na geometria biracional de wMDS.
• Ferramenta de Navegação: O fã secundário é apresentado como uma "ferramenta de navegação" eficiente para entender as relações entre modelos biracionais, onde o cruzamento de paredes (wall-crossing) governa as transformações (flips/flops).
• Simplicidade: O autor oferece provas "curtas e conceituais" que evitam a complexidade técnica das abordagens anteriores, tornando os resultados mais acessíveis e integrados à teoria moderna de geometria biracional.

Em resumo, Michele Rossi demonstra que a conjectura de Fujino-Sato e seus resultados relacionados são consequências naturais da teoria de Mori Dream Spaces e da decomposição do fã secundário, estendendo essa lógica para variedades não-toricas e fornecendo uma prova elegante e geral para a existência de modelos projetivos via flips.