Inversion of adjunction for quotient singularities III: semi-invariant case

Aquí presento un resumen técnico detallado del artículo "Inversión de la Adjunción para Singularidades Cociente III: Caso Semi-Invariante" de Yusuke Nakamura y Kohsuke Shibata.

1. Planteamiento del Problema y Contexto

El artículo aborda dos conjeturas centrales en geometría biracional relacionadas con las discrepancias logarítmicas mínimas (mld):

1. La Conjetura LSC (Semi-Continuidad Inferior): Propuesta por Ambro, esta conjetura establece que la función que asigna a un punto cerrado $x$ su discrepancia logarítmica mínima $\text{mld}_x(X, \mathfrak{a})$ es semi-continua inferiormente.
2. La Conjetura PIA (Inversión de la Adjunción): Esta conjetura relaciona la mld de un par $(X, D, \mathfrak{a})$ con la mld del divisor $D$ en sí mismo, afirmando específicamente que $\text{mld}_x(X, D, \mathfrak{a}) = \text{mld}_x(D, \mathfrak{a}|_D)$ bajo ciertas condiciones.

Trabajo Previo:
Los autores demostraron previamente estas conjeturas para cocientes de grupos lineales finitos de variedades de intersección completa definidas por ecuaciones invariantes (donde $g(f) = f$ para todo $g \in G$) en su artículo [NS22].

La Brecha:
Muchas singularidades importantes, particularmente las singularidades terminales de dimensión 3, surgen de cocientes de variedades definidas por ecuaciones semi-invariantes (donde $g(f) = \chi(g)f$ para un carácter $\chi$). El marco anterior, limitado a invariantes, era insuficiente para manejar estos casos. El objetivo de este artículo es extender los resultados de ecuaciones invariantes a ecuaciones semi-invariantes.

2. Metodología

Los autores emplean la teoría de espacios de arcos (específicamente la teoría de Denef-Loeser) para calcular las discrepancias logarítmicas mínimas. La metodología central implica los siguientes pasos:

A. Configuración y Definiciones

• Variedades: Sea $A = \mathbb{A}^N_k$ y $G \subset \text{GL}_N(k)$ un grupo finito. Sea $Y \subset A$ una intersección completa definida por $c$ polinomios semi-invariantes $f_1, \dots, f_c$.
• Cociente: La variedad de interés es $Y/G$.
• Semi-invarianza: Un polinomio $f$ es $G$-semi-invariante si para todo $\gamma \in G$, $\gamma(f) = \xi^{a} f$ para alguna raíz de la unidad $\xi$ y un entero $a$. Los autores definen un peso $w_\gamma(f) = a/d$ (donde $d = |G|$).

B. Modificación de la Construcción del Espacio de Arcos

En el caso invariante ([NS22]), los autores construyeron un esquema $B^{(\gamma)}$ sobre $k[t]$ para estudiar el espacio de arcos del cociente. Para ecuaciones semi-invariantes, la construcción estándar falla porque las ecuaciones transformadas $\lambda^*_\gamma(f_i)$ no necesariamente pertenecen a $R[t]$.

Innovación Técnica Clave:

1. Transformación Ponderada: Los autores introducen un homomorfismo modificado $\lambda^*_\gamma$ y definen el esquema $B^{(\gamma)}$ utilizando el ideal generado por términos ponderados:
   $$\lambda^*_\gamma(f_i) t^{-w_\gamma(f_i)}$$
   Esto asegura que los generadores pertenezcan a $R[t]$, permitiendo la construcción de un esquema $k[t]$ bien definido.
2. Extensión a $k[t^{1/d}]$: Para manejar correctamente el haz de diferenciales y los ideales jacobianos, los autores extienden la base de $k[t]$ a $k[t^{1/d}]$. Definen un esquema $B^{(\gamma)}_{1/d}$ y un haz invertible específico $\mathcal{L}_{B^{(\gamma)}_{1/d}}$ que juega el papel del haz canónico relativo.
3. Comparación de Jacobianos: Establecen relaciones precisas entre los ideales jacobianos de los morfismos involucrados (específicamente $\mu_\gamma$ y $p$) y los ideales de Nash de la variedad original $B$. Esto implica calcular el orden del jacobiano del morfismo entre espacios de arcos.

