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

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

Enunciado do Problema
O artigo aborda uma lacuna na teoria de pares generalizados dentro do contexto analítico complexo. Especificamente, ele visa a fórmula do feixe canônico generalizado para fibrações lc-triviais generalizadas. No trabalho anterior do autor ([Has26]), a validade desta fórmula dependia de uma suposição restritiva: a parte nef $M$ do par generalizado $(X, B+M)$ deveria ser uma combinação $\mathbb{R}_{>0}$-linear finita de divisores $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$ $b$-nef/$S$. O presente trabalho visa remover essa suposição, estabelecendo a fórmula para sub-pares generalizados gerais onde $M$ não é necessariamente desta forma específica de combinação linear. Isso é crucial para estender a limitação de complementos e a teoria estrutural de pares generalizados para o contexto analítico complexo mais amplo, sem restrições artificiais sobre a parte nef.

Metodologia
O autor emprega uma abordagem de duas frentes, tratando os contextos algébico e analítico complexo sequencialmente:

1. Contexto Algébrico (Teorema 1.3):

   • A prova baseia-se na Proposição 2.1, que estabelece que, para fibrações lc-triviais padrão (onde a parte nef é zero), o $R$-$b$-divisor de módulo é uma combinação $\mathbb{R}_{>0}$-linear finita de divisores específicos. Este resultado é citado como um caso especial de [FuHa23] ou uma variação menor de [Has26].
   • Com base nisso, o autor aplica argumentos de [Fi20]. Crucialmente, a metodologia utiliza reduções semiestáveis fracas ([Kar99]), blow-ups dlt generalizados e o Programa do Modelo Mínimo (MMP) para pares dlt generalizados $\mathbb{Q}$-factoriais ([BiZh16]).
   • O insight técnico fundamental é que essas ferramentas permanecem eficazes mesmo quando as partes nefs dos pares generalizados não são representadas por combinações lineares finitas de divisores $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$ $b$-nef/$S$.

2. Contexto Analítico Complexo (Teorema 1.2):

   • A prova baseia-se no Lema 2.16 de [Fu22] para construir um subconjunto compacto Stein $W' \subset S$ contendo o $W$ original, satisfazendo a propriedade (P) em relação à morfismo $\pi$. Isso permite a redução do problema para uma vizinhança local onde técnicas analíticas padrão se aplicam.
   • O argumento espelha o caso algébico, mas integra ferramentas analíticas específicas: o caso de $M=0$ do Teorema 1.1 (trabalho anterior do autor), resultados de EH25 e Fu22.
   • A Observação 2.2 esclarece que a prova necessita de todo o aparato de [Has26, Seção 3]. O autor observa que variações de estruturas de Hodge mistas não são utilizadas; em vez disso, a prova procede estabelecendo primeiro a fórmula para fibrações klt-triviais generalizadas e, em seguida, estendendo-a para o caso lc.

3. Construção Suplementar (Teorema 2.3):

   • Para garantir a definição rigorosa do $b$-divisor canônico no contexto analítico, o autor fornece uma construção para a definição global do $b$-divisor canônico $K$ em uma variedade analítica normal $X$ sobre um conjunto compacto Stein $W$.
   • Isso envolve o encolhimento de $S$ para garantir a projetividade de uma resolução $Y \to X$ e a existência de um divisor muito amplo. Usando teoremas de cohomologia e mudança de base, juntamente com o Teorema de Cartan A, o autor constrói seções globais para definir divisores de Weil que são compatíveis sob contrações bimeromórficas, formando assim um $b$-divisor bem definido.

Contribuições e Resultados Principais
O artigo apresenta três teoremas principais:

• Teorema 1.2 (Resultado Principal, Contexto Analítico Complexo):

  • Remove a suposição sobre a parte nef $M$ para fibrações lc-triviais generalizadas sobre um conjunto compacto Stein $W$.
  • Estabelece que o $R$-$b$-divisor de módulo $N$ associado à fibração é um $R$-$b$-divisor $b$-nef/$S$ $R$-$b$-Cartier.
  • Confirma que $(Z, G_Z + N_Z) \to S$ forma um sub-par generalizado com parte nef $N$, preservando a propriedade lc (ou klt) generalizada da fonte.
  • Prova uma propriedade de localidade: para qualquer subconjunto aberto $\tilde{S} \subset S$, o divisor de módulo $\tilde{N}$ é a restrição de $N$.
  • Adiciona uma afirmação condicional: Se o $M$ original for uma combinação $\mathbb{R}_{>0}$-linear finita de divisores $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$ $b$-nef/$S$, então $N$ herda esta propriedade.

• Teorema 1.3 (Resultado Principal, Contexto Algébrico):

  • Fornece o correspondente enunciado algébrico sobre um esquema quase-projetivo $S$.
  • Afirma que $N$ é um $R$-$b$-divisor $b$-nef/$S$ $R$-$b$-Cartier e que o par resultante em $Z$ mantém as propriedades lc/klt generalizadas.
  • O autor afirma explicitamente que este resultado é novo e serve como uma generalização de [FiSv23, Teorema 2.20].

• Teorema 2.3:

  • Define rigorosamente o $b$-divisor canônico e os $R$-$b$-divisores de módulo no contexto de fibrações lc-triviais generalizadas para variedades analíticas normais, garantindo sua existência e compatibilidade sob morfismos bimeromórficos após o encolhimento da base.

Significância e Alegações
O artigo alega ser um refinamento necessário da teoria da fórmula do feixe canônico generalizado. Ao remover a suposição restritiva sobre a parte nef $M$, os resultados ampliam a aplicabilidade da fórmula no contexto analítico complexo, o que é essencial para o estudo da limitação de complementos neste contexto.

O autor enfatiza que a prova não é meramente uma extensão trivial, mas depende da interação de vários resultados profundos (incluindo [Has26, Fi20, Kar99 e BiZh16]). O trabalho é apresentado como um passo fundamental ("adendo") que solidifica o arcabouço teórico para pares generalizados sem restrições artificiais sobre a parte nef, apoiando assim desenvolvimentos futuros do Programa do Modelo Mínimo para espaços analíticos complexos. O artigo não propõe novas aplicações experimentais, mas busca corrigir e generalizar enunciados teóricos existentes.