Usuario:Madhing/Descomposición de Jordan-Chevalley

En matemáticas, la descomposición de Jordan-Chevalley, llamada así por los matemáticos Camille Jordan y Claude Chevalley, es una expresión de un operador lineal como la suma de su parte semisimple y de su parte nilpotente, que conmutan. También hay una descomposición multiplicativa relacionada, que expresa un operador invertible como el producto de sus partes semisimple y unipotente, que también conmutan. La descomposición es fácil de describir cuando se tiene la forma canónica de Jordan del operador, pero existe bajo hipótesis más débiles que la existencia de una forma canónica de Jordan. Hay descomposiciones análogas a la de Jordan-Chevalley para elementos de grupos algebraicos lineales, álgebras de Lie y grupos de Lie, y la descomposición es una herramienta importante en el estudio de dichos objetos.

Descomposición de un operador lineal

Se consideran los operadores lineales en un espacio vectorial de dimensión finita sobre un cuerpo. Un operador T se dice semisimple si cada subespacio invariante por T tiene un complementario invariante por T (si el cuerpo subyacente es algebraicamente cerrado, esto equivale a requerir que el operador sea diagonalizable). Un operador $x$ se dice nilpotente si alguna potencia $x^{m}$ de él es el operador cero, y se dice unipotente si $x-1$ es nilpotente.

Sea pues $x$ cualquier operador. Una descomposición de Jordan-Chevalley de $x$ es una expresión del operador como una suma

$x=x_{n}+x_{s}$

