Kodaira dimension of algebraic fiber spaces over threefolds : Part 1

Resumo Técnico: Dimensão de Kodaira de Espaços Fibrados Algébricos sobre Variedades Tridimensionais (Parte I)

Enunciado do Problema
Este artigo aborda a Conjectura de Iitaka ($C_{n,m}$), um problema aberto central na geometria biracional concernente ao comportamento da dimensão de Kodaira em espaços fibrados algébricos. Especificamente, a conjectura postula que, para um espaço fibrado algébrico $f: X \to Y$ entre variedades projetivas suaves de dimensões $n$ e $m$, com fibra geral $F$, a desigualdade $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + \kappa(Y)$ vale para um par Klt $(X, \Delta)$. Embora se saiba que a conjectura decorre da existência de modelos minimais e da conjectura de abundância, ela permanece aberta em casos específicos onde essas ferramentas gerais são insuficientes ou onde a geometria da variedade base $Y$ é complexa.

O foco principal deste trabalho é o caso em que a variedade base $Y$ é uma variedade tridimensional ($m=3$). Resultados anteriores estabeleceram a conjectura para bases de dimensão 1 (Kawamata) e 2 (Cao), bem como para bases de tipo geral ou variedades abelianas. Este artigo investiga os casos remanescentes para bases tridimensionais, particularmente quando a base é irregular, possui dimensão de Kodaira positiva ou é uma variedade tridimensional Calabi–Yau.

Metodologia
As provas baseiam-se numa síntese de várias técnicas avançadas em geometria algébrica complexa e no programa de modelos minimais:

1. Positividade de Feixes de Imagem Direta: Os autores utilizam resultados relativos à positividade de feixes de imagem direta, especificamente estendendo teoremas de Fujita, Kawamata e outros. Empregam o teorema de extensão de Ohsawa–Takegoshi e a teoria de métricas hermitianas singulares com curvatura semi-positiva para estabelecer a pseudo-efetividade de feixes de imagem direta de fibrados pluricanônicos relativos (Teorema 2.1, Variantes 2.2–2.4).
2. Teoremas de Extensão: Uma ferramenta fundamental é a Proposição 2.5, que permite a extensão de seções de uma fibra geral de uma fibração $g: Y \to Z$ para o espaço total $Y$, desde que certas condições de curvatura sejam satisfeitas. Isso é crucial para relacionar a dimensão de Kodaira do espaço total com a da base e da fibra.
3. Fórmula do Fibrado Canônico: Para casos em que a dimensão de Kodaira logarítmica da fibra é zero ($\kappa(K_F + \Delta|_F) = 0$), os autores aplicam a fórmula do fibrado canônico de Fujino–Mori (Teorema 2.11). Esta decompõe o divisor canônico relativo numa pullback de um divisor na base (envolvendo uma parte de módulo $L$) e um termo residual. A análise foca então nas propriedades numéricas (dimensão nef $\eta$ e dimensão numérica $\nu$) desta parte de módulo $L$.
4. Aplicações de Redução: O estudo da parte de módulo $L$ envolve a aplicação de redução pseudo-efetiva (Teorema 2.15), que mede as direções ao longo das quais um divisor é numericamente trivial. Isso ajuda a classificar o comportamento de $L$ com base na sua dimensão nef.
5. Teoremas de Decomposição: A decomposição de Catanese–Fujita–Kawamata (Teorema 2.10) é utilizada para analisar a estrutura do feixe de imagem direta $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta))$, separando-o numa parte genericamente ampla e numa parte hermitiana plana.

Principais Contribuições e Resultados
O artigo estabelece a Conjectura de Iitaka $C_{n,3}$ sob várias condições específicas relativas à base tridimensional $Y$ e à fibra $F$:

