On the canonical bundle formula in positive characteristic

Resumo Técnico: Sobre a Fórmula do Fibrado Canônico em Característica Positiva

Enunciado do Problema
A classificação das variedades algébricas depende fortemente do Programa de Modelos Mínimos (MMP) e do estudo das propriedades de positividade do divisor canônico. Uma ferramenta central neste contexto é a fórmula do fibrado canônico, que relaciona o divisor canônico de uma fibração $f: X \to Z$ aos divisores canônicos da base e das fibras, decompondo a relação em uma parte discriminante (medindo singularidades) e uma parte de módulos (medindo a variação nos módulos).

Embora esta fórmula seja bem estabelecida em característica 0 (por exemplo, via variações de estruturas de Hodge ou o Teorema do Cone para foliações), sua validade em característica positiva $p > 0$ tem sido obstruída por vários fatores:

1. Falha da Suavidade Genérica: Em característica positiva, a fibra genérica geométrica de uma fibração pode ser singular mesmo que o espaço total seja suave, impedindo a definição direta de uma parte discriminante.
2. Ramificação Selvagem: A presença de fibras "selvagens" (onde as multiplicidades são divisíveis por $p$) complica a relação entre o divisor canônico do espaço total e a foliação induzida pela fibração.
3. Falha do Teorema do Cone para Foliações: A prova padrão da positividade da parte de módulos em característica 0 depende do Teorema do Cone para foliações algebricamente integráveis, um resultado conhecido por falhar em característica positiva.
4. Falta de Redução Semiestável: A construção de modelos "bons" (satisfazendo a Propriedade $(*)$) usada em característica 0 frequentemente depende de teoremas de redução semiestável que não se mantêm na mesma generalidade em característica positiva.

Este artigo aborda essas questões estabelecendo uma fórmula do fibrado canônico para fibrations sobre uma curva em característica positiva, provando especificamente a nefidade da parte de módulos sob suposições específicas.

Metodologia
O autor adapta a estratégia introduzida por Acosta, Cascini, Svaldi e Spicer (ACSS21) para característica 0, modificando-a para superar os obstáculos específicos da característica positiva. A metodologia procede através das seguintes etapas-chave:

1. Redução à Propriedade $(*)$: A estratégia de prova envolve primeiro estabelecer o resultado para uma classe específica de fibrations satisfazendo a "Propriedade $(*)$", onde a parte de módulos coincide com o divisor canônico da foliação induzida (até termos de correção). O caso geral é então reduzido a esta classe via modificações birracionais.
2. Tratamento de Fibras Genéricas Não Normais: Em característica positiva, a fibra genérica geométrica pode não ser normal. Para resolver isso, o autor emprega uma mudança de base de Frobenius. Ao considerar o diagrama envolvendo a $e$-ésima potência do morfismo de Frobenius ($F^e$), as singularidades da fibra genérica geométrica são "elevadas" para o espaço total $X^{(e)}$. Isso permite a aplicação de técnicas de adjunção e MMP em um modelo onde as fibras são normais.
3. Foliações e Mapas Puramente Inseparáveis: O artigo explora a correspondência entre foliações e morfismos puramente inseparáveis em característica positiva. Como o diferencial do morfismo de Frobenius se anula, mapas puramente inseparáveis definem foliações. O autor deriva uma fórmula relacionando o divisor canônico da mudança de base de Frobenius $X^{(e)}$ com a parte de módulos da fibração original, contabilizando termos de ramificação selvagem ($W(f)$).
4. Dobrar e Quebrar para o Divisor de Módulos: Como o Teorema do Cone para foliações falha em característica positiva, o autor não pode construir diretamente curvas racionais tangentes à foliação. Em vez disso, a prova utiliza o teorema Dobrar e Quebrar aplicado à variedade $X^{(e)}$ obtida após a mudança de base de Frobenius. Ao relacionar o divisor canônico de $X^{(e)}$ com a parte de módulos, o autor constrói curvas racionais verticais que demonstram a negatividade da parte de módulos se esta não fosse nef, levando a uma contradição.
5. Indução na Dimensão: A prova do teorema principal procede por indução na dimensão de $X$. Isso requer a realização de adjunção em centros log canônicos da fibra genérica geométrica. Para garantir que esses centros existam e se comportem bem, o autor constrói "modificações $(*)$-geométricas" que extraem divisores com discrepância $-1$ sobre esses centros, utilizando resoluções log e o MMP dlt.

Contribuições e Resultados Principais

• A Fórmula do Fibrado Canônico (Teorema 7.9): Assumindo o MMP log, a inversão da adjunção e a existência de resoluções log em dimensão até $n$, o artigo prova que para uma fibração $f: X \to Z$ de uma variedade projetiva normal de dimensão $n$ para uma curva normal $Z$ sobre um corpo perfeito de característica $p > 2$, se $(X, B)$ é um par dlt com fibras gerais log canônicas e $K_X + B$ é $f$-nef, então existe um modelo birracional $(Y, C)$ satisfazendo a Propriedade $(*)$ tal que a parte de módulos $M_Y$ é nef.
• Positividade no Caso K-Trivial (Teorema 7.10): Como corolário, o artigo prova que se $K_X + B \sim_{\mathbb{Q}} f^*L$ (o caso K-trivial), a parte de módulos $M_Z = L - (K_Z + B_Z)$ é nef.
• Resultado Incondicional em Dimensão 3 (Corolário 7.11): Para trêsfolds sobre um corpo algebricamente fechado de característica $p > 5$, as suposições do MMP log, inversão da adjunção e resoluções log são conhecidas por se manterem. Consequentemente, a fórmula do fibrado canônico e a nefidade da parte de módulos valem incondicionalmente para pares dlt com fibras gerais log canônicas.
• Fórmulas para Ramificação Selvagem: O artigo fornece fórmulas explícitas (Teorema 3.6, Teorema 3.25) para o divisor canônico da foliação induzida por uma fibração em característica positiva, introduzindo um termo de correção $W(f)$ suportado em componentes selvagens. Relaciona ainda o divisor canônico da mudança de base de Frobenius $X^{(e)}$ com a parte de módulos (Corolário 5.4).

Significância e Afirmações
O artigo afirma estender a fórmula do fibrado canônico à característica positiva, um cenário onde técnicas anteriores (teoria de Hodge, teoremas do Cone padrão) eram inaplicáveis. A significância reside em:

1. Superar a Falha da Suavidade Genérica: Ao usar mudanças de base de Frobenius, o autor contorna o problema de fibras genéricas não normais, um grande obstáculo na geometria birracional em característica positiva.
2. Contornar o Teorema do Cone: O uso do teorema Dobrar e Quebrar na mudança de base de Frobenius fornece uma alternativa viável ao Teorema do Cone para foliações, que é conhecido por falhar em característica positiva.
3. Completar o Panorama em Dimensão 3: Os resultados fornecem uma fórmula do fibrado canônico completa e incondicional para trêsfolds em característica $p > 5$, preenchendo uma lacuna na teoria de classificação de variedades em característica positiva.

O autor nota explicitamente que os resultados dependem da existência de resoluções log e da validade do MMP nas dimensões relevantes, que são atualmente conhecidas apenas para dimensões $\le 3$ (e parcialmente para dimensão 4 com coeficientes padrão). O artigo não afirma resolver o problema para todas as dimensões ou todas as características sem essas suposições, nem propõe novas aplicações experimentais, mas estabelece a fundação teórica necessária para argumentos indutivos na classificação de variedades em característica positiva.