Fujiki Class $\mathcal C$ Varieties and a Kähler Criterion

Resumo Técnico: Variedades da Classe C de Fujiki e um Critério de Kähler

Enunciado do Problema
A classificação de variedades Kähler compactas até bimeromorfismo é um problema central na geometria analítica. Embora o Programa do Modelo Mínimo (MMP) tenha resolvido amplamente este problema para variedades projetivas (notadamente via [BCHM10]), estender estes resultados para a categoria mais ampla de variedades Kähler compactas permanece um desafio significativo. Uma obstrução primária é garantir que as operações centrais ao MMP — especificamente flips e contrações divisoriais — preservem a condição Kähler. Sem essa preservação, o programa não pode prosseguir dentro da categoria de espaços Kähler compactos. Além disso, há uma necessidade de critérios eficazes para determinar quando uma variedade na classe C de Fujiki (que inclui todas as variedades Kähler compactas e suas imagens bimeromórficas) é, ela própria, Kähler.

Metodologia
Os autores empregam o arcabouço de pares generalizados $(X, B + \beta)$, onde $\beta$ é uma corrente b-(1,1)-nef b. Este arcabouço permite o tratamento de problemas transcendentais dentro do MMP. A metodologia baseia-se em vários pilares técnicos:

1. Argumentos Local-para-Global: As provas procedem frequentemente estabelecendo resultados localmente sobre subconjuntos Stein relativamente compactos (onde os resultados padrão do MMP projetivo se aplicam, ex: [Fuj22]) e, em seguida, globalizando estas construções usando as propriedades da classe C de Fujiki e singularidades racionais.
2. Ferramentas de MMP Generalizado: O artigo utiliza o Teorema do Cone e o Teorema de Contração para pares klt generalizados, bem como a existência de modelos log canônicos.
3. Positividade e Cohomologia: Os autores trabalham extensivamente com a cohomologia de Bott–Chern $H^{1,1}_{BC}(X)$ e o cone de Mori generalizado $NA(X)$. Eles adaptam o critério de Kleiman para Kählerness, que relaciona o locus não-Kähler à existência de curvas triviais com relação a uma classe nef e big.
4. Técnicas de Resolução e Modificação: A construção de $\mathbb{Q}$-fatorializações pequenas e modificações dlt (divisorial log terminal) é central. Estas são alcançadas através da execução de MMPs relativos sobre resoluções log e controlando cuidadosamente as discrepâncias.

Principais Contribuições e Resultados

• Preservação da Condição Kähler (Teorema 1.2):
  O artigo prova que para um par klt generalizado compacto, fortemente $\mathbb{Q}$-fatorial e Kähler $(X, B+\beta)$ com $B+\beta_X$ big, se $f: X \to Y$ é uma contração de flip ou divisorial associada a um raio extremal, então o alvo $Y$ também é Kähler.

  • Mecanismo: A prova estabelece que uma classe nef e big de suporte $\alpha$ em $X$ desce para uma classe $\alpha_Y$ em $Y$. Ao aplicar um critério Kähler (Teorema 4.3), os autores mostram que, se $\alpha_Y$ não fosse Kähler, seu locus nulo seria coberto por curvas racionais triviais com relação a $\alpha_Y$. No entanto, as propriedades de contração e a estrutura do raio extremal impedem que tais curvas existam de uma forma que violaria a condição Kähler, provando assim que $Y$ é Kähler. Este resultado é essencial para continuar o MMP na categoria Kähler.

• Critério Kähler para a Classe C de Fujiki (Teorema 1.3 e Corolário 1.4):
  Os autores fornecem um critério para uma variedade $X$ na classe C de Fujiki (com singularidades klt generalizadas) ser Kähler.

  • Resultado: Se $X$ não é Kähler, então ou (1) $X$ contém uma curva racional $C$ tal que $-[C] \in NA(X)$, ou (2) existe uma modificação Kähler pequena e $\mathbb{Q}$-fatorial $\mu: X_{qf} \to X$.
  • Corolário: Para uma variedade compacta fortemente $\mathbb{Q}$-fatorial na classe C de Fujiki, $X$ é Kähler se, e somente se, o cone $NA(X)$ não contém uma classe da forma $-[C]$ para qualquer curva racional $C$. Isto generaliza um resultado para variedades projetivas de [VP21].

• Existência de Modificações (Teoremas 1.5 e 1.6):

  • Pequenas $\mathbb{Q}$-fatorializações: O artigo prova a existência de um morfismo bimeromórfico projetivo pequeno $\nu: X' \to X$ tal que $X'$ é normal e fortemente $\mathbb{Q}$-fatorial para qualquer par klt generalizado compacto. Isto estende resultados locais prévios para o cenário global.
  • Modificações dlt Globais: Os autores estabelecem a existência de um morfismo biracional projetivo $f_m: X_m \to X$ tal que $X_m$ é fortemente $\mathbb{Q}$-fatorial e o par é dlt, com todos os divisores excepcionais tendo discrepância $\le -1$. Isto globaliza resultados anteriormente conhecidos para cenários Stein ou relativamente compactos.

• MMP Relativo (Proposições 1.7 e 1.8):
  O artigo estabelece resultados para o MMP relativo sobre morfismos de contração de Moishezon, mostrando que sob condições específicas (ex: $B+\beta_X$ modificado big), o MMP relativo termina com um bom modelo mínimo ou um espaço de fibra de Mori.

Significância e Alegações
O artigo afirma resolver um obstáculo técnico crítico no Minimal Model Program Kähler: a preservação da condição Kähler sob flips e contrações divisoriais. Isto garante que o MMP possa ser executado inteiramente dentro da categoria de espaços Kähler compactos, um pré-requisito para provar a Conjectura 1.1 mais ampla sobre a existência de bons modelos mínimos ou espaços de fibra de Mori para variedades Kähler compactas.

Os autores declaram explicitamente que seus argumentos não dependem do recentemente estabelecido teorema de base livre transcendental (que aparece em seu trabalho futuro [HX26]), embora notem que [HX26] depende dos resultados deste artigo. O trabalho é apresentado como um passo necessário em direção à classificação completa de variedades Kähler compactas até bimeromorfismo, de forma análoga ao caso projetivo. Os resultados sobre pequenas $\mathbb{Q}$-fatorializações e modificações dlt são notados como sendo de interesse independente para o estudo de singularidades na categoria analítica.