On generalized canonical bundle formula and boundedness of complements in complex analytic setting

Resumo Técnico: Fórmula do Feixe Canônico Generalizada e Limitação de Complementos no Contexto Analítico Complexo

1. Problema e Contexto

O artigo aborda dois problemas fundamentais na geometria biracional, estendendo-os do contexto algébrico (variedades projetivas) para o contexto analítico complexo (espaços analíticos complexos, que podem ser não-compactos e não-projetivos):

1. Fórmula do Feixe Canônico Generalizada: Estabelecer uma fórmula precisa para fibrados triviais generalizados (generalized lc-trivial fibrations) sobre bases não-compactas. A dificuldade principal reside na definição e compatibilidade de divisores-b (b-divisors) e seus traços (discriminante e módulo) quando se restringe a subconjuntos abertos, dado que variedades analíticas abertas não possuem compactificação natural e o número de morfismos bimeromórficos pode aumentar sob restrição.
2. Limitação de Complementos (Boundedness of Complements): Provar que, para pares generalizados (generalized pairs) em variedades analíticas com certas propriedades de tipo Fano, existe um conjunto finito de inteiros $n$ (complementos) que controlam as singularidades, generalizando resultados recentes de Birkar, Filipazzi, Moraga e outros do caso algébrico.

O trabalho utiliza a teoria de pares generalizados (introduzida por Birkar-Zhang), onde o "parte nef" ($M$) é dada por divisores-b nef (b-nef R-b-divisors), uma definição natural para morfismos projetivos entre espaços analíticos.

2. Metodologia

A abordagem combina técnicas avançadas da geometria biracional algébrica com ferramentas específicas da geometria analítica complexa:

• Redução de Estabilidade Fraca (Weak Semistable Reduction): Utiliza-se o teorema de Hacon-Păun e resultados de Enokizono-Hacon para obter diagramas onde o morfismo é "fracamente semiestável" (weakly semistable) e toroidal, permitindo o cálculo de limiares de singularidades (lc thresholds).
• Programa Minimal de Modelos (MMP) Analítico: O autor emprega o MMP relativo para pares generalizados klt e lc no contexto analítico (baseado em trabalhos de Fujino, Enokizono e Hacon) para reduzir problemas de singularidades lc para casos klt ou para estruturas de fibra de Mori.
• Compatibilidade de Restrição: Um dos passos metodológicos cruciais é provar que os divisores-b associados (discriminante e módulo) são compatíveis com a restrição a subconjuntos abertos, superando a dificuldade de que a definição de restrição para divisores-b não-Cartier não é trivial em espaços não-compactos.
• Argumentos de Convexidade e Limitação: Para a limitação de complementos, o autor utiliza indução na dimensão, o princípio de conectividade (connectedness principle) e argumentos de convexidade para aproximar coeficientes irracionais por racionais, mantendo a estrutura de pares generalizados.

3. Contribuições Principais e Resultados

A. Fórmula do Feixe Canônico Generalizada (Teorema 1.1 / Teorema 3.10)
O autor estabelece a fórmula do feixe canônico para fibrados triviais generalizados lc sobre bases não-compactas.

• Resultado: Dado um fibrado $f: (X, B+M) \to Z$ sobre uma base $S$ (não-compacta), existe uma fórmula:
  $$K_X + B + M \sim_{\mathbb{R}} f^*(K_Z + G_Z + N_Z)$$
  onde $G_Z$ é o divisor-b discriminante e $N_Z$ é o divisor-b módulo.
• Propriedades Chave:
  1. $N$ é uma combinação linear finita de divisores-b Q-Cartier nef sobre $S$.
  2. O par $(Z, G_Z + N_Z)$ é um par generalizado sub-lc (ou klt) se o par original o for.
  3. Compatibilidade de Restrição: Os divisores discriminante e módulo são compatíveis com a restrição a qualquer subconjunto aberto da base. Isso resolve uma lacuna técnica significativa, permitindo a aplicação de técnicas locais (como MMP relativo) em bases não-compactas.
  4. O teorema lida com coeficientes irracionais e não assume que a parte nef seja globalmente nef, apenas nef fibra a fibra (semi-positiva).

B. Limitação de Complementos (Teoremas 1.2 e 1.3)
O artigo prova a limitação de complementos para pares generalizados no contexto analítico.

• Teorema 4.2 (Limitação I): Para um par generalizado lc $(X, B+M)$ de dimensão $d$, onde $X$ é de tipo Fano sobre $Z$ e os coeficientes de $B$ pertencem a um conjunto DCC (Descending Chain Condition) com pontos de acumulação racionais, existe um inteiro $n$ (dependendo apenas de $d, p, \Lambda$) tal que, localmente em qualquer ponto $z \in Z$, existe um n-complemento $(X, B^+ + M)$ com $B^+ \geq B$.
• Teorema 4.3 (Limitação II): Estende o resultado para pares onde existe um divisor efetivo $\Delta$ tal que $(X, (B+\Delta)+M)$ é klt e $K_X + B + \Delta + M \sim_{\mathbb{R}} 0$. Mostra que existe um conjunto finito de inteiros $N$ que garante a existência de um complemento.
• Corolários Importantes:
  • Recupera resultados de Birkar para o caso clássico ($M=0$) em variedades analíticas.
  • Estabelece a limitação do índice de Cartier para o divisor canônico em centros não-klt.

4. Significado e Impacto

• Ponte entre Geometria Algébrica e Analítica: O trabalho é fundamental para transferir a "revolução" recente da geometria biracional (limitação de complementos, fórmula canônica) para o mundo analítico complexo. Isso é crucial para o estudo de variedades de Kähler compactas não-projetivas, onde a ausência de divisores amplos impede o uso direto de métodos algébricos.
• Resolução de Problemas Técnicos Locais: A prova da compatibilidade de restrição dos divisores-b (Lema 3.3) é um resultado técnico independente que permite o uso de técnicas de MMP em contextos locais e não-compactos, algo que anteriormente era uma barreira.
• Aplicações Futuras: Os resultados abrem caminho para:
  • A prova da Conjectura de Yau-Tian-Donaldson para pares log-Fano em variedades analíticas.
  • O estudo do problema de módulos para pares Calabi-Yau no contexto analítico.
  • A compreensão da estrutura de singularidades em fibrados sobre bases complexas gerais.

Em suma, Hashizume demonstra que a estrutura profunda da geometria biracional, desenvolvida para variedades projetivas, se mantém robusta e aplicável no contexto mais geral e desafiador dos espaços analíticos complexos, fornecendo as ferramentas necessárias para avançar na classificação e no estudo de singularidades nessas variedades.