Recent progress on the Minimal Model Program for foliations

Resumo Técnico: Progresso Recente no Programa de Modelo Mínimo para Folheações

1. Problema e Contexto

O artigo aborda a geometria biracional de folheações em variedades complexas, focando na adaptação do Programa de Modelo Mínimo (MMP) para o contexto de folheações.

• O Desafio Central: Enquanto o MMP clássico para variedades (controlado pelo divisor canônico $K_X$) é bem estabelecido, a extensão para folheações (controlado pelo divisor canônico da folheação $K_{\mathcal{F}}$) apresenta obstáculos fundamentais.
• Dificuldades Específicas:
  1. Resolução de Singularidades: Diferente de variedades, não é possível resolver singularidades de uma folheação para torná-la suave apenas através de uma sequência de blow-ups (explosões). O processo de explosão pode criar novas singularidades. O objetivo deve ser a redução das singularidades a uma classe distinguida (como singularidades canônicas), e não a resolução total.
  2. Teorema do Ponto Livre: O teorema que garante a existência de mapas biracionais para modelos minimais (Base Point Free Theorem) não é válido na mesma generalidade para folheações. Isso dificulta a construção de flips (dobras) em dimensões três e superiores.
  3. Fenômenos Novos: A geometria das folhas da folheação introduz comportamentos que não têm análogos diretos na teoria de variedades, exigindo novas ferramentas.

2. Metodologia e Ferramentas Principais

Os autores desenvolvem e sistematizam uma abordagem baseada em três pilares técnicos:

• Definição de Singularidades e Discrepância:

  • Introduzem a noção de discrepância $a(E, \mathcal{F}, \Delta)$ para pares de folheações, definindo classes de singularidades: terminal, canônica e log canônica.
  • Estabelecem critérios para singularidades de folheações de posto 1 (geradas por campos vetoriais), mostrando que uma folheação é log canônica se e somente se a parte semissimples de seu campo vetorial (decomposição de Jordan) não for nilpotente.

• Adjunção para Folheações (Adjunction):

  • Esta é a ferramenta central do artigo. Para um divisor $D$ em uma variedade $X$ com folheação $\mathcal{F}$, eles derivam uma fórmula de adjunção:
    $$(K_{\mathcal{F}} + \epsilon(D)D)|_D \sim K_{\mathcal{F}_D} + \text{Diff}_D(\mathcal{F})$$
    Onde:
    • $\epsilon(D) = 0$ se $D$ é invariante pela folheação, e $1$ caso contrário.
    • $\mathcal{F}_D$ é a folheação restrita a $D$.
    • $\text{Diff}_D(\mathcal{F})$ é um termo de correção efetivo (o "diferente").
  • Esta fórmula permite traduzir negatividade numérica em $X$ para restrições concretas em subvariedades e comparar singularidades entre a variedade e o divisor.

• Estabilidade e Folheações Integráveis Algebricamente:

  • Utilizam o Teorema de Estabilidade de Reeb para curvas invariantes.
  • Exploram a conexão entre folheações integráveis algebricamente e morfismos toroidais, permitindo a redução de singularidades para classes bem compreendidas (singularidades toroidais).

3. Resultados Principais

A. Folheações em Superfícies (Dimensão 2):

• Os autores recuperam e simplificam o Programa de Modelo Mínimo desenvolvido por McQuillan ([McQ08]).
• Demonstram que, para folheações de posto 1 com singularidades canônicas em superfícies, é possível executar o MMP: ou a folheação é biracionalmente equivalente a uma fibração em curvas racionais, ou existe um modelo mínimo onde $K_{\mathcal{F}}$ é nef (nef = não negativo em todas as curvas).
• Estrutura do Modelo Mínimo: Para folheações de tipo geral ($K_{\mathcal{F}}$ é "big"), o modelo mínimo pode conter estruturas especiais chamadas folhas Gorenstein elípticas (elliptic Gorenstein leaves).
• Não Finitude: Um resultado crucial é que o anel de seções $R(X, K_{\mathcal{F}})$ não é necessariamente finitamente gerado em superfícies, devido à existência dessas folhas elípticas. Isso contrasta com o caso clássico de variedades, onde a finitude é garantida ([BCHM10]).

B. Folheações em Dimensão Superior (Foco em 3D):

• Existência de Flips: O maior avanço reportado é a prova da existência de flips para folheações de posto 1 e de corosto 1 em trêsfolds (variedades de dimensão 3).
• Mecanismo de Construção:
  • Como o teorema do ponto livre não se aplica, a construção do flip depende da existência de separatrizes (divisores invariantes formais ou analíticos) que contêm a curva de flipping.
  • Para folheações canônicas em trêsfolds, prova-se que elas admitem separatrizes.
  • Utiliza-se a existência de uma primeira integral meromorfa localmente (obtida via adjunção e propriedades de campos vetoriais log canônicos) para construir um divisor $G \geq 0$ invariante tal que a curva de flip é um centro log canônico de $(X, G)$.
  • O flip de $K_{\mathcal{F}}$ é então construído como um flip padrão para o par $(X, G)$.

C. Singularidades Especiais:

• Identificam a classe de singularidades simples para folheações de corosto 1, que possuem propriedades análogas a divisores de cruzamento normal simples.
• Demonstram que folheações canônicas em trêsfolds são não-dicríticas (todas as divisões excepcionais em resoluções são invariantes), o que é essencial para a existência de separatrizes.

4. Contribuições Chave

1. Sistematização da Teoria: O artigo fornece uma introdução acessível e unificada à geometria biracional de folheações, conectando resultados dispersos da literatura.
2. Fórmula de Adjuncão: O desenvolvimento rigoroso da adjunção para folheações (Teorema 4.1) é apresentado como a ferramenta fundamental que permite o controle das singularidades e a execução do MMP.
3. Prova de Existência de Flips em 3D: A demonstração de que os flips existem para folheações em trêsfolds (Teoremas 6.4 e 6.5) é um marco, removendo um dos maiores obstáculos para a completude do MMP em dimensões superiores para este contexto.
4. Contraexemplos à Finitude: A confirmação de que a finitude da geração do anel canônico falha em folheações de superfície (devido a folhas elípticas) redefine os limites do que se pode esperar da teoria em comparação com variedades clássicas.

5. Significado e Impacto

• Avanço Teórico: O trabalho consolida a ideia de que, sob hipóteses adequadas de singularidade, $K_{\mathcal{F}}$ se comporta de maneira surpreendentemente similar a $K_X$ para variedades com singularidades suaves, permitindo a adaptação de grande parte da tecnologia do MMP.
• Novas Direções: O artigo destaca onde a analogia falha (como a não existência de resolução suave e a falta de finitude do anel canônico), apontando essas falhas como fontes de geometria interessante e novos problemas.
• Perguntas em Aberto: Os autores levantam questões cruciais para o futuro, como a definição correta de singularidades não-dicríticas para folheações de posto arbitrário e a generalização dos resultados de estrutura para dimensões superiores (ex: existe um análogo do Teorema 5.9 para trêsfolds?).

Em resumo, este artigo representa um passo fundamental na maturação da teoria do MMP para folheações, estabelecendo a existência de flips em dimensão 3 e fornecendo o arcabouço técnico (adjunção, classificação de singularidades) necessário para avançar para dimensões ainda maiores.