Ver el código de «Representaciones de álgebras de Clifford»

En [[matemáticas]], las '''representaciones de las [[álgebra de Clifford|álgebras de Clifford]]''' se conocen también como '''módulos de Clifford'''.  En general un álgebra de Clifford ''C'' es un [[álgebra simple central]] sobre una cierta [[extensión del cuerpo]] ''L''  del ''cuerpo'' K sobre el cual se define la [[forma cuadrática]] ''Q'' que  define a ''C''.

== Representaciones matriciales de las álgebras reales de Clifford== 
Tendremos que estudiar matrices [[anticonmutatividad|anticonmutativas]] (''AB'' = -''BA'') porque en las álgebras de Clifford los vectores ortogonales anticonmutan
 
:<math>A \cdot B = \frac{1}{2}( AB + BA ) = 0</math>

Para las álgebras de Clifford reales R<sub>p, q</sub> se necesitan ''p'' + ''q'' matrices mutuamente anticonmutantes, de las cuales ''p'' tienen +1 como cuadrado  y ''q'' tienen −1 como cuadrado.  
:<math>  \begin{matrix}
\gamma_a^2 &=& +1 &\mbox{si} &1 \le a \le p \\
\gamma_a^2 &=& -1 &\mbox{si} &p+1 \le a \le p+q\\
\gamma_a \gamma_b &=& -\gamma_b \gamma_a &\mbox{si} &a \ne b \ \\

\end{matrix}
</math>

==El sistema "K" para nombrar matrices==

Primero presentamos un método cómodo para nombrar ''matrices'' 2<sup>n</sup> x 2<sup>n</sup>

:<math>
K_0 = \begin{pmatrix} 1&0\\0&1 \end{pmatrix},
K_1 = \begin{pmatrix} 0&1\\1&0 \end{pmatrix},
K_2 = \begin{pmatrix} 0&-1\\1&0 \end{pmatrix},
K_3 = \begin{pmatrix} 1&0\\0&-1 \end{pmatrix}.
</math>

Nótese que K<sub>0</sub> es la [[matriz identidad]].  Los nombres fueron elegidos de tal manera que hay una regla simple para recordar los productos:
 
: K<sub>1</sub> K<sub>2</sub> = K<sub>3</sub>
 
: K<sub>1</sub> K<sub>3</sub> = K<sub>2</sub>
 
: K<sub>2</sub> K<sub>3</sub> = K<sub>1</sub>
 
: K<sub>2</sub> K<sub>1</sub> = -K<sub>3</sub>
 
: K<sub>3</sub> K<sub>1</sub> = -K<sub>2</sub>
 
: K<sub>3</sub> K<sub>2</sub> = -K<sub>1</sub>.

''El incremento de índices da resultado positivo. Índices que disminuyen da resultado negativo.''

¡Atención!  Éstas no son las mismas relaciones que valen para la [[base estándar]] de los [[cuaterniones]]. Si se nombrara i = i<sub>1</sub>, j = i<sub>2</sub> y k = i<sub>3</sub> se conseguiría
 
: i<sub>1</sub> i<sub>2</sub> = i<sub>3</sub>
 
: i<sub>2</sub> i<sub>3</sub> = i<sub>1</sub>
 
: i<sub>3</sub> i<sub>1</sub> = i<sub>2</sub>
 
la última regla es diferente.  Veremos más adelante que los cuaterniones puros i, j y k se pueden representar por K<sub>12</sub>, K<sub>20</sub> y K<sub>32</sub>

Se recalca que

:<math>
K_0^2 = K_1^2 = K_3^2 = K_0 
</math>

:<math>
K_2^2 = - K_0 
</math>

K<sub>2</sub> es la única con el cuadrado negativo, así que puede ser vista como la representación más simple de ''i''.

Entonces damos a todos los posibles [[Producto tensorial|productos de Kronecker]] un nombre (véase [[multiplicación de matrices]]):


:<math>
K_{ab} = K_{a} \otimes K_{b}
</math>

:<math>
K_{abc} = K_{a} \otimes K_{bc}= K_{a} \otimes K_{b} \otimes K_{c}
</math>

Algunos ejemplos

:<math>
K_{30} = 
\begin{pmatrix}
1&0&0&0\\
0&1&0&0\\
0&0&-1&0\\
0&0&0&-1
\end{pmatrix},

