Kodaira dimension of algebraic fiber spaces over threefolds : Part 1

Resumen Técnico: Dimensión de Kodaira de Espacios Fibrados Algebraicos sobre Trivariados (Parte I)

Enunciado del Problema
Este artículo aborda la Conjetura de Iitaka ($C_{n,m}$), un problema abierto central en geometría biracional que concierne al comportamiento de la dimensión de Kodaira en espacios fibrados algebraicos. Específicamente, la conjetura postula que para un espacio fibrado algebraico $f: X \to Y$ entre variedades proyectivas suaves de dimensiones $n$ y $m$, con fibra general $F$, se cumple la desigualdad $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + \kappa(Y)$ para un par Klt $(X, \Delta)$. Aunque se sabe que la conjetura se sigue de la existencia de modelos mínimos y de la conjetura de abundancia, permanece abierta en casos específicos donde estas herramientas generales son insuficientes o donde la geometría de la variedad base $Y$ es compleja.

El enfoque principal de este trabajo es el caso en el que la variedad base $Y$ es un trivariado ($m=3$). Resultados previos han establecido la conjetura para bases de dimensión 1 (Kawamata) y 2 (Cao), así como para bases de tipo general o variedades abelianas. Este artículo investiga los casos restantes para bases trivariadas, particularmente cuando la base es irregular, tiene dimensión de Kodaira positiva o es un trivariado de Calabi–Yau.

Metodología
Las demostraciones se basan en una síntesis de varias técnicas avanzadas en geometría algebraica compleja y el programa de modelos mínimos:

1. Positividad de Hazes de Imagen Directa: Los autores utilizan resultados sobre la positividad de haces de imagen directa, extendiendo específicamente teoremas de Fujita, Kawamata y otros. Emplean el teorema de extensión de Ohsawa–Takegoshi y la teoría de métricas hermitianas singulares con curvatura semipositiva para establecer la pseudoefectividad de haces de imagen directa de haces pluricanónicos relativos (Teorema 2.1, Variantes 2.2–2.4).
2. Teoremas de Extensión: Una herramienta clave es la Proposición 2.5, que permite la extensión de secciones desde una fibra general de una fibración $g: Y \to Z$ al espacio total $Y$, siempre que se cumplan ciertas condiciones de curvatura. Esto es crucial para relacionar la dimensión de Kodaira del espacio total con la de la base y la fibra.
3. Fórmula del Haz Canónico: Para casos en los que la dimensión de Kodaira logarítmica de la fibra es cero ($\kappa(K_F + \Delta|_F) = 0$), los autores aplican la fórmula del haz canónico de Fujino–Mori (Teorema 2.11). Esto descompone el divisor canónico relativo en una pullback de un divisor en la base (que involucra una parte de moduli $L$) y un término residual. El análisis se centra entonces en las propiedades numéricas (dimensión nef $\eta$ y dimensión numérica $\nu$) de esta parte de moduli $L$.
4. Aplicaciones de Reducción: El estudio de la parte de moduli $L$ implica la aplicación de reducción pseudoefectiva (Teorema 2.15), que mide las direcciones a lo largo de las cuales un divisor es numéricamente trivial. Esto ayuda a clasificar el comportamiento de $L$ basándose en su dimensión nef.
5. Teoremas de Descomposición: La descomposición de Catanese–Fujita–Kawamata (Teorema 2.10) se utiliza para analizar la estructura del haz de imagen directa $f_* \mathcal{O}_X(m(K_{X/Y} + \Delta))$, separándolo en una parte genericamente amplia y una parte hermitiana plana.

Contribuciones y Resultados Clave
El artículo establece la Conjetura de Iitaka $C_{n,3}$ bajo varias condiciones específicas respecto al trivariado base $Y$ y la fibra $F$:

