On the behavior of analytic torsion for twisted canonical bundles under degenerations

Resumen Técnico: Comportamiento del Torsión Analítica para Haz Canónico Retorcido bajo Degeneraciones

1. Planteamiento del Problema

El artículo aborda el estudio del comportamiento asintótico de la torsión analítica equivariante asociada a haces canónicos retorcidos ($K_{X/S}(\xi)$) en el contexto de una degeneración de variedades algebraicas proyectivas.

• Contexto Geométrico: Se considera una familia $\pi: X \to S$ de variedades proyectivas sobre un disco unitario $S \subset \mathbb{C}$, donde $0 \in S$ es un punto crítico (lugar discriminante). La fibra genérica $X_s$ es una variedad suave, mientras que la fibra singular $X_0 = \pi^{-1}(0)$ puede tener singularidades.
• Estructura Adicional:
  • Existe una acción holomorfa de un grupo de Lie compacto $G$ sobre $X$ que preserva las fibras.
  • El haz vectorial $\xi \to X$ es holomorfo, equivariante y posee una métrica hermitiana $G$-invariante.
  • Hipótesis de Positividad: Se asume que $(\xi, h_\xi)$ es Nakano semi-positivo.
• Objetivo Principal: Describir la estructura de la singularidad de la función $\log \tau_G(X_s, K_{X_s}(\xi_s))(g)$ cuando $s \to 0$. Específicamente, se busca determinar los coeficientes de los términos dominantes (logarítmicos y log-log) en la expansión asintótica.

2. Metodología

La estrategia del autor combina técnicas de geometría analítica compleja, teoría de Hodge, y métodos de reducción semi-estable. Los pilares metodológicos son:

1. Relación entre Métricas: La torsión analítica equivariante se define como el cociente entre la métrica de Quillen equivariante y la métrica $L^2$ en el determinante de la cohomología. El análisis de la singularidad de la torsión se reduce al estudio de la singularidad de ambas métricas.
2. Reducción Semi-estable: Se utiliza un teorema de reducción semi-estable (de Kulikov, semistable reduction) para construir un diagrama conmutativo donde la familia original se levanta a una familia $f: Y \to T$ con fibra singular $Y_0$ que es un divisor de cruce normal reducido. Esto permite trabajar con estructuras más manejables cerca de la singularidad.
3. Representación por Formas Armónicas: Siguiendo a Takegoshi y Mourougane-Takayama, las clases de cohomología en las fibras se representan mediante formas diferenciales armónicas. Esto permite expresar los elementos de la métrica $L^2$ como integrales fibradas de formas diferenciales específicas.
4. Desarrollo Asintótico de Integrales Fibradas: Se demuestra que las integrales fibradas admiten una expansión asintótica de tipo Barlet-Takayama, que incluye términos de la forma $|s|^{2r}(\log |s|)^k$.
5. Clases de Bott-Chern y Corrientes: Para obtener fórmulas topológicas locales, el autor extiende la teoría de las formas de Bott-Chern a configuraciones degeneradas, construyendo corrientes de tipo Bott-Chern asociadas a homomorfismos entre haces vectoriales y analizando sus integrales fibradas.

3. Contribuciones Clave y Resultados Principales

El artículo establece tres teoremas fundamentales y varios resultados auxiliares:

A. Expansión Asintótica General (Teorema 0.1)
Se prueba que el logaritmo de la torsión analítica equivariante admite una expansión asintótica cerca de $s=0$:
$$\log \tau_G(X_s, K_{X_s}(\xi_s))(g) = \kappa_g \log |s|^2 - \varrho_g \log \log(|s|^{-2}) + \gamma_g + O\left(\frac{1}{\log |s|^{-1}}\right)$$

• Término Dominante ($\kappa_g \log |s|^2$): El coeficiente $\kappa_g$ es un número racional (entero si $G$ es trivial) que captura la singularidad logarítmica principal.
• Término Subdominante ($\varrho_g \log \log |s|$): El coeficiente $\varrho_g$ está relacionado con los "exponentes elementales" de los haces directos de cohomología y la estructura de la monodromía.
• Dependencia: La fórmula incluye términos de corrección que dependen de funciones suaves y potencias racionales de $|s|$.

