A counterexample to the PIA conjecture for minimal log discrepancies

Aquí se presenta un resumen técnico detallado del artículo "Un contraejemplo a la conjetura PIA para las discrepancias logarítmicas mínimas" de Yusuke Nakamura y Kohsuke Shibata.

1. Planteamiento del Problema

El artículo aborda la conjetura PIA (Inversión Precisa de la Adjunción), una hipótesis fundamental en geometría biracional concerniente a las Discrepancias Logarítmicas Mínimas (mld).

• Contexto: La discrepancia logarítmica mínima es un invariante numérico que mide la severidad de las singularidades. La conjetura PIA postula una igualdad precisa entre la mld de un par $(X, D + \Delta)$ en un punto $x$ sobre un divisor de Cartier normal $D$, y la mld del par restringido $(D, \Delta|_D)$ en el mismo punto.
• La Conjetura: Específicamente, la Conjetura 1.3 establece que para un par logarítmico $(X, \mathfrak{a})$ y un divisor primo de Cartier normal $D$ no contenido en el cosoporte de $\mathfrak{a}$:
  $$\text{mld}_x(X, \mathfrak{a} \mathcal{O}_X(-D)) = \text{mld}_x(D, \mathfrak{a} \mathcal{O}_D)$$
• Estado Conocido: La desigualdad "$\leq$" se sabe que siempre se cumple. La conjetura afirma la desigualdad inversa "$\geq$". Ha sido demostrada en varios casos:
  • $\dim X = 2$ (Shokurov).
  • $X$ es suave (Ein, Mustață, Yasuda).
  • $X$ es una intersección completa local (Ein, Mustață).
  • $\dim X = 3$ (demostrado en este artículo).
  • $X$ tiene singularidades cociente y $D$ es klt (terminal logarítmico) en $x$ (Nakamura, Shibata).
• La Brecha: La conjetura permanecía abierta para dimensiones superiores ($\dim X \geq 4$) y, crucialmente, para casos donde el propio divisor $D$ tiene singularidades no klt.

2. Metodología

Los autores emplean una combinación de teoría de singularidades cociente, acciones de grupos y teoría de espacios de arcos para construir un contraejemplo.

A. Construcción del Contraejemplo

Los autores definen una familia específica de variedades utilizando acciones de grupos cíclicos:

• Configuración: Sea $k$ un cuerpo algebraicamente cerrado de característica cero. Sea $\xi$ una raíz primitiva tercera de la unidad.
• Espacio: Considere $A^{n+3}_k = \text{Spec}(k[x_1, \dots, x_{n+3}])$.
• Acción de Grupo: Defina un grupo cíclico $G = \langle \gamma \rangle \cong \mathbb{Z}/3\mathbb{Z}$ actuando sobre el espacio mediante la matriz diagonal $\gamma = \text{diag}(1, \xi, \xi^2, \xi, \dots, \xi)$.
• Variedades Cociente:
  • $A_n = A^{n+3}_k / G$.
  • $B_n$ es la hipersuperficie definida por $f = x_1^3 + x_2^3 + x_3^3 = 0$ dentro de $A^{n+3}_k$, y $\bar{B}_n = B_n / G$ es su imagen en el cociente.
• Objetivo: El par $(\bar{A}_n, \bar{B}_n)$ en el origen $x_0$.

B. El Concepto de Acciones "Virtualmente Libres"

Una contribución teórica mayor es la introducción de acciones de grupos "virtualmente libres" para explicar por qué la mld se comporta de manera inesperada en esta construcción.

• Definición: Una acción $G$ sobre una variedad normal $X$ es virtualmente libre si, para cualquier morfismo propio biracional $G$-equivariante $Y \to X$ desde una variedad normal $Y$, la acción sobre $Y$ es libre en codimensión uno.
• Propiedades:
  • Se sitúa estrictamente entre "libre" y "libre en codimensión uno".
  • Proposición 3.5: Si una acción $G$ es virtualmente libre, la discrepancia logarítmica mínima se preserva bajo el cociente: $\text{mld}_x(X, \mathfrak{a}) = \text{mld}_{x'}(X/G, \mathfrak{a})$.
  • Teorema 3.10: Si $X$ es klt, "virtualmente libre" es equivalente a "libre". Esto explica por qué no se pueden construir contraejemplos utilizando variedades klt (ya que la acción tendría que ser libre, preservando el comportamiento estándar).

C. Cálculo de la mld

Los autores calculan la mld para el ejemplo construido:

1. Para el espacio ambiente: Utilizando la fórmula de la edad para singularidades cociente, determinan $\text{mld}_{x_0}(\bar{A}_n) = 2 + n/3$.
2. Para el divisor: Demuestran que la acción sobre $B_n$ es virtualmente libre (Lema 4.1). En consecuencia, $\text{mld}_{x_0}(\bar{B}_n) = \text{mld}_{x_0}(B_n)$. Dado que $B_n$ es un producto de una singularidad de superficie y un espacio afín, $\text{mld}_{x_0}(B_n) = n$.
3. La Discrepancia:
   • $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq \text{mld}_{x_0}(\bar{A}_n) - 1 = 1 + n/3$.
   • $\text{mld}_{x_0}(\bar{B}_n) = n$.
   • Para $n \geq 2$, $n > 1 + n/3$. Por lo tanto, $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) < \text{mld}_{x_0}(\bar{B}_n)$, violando la conjetura PIA.

