Module-Valued 2-Local Derivations on Reductive Lie Algebras

Resumen Técnico: Derivaciones 2-locales con valores en módulos sobre álgebras de Lie reductivas

Planteamiento del Problema
Este artículo aborda la clasificación de las derivaciones 2-locales desde un álgebra de Lie reductiva $\mathfrak{g}$ de dimensión finita hacia un $\mathfrak{g}$-módulo arbitrario de dimensión finita $V$. Un mapa $\Delta: \mathfrak{g} \to V$ se define como una derivación 2-local si, para cada par de elementos $x, y \in \mathfrak{g}$, existe una derivación genuina $D_{x,y}: \mathfrak{g} \to V$ tal que $\Delta(x) = D_{x,y}(x)$ y $\Delta(y) = D_{x,y}(y)$. La cuestión central es si toda tal derivación 2-local es necesariamente una derivación lineal, o si existen mapas "excepcionales" no lineales.

Los autores se basan en trabajos previos: la introducción de las derivaciones 2-locales por Šemrl [3], la demostración de que las derivaciones 2-locales en álgebras de Lie semisimples de dimensión finita son derivaciones [1], y la formulación con valores en módulos para módulos $\mathfrak{sl}_2(\mathbb{C})$ simples [4].

Metodología
La estrategia de la prueba procede mediante una descomposición del álgebra de Lie reductiva $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$, donde $\mathfrak{s} = [\mathfrak{g}, \mathfrak{g}]$ es semisimple y $\mathfrak{z} = Z(\mathfrak{g})$ es el centro. El análisis se divide en dos componentes principales:

1. El Caso Semisimple ($\mathfrak{g} = \mathfrak{s}$):

   • Reducción: Utilizando la reductibilidad completa y el hecho de que las derivaciones se anulan en el anulador del módulo, el problema se reduce al caso donde $V$ es un $\mathfrak{s}$-módulo irreducible, no trivial y fiel.
   • Realizadores Afines: Los autores utilizan el hecho de que para una derivación 2-local $\Delta$, el conjunto $R_x(\Delta) = \{v \in V : xv = \Delta(x)\}$ es un espacio afín no vacío. La intersección de estos espacios determina la existencia de un vector global $v$ tal que $\Delta = D_v$.
   • Geometría Algebraica y Acciones de Grupos: La prueba emplea la representación del grupo algebraico simplemente conexo $G$ asociado con $\mathfrak{s}$. Al utilizar elementos $V$-regulares en un subálgebra de Cartan y la acción de $\exp_G(E)$ y $\exp_G(F)$ (donde $E$ y $F$ son sumas de vectores de raíz), los autores establecen que la suma de ciertos subespacios es directa.
   • Elementos Semisimples: La Proposición 3.2 demuestra que cualquier derivación 2-local coincide con una derivación interna $D_v$ en todos los elementos semisimples de $\mathfrak{g}$.
   • Elementos Nilpotentes: Para elementos no semisimples $x = s + e$, los autores emplean el teorema de Jacobson–Morozov para embeber la parte nilpotente $e$ en una tripleta $\mathfrak{sl}_2$. Se utiliza un lema técnico (Lema 4.1) que involucra operadores semisimples y módulos $\mathfrak{sl}_2$ para mostrar que la condición 2-local fuerza a la derivación a anularse también en la parte nilpotente, siempre que se anule en los elementos semisimples.

2. El Caso Reductivo ($\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$):

   • Descomposición del Módulo: El módulo $V$ se descompone en $sV \oplus V^s$.
   • Componente Abeliana: El comportamiento sobre el centro $\mathfrak{z}$ se analiza utilizando el Lema 5.1, que clasifica las derivaciones 2-locales en álgebras de Lie abelianas. Este establece que tales mapas son la suma de una derivación lineal y un mapa homogéneo hacia el conjunto de puntos fijos $M^{\mathfrak{a}}$.
   • Síntesis: Los resultados para la parte semisimple (que son derivaciones internas) y la parte abeliana se combinan para caracterizar el conjunto completo de derivaciones 2-locales sobre $\mathfrak{g}$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Caso Semisimple): Toda derivación 2-local desde un álgebra de Lie semisimple $\mathfrak{s}$ de dimensión finita hacia un $\mathfrak{s}$-módulo $V$ de dimensión finita es una derivación. Esto generaliza los resultados previos para álgebras simples al caso semisimple con módulos arbitrarios.
• Teorema 1.2 (Clasificación Reductiva): Para un álgebra de Lie reductiva $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$, el conjunto de derivaciones 2-locales está dado por:
  $$2\text{LocDer}(\mathfrak{g}, V) = \text{Der}(\mathfrak{g}, V) + \{H \circ \text{pr}_{\mathfrak{z}} : H \in \text{Homog}(\mathfrak{z}, V^{\mathfrak{g}})\}$$
  donde $\text{Homog}$ denota mapas homogéneos. Esto implica que toda derivación 2-local $\Delta$ admite la forma:
  $$\Delta(s + z) = (s + z)u + f(z) + H(z)$$
  donde $u \in V^{\mathfrak{s}}$, $f$ es una derivación lineal de $\mathfrak{z}$ a $V^{\mathfrak{s}}$, y $H$ es un mapa homogéneo de $\mathfrak{z}$ a $V^{\mathfrak{g}}$.
• Corolario 1.3 (Condición de Linealidad): Una derivación 2-local es una derivación si y solo si $\dim \mathfrak{z} \le 1$ o $V^{\mathfrak{g}} = 0$.
  • Si $\dim \mathfrak{z} \ge 2$ y $V^{\mathfrak{g}} \neq 0$, existen derivaciones 2-locales excepcionales que son mapas homogéneos no lineales.
  • Si $V$ es completamente reducible, la forma se simplifica a $\Delta(s+z) = (s+z)v + H(z)$.

Significado
El artículo afirma que su conclusión sirve como un "análogo de Lie-módulo del principio de Gleason–Kahane–Żelazko no lineal". Conceptualmente, demuestra que en el contexto de las álgebras de Lie reductivas, la condición de "realizabilidad en dos puntos" (ser una derivación 2-local) es suficiente para forzar la existencia de un "realizador global" (una única derivación), excepto en casos específicos que involucran el centro del álgebra y los puntos fijos del módulo. El trabajo extiende la comprensión de las propiedades de local-a-global en la cohomología de álgebras de Lie y la teoría de módulos, identificando precisamente las condiciones estructurales (dimensión del centro y existencia de invariantes) bajo las cuales surgen derivaciones 2-locales no lineales.