Arakelov inequality for families of pairs

Resumen Técnico: Desigualdad de Arakelov para Familias de Pares

Enunciado del Problema
Este artículo aborda la extensión de la desigualdad clásica de Arakelov, formulada originalmente para familias de curvas, a la geometría algebraica de dimensión superior. Específicamente, busca establecer cotas numéricas para familias de pares $(X, \Delta)$ que mapean a una base proyectiva suave $S$. El contexto involucra un par proyectivo de cruce normal simple (snc) semilog canónico (slc) $(X, \Delta)$ y un morfismo $f: (X, \Delta) \to S$. El objetivo es acotar la primera clase de Chern de subfases coherentes de imágenes directas de haces pluricanónicos, teniendo en cuenta la ramificación y la geometría de la base. Este trabajo pretende proporcionar desigualdades efectivas que se apliquen a familias que surgen en el borde de los espacios de móduli de variedades, donde el espacio total puede poseer singularidades (pares snc) en lugar de ser suave o log-suave.

Metodología
La estrategia de prueba se basa en una combinación de teoría de Hodge, geometría birracional y la construcción de inmersiones específicas en variaciones de estructuras de Hodge.

1. Reducción Estrictamente Semiestable: Los autores utilizan un proceso de reducción (Proposición 2.4) para transformar la familia dada en una que sea estrictamente semiestable en codimensión uno. Esto implica un cambio de base finito y sobreyectivo $\sigma: \tilde{S} \to S$ y una desingularización functorial $\tau: \tilde{X} \to X \times_S \tilde{S}$. Este paso permite la aplicación de técnicas que requieren semiestabilidad estricta, al tiempo que se controla el divisor de ramificación $R_f$.
2. Productos Fibrados y Sumas Alternadas: Una innovación técnica central es el uso de productos fibrados. En lugar de incrustar el determinante del empuje directo de haces pluricanónicos en un producto fibrado de alto orden (como se hizo en trabajos anteriores como Kovács-Taji [18]), este artículo emplea una inmersión que surge de una construcción de suma alternada. Específicamente, construye una inyección:
   $$\det f_*(\mathcal{O}_X(rK_{X/S}))^{\otimes r} \hookrightarrow \bigoplus_{i=1}^{lr} f_*(\mathcal{O}_X(rK_{X/S})) \simeq f_{[lr]*}(\mathcal{O}_{X^{[lr]}}(rK_{X/S}))$$
   donde $l$ es el rango del haz. Esta construcción conduce a una desigualdad cuantitativamente más aguda porque el orden del producto fibrado $lr$ es generalmente menor que el orden $\mu$ requerido en inmersiones anteriores.
3. Desigualdades de Teoría de Hodge: Los autores aprovechan la desigualdad de Arakelov de teoría de Hodge establecida en su trabajo previo [24]. Al incrustar los haces relevantes en la extensión canónica de una variación de estructura de Hodge sobre la base, utilizan la positividad del haz cotangente logarítmico $\Omega_S(\log D)$ y la semiestabilidad parabólica de la extensión de Deligne para derivar las cotas numéricas.
4. Control de la Ramificación: La definición del divisor de ramificación $R_f$ (Definición 2.3) es crucial. Se define como el menor $\mathbb{Q}$-divisor efectivo que satisface una desigualdad específica que involucra el pullback del discriminante y la parte vertical de $\Delta$. El artículo demuestra que para familias estrictamente semiestables en codimensión uno, $R_f$ se anula.

Contribuciones y Resultados Clave

• Teorema 1.1 (Desigualdad Principal): El artículo establece una desigualdad general de tipo Arakelov para un morfismo $f: (X, \Delta) \to S$ donde $(X, \Delta)$ es un par snc slc. Para un subhaz coherente $W$ de rango $l$ dentro de $(f_*\mathcal{O}_X(kK_{X/S} + \lfloor k\Delta \rfloor))^{\otimes r}$, y asumiendo que $K_S + D$ es pseudo-efectivo, la desigualdad acota el número de intersección $c_1(W) \cdot \alpha$ para cualquier clase de curva móvil $\alpha$. La cota involucra términos dependientes de la dimensión de la base ($d$), la dimensión relativa ($n$), el rango ($l$), la potencia tensorial ($r$) y el divisor de ramificación $R_f$.

  • En el caso donde $\dim S = 1$, la desigualdad se vuelve aguda (Teorema 1.1, Ecuación 1.2), recuperando y refinando resultados de Viehweg-Zuo y otros.
  • Cuando $K_S + D$ es amplio, se proporciona una estimación refinada que involucra $(K_S + D)^{d-1}$.

• Comparación con Trabajos Previos: El artículo contrasta explícitamente su técnica con Kovács-Taji [18]. Mientras que Kovács-Taji utilizó inmersiones en productos fibrados de alto orden (de orden $\mu$) para acceder a estructuras de Hodge, este artículo utiliza la construcción de suma alternada para incrustar en productos fibrados de orden inferior (de orden $lr$). Esta reducción en el orden del producto fibrado produce una cota cuantitativa más aguda. Además, el artículo explota la semiestabilidad parabólica de la extensión de Deligne para lograr optimalidad en el caso de curvas.

• Teorema 1.2 (Cota de Volumen de Iitaka): Como consecuencia de la desigualdad principal, el artículo deriva una cota superior para el volumen de Iitaka de espacios fibrados algebraicos $f: X \to S$ (donde $S$ es una curva) cuya fibra genérica geométrica admite un modelo mínimo bueno. La cota relaciona el volumen de Iitaka del espacio total con el de la fibra, el grado del divisor base $K_S + D$ y el divisor de ramificación.

Significado y Afirmaciones
El artículo afirma establecer una desigualdad de tipo Arakelov de dimensión superior sobre los números complejos que es aplicable a familias con espacios totales singulares (pares snc slc), extendiendo así el alcance más allá de las familias suaves o log-suaves. Esta generalidad es significativa para el estudio de los espacios de móduli de variedades, particularmente en sus bordes.

Los autores afirman que su resultado proporciona una versión efectiva de la desigualdad establecida por Kovács-Taji [18], ofreciendo una cota cuantitativamente más aguda debido a la técnica de inmersión refinada. Además, el artículo afirma que la desigualdad en el caso de curvas (Teorema 1.1, Ecuación 1.2) es aguda, con igualdad que se cumple para ciertas familias de Shimura.

El trabajo se basa en los resultados previos de los autores en [24], que confirmaron la conjetura de acotación de Shafarevich geométrica para pares KSB y modelos mínimos estables. El artículo actual sirve para refinar las herramientas técnicas (específicamente la desigualdad de Arakelov) utilizadas en ese contexto más amplio, proporcionando un control más preciso sobre los invariantes numéricos de familias de pares. El artículo no propone nuevas aplicaciones experimentales, sino que posiciona la desigualdad como una herramienta fundamental para comprender la geometría de los espacios de móduli y la acotación de espacios fibrados algebraicos.