K_{11} = 
\begin{pmatrix}
0&0&0&1\\
0&0&1&0\\
0&1&0&0\\
1&0&0&0
\end{pmatrix}
</math>

Cada índice tiene su ''nivel'' (2x2, 4x4, 8x8, 16x16...)

K<sub>13</sub> es una K<sub>3</sub> en el nivel 2x2 y una K<sub>1</sub> en el nivel 4x4. Con esta notación es muy fácil multiplicar matrices cuadradas grandes puesto que

:<math>
(A \otimes B)(C \otimes D) = AB \otimes CD 
</math>

Resolvamos un ejemplo

: K <sub>123</sub> K <sub>222</sub> = K <sub>301</sub>
 
: nivel-8x8 1 por 2 da 3
 
: nivel-4x4 2 por 2 da 0 pero recuerda el signo menos
 
: nivel-2x2 3 por 2 da 1 pero con otra vez un signo menos
 

(hay cancelación de los dos signos menos así que el resultado es K<sub>301</sub>)

Podemos ahora comenzar a construir los conjuntos de  [[matriz (matemática)|matrices]] mutuamente anticonmutantes ortogonales, a veces llamadas las [[matrices de Dirac]]. Es obvio que dos matrices tales anticonmutan en un número impar de índices (el índice 0 conmuta con el resto de índices).

K<sub>13</sub> por ejemplo anticonmuta con
 
: K<sub>01</sub>, K<sub>02</sub>, K<sub>11</sub>, K<sub>12</sub>, K<sub>20</sub>, K<sub>23</sub>, K<sub>30</sub>, K<sub>33</sub>

y conmuta con
 
: K<sub>00</sub>, K<sub>10</sub>, K<sub>13</sub>, K<sub>21</sub>, K<sub>22</sub>, K<sub>31</sub>, K<sub>32</sub>.

Si el ''índice'' 2 aparece un número par de veces en el nombre entonces el cuadrado de la matriz es más (+) la matriz identidad, vamos a llamar a esto un ''Kplus''
 
: ejemplos son K<sub>1</sub>, K<sub>22</sub>, K<sub>311</sub>, K<sub>2222</sub>
 
Si el ''índice'' 2 aparece un número impar de veces en el nombre entonces el cuadrado de la matriz es menos (-) la matriz identidad, vamos a llamar a esto un ''Kminus''
 
: ejemplos son K<sub>2</sub>, K<sub>222</sub>, K<sub>211</sub>, K<sub>1222</sub>

Ahora tenemos una manera muy simple de construir los conjuntos posibles más grandes de matrices anticonmutantes.

Comience con un conjunto existente {K<sub>1</sub>, K<sub>2</sub>, K<sub>3</sub>}

Inserte un nuevo índice constante (por ejemplo un 1 en la primera posición) y se obtiene {K<sub>11</sub>, K<sub>12</sub>, K<sub>13</sub>}

Entonces agregue dos matrices más que anticonmuten en el nuevo nivel y conmuten en el viejo nivel (por medio del índice cero 0)

Se consigue {K<sub>11</sub>, K<sub>12</sub>, K<sub>13</sub>, K<sub>20</sub>, K<sub>30</sub>}

Otros ejemplos
 
: {K<sub>21</sub>, K<sub>22</sub>, K<sub>23</sub>, K<sub>10</sub>, K<sub>30</sub>}
 
: {K<sub>31</sub>, K<sub>32</sub>, K<sub>33</sub>, K<sub>10</sub>, K<sub>20</sub>}
 
: {K<sub>111</sub>, K<sub>112</sub>, K<sub>113</sub>, K<sub>120</sub>, K<sub>130</sub>, K<sub>200</sub>, K<sub>300</sub>}
 
: {K<sub>211</sub>, K<sub>212</sub>, K<sub>213</sub>, K<sub>220</sub>, K<sub>230</sub>, K<sub>100</sub>, K<sub>300</sub>}
 
: {K<sub>311</sub>, K<sub>312</sub>, K<sub>313</sub>, K<sub>320</sub>, K<sub>330</sub>, K<sub>100</sub>, K<sub>200</sub>}
 

Se consigue siempre un conjunto con un número impar de matrices y hay siempre un Kplus más que Kminus.

Cada una de ellas se puede escribir como el producto de todas las demás.  Ejemplo K<sub>11</sub> K<sub>12</sub> K<sub>13</sub> K<sub>20</sub> = K<sub>30</sub>.

