A Matsushima theorem for K-polystable polarised smooth Fano threefolds

Aquí presento un resumen técnico detallado del artículo "A Matsushima theorem for K-polystable polarised smooth Fano threefolds" (Un teorema de Matsushima para variedades de Fano suaves polarizadas K-poliestables) de Hamid Abban, Paolo Cascini e Ivan Cheltsov.

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la geometría algebraica compleja y la teoría de estabilidad de K-stabilidad, específicamente en el contexto de la Conjetura de Yau-Tian-Donaldson (YTD).

• Contexto: La conjetura YTD establece que un par $(X, L)$, donde $X$ es una variedad proyectiva suave y $L$ es un divisor $\mathbb{Q}$-ample, es K-poliestable si y solo si $X$ admite una métrica de Kähler de curvatura escalar constante (cscK) en la clase $c_1(L)$.
• El Obstáculo: Se sabe que si el grupo de automorfismos $\text{Aut}(X)$ no es reductivo, la existencia de una métrica cscK es imposible. Por lo tanto, la reductividad de $\text{Aut}(X)$ es una condición necesaria para la K-poliestabilidad.
• La Pregunta: ¿Es cierto que si $(X, L)$ es K-poliestable, entonces $\text{Aut}(X)$ es necesariamente reductivo?
  • Este hecho ya fue probado para variedades de Fano polarizadas por su divisor anticanónico $(-K_X)$ por Alper, Blum, Halpern-Leistner y Xu.
  • Sin embargo, el caso general para variedades de Fano suaves con una polarización arbitraria $L$ (no necesariamente $-K_X$) permanecía abierto.
• Objetivo del Artículo: Verificar esta implicación para variedades de Fano suaves de dimensión tres (threefolds) con cualquier polarización $\mathbb{Q}$-ample $L$. Específicamente, demostrar que si $(X, L)$ es K-poliestable, entonces $\text{Aut}(X)$ es reductivo.

2. Metodología

Los autores utilizan una estrategia de clasificación y contraejemplo. Dado que la clasificación de variedades de Fano suaves de dimensión 3 (familias de Mori-Mukai) es finita (105 familias), el enfoque consiste en identificar cuáles de estas familias poseen grupos de automorfismos no reductivos y demostrar que ninguna de ellas puede ser K-poliestable para ninguna polarización $L$.

El proceso se divide en tres mecanismos principales de desestabilización:

1. Desestabilización mediante Configuraciones de Prueba (Test Configurations) e Invariantes de Futaki:

   • Se construyen configuraciones de prueba explícitas (degeneraciones) para familias específicas.
   • Se calcula el Invariante de Donaldson-Futaki (DF). Si se encuentra una configuración de prueba no trivial con $DF \leq 0$, el par no es K-poliestable.
   • Se utiliza la fórmula de Atiyah-Bott para calcular los pesos de las acciones de $\mathbb{C}^*$ en puntos fijos y derivar el invariante DF explícitamente en términos de los coeficientes de la polarización $L$.

2. Desestabilización mediante el Invariante $\beta$:

   • Para la mayoría de los casos, se identifica un divisor primo $F$ sobre $X$ (generalmente un divisor excepcional de una explosión o una transformada estricta de una superficie distinguida).
   • Se calcula el invariante $\beta_L(F)$. Según el Teorema 6 (basado en trabajos de Fujita y Odaka), si existe un divisor $F$ tal que $\beta_L(F) < 0$, entonces $(X, L)$ es K-inestable.
   • El cálculo de $\beta_L(F)$ implica integrar funciones de volumen de divisores $L - uF$ y utilizar descomposiciones de Zariski para determinar la región de pseudoefectividad.

3. Reducción Biracional y Extracciones Auxiliares:

   • Para algunas familias, el divisor desestabilizador no es visible directamente en la variedad original $X$, sino en un modelo biracional.
   • Se utilizan morfismos biracionales (contracciones de rayos extremos del cono de Mori) para reducir el cálculo del invariante $\beta$ a una variedad de menor rango de Picard o a una variedad más simple, aprovechando la Proposición 18 que establece la invariancia del invariante $\beta$ bajo ciertas contracciones biracionales.

3. Contribuciones Clave y Resultados

El artículo proporciona una prueba completa para las 105 familias de variedades de Fano suaves de dimensión 3.

• Identificación de Familías Críticas: Se identifican 22 familias (más casos aislados en otras familias) que contienen variedades con grupos de automorfismos no reductivos. Estas incluyen familias como №2.21, №2.26, №2.28, №3.13, №3.16, etc.

• Prueba de Inestabilidad: Para cada una de estas familias, los autores demuestran que para cualquier divisor $\mathbb{Q}$-ample $L$, el par $(X, L)$ es K-inestable (o al menos no K-poliestable).

  • Familias tratadas con Invariante DF (Sección 2): №2.21, №2.26, №3.13, №3.16. Se muestran configuraciones de prueba donde el invariante de Futaki es negativo o cero pero la configuración no es un producto.
  • Familias tratadas con Invariante $\beta$ directo (Sección 3): №2.28, №3.18, №3.21, №3.22, №3.23, №3.24, №3.29, №4.8, №4.9, №4.10, №4.11, №4.12. Se calculan fórmulas explícitas para $\beta_L(F)$ en términos de los coeficientes de $L$, demostrando que siempre son negativos para $L$ amplio.
  • Familias tratadas con Reducción Biracional (Sección 4): №2.30, №2.31, №2.33, №2.35, №2.36, №3.26, №3.28, №3.30, №3.31. Se reduce el problema a casos ya resueltos o se calcula $\beta$ en modelos auxiliares.

• El Teorema Principal:

  "Sea $X$ una variedad de Fano suave de dimensión 3 y $L$ un divisor $\mathbb{Q}$-ample en $X$. Si $(X, L)$ es K-poliestable, entonces $\text{Aut}(X)$ es reductivo."

4. Significado e Impacto

• Verificación de la Conjetura YTD: Este resultado confirma la parte de "reductividad del grupo de automorfismos" de la conjetura Yau-Tian-Donaldson en el contexto de variedades de Fano suaves de dimensión 3 con polarización arbitraria. Cierra una brecha importante entre el caso polarizado por $-K_X$ y el caso general.
• Herramientas Computacionales y Teóricas: El artículo ofrece una metodología robusta para calcular invariantes de estabilidad (DF y $\beta$) en variedades de alta dimensión y rango de Picard variable. La combinación de construcciones biracionales explícitas con cálculos de volumen y descomposición de Zariski sirve como modelo para futuros estudios en geometría algebraica.
• Clasificación Completa: Al tratar exhaustivamente las 105 familias, el trabajo proporciona un mapa completo de la estabilidad K para variedades de Fano tridimensionales, estableciendo límites claros sobre qué variedades pueden admitir métricas cscK.
• Implicaciones para la Geometría Kähler: Dado que la K-poliestabilidad es una condición necesaria para la existencia de métricas cscK, el resultado implica que las variedades de Fano tridimensionales con grupos de automorfismos no reductivos nunca admiten métricas cscK, independientemente de la polarización elegida.

En resumen, el artículo resuelve un problema abierto de larga data en la teoría de estabilidad K para una clase importante de variedades, utilizando una combinación sofisticada de teoría de biracionalidad, geometría de conos de Mori y análisis asintótico de invariantes de estabilidad.