B. Fórmula Topológica Local para el Término Dominante (Teorema 0.2)
En el caso no equivariante ($G=\{1\}$), el autor proporciona una fórmula explícita para el coeficiente $\kappa$ en términos de clases características integradas sobre la reducción semi-estable:
$$\kappa = \frac{1}{\deg \mu} \left( \alpha_{f, K_{Y/T}}(F^*\xi) + \beta_{Y/X, \xi} \right)$$
Donde:

• $\alpha$ es un invariante topológico asociado a la fibra singular de la reducción.
• $\beta$ es una integral de clases características (Todd y Chern) asociadas a la degeneración del mapa diferencial en la resolución de indeterminación del mapa de Gauss.
• Esta fórmula demuestra que $\kappa$ es un invariante local de la degeneración, determinado por la estructura de las singularidades aisladas y la topología del haz $\xi$ cerca del lugar crítico.

C. Fórmula para Singularidades Aisladas (Teorema 0.3)
Si la fibra singular $X_0$ tiene únicamente singularidades aisladas, el coeficiente $\kappa$ se expresa mediante invariantes clásicos de la teoría de singularidades:
$$\kappa = -\text{rk}(\xi) \sum_{x \in \text{Sing } X_0} \left( \frac{\mu(\pi_x)}{(n+2)!} - \text{epg}(\pi_x) \right)$$

• $\mu(\pi_x)$: Número de Milnor de la singularidad.
• $\text{epg}(\pi_x)$: Género espectral (introducido recientemente por Eriksson y Freixas i Montplet).
• Hallazgo Contraintuitivo: El autor muestra mediante ejemplos que, a diferencia de la conjetura de signo positivo para singularidades de hipersuperficie aisladas, $\kappa$ puede tomar signos arbitrarios cuando la dimensión de la singularidad es mayor que cero (ej. dimensión 1 en una variedad de dimensión 3).

D. Comportamiento de la Métrica $L^2$ (Teorema 0.4)
Se establece una estructura detallada para la métrica $L^2$ sobre los haces directos $R^q\pi_* K_{X/S}(\xi)$. Se demuestra que, tras una reducción semi-estable, la métrica se descompone en una matriz diagonal de potencias de $t$ multiplicada por una matriz que admite una expansión asintótica de tipo Barlet-Takayama. Esto generaliza resultados conocidos de la teoría de Hodge a haces vectoriales no triviales.

E. Acotación de la Curvatura (Teorema 8.3)
Se prueba que la forma de curvatura de la métrica $L^2$ es Poincaré acotada cerca del lugar discriminante, lo que implica que el haz vectorial de cohomología es un "haz aceptable" en el sentido de Mochizuki.

4. Significado e Impacto

• Generalización de Resultados Clásicos: El trabajo extiende los resultados de Bismut, Gillet, Soulé y el propio autor sobre la torsión analítica a contextos con acción de grupo y haces vectoriales retorcidos no triviales (Nakano semi-positivos), un escenario donde las técnicas clásicas de variación de estructuras de Hodge (VHS) no son directamente aplicables.
• Fórmulas Locales y Topológicas: La obtención de una fórmula local para el coeficiente principal $\kappa$ es un avance significativo, ya que conecta invariantes analíticos globales (torsión) con datos puramente topológicos y locales de la singularidad (números de Milnor, géneros espectrales).
• Aplicaciones Futuras: Los resultados son fundamentales para el estudio de invariantes de torsión holomorfa en variedades de Calabi-Yau y variedades simplécticas holomorfas irreducibles (como las variedades de tipo K3[2]), especialmente en presencia de involuciones o acciones de grupos. El autor menciona que estos resultados serán aplicados en trabajos futuros para calcular invariantes de torsión en estos contextos.
• Corrección y Rigor: El artículo corrige imprecisiones en un preprint anterior del autor ([52]), proporcionando pruebas rigurosas para la expansión asintótica y las fórmulas de los coeficientes, utilizando herramientas modernas de teoría de corrientes y resolución de singularidades.

En resumen, este artículo proporciona un marco completo y riguroso para entender cómo la torsión analítica se comporta en el límite de degeneraciones complejas, ofreciendo herramientas poderosas para el cálculo de invariantes geométricos en singularidades y su relación con la topología algebraica.