==Álgebra de Clifford real R<sub>2,0</sub>==

p = 2 y q = 0 por tanto necesitamos 2 Kplus como vectores base

grado 0 (el escalar)

:<math>
\begin{matrix} 1 = K_0 \end{matrix} 
</math>

grado 1 (los vectores)

:<math>
\gamma_1 = K_1 \Rightarrow \gamma_1^2 = K_0 = 1 
</math>

:<math>
\gamma_2 = K_3 \Rightarrow \gamma_2^2 = K_0 = 1 
</math>

grado 2 (el pseudoescalar)

:<math>
\gamma_1 \land \gamma_2 = \gamma_1 \gamma_2 = K_2 \Rightarrow (\gamma_1 \land \gamma_2)^2 = (\gamma_1 \gamma_2)^2 = K_2^2 = -1 
</math>

n = p + q = 2 y se tienen 2² = 4 elementos así que es lo que I. Portious llama un ''álgebra'' universal de Clifford.

==Álgebra de Clifford real R<sub>1,1</sub>==

p = 1 y q = 1 necesitamos un Kplus y 1 Kminus como vectores base

grado 0 (el escalar)

:<math>
\begin{matrix} 1 = K_0 \end{matrix} 
</math>

grado 1 (los vectores)

:<math>
\gamma_1 = K_1 \Rightarrow \gamma_1^2 = K_0 = 1 
</math>

:<math>
\gamma_2 = K_2 \Rightarrow \gamma_2^2 = -K_0 = -1 
</math>

grado 2 (el pseudoescalar)

:<math>
\gamma_1 \land \gamma_2 = \gamma_1 \gamma_2 = K_3 \Rightarrow (\gamma_1 \land \gamma_2)^2 = (\gamma_1 \gamma_2)^2 = K_3^2 = K_{0} = 1 
</math>

Aquí tenemos otra vez 2<sup>n</sup> elementos en el álgebra con n = p+q así que es otra vez un ''álgebra'' universal de Clifford.

==Álgebra de Clifford real R<sub>2,1</sub>==

p = 2 y q = 1 necesitamos dos Kplus y 1 Kminus como vectores base


grado 0 (el escalar)
:<math>
\begin{matrix} 1 = K_0 \end{matrix} 
</math>

grado 1 (los vectores)

:<math>
\gamma_1 = K_1 \Rightarrow \gamma_1^2 =  K_0 =  1
</math>

:<math>
\gamma_2 = K_3 \Rightarrow \gamma_2^2 =  K_0 =  1
</math>

:<math>
\gamma_3 = K_2 \Rightarrow \gamma_3^2 = -K_0 = -1
</math>

La signatura es (+ + -)

grado 2 (los bivectores)

:<math>
\gamma_1 \land \gamma_2 = \gamma_3 = K_2 \Rightarrow (\gamma_1 \land \gamma_2)^2 = -1
</math>

:<math>
\gamma_1 \land \gamma_3 = \gamma_2 = K_3 \Rightarrow (\gamma_1 \land \gamma_3)^2 = +1
</math>

:<math>
\gamma_2 \land \gamma_3 = -\gamma_1 = -K_1 \Rightarrow (\gamma_2 \land \gamma_3)^2 = +1
</math>

grado 3 (el pseudoescalar)

:<math>
\gamma_1 \land \gamma_2 \land \gamma_3 = -1 \Rightarrow (\gamma_1 \land \gamma_2 \land \gamma_3)^2 = (-1)^2 = +1 
</math>



Éste es el primer ejemplo de un álgebra no-universal de Clifford puesto que p+q = 3 y se tienen solamente 2² elementos y no 2³.  La razón es muy simple, cada matriz se utiliza dos veces, una vez como vector y una vez como bivector. Y el pseudoscalar es precisamente real como el escalar.

(el [[dual de Hodge]] de cada elemento es simplemente menos el original)

:<math>
*A = -A 
</math>

==Álgebra de Clifford real R<sub>0,2</sub>==

p = 0 y q = 2 necesitamos dos Kminus como vectores base, esto no es posible con matrices reales 2x2 así que necesitamos utilizar las matrices 4x4, tenemos muchas posibilidades. Esta álgebra es isomorfa con H (los [[cuaterniones]])

grado 0 (el escalar)

:<math>
\begin{matrix} 1 = K_{00} \end{matrix} 
</math>

grado 1 (los vectores)