C. La Fórmula Principal

Los autores derivan una fórmula para la discrepancia logarítmica mínima en el origen $x$ de la variedad cociente $Y/G$:
$$\text{mld}_x(Y/G, \mathfrak{a}^\tau) = \inf_{\gamma \in G, b_1, b_2 \in \mathbb{Z}_{\ge 0}} \left\{ \text{codim}(C_{\gamma, b_1, b_2}) + \text{age}(\gamma) - w_\gamma(f) - b_2 - \tau b_1 \right\}$$
Aquí, $w_\gamma(f) = \sum w_\gamma(f_i)$ es el nuevo término introducido por la naturaleza semi-invariante de las ecuaciones. El término $\text{age}(\gamma)$ es la edad estándar del elemento del grupo, y $C_{\gamma, b_1, b_2}$ son lugares de contacto específicos en el espacio de arcos del esquema modificado $B^{(\gamma)}$.

3. Contribuciones y Resultados Clave

A. Teorema 1.5 (Inversión de la Adjunción para Cocientes)

Este es el resultado técnico central. Establece una igualdad precisa entre la mld de la variedad cociente $Y/G$ y la mld del espacio ambiente $A/G$ con un haz de ideales específico:
$$\text{mld}_y(Y, \mathfrak{a}\mathcal{O}_Y) = \text{mld}_y\left(X, (f_1^d \cdots f_c^d)^{1/d} \mathfrak{a}\right)$$
Esta fórmula reduce efectivamente el problema en el cociente singular $Y$ a un problema en el cociente ambiente $X$, ajustado por el producto de las ecuaciones definitorias elevadas a la potencia del orden del grupo.

B. Teorema 1.4 (Conjetura PIA para Casos Semi-Invariantes)

Utilizando el resultado anterior, los autores prueban la conjetura PIA para cocientes de grupos lineales finitos de intersecciones completas definidas por ecuaciones semi-invariantes. Específicamente, si $D$ es un divisor de Cartier klt en $Y$, entonces:
$$\text{mld}_y(Y, D, \mathfrak{a}) = \text{mld}_y(D, \mathfrak{a}|_D)$$

C. Teorema 1.2 (Conjetura LSC para Casos Semi-Invariantes)

El artículo demuestra que la función de discrepancia logarítmica mínima es semi-continua inferiormente para variedades $Y/G$ definidas por ecuaciones semi-invariantes.

• Significado: Esto extiende la validez conocida de la conjetura LSC a una clase más amplia de singularidades, incluidas las singularidades terminales de dimensión 3.

4. Significado e Impacto

1. Resolución de Singularidades Terminales 3D: La clasificación de las singularidades terminales de dimensión 3 (por Reid y Mori) muestra que son cocientes de puntos lisos o puntos cDV. Estos a menudo involucran ecuaciones semi-invariantes. Al probar las conjeturas LSC y PIA para este caso, los autores proporcionan una base teórica completa para el comportamiento de la mld en dimensión 3.
2. Generalización de la Teoría de Espacios de Arcos: El artículo adapta exitosamente la teoría de espacios de arcos de Denef-Loeser para manejar ecuaciones semi-invariantes. La introducción del peso $w_\gamma(f)$ y la extensión a esquemas $k[t^{1/d}]$ son herramientas técnicas novedosas que podrían ser aplicables a otros problemas que involucren acciones de grupo con caracteres no triviales.
3. Fundamento para la Terminación de Flips: Dado que las conjeturas LSC y ACC implican la terminación de los flips (un paso crucial en el Programa del Modelo Mínimo), este resultado fortalece los fundamentos teóricos del MMP en el contexto de singularidades cociente.

5. Conclusión

Nakamura y Shibata generalizan con éxito su trabajo anterior sobre ecuaciones invariantes al caso semi-invariante más complejo. Mediante la modificación cuidadosa de la construcción de espacios de arcos y la introducción de un término de corrección de peso $w_\gamma(f)$, prueban la Inversión de la Adjunción y la Semi-Continuidad Inferior de las discrepancias logarítmicas mínimas para una amplia clase de singularidades cociente. Este trabajo es un paso crítico hacia una comprensión completa de las singularidades en la geometría biracional de dimensiones superiores, particularmente aquellas que surgen de acciones de grupos finitos.