Geometric Shafarevich boundedness conjecture for families of polarized varieties

Resumen Técnico: Conjetura de Acotación de Shafarevich Geométrica para Familias de Variedades Polarizadas

Enunciado del Problema
Este artículo aborda la generalización en dimensión superior de la conjetura de Shafarevich geométrica sobre el cuerpo de los números complejos. Mientras que la conjetura clásica para curvas (establecida por Parˇsin y Arakelov) afirma la finitud de familias de curvas proyectivas suaves de género $g > 1$ sobre una base cuasi-proyectiva, esta propiedad falla para variedades de dimensión superior debido a la existencia de familias suaves no rígidas. Trabajos previos de Faltings, Liu-Todorov-Yau-Zuo y otros demostraron que las familias suaves de variedades abelianas principalmente polarizadas y de variedades de Calabi-Yau polarizadas pueden admitir deformaciones no triviales sobre la base.

En consecuencia, la relación de equivalencia apropiada para familias de dimensión superior no es el mero isomorfismo sobre la base, sino la equivalencia por deformación. El problema central es establecer la acotación de tales familias: específicamente, si el conjunto de clases de equivalencia por deformación de familias de modelos mínimos estables sobre una base fija es finito, o equivalentemente, si el pila Hom asociada es de tipo finito. Esta indagación está intrínsecamente ligada a la construcción de espacios de móduli compactificables, particularmente la pila de móduli de modelos mínimos estables introducida por Birkar, que generaliza el móduli de pares KSB y de curvas estables de Deligne-Mumford.

Metodología
La estrategia de prueba se basa en establecer una desigualdad de tipo Arakelov uniforme para el grado del morfismo clasificatorio de una familia con respecto a un haz de líneas $\mathbb{Q}$-amplio específico en el espacio de móduli grueso. La metodología procede a través de los siguientes pasos técnicos:

1. Móduli y Polarización: El artículo utiliza la pila de Deligne-Mumford propia $\mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$ que parametriza modelos mínimos estables. Una herramienta técnica clave es la construcción de un haz de líneas $\mathbb{Q}$-amplio $\lambda_{a,r}$ en el espacio de móduli grueso, derivado del determinante del haz imagen directa $f_*(r(K_{X/S} + B + aA))$.
2. Condición de Admisibilidad: Una innovación crucial es la introducción de familias birationales admisibles. Esta condición requiere que la familia admita un modelo birracional logarítmico estricto de intersección normal simple (SNC). Esto excluye familias donde las fibras o las polarizaciones degeneran de una manera que impide la aplicación de cotas de teoría de Hodge (como se ilustra mediante contraejemplos que involucran la degeneración de fibras o polarizaciones).
3. Construcción de Teoría de Hodge: El núcleo de la prueba implica la construcción de un haz de Higgs logarítmico asociado a una familia admisible. A diferencia de enfoques anteriores (por ejemplo, Kovács-Taji) que utilizaban incrustaciones en variaciones de estructuras de Hodge mediante productos fibrados de alto orden ($\mu$-ple), este artículo emplea una construcción de suma alternada. Esto implica incrustar el determinante del empuje hacia adelante del haz canónico relativo en una variación de estructura de Hodge mixta (VMHS) de origen geométrico.
4. Derivación de la Desigualdad de Arakelov: Aprovechando la positividad del haz cotangente logarítmico (Campana-Păun) y la semiestabilidad parabólica de la extensión de Deligne de la VMHS (Simpson), los autores derivan una cota superior uniforme para el grado del morfismo clasificatorio. Esta cota depende de los invariantes numéricos del problema de móduli y de la geometría de la base.

Contribuciones y Resultados Clave

• Teorema 1.1 (Acotación por Deformación): Para una variedad algebraica $S$ con un lugar singular compacto y una subpila localmente cerrada estrictamente biracionalmente admisible $\mathcal{S} \subset \mathcal{M}_{slc}(d, \Phi_c, \Gamma, \sigma)$, el conjunto de clases de equivalencia por deformación de familias $\mathcal{S}$-admisibles sobre $S$ es finito.
• Teorema 1.2 (Acotación de Pilas Hom): La pila Hom relativa $\text{Hom}((S, Z), (\mathcal{S}, \partial\mathcal{S}))$ es de tipo finito, donde $Z$ es el borde de la base y $\partial\mathcal{S}$ es el borde de la pila de móduli.
• Teorema 1.3 (Desigualdad de Arakelov para Familias Estables): El artículo establece una cota cuantitativa precisa para el grado del morfismo clasificatorio $\xi: S \to \mathcal{M}_{slc}$. Específicamente, para una familia biracionalmente admisible, la desigualdad
  $$c_1(\xi^*\lambda_{a,r}) \cdot \alpha \leq \frac{1}{k(kl^r d + 1)} \sum_{p=1}^{kl^r d} p^{n p-1} (K_S + D) \cdot \alpha + \frac{2}{k} D \cdot \alpha$$
  se cumple para clases de curvas movibles $\alpha$, donde $l = \text{rango}(\Lambda_{a,r})$. En el caso donde $K_S + D$ es amplio, se obtiene una cota más aguda.
• Refinamiento de Cotas Anteriores: El artículo señala que la construcción de suma alternada utilizada aquí conduce a una desigualdad de Arakelov cuantitativamente más aguda en comparación con las incrustaciones anteriores, ya que el orden del producto fibrado requerido es significativamente menor ($lr \ll \mu$).

Significado
El artículo afirma establecer la conjetura de acotación de Shafarevich geométrica para la pila de móduli de modelos mínimos estables, un objeto fundamental en la clasificación birracional de variedades algebraicas. Al demostrar que las familias estrictamente biracionalmente admisibles forman un móduli acotado, el trabajo generaliza resultados clásicos sobre curvas (recuperando la conjetura de Shafarevich para $M_g$) y extiende los resultados de acotación para variedades polarizadas canónicamente (Bedulev-Viehweg, Kovács-Lieblich) y familias de Calabi-Yau al contexto más amplio de modelos mínimos estables.

El significado radica en confirmar que, bajo la condición apropiada de admisibilidad birracional, el móduli de modelos mínimos estables se comporta bien con respecto a familias sobre bases fijas, reflejando la rigidez observada en el caso de curvas. Esto proporciona un paso fundamental hacia la comprensión de la geometría global de los espacios de móduli para variedades de dimensión de Kodaira arbitraria. Los resultados dependen de la interacción entre la geometría de la pila de móduli, la teoría de variaciones de estructuras de Hodge mixtas y las propiedades de positividad de las formas diferenciales logarítmicas.