sistema triple

En álgebra , un sistema triple (o ternar ) es un espacio vectorial V sobre un campo F junto con un mapa F -trilineal.

${\displaystyle (\cdot ,\cdot ,\cdot )\colon V\times V\times V\to V.}$

Los ejemplos más importantes son los sistemas triples de Lie y los sistemas triples de Jordan . Fueron introducidos por Nathan Jacobson en 1949 para estudiar subespacios de álgebras asociativas cerradas bajo conmutadores triples [[ u , v ], w ] y anticonmutadores triples { u , { v , w }}. En particular, cualquier álgebra de Lie define un sistema triple de Lie y cualquier álgebra de Jordan define un sistema triple de Jordan. Son importantes en las teorías de los espacios simétricos , particularmente en los espacios simétricos hermitianos y sus generalizaciones ( espacios R simétricos y sus duales no compactos).

Mentir sistemas triples

Se dice que un sistema triple es un sistema triple de Lie si el mapa trilineal, denotado por , satisface las siguientes identidades: ${\displaystyle [\cdot ,\cdot ,\cdot ]}$

${\displaystyle [u,v,w]=-[v,u,w]}$

${\displaystyle [u,v,w]+[w,u,v]+[v,w,u]=0}$

${\displaystyle [u,v,[w,x,y]]=[[u,v,w],x,y]+[w,[u,v,x],y]+[w,x,[u,v,y]].}$

Las dos primeras identidades abstraen la simetría sesgada y la identidad de Jacobi para el conmutador triple, mientras que la tercera identidad significa que el mapa lineal L _{u , v} :  V  →  V , definido por L _{u , v} ( w ) = [ u , v , w ], es una derivación del triple producto. La identidad también muestra que el espacio k = span {L _{u , v}  : u , v ∈ V } está cerrado bajo el corchete del conmutador, de ahí un álgebra de Lie.

Escribiendo m en lugar de V , se deduce que

${\displaystyle {\mathfrak {g}}:=k\oplus {\mathfrak {m}}}$

se puede convertir en un álgebra de Lie graduada, la incorporación estándar de m , con corchetes ${\displaystyle \mathbb {Z} _{2}}$

${\displaystyle [(L,u),(M,v)]=([L,M]+L_{u,v},L(v)-M(u)).}$

La descomposición de g es claramente una descomposición simétrica para este grupo de Lie y, por lo tanto, si G es un grupo de Lie conectado con álgebra de Lie g y K es un subgrupo con álgebra de Lie k , entonces G / K es un espacio simétrico .

Por el contrario, dada un álgebra de Lie g con tal descomposición simétrica (es decir, es el álgebra de Lie de un espacio simétrico), el triple corchete [[ u , v ], w ] convierte a m en un sistema triple de Lie.

Sistemas triples jordanos

Se dice que un sistema triple es un sistema triple de Jordan si el mapa trilineal, denotado {.,.,.}, satisface las siguientes identidades:

${\displaystyle \{u,v,w\}=\{u,w,v\}}$

${\displaystyle \{u,v,\{w,x,y\}\}=\{w,x,\{u,v,y\}\}+\{w,\{u,v,x\},y\}-\{\{v,u,w\},x,y\}.}$

La primera identidad abstrae la simetría del triple anticonmutador, mientras que la segunda identidad significa que si L _{u , v} : V → V está definido por L _{u , v} ( y ) = { u , v , y } entonces

${\displaystyle [L_{u,v},L_{w,x}]:=L_{u,v}\circ L_{w,x}-L_{w,x}\circ L_{u,v}=L_{w,\{u,v,x\}}-L_{\{v,u,w\},x}}$

de modo que el espacio de los mapas lineales abarca {L _{u , v} : u , v ∈ V } está cerrado bajo el soporte del conmutador y, por lo tanto, es un álgebra de Lie g ₀ .

Cualquier sistema triple Jordan es un sistema triple Lie respecto al producto

${\displaystyle [u,v,w]=\{u,v,w\}-\{v,u,w\}.}$

Se dice que un sistema triple de Jordan es definido positivo (resp. no degenerado ) si la forma bilineal en V definida por la traza de L _{u , v} es definida positiva (resp. no degenerado). En cualquier caso, hay una identificación de V con su espacio dual y una involución correspondiente en g ₀ . Inducen una involución de

${\displaystyle V\oplus {\mathfrak {g}}_{0}\oplus V^{*}}$

que en el caso definido positivo es una involución de Cartan. El espacio simétrico correspondiente es un espacio R simétrico . Tiene un dual no compacto dado al reemplazar la involución de Cartan por su compuesta con la involución igual a +1 en g ₀ y −1 en V y V ^* . Un caso especial de esta construcción surge cuando g ₀ conserva una estructura compleja en V . En este caso obtenemos espacios simétricos hermitianos duales de tipo compacto y no compacto (siendo estos últimos dominios simétricos acotados ).

par jordano

Un par de Jordan es una generalización de un sistema triple de Jordan que involucra dos espacios vectoriales V ₊ y V ₋ . Luego, el mapa trilineal se reemplaza por un par de mapas trilineales.

${\displaystyle \{\cdot ,\cdot ,\cdot \}_{+}\colon V_{-}\times S^{2}V_{+}\to V_{+}}$

${\displaystyle \{\cdot ,\cdot ,\cdot \}_{-}\colon V_{+}\times S^{2}V_{-}\to V_{-}}$

que a menudo se ven como aplicaciones cuadráticas V ₊ → Hom( V ₋ , V ₊ ) y V ₋ → Hom( V ₊ , V ₋ ). El otro axioma de Jordan (aparte de la simetría) también se reemplaza por dos axiomas, uno de los cuales es