• Trivariados Irregulares (Sección 3): La conjetura se demuestra cuando la base $Y$ es irregular, es decir, su irregularidad $q(Y) > 0$. Esto se deriva de trabajos previos sobre la dimensión de Albanese (Teorema 3.2), mostrando que $C_{n,3}$ se cumple si la dimensión de Albanese $\alpha(Y) \geq 1$.
• Fibras con Dimensión de Kodaira Logarítmica Cero (Sección 4): Cuando $\kappa(K_F + \Delta|_F) = 0$, los autores prueban $\kappa(K_X + \Delta) \geq \kappa(Y)$, con dos excepciones específicas donde la parte de moduli $L$ no es numéricamente $\mathbb{Q}$-efectiva:
  1. $\nu(L) = 1, \eta(L) = 2$, y $q(Y) = 0$.
  2. $L$ es casi estrictamente nef, $\tilde{Y}$ es un trivariado de Calabi–Yau, y $L \cdot c_2(\tilde{Y}) = 0$.
     Como corolario, este resultado establece casi $C_{7,m}$ (el caso donde la dimensión del espacio total es 7), reduciendo el problema a las excepciones específicas listadas anteriormente.
• Bases con Dimensión de Kodaira Positiva (Sección 5):
  • Si $\kappa(Y) \geq 2$, se demuestra la desigualdad completa $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + \kappa(Y)$, asumiendo la existencia de un buen modelo mínimo para $Y$.
  • Si $\kappa(Y) = 1$, se demuestra la desigualdad $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F) + 1$, siempre que la dimensión de Kodaira del determinante del haz de imagen directa restringido a la fibra general de la fibración de Iitaka de $Y$ sea positiva (específicamente cuando la base de la fibración de Iitaka es $\mathbb{P}^1$).
• Bases de Trivariados de Calabi–Yau (Sección 6): El artículo aborda el caso donde $\kappa(Y) = q(Y) = 0$, lo cual, por la conjetura de abundancia y la descomposición de Beauville–Bogomolov, se reduce a que $Y$ sea un trivariado de Calabi–Yau.
  • Teorema 6.1: Se demuestra la desigualdad $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta|_F)$ si la dimensión de Kodaira del determinante del haz de imagen directa, $\kappa(\det f_* \mathcal{O}_X(m(K_{X/Y} + \Delta)))$, es mayor que 1.
  • Resultados Parciales: Se obtienen resultados parciales para los casos donde esta dimensión de Kodaira es 0 o 1. Específicamente, la Proposición 6.2 establece la desigualdad bajo suposiciones adicionales respecto a la restricción del haz de imagen directa a las fibras de la aplicación de reducción.

Significado y Limitaciones
El artículo afirma avanzar significativamente en la comprensión de la Conjetura de Iitaka para espacios fibrados sobre trivariados. Al aprovechar la geometría de la variedad base (irregularidad, dimensión de Kodaira) y las propiedades de la parte de moduli en la fórmula del haz canónico, los autores resuelven la conjetura en muchos casos no triviales.

Sin embargo, los autores son modestos sobre la completitud de sus resultados. Identifican explícitamente las dificultades restantes:

• En el caso de $\kappa(Y) = 1$, la desigualdad depende de la positividad del determinante del haz de imagen directa restringido a la fibra de la fibración de Iitaka.
• Para bases de Calabi–Yau, la conjetura completa se demuestra solo cuando la dimensión de Kodaira de la parte de moduli es $>1$. Los casos donde esta dimensión es 0 o 1 permanecen parcialmente abiertos, dependiendo de la $\mathbb{Q}$-efectividad de la parte de moduli, lo cual aún no está completamente establecido para todos los trivariados de Calabi–Yau.
• El artículo señala que la condición $L \cdot c_2(Y) > 0$ (o condiciones de positividad similares) es fuerte, y su ausencia deja lagunas en la demostración para ciertas geometrías de Calabi–Yau.

El trabajo sirve como un paso fundamental ("Parte I") en un proyecto más amplio, con los autores indicando que las preguntas restantes sobre la $\mathbb{Q}$-efectividad de la parte de moduli sobre trivariados de Calabi–Yau se abordarán en trabajos futuros.