3. Contribuciones Clave

1. Refutación de la Conjetura PIA: El artículo proporciona el primer contraejemplo a la conjetura PIA para $\dim X \geq 5$.

   • Resultado: Para $n \geq 2$, la igualdad falla para el par $(\bar{A}_n, \bar{B}_n)$.
   • Significado: Esto demuestra que la conjetura PIA no se cumple generalmente para variedades con singularidades cociente si el divisor $D$ no es klt.

2. Introducción de Acciones "Virtualmente Libres":

   • Este nuevo concepto explica el fenómeno donde $\text{mld}(X/G) = \text{mld}(X)$ incluso cuando la acción del grupo no es libre.
   • Cierra la brecha entre acciones libres (donde la mld se preserva) y acciones no libres (donde la mld usualmente disminuye).

3. Contraejemplo a la Conjetura LSC para Familias:

   • Los autores utilizan una construcción similar para refutar la Conjetura LSC (Semicontinuidad Inferior) para Familias (Conjetura 5.3).
   • Construyen una familia plana donde la mld de la fibra especial ($t=0$) es estrictamente menor que la mld de las fibras generales ($t \neq 0$), violando la semicontinuidad inferior.
   • Condición Crucial: Este fallo ocurre específicamente cuando las fibras no son klt.

4. Demostración de PIA en Dimensión 3:

   • Los autores proporcionan una demostración de que la conjetura PIA se cumple para $\dim X = 3$ (Proposición 6.1), llenando un vacío en la literatura.

4. Resumen de Resultados

Dimensión	Estado de la Conjetura PIA	Condición
$\dim X = 2$	Verdadera	General (Shokurov)
$\dim X = 3$	Verdadera	General (Demostrado en este artículo)
$\dim X = 4$	Abierta	Pregunta 6.2
$\dim X \geq 5$	Falsa	Contraejemplo proporcionado (Teorema 1.5)
General	Verdadera	Si $D$ es klt en $x$ (Nakamura-Shibata)
General	Falsa	Si $D$ no es klt (Contraejemplo)

Valores Específicos del Contraejemplo (para $n \geq 2$):

• $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq 1 + \frac{n}{3}$
• $\text{mld}_{x_0}(\bar{B}_n) = n$
• Dado que $n > 1 + n/3$, la conjetura falla.

5. Significado

• Refinamiento de Conjeturas: El artículo obliga a una reevaluación de la conjetura PIA. Sugiere que la conjetura requiere la suposición adicional de que el divisor $D$ sea klt en el punto de interés. Sin esta suposición, la igualdad "precisa" falla.
• Teoría de Singularidades: Destaca el comportamiento patológico de las discrepancias logarítmicas mínimas en presencia de singularidades no klt y acciones de grupos no libres.
• Familias y Deformación: El contraejemplo a la conjetura LSC para familias aclara los límites de la invariancia por deformación para las singularidades. Muestra que, mientras que las singularidades terminales/canónicas se deforman bien, el comportamiento de la mld en familias con fibras no klt es inestable.
• Futuras Direcciones: El artículo deja abierto el caso de dimensión 4 y plantea preguntas sobre si la conjetura puede ser salvada restringiéndola a divisores klt (Pregunta 6.4).

En conclusión, Nakamura y Shibata han alterado fundamentalmente la comprensión de la conjetura PIA al demostrar su fallo en dimensiones superiores para divisores no klt, introduciendo el concepto de acciones "virtualmente libres" para explicar la geometría subyacente y proporcionando una demostración rigurosa para el caso de dimensión 3.