:<math>
\gamma_1 = K_{12} \Rightarrow \gamma_1^2 = -K_{00} = -1 
</math>

:<math>
\gamma_2 = K_{20} \Rightarrow \gamma_2^2 = -K_{00} = -1 
</math>

La signatura es (- -)

grado 2 (el pseudoescalar)

:<math>
\gamma_1 \land \gamma_2 = K_{12}K_{20} = K_{32} \Rightarrow (\gamma_1 \land \gamma_2)^2 = K_{32}^2 = -K_{00} = -1 
</math>


El isomorfismo con los [[cuaterniones]] es como sigue

1 es escalar, i y j son vectores y k = el ij es el pseudoescalar.

Un número de Clifford es una [[combinación lineal]] de los 4 elementos 1 i j y k.

:<math>
\begin{matrix} 1 = K_{00}, &i = K_{12}, &j = K_{20} &k = K_{32} \end{matrix}
</math>

El uso de k como pseudoescalar (el producto de i por j) es un poco extraño pero perfectamente correcto.

==Álgebra de Clifford real R<sub>0,3</sub>==

p = 0 y q = 3 necesitamos 3 Kminus como vectores base, ésta es la manera usual de trabajar con [[cuaterniones]] i, j y k pero ahora son vectores base y el ijk = -1 es el pseudoescalar. Esta álgebra es otra vez isomorfa con H (los [[cuaterniones]])

grado 0 (el escalar)

:<math>
\begin{matrix} 1 = K_0 \end{matrix} 
</math>


grado 1 (los vectores)

:<math>
\gamma_1 = K_{12} = i \Rightarrow \gamma_1^2 = -K_{00} = -1 
</math>

:<math>
\gamma_2 = K_{20} = j \Rightarrow \gamma_2^2 = -K_{00} = -1 
</math>

:<math>
\gamma_3 = K_{32} = k \Rightarrow \gamma_3^2 = -K_{00} = -1 
</math>


La signatura es (- - -)

grado 2 (los bivectores)

:<math>
\gamma_1 \land \gamma_2 = K_{12} K_{20} = K_{32} = \gamma_3 
</math>

:<math>
\gamma_3 \land \gamma_1 = K_{32} K_{12} = K_{20} = \gamma_2 
</math>

:<math>
\gamma_2 \land \gamma_3 = K_{20} K_{32} = K_{12} = \gamma_1 
</math>

grado 3 (el pseudoescalar)

:<math>
\gamma_1 \land \gamma_2 \land \gamma_3 = K_{12} K_{20} K_{32} = -K_{00} = -1 
</math>

Un número de Clifford es aquí otra vez una combinación lineal de los 4 elementos 1 i j y k. el uso de -1 como pseudoescalar (los ijk) es el usual, solamente que hace del álgebra un nuevo ejemplo de un álgebra no-universal de Clifford, puesto que p + q = 3 y se tienen solamente 2² elementos.

==Álgebra de Clifford real R<sub>3,0</sub>==

Ésta es la famosa [[álgebra de Pauli]], si se piensa en K<sub>02</sub> como i y K<sub>00</sub> como 1. Tenemos tres Kplus como vectores de base.

grado 0 (el escalar)

:<math>
\begin{matrix} 1 = K_{00} \end{matrix} 
</math>

grado 1 (los vectores)

:<math>
\gamma_1 = K_{10} = \sigma_1 \Rightarrow \gamma_1^2 = K_{00} = +1 
</math>

:<math>
\gamma_2 = K_{22} = \sigma_2 \Rightarrow \gamma_2^2 = K_{00} = +1 
</math>

:<math>
\gamma_3 = K_{30} = \sigma_3 \Rightarrow \gamma_3^2 = K_{00} = +1 
</math>

La signatura es (+ + +)

grado 2 (los bivectores)

:<math>
\sigma_1 \land \sigma_2 = K_{10} K_{22} = K_{32} = K_{02} K_{30}= i \sigma_3 
</math>

:<math>
\sigma_3 \land \sigma_1 = K_{30} K_{10} = -K_{20} = K_{02}K_{22} = i \sigma_2 
</math>

:<math>
\sigma_2 \land \sigma_3 = K_{22} K_{30} = K_{12} = K_{02} K_{10} = i \sigma_1 
</math>

grado 3 (el pseudoescalar)

:<math>
\sigma_1 \land \sigma_2 \land \sigma_3 = K_{10} K_{22} K_{30} = K_{02} = i 
</math>

