On the superadditivity of anticanonical Iitaka dimension

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria algébrica: a superaditividade da dimensão de Iitaka para divisores anticanônicos em fibrados.

• O Cenário Clássico (Característica Zero): Para variedades complexas, a conjectura de Iitaka ($C_{n,m}$) estabelece uma desigualdade para a dimensão de Iitaka do divisor canônico $K_X$:
  $$\kappa(X, K_X) \geq \kappa(X_y, K_{X_y}) + \kappa(Y, K_Y)$$
  onde $f: X \to Y$ é uma fibração e $X_y$ é a fibra geral.
• A Versão Anticanônica: Recentemente, o terceiro autor (Chang) provou uma desigualdade análoga para o divisor anticanônico $-K_X$ em característica zero, sob a condição de que o lugar base estável de $|-K_X|$ não domine a base $Y$:
  $$\kappa(X, -K_X) \leq \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$$
• O Desafio em Característica Positiva: Em característica $p > 0$, a conjectura original de Iitaka e a versão anticanônica falham em geral devido à falta de suavidade genérica (as fibras gerais podem ser não normais ou não reduzidas) e ao comportamento do morfismo de Frobenius.
• Objetivo do Artigo: Estabelecer uma versão válida do teorema de superaditividade anticanônica para fibrados em característica positiva, identificando as condições necessárias sobre as singularidades das fibras para que a desigualdade se mantenha.

2. Metodologia

Os autores desenvolvem uma estratégia que combina técnicas da Teoria de Modelos Mínimos (MMP) com a teoria de singularidades $F$ (F-singularities) em característica positiva.

A. Estrutura da Prova (Inspirada em Chang, 2023)

A prova segue quatro etapas principais, adaptadas para o contexto de característica positiva:

1. Descida da Q-efetividade: Mostrar que a efetividade de $-K_X$ implica a efetividade de $-K_Y$ (ou de um divisor relacionado na base), desde que as singularidades da fibra sejam "boas".
2. Descida Precisa: Utilizar argumentos de perturbação para refinar a relação entre os divisores na fibra e na base.
3. Teorema de Injetividade: Provar que, sob certas condições, o mapa de restrição de seções globais de potências de $-K_X$ para a fibra é injetivo. Isso garante que $\kappa(X, -K_X) \leq \kappa(X_y, -K_{X_y})$ quando $\kappa(Y, -K_Y) = 0$.
4. Redução a Base Calabi-Yau: Utilizar a fibração de Iitaka de $-K_Y$ para reduzir o problema geral ao caso onde a base tem dimensão de Iitaka zero, aplicando a aditividade fácil.

B. Adaptações para Característica Positiva

Para superar as dificuldades em $p > 0$, os autores introduzem ferramentas específicas:

• Ideais de Teste Asintóticos ($Q^0_y$): Em vez de usar ideais multiplicadores (que são definidos em característica zero), eles utilizam ideais de teste e subespaços de seções "estáveis sob Frobenius" ($S^0, P^0, Q^0$). A condição chave é que o subespaço $Q^0_y(X, 0)$ seja igual ao corpo base $k(y)$. Isso mede a "boa" singularidade $F$ de um elemento geral da série linear anticanônica na fibra.
• Fibras Normais via Mudança de Base Inseparável: Como a suavidade genérica falha, os autores utilizam uma mudança de base via potências do morfismo de Frobenius na base, seguida de normalização. Isso transforma a fibração em uma onde as fibras gerais são normais, permitindo o uso de fórmulas de feixe canônico adaptadas.
• Fórmula do Feixe Canônico em Característica Positiva: Eles empregam resultados de Das e Schwede sobre a fórmula do feixe canônico para fibrados Calabi-Yau que são globalmente $F$-split, substituindo a fórmula clássica de Ambro (que não existe em geral em $p > 0$).

3. Contribuições e Resultados Principais

O artigo apresenta dois teoremas principais e uma conjectura unificadora:

Teorema Principal (Característica Positiva)

Teorema 1.3 (e Teorema 7.2): Seja $f: X \to Y$ uma fibração genericamente suave de variedades projetivas suaves sobre um corpo algebricamente fechado de característica $p > 0$. Se:

1. $Q^0_y(X, 0) = k(y)$ (condição de singularidade $F$ na fibra geral);
2. Existe $m \geq 1$ não divisível por $p$ tal que o lugar base estável $Bs(-mK_X)$ não domina $Y$;

Então vale a desigualdade de superaditividade:
$$\kappa(X, -K_X) \leq \kappa(X_y, -K_{X_y}) + \kappa(Y, -K_Y)$$
Além disso, se $\kappa(Y, -K_Y) = 0$, a igualdade é atingida.

Teorema em Característica Zero (Generalização)

Teorema 1.4 (e Teorema 3.1): Os autores generalizam o resultado anterior para característica zero, substituindo a condição de lugar base pela trivialidade do ideal multiplicador assintótico $I(X_y, 0; \|\!-K_X\!\|_y)$. Isso unifica a visão entre as duas características.

Conjectura de Comparação (Conjectura 8.2)

Os autores propõem uma conjectura profunda ligando as duas características:

• Se a condição de ideal multiplicador trivial vale em característica zero, então, para infinitos primos $p$, a condição de ideal de teste $Q^0$ vale na redução modulo $p$.
• Isso sugere que a "boa" geometria em característica zero (klt, etc.) corresponde à "boa" geometria $F$ (globalmente $F$-split/regular) em característica positiva para uma densidade de primos.

4. Significado e Impacto

1. Validação da Intuição de "Bom Comportamento de Frobenius": O trabalho confirma a filosofia de que, em característica positiva, se a fibra geral possui propriedades aritméticas adequadas (especificamente, ser globalmente $F$-split ou ter ideais de teste triviais), o comportamento da dimensão de Iitaka anticanônica mimetiza o caso complexo.
2. Superação da Falta de Suavidade Genérica: Ao introduzir a técnica de mudança de base inseparável e normalização, o artigo contorna o obstáculo clássico de que fibras gerais em $p > 0$ podem não ser normais, permitindo a aplicação de ferramentas de MMP.
3. Conexão entre Teorias de Singularidades: O artigo fornece evidências concretas e teóricas para a correspondência entre ideais multiplicadores (característica zero) e ideais de teste (característica positiva) no contexto de fibrados, reforçando a conjectura de que a teoria de modelos mínimos em característica positiva é uma "redução" da teoria em característica zero.
4. Novas Ferramentas para Geometria Algébrica: A definição e o uso de $Q^0_y$ como um análogo global de ideais de teste assintóticos abrem novas portas para o estudo de fibrados anticanônicos em característica positiva, um campo onde resultados gerais são escassos.

Em resumo, o artigo estabelece uma fronteira rigorosa para quando a superaditividade anticanônica se mantém em característica positiva, conectando profundamente a geometria biracional clássica com a teoria de singularidades $F$.