Canonical Projectivization of Smooth Complete Toric Varieties

Resumo Técnico: Projetivização Canônica de Variedades Toricas Suaves e Completas

Enunciado do Problema
O artigo aborda uma questão fundamental na geometria torica: dada uma variedade torica suave e completa $X_\Sigma$ (definida por um leque suave e completo $\Sigma$ em um reticulado $N \cong \mathbb{Z}^n$), é possível construir uma variedade torica projetiva suave que a domine via um morfismo torico próprio e birracional? Embora a existência de tal variedade dominante seja clássica (via o Lema de Chow Torico seguido por resolução de singularidades), a abordagem clássica tipicamente passa por variedades intermediárias singulares. O desafio específico abordado aqui é se essa projetivização pode ser alcançada inteiramente através de uma sequência de variedades intermediárias suaves, onde cada morfismo é um blow-up ordinário ao longo de um centro invariante pelo toro suave. Isso relaciona-se ao problema da "fatoração estelar suave" e distingue o trabalho do Teorema de Fatoração Fraca, que permite tanto blow-ups quanto blow-downs.

Metodologia
O autor, Parsa Bakhtary, propõe um algoritmo uniforme e construtivo que refina o leque de entrada $\Sigma$ em um leque projetivo suave $\hat{\Sigma}$ em três etapas distintas. A construção é canônica uma vez que uma base ordenada do reticulado $N$ é fixada.

1. Construção do Leque de Arranjo de Paredes:
   A primeira etapa constrói um leque de referência $\mathcal{A}_\Sigma$, denominado "leque de arranjo de paredes". Para cada cone de codimensão um $\tau \in \Sigma$, o autor estende o hiperplano suporte para um hiperplano central em $N_\mathbb{R}$. O arranjo desses hiperplanos define um leque completo $\mathcal{A}_\Sigma$.

   • Propriedade: $\mathcal{A}_\Sigma$ é um leque completo e projetivo que refina $\Sigma$. No entanto, $\mathcal{A}_\Sigma$ geralmente não é suave ou simplicial.

2. Algoritmo de Adaptação de Sinais (A Etapa de Adaptação de Paredes):
   O objetivo é refinar $\Sigma$ em um leque $\Gamma(\Sigma)$ que seja "subordinado" a $\mathcal{A}_\Sigma$ (isto é, $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$) mantendo a suavidade.

   • Mecanismo: O algoritmo itera sobre os normais de parede $m_i$ que definem $\mathcal{A}_\Sigma$. Para um normal dado $m$, um cone bidimensional $\langle u, v \rangle$ é definido como "$m$-ruim" se os geradores estiverem em lados opostos do hiperplano $\ker(m)$ (isto é, $m(u) \cdot m(v) < 0$).
   • Operação: O algoritmo executa uma sequência finita de subdivisões estelares sobre cones bidimensionais $m$-ruins. Especificamente, para um cone ruim $\langle u, v \rangle$, insere-se o raio gerado por $u+v$.
   • Término: Uma função de peso $w_m(\tau) = |m(u)| + |m(v)|$ é usada para provar o término. Cada subdivisão reduz estritamente o peso máximo dos cones ruins ou reduz sua contagem.
   • Resultado: Esta etapa produz um leque suave $\Gamma(\Sigma)$ onde cada cone reside inteiramente dentro de uma única câmara do arranjo de paredes (isto é, todos os geradores de raios de qualquer cone residem no mesmo semiespaço fechado definido por cada normal de parede). Isso garante $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$. Crucialmente, cada passo é um blow-up ao longo de um centro invariante suave de codimensão dois.

3. Envoltório Baricêntrico (A Etapa de Projetividade):
   Embora $\Gamma(\Sigma)$ seja suave e refine o leque projetivo $\mathcal{A}_\Sigma$, ele não é necessariamente projetivo em si.

   • Operação: O autor aplica uma subdivisão derivada baricêntrica, denotada $\text{Bar}(\Gamma(\Sigma))$. Isso envolve inserir raios correspondentes aos baricentros (somas dos geradores) de todos os cones de dimensão $k \geq 2$, processados em ordem decrescente de dimensão.
   • Resultado: Pelo Lema 6.4, se um leque suave $\Phi$ refina um leque projetivo $\Delta$, então a subdivisão baricêntrica $\text{Bar}(\Phi)$ é projetiva. Esta etapa força a projetividade enquanto preserva a suavidade.

Principais Contribuições e Resultados

• Teorema 1.1 (Projetivização Torica Canônica): O artigo prova que para qualquer leque suave e completo $\Sigma$ em $N_\mathbb{R}$ ($n \geq 2$), existe uma sequência finita canônica de blow-ups toricos:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  tal que:

  1. $X_{\hat{\Sigma}}$ é suave e projetiva.
  2. Cada morfismo é o blow-up de um centro invariante pelo toro suave de codimensão $\geq 2$.
  3. A construção é canônica relativa a uma base ordenada do reticulado fixada.

• Uniformidade: A prova é uniforme em todas as dimensões $n$, evitando análises de casos específicas de dimensão (diferente de algumas abordagens anteriores para três-folhas não projetivas).

• Especialização em Dimensão Três: Na dimensão três, os objetos "ruins" resolvidos pela etapa de adaptação de paredes são curvas invariantes (correspondentes a cones 2-dimensionais), e a etapa baricêntrica resolve curvas invariantes e pontos fixos pelo toro (cones 3-dimensionais). Isso alinha-se com a filosofia da "curva ruim" observada em três-folhas de Moishezon não projetivas.

• Estimativas de Comprimento: O artigo fornece estimativas para o número de blow-ups necessários. O comprimento total decompõe-se em um custo de adaptação (relacionado ao número de raios adicionados para satisfazer as condições de parede) e um custo baricêntrico (relacionado ao número de cones no leque adaptado). Para três-folhas, uma fórmula específica $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$ é derivada.

Significância e Afirmações
O artigo afirma fornecer uma solução construtiva para o problema de projetivização que mantém a suavidade durante todo o processo.

• Contraste com Métodos Clássicos: Diferente do Lema de Chow Torico clássico seguido por dessingularização (que pode introduzir leques intermediários singulares), este método garante que toda variedade intermediária seja suave.
• Contraste com Fatoração Fraca: Diferente do Teorema de Fatoração Fraca (Włodarczyk), que decompõe mapas birraciais em blow-ups e blow-downs, esta construção alcança o resultado usando apenas blow-ups.
• Contraste com Modificações Q-Fatoriais: A abordagem difere de estruturas que usam flips, flops ou modificações Q-fatoriais (por exemplo, Fujino–Sato), que frequentemente resultam em variedades isomorfas em codimensão um, em vez de uma variedade dominante.
• Canonicidade: A construção é determinística uma vez que uma base do reticulado é escolhida, resolvendo as subvariedades "ruins" (aquelas que cruzam paredes de projetividade) em uma ordem sistemática.

O autor observa que a hipótese de suavidade é essencial; se o leque de entrada não for suave, a soma dos geradores $u+v$ pode não ser primitiva, impedindo a aplicação direta do algoritmo de adaptação de sinais. O trabalho é apresentado como uma construção direta e não ponderada para leques suaves, distinta de versões ponderadas de conjecturas de fatoração.