Stable Degeneration, Non-degenerate Forms, and Kaledin's Conjecture

Título: Degeneración estable, formas no degeneradas y la Conjetura de Kaledin
Autores: Chenyang Xu y Ziquan Zhuang (con un apéndice de Henri Guenancia)

Planteamiento del problema

El artículo aborda el comportamiento de las estructuras geométricas bajo el proceso de degeneración estable para singularidades klt (kawamata log terminal). Específicamente, investiga si las formas diferenciales reflexivas no degeneradas se preservan cuando una singularidad klt degenera hacia su degeneración estable canónica (la variedad afín asociada al minimizador del volumen normalizado).

Un enfoque central es la aplicación de este resultado de preservación a las singularidades simplécticas. Los autores pretenden resolver la Conjetura de Kaledin, la cual postula que la completitud formal de cualquier singularidad simpléctica es cónica (es decir, admite una acción de un toro de dilatación). Si bien el trabajo previo de Namikawa y Odaka estableció esto para variedades simplécticas proyectivas suavizables mediante conos tangentes métricos y teoría de deformaciones de Poisson, los autores buscan probar la conjetura para arbitrarias singularidades simplécticas utilizando métodos puramente algebraicos basados en la K-estabilidad local.

Metodología

Los autores emplean una combinación de la teoría de la K-estabilidad local, configuraciones de prueba y la geometría de las formas diferenciales en variedades singulares.

1. Degeneración estable y componentes de Kollár:
   El estudio se basa en la teoría de que toda singularidad klt admite una única (salvo reescalamiento) valoración cuasi-monomial $v_0$ que minimiza el volumen normalizado. El anillo graduado asociado define la degeneración estable $X_0$. Cuando el minimizador es divisorial, este corresponde a un componente de Kollár $D$, el cual induce una configuración de prueba especial.

2. Discrepancia logarítmica de formas diferenciales:
   Los autores introducen una discrepancia logarítmica generalizada $A_\sigma(D)$ para una forma reflexiva $p$-forma $\sigma$ a lo largo de un divisor $D$. Esto mide el orden de anulación de $\sigma$ a lo largo de $D$ cuando se visualiza como una sección racional de $\Omega^p_Y(\log D)$.

3. Umbrales de estabilidad y semiestabilidad:
   Una innovación técnica clave es relacionar el orden de anulación de las formas diferenciales con el umbral de estabilidad (invariante $\delta$) del par log Fano $(D, \Delta_D)$ asociado al componente de Kollár. Los autores utilizan el haz cotangente de orbifold y su extensión canónica. Demuestran que este haz de extensión es semiestable de pendiente (un resultado que se apoya en argumentos analíticos de Guenancia en el apéndice) para un par log Fano K-semiestable. Esta semiestabilidad proporciona una cota inferior para la discrepancia logarítmica de las formas en términos del umbral de estabilidad.

4. Aproximación por componentes de Kollár:
   Dado que el minimizador del volumen normalizado es a menudo cuasi-monomial (de rango superior) en lugar de divisorial, los autores aproximan el minimizador utilizando una secuencia de componentes de Kollár. Demuestran que estos componentes aproximantes están arbitrariamente cerca de ser K-semiestables, lo que permite la transferencia de resultados del caso divisorial al caso general.

5. Rigidez y algebraización:
   Para probar la conjetura de Kaledin, los autores combinan la preservación de la forma simpléctica bajo la degeneración con un resultado de rigidez: cualquier degeneración especial simpléctica de una singularidad simpléctica es analíticamente trivial. Además, muestran que los isomorfismos formales entre singularidades simplécticas cónicas pueden elevarse a isomorfismos algebraicos mediante el análisis de los toros máximos en el grupo de automorfismos formales.

Contribuciones clave y resultados

1. Preservación de formas no degeneradas (Teorema 1.1)
El resultado principal establece que si $x \in X$ es una singularidad klt con degeneración estable $x_0 \in X_0$, y $\sigma$ es una $p$-forma reflexiva no degenerada en $X$, entonces la especialización $\sigma_0$ en $X_0$ también es no degenerada.

• Mecanismo: Esto se demuestra mostrando que para un componente de Kollár $D$ cercano al minimizador, la condición de no degeneración de la especialización es equivalente a la igualdad de las discrepancias logarítmicas normalizadas: $A_\sigma(D)/p = A_X(D)/n$. Esta igualdad está garantizada por la K-semiestabilidad del par log Fano asociado y la semiestabilidad de la extensión canónica del haz cotangente de orbifold.

2. Confirmación de la Conjetura de Kaledin (Teorema 1.2 / Corolario 6.3)
El artículo demuestra que toda singularidad simpléctica es formalmente isomórfica a una singularidad simpléctica cónica. Además, cada una de estas singularidades simplécticas cónicas es un cono Fano K-semiestable.

• Significancia: Esto extiende la conjetura de Kaledin desde el entorno global de variedades proyectivas suavizables (previamente conocido vía [NO25]) hacia el entorno local de arbitrarias singularidades klt. Implica que la completitud formal de cualquier singularidad simpléctica admite una acción de un toro de dilatación canónica.

3. Estimaciones de la discrepancia logarítmica (Teorema 1.5)
Los autores establecen una desigualdad fundamental que relaciona la discrepancia logarítmica de una forma con el umbral de estabilidad de la geometría subyacente:
$$\min\{\delta(D, \Delta_D), 1\} \cdot \frac{A_X(D)}{n} \leq \frac{A_\sigma(D)}{p}$$
Esta desigualdad indica que las formas diferenciales en singularidades klt tienden a tener órdenes de anulación más altos a lo largo de los componentes de Kollár que están más cerca de ser K-estables.

4. Aplicaciones a singularidades específicas
La teoría se aplica para identificar minimizadores del volumen normalizado en casos donde la simetría simplifica la búsqueda:

• Cierres de órbitas nilpotentes (Teorema 1.3): Para la normalización del cierre de una órbita nilpotente en una álgebra de Lie semisimple, la acción de escala estándar $\mathbb{G}_m$ proporciona el minimizador del volumen normalizado. En consecuencia, la base natural del cono es una variedad Fano K-semiestable.
• Singularidades hipertóricas (Teorema 1.4): Para las singularidades hipertóricas, el minimizador del volumen normalizado es inducido por la dilatación estándar del espacio ambiente $\mathbb{C}^{2N}$.

Significancia y Reivindicaciones

El artículo afirma proporcionar una prueba puramente algebraica de la conjetura de Kaledin para arbitrarias singularidades simplécticas, distinta de los enfoques métricos/analíticos utilizados en trabajos previos. Al demostrar que la degeneración estable preserva las formas no degeneradas, los autores cierran la brecha entre la teoría de la K-estabilidad local de las singularidades y la geometría simpléctica de estos espacios.

Los resultados sugieren que la estructura hiperkähler "oculta" que se espera en las singularidades simplécticas cónicas se refleja en su K-semiestabilidad algebraica. Los autores señalan que, aunque prueban la K-semiestabilidad, esperan que estas singularidades cónicas sean K-poliestables (y, por tanto, admitan métricas de cono hiperkähler), una condición más fuerte que sigue siendo objeto de investigación futura.

El artículo no propone nuevas aplicaciones experimentales, sino que consolida la base teórica para comprender la estructura local de las singularidades simplécticas, ofreciendo un marco unificado para analizar sus deformaciones y automorfismos.