Álgebra de Lie soluble

En matemáticas, un álgebra de Lie ${\mathfrak {g}}$ es soluble si su serie derivada termina en la subálgebra cero. El álgebra de Lie derivada del álgebra de Lie ${\mathfrak {g}}$ es el subálgebra de ${\mathfrak {g}}$ , denotada como

$[{\mathfrak {g}},{\mathfrak {g}}]$

que consiste en todas las combinaciones lineales de corchetes de Lie de pares de elementos de ${\mathfrak {g}}$ . La serie derivada es la secuencia de subálgebras:

${\mathfrak {g}}\geq [{\mathfrak {g}},{\mathfrak {g}}]\geq [[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]\geq [[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]],[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]]\geq \dots$

Si la serie derivada llega finalmente a la subálgebra cero, entonces el álgebra de Lie se llama soluble.^[1] La serie derivada para álgebras de Lie es análoga a la serie derivada del subgrupo conmutador en teoría de grupos, y las álgebras de Lie solubles son análogas a los grupos solubles.

Cualquier álgebra de Lie nilpotente es a fortiori soluble, pero lo contrario no es cierto. Las álgebras de Lie solubles y las álgebras de Lie semisimples forman dos clases numerosas y generalmente complementarias, como lo demuestra la descomposición de Levi. Las álgebras de Lie solubles son precisamente las que se pueden obtener a partir de productos semidirectos, partiendo de 0 y añadiendo una dimensión cada vez.^[2]

Una subálgebra soluble máxima se llama subálgebra de Borel. El mayor ideal soluble de un álgebra de Lie se llama radical.

Caracterizaciones[editar]

Sea ${\mathfrak {g}}$ un álgebra de Lie de dimensión finita sobre un cuerpo de característica 0, entonces, las siguientes afirmaciones son equivalentes:

(i) ${\mathfrak {g}}$ es soluble.
(ii) ${\rm {ad}}({\mathfrak {g}})$ , la representación adjunta de ${\mathfrak {g}}$ es soluble.
(iii) Existe una sucesión finita de ideales ${\mathfrak {a}}_{i}$ de ${\mathfrak {g}}$ :
${\mathfrak {g}}={\mathfrak {a}}_{0}\supset {\mathfrak {a}}_{1}\supset \dots {\mathfrak {a}}_{r}=0,\quad [{\mathfrak {a}}_{i},{\mathfrak {a}}_{i}]\subset {\mathfrak {a}}_{i+1}\,\,\forall i.$
(iv) $[{\mathfrak {g}},{\mathfrak {g}}]$ es nilpotente.^[3]
(v) Para ${\mathfrak {g}}$ de dimensión $n$ , existe una sucesión de subálgebras ${\mathfrak {a}}_{i}$ of ${\mathfrak {g}}$ :
${\mathfrak {g}}={\mathfrak {a}}_{0}\supset {\mathfrak {a}}_{1}\supset \dots {\mathfrak {a}}_{n}=0,\quad \operatorname {dim} {\mathfrak {a}}_{i}/{\mathfrak {a}}_{i+1}=1\,\,\forall i,$

siendo cada

{\mathfrak {a}}_{i+1}

un ideal de

{\mathfrak {a}}_{i}

.^[4] Una sucesión de este tipo se denomina sucesión elemental.

(vi) Existe una sucesión finita de subálgebras ${\mathfrak {g}}_{i}$ de ${\mathfrak {g}}$ ,
${\mathfrak {g}}={\mathfrak {g}}_{0}\supset {\mathfrak {g}}_{1}\supset \dots {\mathfrak {g}}_{r}=0,$

tal que

{\mathfrak {g}}_{i+1}

es un ideal de

{\mathfrak {g}}_{i}

y

{\mathfrak {g}}_{i}/{\mathfrak {g}}_{i+1}

es abeliana.^[5]

(vii) La forma de Killing $B$ de ${\mathfrak {g}}$ satisface que $B(X,Y)=0$ para todo $X$ de ${\mathfrak {g}}$ y $Y$ de $[{\mathfrak {g}},{\mathfrak {g}}]$ .^[6] Este es el criterio de solubilidad de Cartan.

Propiedades[editar]

El teorema de Lie establece que si $V$ es un espacio vectorial de dimensión finita sobre un cuerpo algebraicamente cerrado de característica cero, y ${\mathfrak {g}}$ es un álgebra de Lie soluble, y si $\pi$ es una representación de ${\mathfrak {g}}$ sobre $V$ , entonces existe un vector propio simultáneo $v\in V$ de los endomorfismos $\pi (X)$ para todos los elementos $X\ en{\mathfrak {g}}$ .^[7]

Toda subálgebra de Lie y el cociente de un álgebra de Lie soluble son solubles.^[8].
Dado un álgebra de Lie ${\mathfrak {g}}$ y un ideal ${\mathfrak {h}}$ en ella, ${\mathfrak {g}}$ es soluble si y sólo si tanto ${\mathfrak {h}}$ como ${\mathfrak {g}}/{\mathfrak {h}}$ son solubles.^[8]^[2]

La afirmación análoga es cierta para las álgebras de Lie nilpotentes siempre que

{\mathfrak {h}}

esté contenida en el centro. Así, una extensión de un álgebra soluble por otra soluble es soluble, mientras que una extensión "central" de un álgebra nilpotente por otra nilpotente es nilpotente.