donde $x_{s}$ es semisimple, $x_{n}$ es nilpotente y $x_{s}$ y $x_{n}$ conmutan. Sobre un cuerpo perfecto,​ siempre existe tal descomposición y es única (véase #Prueba de unicidad y existencia ), y $x_{s}$ y $x_{n}$ son polinomios en $x$ sin términos constantes.​​ En particular, para cualquier descomposición de este tipo sobre un cuerpo perfecto, un operador que conmuta con $x$ también conmuta con $x_{s}$ y $x_{n}$.

De manera similar, si $x$ es un operador invertible, entonces una descomposición multiplicativa de Jordan-Chevalley expresa $x$ como un producto

$x=x_{s}\cdot x_{u}$

donde $x_{s}$ es semisimple, $x_{u}$ es unipotente y $x_{s}$ y $x_{u}$ conmutan. De nuevo, sobre un cuerpo perfecto, tal descomposición existe y es única y tanto $x_{s}$ como $x_{n}$ son polinomios en $x$. La versión multiplicativa de la descomposición se obtiene de la aditiva ya que, como es fácil ver que $x_{s}$ es invertible:

$x=x_{s}+x_{n}=x_{s}\left(1+x_{s}^{-1}x_{n}\right)$

y $1+x_{s}^{-1}x_{n}$ es unipotente. (Recíprocamente, con un argumento parecido, uno puede deducir la versión aditiva de la multiplicativa).

Si $x$ está escrito en forma canónica de Jordan (con respecto a alguna base), entonces $x_{s}$ es el endomorfismo cuya matriz consiste solo de los términos diagonales de $x$, y $x_{n}$ es el endomorfismo cuya matriz consiste solo de los términos de fuera de la diagonal; $x_{u}$ es el endomorfismo cuya matriz se obtiene de la forma canónica de Jordan dividiendo todas las entradas de cada bloque de Jordan por su elemento diagonal.

Prueba de unicidad y existencia.

Demostración de unicidad

La unicidad se deriva del hecho de que $x_{s},x_{n}$ son polinomios en $x$: si $x=x_{s}'+x_{n}'$ es otra descomposición tal que $x_{s}'$ y $x_{n}'$ conmutan, entonces $x_{s}-x_{s}'=x_{n}-x_{n}'$, y tanto $x_{s}'$como $x_{n}'$conmutan con $x$, luego también con $x_{s}$ y con $x_{n}$. La suma de dos endomorfismos nilpotentes que conmutan es nilpotente, y sobre un cuerpo perfecto la suma de dos endomorfismos semisimples que conmutan vuelve a ser semisimple. Dado que el único operador que es a la vez semisimple y nilpotente es el operador cero, se sigue que $x_{s}=x_{s}'$ y $x_{n}=x_{n}'$.

Demostración de existencia

Demostración de existencia. Sea $V$ un espacio vectorial de dimensión finita sobre un cuerpo perfecto $k$ y sea $x:V\to V$ un endomorfismo. Supongamos primero que el cuerpo base $k$ es algebraicamente cerrado. En ese caso, el espacio vectorial $V$ se descompone en la suma directa ${\textstyle V=\bigoplus _{i=1}^{r}V_{i}}$ donde cada $V_{i}$ es el núcleo de $(x-\lambda _{i}I)^{m_{i}}$, es decir, el espacio propio generalizado, y x estabiliza $V_{i}$, ó sea, $x\cdot V_{i}\subset V_{i}$ para cada $i$. Ahora, se define $x_{s}:V\to V$ de manera que, en cada $V_{i}$, sea el producto por el escalar $\lambda _{i}$. Se representa por una matriz diagonal en una base que respete la descomposición en suma directa ​; por lo tanto, es un endomorfismo semisimple. Puesto que $x-x_{s}:V_{i}\to V_{i}$ es entonces $x-\lambda _{i}I:V_{i}\to V_{i}$ cuya $m_{i}$-ésima potencia es cero, también tenemos que $x_{n}:=x-x_{s}$ es nilpotente, demostrando la existencia. El hecho de que $x_{s},x_{n}$ son polinomios en $x$ se deriva del teorema chino del resto. Llamemos $f(t)=\operatorname {det} (tI-x)$ al polinomio característico de x. $f$ coincide con el producto de los polinomios característicos de las restricciones $x:V_{i}\to V_{i}$ ; es decir, ${\textstyle f(t)=\prod _{i=1}^{r}(t-\lambda _{i})^{d_{i}},d_{i}=\dim V_{i}.}$ Además, $d_{i}\geq m_{i}$ (porque, en general, una matriz nilpotente muere cuando se eleva al tamaño de la matriz). Aplicando el teorema chino del resto al anillo de polinomios $k[t]$ obtenemos un polinomio $p(t)$ que satisface las condiciones: $p(t)\equiv 0{\bmod {t}},\,p(t)\equiv \lambda _{i}{\bmod {(}}t-\lambda _{i})^{d_{i}}$ (para todo i).​ La condición $p(t)\equiv \lambda _{i}{\bmod {(}}t-\lambda _{i})^{d_{i}}$ significa que $p(t)-\lambda _{i}=g_{i}(t)(t-\lambda _{i})^{d_{i}}$ para algún polinomio $g_{i}(t)$ . Ya que $(x-\lambda _{i}I)^{d_{i}}$ es el operador nulo en $V_{i}$, $p(x)$ y $x_{s}$ x_s coinciden en cada $V_{i}$ ; es decir, $p(x)=x_{s}$. Entonces, $q(x)=x_{n}$ con $q(t)=t-p(t)$. La condición $p(t)\equiv 0{\bmod {t}}$ asegura que $p(t)$ y $q(t)$ no tienen términos constantes. Esto completa la demostración en el caso de un cuerpo algebraicamente cerrado. Si k es ahora un cuerpo perfecto arbitrario, llamamos $\Gamma =\operatorname {Gal} \left({\overline {k}}/k\right)$ al grupo absoluto de Galois de k. Por la primera parte, podemos elegir polinomios $p,q$ sobre ${\overline {k}}$ tales que $x=p(x)+q(x)$ es la descomposición en la parte semisimple y nilpotente. Para cada $\sigma$ en $\Gamma$ , $x=\sigma (x)=\sigma (p(x))+\sigma (q(x))=p(x)+q(x).$ Ahora bien, $\sigma (p(x))=\sigma (p)(x)$ es un polinomio en x, al igual que $\sigma (q(x))$. Por lo tanto, $\sigma (p(x))$ y $\sigma (q(x))$ conmutan. Asimismo, la aplicación $\sigma$ evidentemente conserva la semisimplicidad y la nilpotencia. De este modo, por unicidad de la descomposición (sobre ${\overline {k}}$), $\sigma (p(x))=p(x)$ y $\sigma (q(x))=q(x)$. Por eso $x_{s}=p(x),x_{n}=q(x)$ son $\Gamma$-invariantes; es decir, son endomorfismos (representados por matrices) sobre k. Finalmente, ya que $\left\{1,x,x^{2},\dots \right\}$ contiene una ${\overline {k}}$-base que genera el espacio que contiene a $x_{s},x_{n}$, por el mismo argumento, también vemos que $p,q$ tienen coeficientes en k . Esto completa la demostración. $\square$

Prueba corta usando álgebra abstracta

(Jacobson , 1979) demuestra la existencia de la descomposición como consecuencia del teorema principal de Wedderburn. Obtiene así una demostración más corta, y que muestra más claramente el rol que juega la perfección del cuerpo base.

Demostración

Sea $V$ un espacio vectorial de dimensión finita sobre un cuerpo perfecto $k$, $x$ un endomorfismo y $A$ la subálgebra generada por $x$. Obsérvese que $A$ es un anillo artiniano conmutativo. El teorema principal de Wedderburn establece: Para un álgebra $A$ de dimensión finita con radical de Jacobson $J$, si $A/J$ es separable, entonces la sobreyección natural $p:A\to A/J$ tiene inversa por la derecha; es decir, $A$ contiene una subálgebra semisimple $B$ tal que $p|_{B}:B{\overset {\sim }{\to }}A/J$ es un isomorfismo.​ En nuestro caso, $A/J$ es separable ya que el cuerpo base es perfecto (por lo que el teorema es aplicable) y $J$ es también el nilradical de $A$. Así, tenemos la descomposición en el espacio vectorial $A=B\oplus J$. En particular, el endomorfismo $x$ se puede escribir como $x=x_{s}+x_{n}$ donde $x_{s}$ está en B y $x_{n}$ en $J$. Ahora bien, la imagen de $x$ genera $A/J=B$; por lo tanto $x_{s}$ es semisimple y es un polinomio en x. Por último, $x_{n}$ es nilpotente ya que $J$ es nilpotente y es un polinomio en $x$ ya que $x_{s}$ es.

Criterio de nilpotencia

La descomposición de Jordan se puede utilizar para caracterizar la nilpotencia de un endomorfismo. Sea k un cuerpo algebraicamente cerrado de característica cero, $E=\operatorname {End} _{\mathbb {Q} }(k)$ el anillo de endomorfismos de k sobre los racionales y V un espacio vectorial de dimensión finita sobre k . Dado un endomorfismo $x:V\to V$, sea $x=s+n$ su descomposición de Jordan. Entonces $s$ es diagonalizable; es decir, $V=\bigoplus V_{i}$ donde cada $V_{i}$ es el espacio propio para el valor propio $\lambda _{i}$ con multiplicidad $m_{i}$. Entonces para cualquier $\varphi \in E$ definimos $\varphi (s)$ como el endomorfismo tal que $\varphi (s):V_{i}\to V_{i}$ es el producto por $\varphi (\lambda _{i})$. Chevalley llama a $\varphi (s)$ la réplica de $s$ dada por $\varphi$. Por ejemplo, si $k=\mathbb {C}$, el conjugado de un endomorfismo es un ejemplo de réplica. Se tiene:

$x$ es nilpotente (i.e., $s=0$) si y solamente si $\operatorname {tr} (x\varphi (s))=0$ para cualquier $\varphi \in E$. Además, en el caso $k=\mathbb {C}$, basta con que la condición se satisfaga para $\varphi$ la conjugación compleja. Criterio de nilpotencia ​

Bibliografía

• Chevalley, Claude (1951), Théorie des groupes de Lie. Tome II. Groupes algébriques, Hermann, OCLC 277477632 .
• Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (en inglés británico) 129. New York: Springer-Verlag. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103. doi:10.1007/978-1-4612-0979-9. 
• Helgason, Sigurdur (1978), Differential geometry, Lie groups, and symmetric spaces, Academic Press, ISBN 0-8218-2848-7 .
• Humphreys, James E. (1981), Linear Algebraic Groups, Graduate texts in mathematics 21, Springer, ISBN 0-387-90108-6 .
• Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Springer, ISBN 978-0-387-90053-7, (requiere registro) .
• Jacobson, Nathan (1979), Lie algebras, Dover, ISBN 0-486-63832-4  .
• Lazard, M. (1954), «Théorie des répliques. Critère de Cartan (Exposé No. 6)», Séminaire "Sophus Lie" 1, archivado desde el original el 4 de julio de 2013  .
• Mostow, G. D. (1954), «Factor spaces of solvable groups», Ann. of Math. 60 (1): 1-27, JSTOR 1969700, doi:10.2307/1969700 .
• Mostow, G. D. (1973), Strong rigidity of locally symmetric spaces, Annals of Mathematics Studies 78, Princeton University Press, ISBN 0-691-08136-0 .
• Serre, Jean-Pierre (1992), Lie algebras and Lie groups: 1964 lectures given at Harvard University, Lecture Notes in Mathematics 1500 (2nd edición), Springer-Verlag, ISBN 978-3-540-55008-2 .
• Varadarajan, V. S. (1984), Lie groups, Lie algebras, and their representations, Graduate Texts in Mathematics 102, Springer-Verlag, ISBN 0-387-90969-9 .
• Waterhouse, William (1979), Introduction to affine group schemes, Graduate Texts in Mathematics 66, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90421-4, MR 0547117, doi:10.1007/978-1-4612-6217-6 .