• Variedades Tridimensionais Irregulares (Seção 3): A conjectura é provada quando a base $Y$ é irregular, ou seja, a sua irregularidade $q(Y) > 0$. Isto é derivado de trabalhos anteriores sobre a dimensão de Albanese (Teorema 3.2), mostrando que $C_{n,3}$ vale se a dimensão de Albanese $\alpha(Y) \geq 1$.
• Fibras com Dimensão de Kodaira Logarítmica Zero (Seção 4): Quando $\kappa(K_F + \Delta|_F) = 0$, os autores provam $\kappa(K_X + \Delta) \geq \kappa(Y)$, com duas exceções específicas onde a parte de módulo $L$ não é numericamente $\mathbb{Q}$-efetiva:
  1. $\nu(L) = 1, \eta(L) = 2$, e $q(Y) = 0$.
  2. $L$ é quase estritamente nef, $\tilde{Y}$ é uma variedade tridimensional Calabi–Yau, e $L \cdot c_2(\tilde{Y}) = 0$.
     Como corolário, este resultado estabelece quase $C_{7,m}$ (o caso em que a dimensão do espaço total é 7), reduzindo o problema às exceções específicas listadas acima.
• Bases com Dimensão de Kodaira Positiva (Seção 5):
  • Se $\kappa(Y) \geq 2$, a desigualdade completa $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + \kappa(Y)$ é provada, assumindo a existência de um bom modelo minimal para $Y$.
  • Se $\kappa(Y) = 1$, a desigualdade $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + 1$ é provada, desde que a dimensão de Kodaira do determinante do feixe de imagem direta restrito à fibra geral da fibração de Iitaka de $Y$ seja positiva (especificamente quando a base da fibração de Iitaka é $\mathbb{P}^1$).
• Bases de Variedades Tridimensionais Calabi–Yau (Seção 6): O artigo aborda o caso em que $\kappa(Y) = q(Y) = 0$, o qual, pela conjectura de abundância e pela decomposição de Beauville–Bogomolov, reduz-se a $Y$ ser uma variedade tridimensional Calabi–Yau.
  • Teorema 6.1: A desigualdade $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F)$ é provada se a dimensão de Kodaira do determinante do feixe de imagem direta, $\kappa(\det f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)))$, for maior que 1.
  • Resultados Parciais: Resultados parciais são obtidos para os casos em que esta dimensão de Kodaira é 0 ou 1. Especificamente, a Proposição 6.2 estabelece a desigualdade sob suposições adicionais relativas à restrição do feixe de imagem direta às fibras da aplicação de redução.

Significado e Limitações
O artigo afirma avançar significativamente a compreensão da Conjectura de Iitaka para espaços fibrados sobre variedades tridimensionais. Ao alavancar a geometria da variedade base (irregularidade, dimensão de Kodaira) e as propriedades da parte de módulo na fórmula do fibrado canônico, os autores resolvem a conjectura em muitos casos não triviais.

No entanto, os autores são modestos quanto à completude dos seus resultados. Identificam explicitamente dificuldades remanescentes:

• No caso de $\kappa(Y) = 1$, a desigualdade depende da positividade do determinante do feixe de imagem direta restrito à fibra da fibração de Iitaka.
• Para bases Calabi–Yau, a conjectura completa é provada apenas quando a dimensão de Kodaira da parte de módulo é $>1$. Os casos em que esta dimensão é 0 ou 1 permanecem parcialmente abertos, condicionados à $\mathbb{Q}$-efetividade da parte de módulo, o que ainda não está totalmente estabelecido para todas as variedades tridimensionais Calabi–Yau.
• O artigo nota que a condição $L \cdot c_2(Y) > 0$ (ou condições de positividade semelhantes) é forte, e a sua ausência deixa lacunas na prova para certas geometrias Calabi–Yau.

O trabalho serve como um passo fundamental ("Parte I") num projeto mais amplo, com os autores indicando que as questões remanescentes relativas à $\mathbb{Q}$-efetividade da parte de módulo sobre variedades tridimensionais Calabi–Yau serão abordadas em trabalhos futuros.