Un álgebra de Lie no nula soluble tiene un ideal abeliano no nulo, el último término no nulo de la serie derivada.^[2]
Si ${\mathfrak {a}},{\mathfrak {b}}\subset {\mathfrak {g}}$ son ideales resolubles, entonces también lo es ${\mathfrak {a}}+{\mathfrak {b}}$ .^[1] En consecuencia, si ${\mathfrak {g}}$ es de dimensión finita, entonces hay un único ideal soluble ${\mathfrak {r}}\subset {\mathfrak {g}}$ que contiene todos los ideales solubles en ${\mathfrak {g}}$ . Este ideal es el radical de ${\mathfrak {g}}$ .^[2]
Un álgebra de Lie soluble ${\mathfrak {g}}$ tiene un único ideal nilpotente mayor ${\mathfrak {n}}$ , llamado nilradical, el conjunto de todas las $X\in {\mathfrak {g}}$ tales que ${rmad}_{X}$ es nilpotente. Si $D$ es una derivación cualquiera de ${\mathfrak {g}}$ , entonces $D({\mathfrak {g}})\subset {\mathfrak {n}}$ .^[9]

Álgebras de Lie completamente solubles[editar]

Un álgebra de Lie ${\mathfrak {g}}$ se llama completamente soluble o soluble por partes si tiene una secuencia elemental de ideales en ${\mathfrak {g}}$ desde $0$ hasta ${\mathfrak {g}}$ . Un álgebra de Lie nilpotente de dimensión finita es completamente soluble, y un álgebra de Lie completamente soluble es soluble. Sobre un cuerpo algebraicamente cerrado, una álgebra de Lie soluble es completamente soluble. Sin embargo, sobre un cuerpo que no sea algebraicamente cerrado esto no sucede, por ejemplo, el álgebra de Lie real de tres dimensiones del grupo de isometrías euclidianas del plano es soluble, pero no completamente soluble.

Un álgebra de Lie soluble ${\mathfrak {g}}$ es soluble por partes si y sólo si los valores propios de ${\text{ad}}_{X}$ están en $k$ para toda $X$ en ${\mathfrak {g}}$ .^[2]

Ejemplos[editar]

Álgebras de Lie abelianas[editar]

Toda álgebra de Lie abeliana ${\mathfrak {a}}$ es resoluble por definición, ya que su conmutador $[{\mathfrak {a}},{\mathfrak {a}}]=0$ . Esto incluye el álgebra de Lie de las matrices diagonales en ${\mathfrak {gl}}(n)$ , que son de la forma

$\left\{{\begin{bmatrix}*&0&0\\0&*&0\\0&0&*\end{bmatrix}}\right\}$

para $n=3$ . La estructura del álgebra de Lie en un espacio vectorial $V$ dada por el corchete trivial $[m,n]=0$ para dos matrices cualesquiera $m,n\in {\text{End}}(V)$ es otro ejemplo de álgebra abeliana.

Álgebras de Lie nilpotentes[editar]

Otra clase de ejemplos proviene de las álgebras de Lie nilpotentes ya que la representación adjunta es soluble. Algunos ejemplos incluyen las matrices triangulares superiores, tales como la clase de matrices de la forma

$\left\{{\begin{bmatrix}0&*&*\\0&0&*\\0&0&0\end{bmatrix}}\right\}$

llamada álgebra de Lie de las matrices estrictamente triangulares superiores. Además, el álgebra de Lie de las matrices diagonales superiores en ${\mathfrak {gl}}(n)$ forman un álgebra de Lie soluble. Esto incluye a las matrices de la forma

$\left\{{\begin{bmatrix}*&*&*\\0&*&*\\0&0&*\end{bmatrix}}\right\}$

y se denota como ${\mathfrak {b}}_{k}$ .

Soluble pero no divisible[editar]

Sea ${\mathfrak {g}}$ el conjunto de matrices de la forma

$X=\left({\begin{matrix}0&\theta &x\\-\theta &0&y\\0&0\end{matrix}}\right),\quad \theta ,x,y\in \mathbb {R} .$

Entonces ${\mathfrak {g}}$ es soluble, pero no divisible.^[2] Esta álgebra es isomorfa al álgebra de Lie del grupo de traslaciones y rotaciones en el plano.

Anti-ejemplo[editar]

Un álgebra de Lie semisimple ${\mathfrak {l}}$ nunca es soluble ya que su radical ${\text{Rad}}({\mathfrak {l}})$ , que es el ideal soluble más grande en ${\mathfrak {l}}$ , es trivial.^[1] ^{página 11}

Grupos de Lie solubles[editar]

Debido a que el término "soluble" también se usa para grupo solubles en teoría de grupos, hay varias definiciones posibles de grupo de Lie soluble Para un grupo de Lie $G$ , hay

terminación de la serie derivada habitual del grupo $G$ (como grupo abstracto);
terminación de las clausuras de la serie derivada;
tener un álgebra de Lie soluble

Véase también[editar]

Referencias[editar]

↑ ^a ^b ^c Humphreys, 1972
↑ ^a ^b ^c ^d ^e ^f Knapp, 2002
↑ Knapp, 2002 Proposition 1.39.
↑ Knapp, 2002 Proposition 1.23.
↑ Fulton y Harris, 1991
↑ Knapp, 2002 Proposition 1.46.
↑ Knapp, 2002 Teorema 1.25.
↑ ^a ^b Serre,, Ch. I, § 6, Definición 2.
↑ Knapp, 2002 Proposición 1.40.

Datos: Q7558992

[Humphreys_1-1] Humphreys, 1972

[Knapp_1-2] ↑ ^a ^b ^c ^d ^e ^f Knapp, 2002

[3] Knapp, 2002 Proposition 1.39.

[4] Knapp, 2002 Proposition 1.23.

[Fulton_1-5] Fulton y Harris, 1991

[6] Knapp, 2002 Proposition 1.46.

[7] Knapp, 2002 Teorema 1.25.

[Serre_def-8] Serre,, Ch. I, § 6, Definición 2.

[9] Knapp, 2002 Proposición 1.40.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]