$\mathbb T$-homogeneous locally nilpotent derivations of trinomial algebras

Resumen Técnico: Derivaciones Localmente Nulas T-Homogéneas de Álgebras Trinomiales

Planteamiento del Problema
El artículo investiga las derivaciones localmente nilpotentes (LNDs) sobre álgebras trinomiales, las cuales son álgebras conmutativas finitamente generadas definidas por sistemas de relaciones compatibles, cada una siendo un trinomio (un polinomio con tres términos). Estas álgebras surgen como anillos de Cox de variedades semiproyectivas racionales normales que admiten una acción de toro de complejidad uno. El problema central es describir aquellas LNDs que son homogéneas con respecto a la acción natural del toro $T$ de complejidad uno.

Mientras que las LNDs homogéneas bajo un cuasitoro específico $H$ (las derivaciones "elementales") fueron estudiadas previamente, este trabajo se centra en las LNDs $T$-homogéneas, donde $T$ es la componente neutra de $H$. Una motivación clave es que, para variedades no factoriales, $T$ es un subgrupo estricto de $H$, lo que potencialmente permite LNDs $T$-homogéneas que no son $H$-homogéneas. Además, comprender los componentes homogéneos de las LNDs es crucial para analizar LNDs arbitrarias, ya que se garantiza que los componentes homogéneos correspondientes a los vértices del poliedro de Newton de los grados son localmente nilpotentes.

Metodología
Los autores emplean una combinación de técnicas algebraicas y estrategias de reducción geométrica:

1. Descomposición Algebraica y Coprimacidad: El análisis depende en gran medida de las propiedades de la graduación por el grupo de caracteres de $T$. Los autores utilizan el hecho de que las variables en las álgebras trinomiales son coprimas entre sí y que el núcleo de una LND está cerrado factorialmente. Descomponen las derivaciones basándose en qué variables aniquilan, distinguiendo entre derivaciones que actúan sobre las variables "trinomiales" ($T_{ij}$) y las variables "libres" ($S_k$).
2. Reducción a Casos de Superficie: Para álgebras trinomiales de Tipo 2 (definidas por relaciones que involucran vectores en $k^2$), los autores reducen el problema de describir LNDs en una variedad arbitraria de alta dimensión al caso de superficies trinomiales. Esto se logra considerando la clausura algebraica del campo generado por las variables no involucradas en el soporte específico de la derivación.
3. Geometría Combinatoria y Tórica: Para los casos de superficie, el artículo utiliza la descripción combinatoria de LNDs homogéneas en variedades con acciones de toro.
   • Para ciertos casos (por ejemplo, $x^2 + y^2 + z^\gamma = 0$ con $\gamma > 2$), la variedad está relacionada con una variedad tórica, lo que permite el uso de raíces de Demazure para clasificar las LNDs homogéneas.
   • Para el caso $x^2 + y^2 + z^2 = 0$, donde la variedad no es tórica en el sentido estándar con respecto al toro actuante, los autores aplican la teoría de divisores poliédricos propios sobre curvas semiproyectivas (específicamente $\mathbb{P}^1$) para clasificar las LNDs de tipo horizontal.
4. Construcción Explícita: El artículo construye fórmulas explícitas para estas derivaciones elevando soluciones desde el nivel de superficie de vuelta al álgebra trinomial general, asegurando que los mapas resultantes estén bien definidos en el álgebra cociente.

Contribuciones y Resultados Clave

El artículo distingue entre dos tipos de álgebras trinomiales, definidos por la estructura de sus relaciones:

1. Álgebras Trinomiales de Tipo 1:
Definidas por relaciones de la forma $T_i^{l_i} - T_{i+1}^{l_{i+1}} - (a_{i+1} - a_i) = 0$.

• Clasificación: Los autores demuestran que cualquier LND $T$-homogénea en un álgebra de Tipo 1 es una "réplica" (un múltiplo escalar por un elemento en el núcleo) de una LND "elemental" o una derivada parcial con respecto a una variable libre $S_k$.
• Fórmulas Explícitas: Proporcionan fórmulas explícitas para estas derivaciones (Teorema 2.2), mostrando que están determinadas por una tupla de índices $C = (c_1, \dots, c_r)$ donde exponentes específicos son iguales a 1.
• Rigidez y Semirigidez: El artículo proporciona una nueva prueba del criterio de rigidez (Corolario 2.4) y establece un criterio de semirigidez (Corolario 3.2). Un álgebra es semirígida si todas las LNDs no nulas son equivalentes (comparten el mismo núcleo). Los criterios dependen de la existencia de variables libres y de los exponentes específicos en las relaciones.

2. Álgebras Trinomiales de Tipo 2:
Definidas por relaciones que requieren la dependencia lineal de las columnas en una matriz que involucra monomios y vectores en $k^2$.

• Clases de Equivalencia: El Teorema 4.1 describe las clases de equivalencia de las LNDs $T$-homogéneas. A diferencia del Tipo 1, las álgebras de Tipo 2 admiten LNDs $T$-homogéneas que no son réplicas de las elementales.
• Familias Infinitas: Los autores identifican condiciones bajo las cuales una sola tupla $C$ corresponde a una familia infinita de clases de equivalencia de LNDs (por ejemplo, cuando se cumplen ciertas condiciones de divisibilidad en los exponentes).
• Fórmulas Explícitas para Relaciones Únicas: Para álgebras definidas por una única relación trinomial $T_0^{l_0} + T_1^{l_1} + T_2^{l_2} = 0$, el Teorema 4.4 y la Construcción 4.3 proporcionan fórmulas explícitas para todas las LNDs $T$-homogéneas. Estas incluyen casos que involucran coeficientes complejos (raíces de la unidad) y condiciones específicas de paridad en los exponentes.
• Semirigidez: Se deriva un criterio de semirigidez (Corolario 4.2), mostrando que las álgebras de Tipo 2 son semirígidas si y solo si son rígidas o se reducen a un álgebra rígida después de eliminar una única variable libre.

Significado
El artículo reivindica su importancia en varias áreas:

• Extensión del Trabajo Previo: Generaliza el estudio de las LNDs homogéneas desde el caso "elemental" $H$-homogéneo hacia el caso más amplio $T$-homogéneo, revelando nuevas derivaciones que existen específicamente en el contexto no factorial.
• Perspectiva Estructural: Al proporcionar fórmulas explícitas y teoremas de clasificación, el trabajo clarifica la estructura de los grupos de automorfismos (específicamente los subgrupos $\mathbb{G}_a$) de las variedades trinomiales.
• Utilidad Metodológica: La técnica de reducción, que mapea el problema en variedades trinomiales de alta dimensión a superficies trinomiales, ofrece una herramienta poderosa para analizar LNDs en álgebras complejas sin recurrir a la complejidad total de los divisores poliédricos multidimensionales para cada caso.
• Criterios de Rigidez: Los resultados ofrecen criterios refinados para determinar cuándo estas álgebras son rígidas (no admiten LNDs no nulas) o semirígidas, propiedades fundamentales en el estudio de variedades algebraicas y sus simetrías.

Los autores enfatizan que sus pruebas para el Tipo 2 se basan en la descripción combinatoria de las LNDs en acciones de toro de complejidad uno, cerrando la brecha entre la geometría tórica abstracta y los cálculos algebraicos explícitos en variedades trinomiales.