On the Iitaka conjecture for anticanonical divisors in positive characteristic

Resumo Técnico: Conjectura de Iitaka para Divisores Anticanônicos em Característica Positiva

1. O Problema

O objetivo central do Programa de Modelo Mínimo (MMP) é classificar variedades algébricas até equivalência biracional. Um invariante crucial nessa classificação é a dimensão de Kodaira, $\kappa(X, K_X)$. A Conjectura de Iitaka (originalmente formulada para característica zero) postula uma relação aditiva entre as dimensões de Kodaira de uma variedade total $X$, de uma fibra geral $\Phi$ e da base $Z$ em uma fibração $f: X \to Z$:
$$\kappa(X, K_X) \geq \kappa(\Phi, K_\Phi) + \kappa(Z, K_Z)$$

Recentemente, Chang ([Cha23]) provou uma versão análoga para divisores anticanônicos ($-K_X$) em característica zero, estabelecendo a desigualdade:
$$\kappa(X, -K_X) \leq \kappa(\Phi, -K_\Phi) + \kappa(Z, -K_Z)$$
denotada como $C^-_{n,m}$.

O problema abordado por Benozzo é investigar se essa desigualdade para divisores anticanônicos permanece válida em corpos de característica positiva ($p > 0$). Sabe-se que a conjectura original para $K_X$ falha em característica positiva (contraexemplos de Cascini, Ejiri, Kollár e Zhang), e a validade para $-K_X$ em característica positiva é um problema aberto e não trivial devido à ausência de certas ferramentas analíticas (como o Teorema da Fórmula do Feixe Canônico em sua generalidade) e à presença de singularidades patológicas.

2. Metodologia

A autora utiliza uma combinação de técnicas de geometria biracional em característica positiva e propriedades de singularidades relacionadas ao morfismo de Frobenius. A metodologia baseia-se nos seguintes pilares:

• Singularidades F-Regulares: Em vez de depender apenas das singularidades klt (Kawamata Log Terminal) padrão, o trabalho utiliza fortemente o conceito de F-regularidade forte (Strongly F-regular). Esta é uma condição mais forte em característica positiva que implica klt e permite o controle de perturbações de pares $(X, \Delta)$ via sistemas lineares semi-amplos.
• Positividade Fraca (Weak Positivity): O trabalho adapta resultados de Ejiri e Gongyo ([EG19]) sobre a positividade fraca de feixes diretos de divisores anticanônicos relativos. A prova envolve demonstrar que certos feixes diretos são "fracamente positivos", o que permite transferir propriedades de positividade da fibra para a base.
• Fórmula do Feixe Canônico Adaptada: Como a fórmula geral do feixe canônico não é conhecida em característica positiva, a autora recorre a resultados específicos de Witt ([Wit21]) para fibrations com fibras curvas suaves, permitindo provar casos onde a base tem dimensão de Iitaka anticanônica zero.
• Redução de Dimensão: Para o caso de três variedades (threefolds), a estratégia envolve reduzir o problema ao caso onde a base é uma curva ou tem dimensão de Iitaka trivial, utilizando a fibração de Iitaka induzida por $-K_Z$.
• Construção de Contraexemplos: Para demonstrar a necessidade das hipóteses de regularidade das fibras, a autora constrói exemplos baseados em superfícies de Tango-Raynaud. Essas superfícies exploram a falha do Teorema de Anulação de Kodaira em característica positiva e a existência de extensões não divididas em cohomologia.

3. Principais Resultados e Contribuições

O artigo estabelece a validade da desigualdade $C^-_{n,m}$ sob condições específicas e fornece contraexemplos quando essas condições são relaxadas.

A. Validade da Conjectura em Casos Específicos:

1. Caso $C^-_{n,1}$ (Base é uma curva):

   • Teorema 0.3: A desigualdade $\kappa(X, -(K_X + \Delta)) \leq \kappa(\Phi, -(K_\Phi + \Delta_\Phi)) + \kappa(Z, -K_Z)$ é provada quando $Z$ é uma curva suave.
   • Condições: A fibra geral $\Phi$ deve ser regular e o par induzido $(\Phi, \Delta_\Phi)$ deve ser fortemente F-regular. Além disso, o lugar base estável de $-m(K_X+\Delta)$ não deve dominar $Z$.

2. Caso $C^-_{n,n-1}$ (Fibras são curvas e $\kappa(Z, -K_Z)=0$):

   • Teorema 3.6: Prova-se uma injetividade no mapa de restrição de seções globais para fibrations de dimensão relativa 1, assumindo que a base tem dimensão de Iitaka anticanônica zero. Isso é crucial para lidar com a falta da fórmula geral do feixe canônico.

3. Caso $C^-_{3,m}$ (Fonte é uma Threefold):

   • Teorema 0.4: A conjectura é provada quando $X$ é uma threefold normal projetiva sobre um corpo perfeito de característica $p \geq 5$.
   • Raciocínio: Se $Z$ é uma curva, usa-se o Teorema 0.3. Se $Z$ é uma superfície, analisa-se a fibração de Iitaka de $-K_Z$. Para $p \geq 5$, as fibras gerais dessa fibração são curvas elípticas suaves (fibras quasi-elípticas só ocorrem em $p=2,3$), permitindo a aplicação dos resultados anteriores.

B. Contraexemplos e Limitações:

• Teorema 5.4 e Corolário 5.7: A autora demonstra que as hipóteses de regularidade das fibras e não-dominação do lugar base são essenciais.
• Construção: Utilizando superfícies de Tango-Raynaud em características $p=2$ e $p=3$, são construídas fibrations $X^{(6)} \to X^{(5)}$ onde:
  • O lugar base de $-K_{X^{(6)}}$ é vazio.
  • O locus não-klt não domina a base.
  • No entanto, $\kappa(X^{(6)}, -K_{X^{(6)}}) = 0$ enquanto $\kappa(X^{(5)}, -K_{X^{(5)}}) = -\infty$.
  • Isso viola a desigualdade esperada ($0 \not\leq -\infty + \dots$).
• Causa Raiz: A falha ocorre porque as fibras dessas construções não são normais. Isso destaca que, em característica positiva, a regularidade da fibra é uma condição crítica que não pode ser omitida, diferentemente do que ocorre em alguns contextos de característica zero.

4. Significado e Impacto

• Avanço na Geometria em Característica Positiva: O trabalho preenche lacunas importantes na compreensão do comportamento de divisores anticanônicos em característica positiva, um domínio onde muitos teoremas clássicos falham.
• Refinamento de Hipóteses: Ao provar a conjectura para $p \geq 5$ em três variedades e fornecer contraexemplos explícitos para $p=2,3$ com fibras não normais, o artigo delimita com precisão o "território" onde a conjectura é verdadeira.
• Conexão com Singularidades F: O uso sistemático de singularidades F-regular e F-split para substituir ou complementar as condições klt demonstra a eficácia dessas ferramentas na geometria biracional moderna em característica positiva.
• Implicações para o MMP: Os resultados sugerem que, para estender o Programa de Modelo Mínimo a divisores anticanônicos em característica positiva, é necessário impor condições mais fortes sobre a suavidade das fibras ou desenvolver novas técnicas para lidar com fibrations não separáveis e fibras singulares.

Em resumo, o artigo de Benozzo estabelece que a desigualdade de Iitaka para divisores anticanônicos é válida em característica positiva sob condições robustas de regularidade das fibras e controle de singularidades (F-regularidade), mas falha dramaticamente quando essas condições são violadas, especialmente em características baixas ($p=2,3$) e na presença de fibras não normais.