Luego ''i'' es el pseudoscalar y las ecuaciones para los bivectores  significan de hecho que cada bivector es la estrella de Hodge de un vector no parte del bivector.

==Álgebra de Clifford real R<sub>3,1</sub>==

Ésta es, tal vez, el álgebra de Clifford real más interesante porque permite la construcción de las ecuaciones tipo Dirac sin números complejos.  Majorana la descubrió.  Los espinores reales de se llaman los espinores de Majorana.  El álgebra también se conoce como el álgebra de Majorana.  Hace uso de todas las 16 matrices reales 4x4.
Los cuatro vectores de base son de hecho las tres [[matrices de Pauli]] (Kplus) completadas con una cuarta matriz antihermitiana (Kmin).
La signatura es ( + + + - )
Para la signatura ( + - - - ) o ( - - - + ) comúnmente usada en física se necesita matrices complejas 4x4 o matrices  reales 8x8 porque no se puede formar 3 matrices 4x4 anticonmutantes Kmin.

vea R<sub>1,3</sub> para algunas representaciones.

grado 0 (el escalar)

:<math>
\begin{matrix} 1 = K_0 \end{matrix} 
</math>

grado 1 (los vectores)

:<math>
\gamma_1 = K_{10} \Rightarrow \gamma_1^2 = K_{00} = +1 
</math>

:<math>
\gamma_2 = K_{22} \Rightarrow \gamma_2^2 = K_{00} = +1 
</math>

:<math>
\gamma_3 = K_{30} \Rightarrow \gamma_3^2 = K_{00} = +1 
</math>

:<math>
\gamma_4 = K_{23} \Rightarrow \gamma_3^2 = -K_{00} = -1 
</math>

La signatura es (+ + + -)

grado 2 (los bivectores, las rotaciones de "árbol" y las "alzas" (boosts) de árbol)

:<math>
\gamma_1\gamma_2 = K_{10}K_{22} = K_{32} \Rightarrow (\gamma_1\gamma_2)^2 = -K_{00}= -1 
</math>

:<math>
\gamma_1\gamma_3 = K_{10}K_{30} = K_{20} \Rightarrow (\gamma_1\gamma_3)^2 = -K_{00}= -1 
</math>

:<math>
\gamma_2\gamma_3 = K_{22}K_{30} = K_{12} \Rightarrow (\gamma_2\gamma_3)^2 = -K_{00}= -1 
</math>

:<math>
\gamma_1\gamma_4 = K_{10}K_{23} = K_{33} \Rightarrow (\gamma_1\gamma_4)^2 = K_{00}= +1 
</math>

:<math>
\gamma_2\gamma_4 = K_{22}K_{23} = -K_{01} \Rightarrow (\gamma_1\gamma_2)^2 = K_{00}= +1 
</math>

:<math>
\gamma_3\gamma_4 = K_{30}K_{23} = -K_{13} \Rightarrow (\gamma_1\gamma_2)^2 = K_{00}= +1 
</math>

grado 3 (los pseudovectores, los duales de  Hodge de los vectores)

:<math> \gamma_2\gamma_3\gamma_4 = K_{22}K_{30}K_{23} = K_{31} \Rightarrow (\gamma_2\gamma_3\gamma_4)^2 = K_{00} = +1</math>
:<math> \gamma_1\gamma_3\gamma_4 = K_{10}K_{30}K_{23} = -K_{03} \Rightarrow (\gamma_1\gamma_3\gamma_4)^2 = K_{00} = +1</math>
:<math> \gamma_1\gamma_2\gamma_4 = K_{10}K_{22}K_{23} = -K_{11} \Rightarrow (\gamma_1\gamma_2\gamma_4)^2 = K_{00} = +1</math>
:<math> \gamma_1\gamma_2\gamma_3 = K_{10}K_{22}K_{30} = K_{02} = i \Rightarrow (\gamma_1\gamma_2\gamma_3)^2 = -K_{00} = -1 </math>

el último fue el pseudoescalar en R<sub>3,0</sub>

grado 4 (el pseudoescalar)

:<math> \gamma_1\gamma_2\gamma_3\gamma_4 = K_{10}K_{22}K_{30}K_{23} = K_{21} \Rightarrow (\gamma_1\gamma_2\gamma_3\gamma_4)^2 = -K_{00} = -1 </math>

{{Control de autoridades}}
[[Categoría:Teoría de la representación]]