${\displaystyle \{u,v,\{w,x,y\}_{+}\}_{+}=\{w,x,\{u,v,y\}_{+}\}_{+}+\{w,\{u,v,x\}_{+},y\}_{+}-\{\{v,u,w\}_{-},x,y\}_{+}}$

y el otro es el análogo con los subíndices + y − intercambiados.

Como en el caso de los sistemas triples de Jordan, se puede definir, para u en V ₋ y v en V ₊ , una aplicación lineal

${\displaystyle L_{u,v}^{+}:V_{+}\to V_{+}\quad {\text{by}}\quad L_{u,v}^{+}(y)=\{u,v,y\}_{+}}$

y de manera similar L ⁻ . Los axiomas de Jordan (aparte de la simetría) pueden entonces escribirse

${\displaystyle [L_{u,v}^{\pm },L_{w,x}^{\pm }]=L_{w,\{u,v,x\}_{\pm }}^{\pm }-L_{\{v,u,w\}_{\mp },x}^{\pm }}$

lo que implica que las imágenes de L ⁺ y L ⁻ están cerradas bajo corchetes del conmutador en End( V ₊ ) y End( V ₋ ). Juntos determinan un mapa lineal.

${\displaystyle V_{+}\otimes V_{-}\to {\mathfrak {gl}}(V_{+})\oplus {\mathfrak {gl}}(V_{-})}$

cuya imagen es una subálgebra de Lie , y las identidades de Jordan se convierten en identidades de Jacobi para un grupo de Lie graduado en ${\displaystyle {\mathfrak {g}}_{0}}$

${\displaystyle V_{+}\oplus {\mathfrak {g}}_{0}\oplus V_{-},}$

de modo que a la inversa, si

${\displaystyle {\mathfrak {g}}={\mathfrak {g}}_{+1}\oplus {\mathfrak {g}}_{0}\oplus {\mathfrak {g}}_{-1}}$

es un álgebra de Lie graduada, entonces el par es un par de Jordan, con corchetes ${\displaystyle ({\mathfrak {g}}_{+1},{\mathfrak {g}}_{-1})}$

${\displaystyle \{X_{\mp },Y_{\pm },Z_{\pm }\}_{\pm }:=[[X_{\mp },Y_{\pm }],Z_{\pm }].}$

Los sistemas triples de Jordan son pares de Jordan con V ₊ = V ₋ y mapas trilineales iguales. Otro caso importante ocurre cuando V ₊ y V ₋ son duales entre sí, con aplicaciones trilineales duales determinadas por un elemento de

${\displaystyle \mathrm {End} (S^{2}V_{+})\cong S^{2}V_{+}^{*}\otimes S^{2}V_{-}^{*}\cong \mathrm {End} (S^{2}V_{-}).}$

Estos surgen en particular cuando lo anterior es semisimple, cuando la forma Killing proporciona una dualidad entre y . ${\displaystyle {\mathfrak {g}}}$ ${\displaystyle {\mathfrak {g}}_{+1}}$ ${\displaystyle {\mathfrak {g}}_{-1}}$

Ver también

• asociado
• Álgebra cuadrática de Jordan

Referencias

• Bertram, Wolfgang (2000), La geometría de las estructuras de Jordan y Lie , Lecture Notes in Mathematics, vol. 1754, Springer, ISBN 978-3-540-41426-1
• Helgason, Sigurdur (2001) [1978], Geometría diferencial, grupos de Lie y espacios simétricos, Estudios de Posgrado en Matemáticas, vol. 34, Sociedad Matemática Estadounidense, ISBN 978-0-8218-2848-9

• Jacobson, Nathan (1949), "Sistemas triples de Lie y Jordan", American Journal of Mathematics , 71 (1): 149–170, doi :10.2307/2372102, JSTOR  2372102
• Kamiya, Noriaki (2001) [1994], "Sistema triple de mentiras", Enciclopedia de Matemáticas , EMS Press.
• Kamiya, Noriaki (2001) [1994], "Sistema triple de Jordania", Enciclopedia de Matemáticas , EMS Press.
• Koecher, M. (1969), Un enfoque elemental para dominios simétricos acotados , Lecture Notes, Rice University
• Loos, Ottmar (1969), Teoría general, Espacios simétricos, vol. 1, WA Benjamín, OCLC  681278693
• Loos, Ottmar (1969), Espacios compactos y clasificación , Espacios simétricos, vol. 2, WA Benjamín
• Loos, Ottmar (1971), "Sistemas triples de Jordan, espacios R y dominios simétricos acotados", Boletín de la Sociedad Matemática Estadounidense , 77 (4): 558–561, doi : 10.1090/s0002-9904-1971-12753- 2
• Loos, Ottmar (2006) [1975], Jordan pairs, Lecture Notes in Mathematics, vol. 460, Springer, ISBN 978-3-540-37499-2
• Loos, Ottmar (1977), Dominios simétricos acotados y pares de Jordan (PDF) , conferencias de matemáticas, Universidad de California, Irvine, archivado desde el original (PDF) el 3 de marzo de 2016
• Meyberg, K. (1972), Conferencias sobre álgebras y sistemas triples (PDF) , Universidad de Virginia
• Rosenfeld, Boris (1997), Geometría de grupos de Lie , Matemáticas y sus aplicaciones, vol. 393, Kluwer, pág. 92, ISBN 978-0792343905, Zbl  0867.53002
• Tevelev, E. (2002), "Moore-Penrose inverso, subgrupos parabólicos y pares de Jordan", Journal of Lie Theory , 12 : 461–481, arXiv : math/0101107 , Bibcode : 2001math......1107T