Trisha Shetty (Editor)

Triple system

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In algebra, a triple system (or ternar) is a vector space V over a field F together with a F-trilinear map

Contents

( , , ) : V × V × V V .

The most important examples are Lie triple systems and Jordan triple systems. They were introduced by Nathan Jacobson in 1949 to study subspaces of associative algebras closed under triple commutators [[u, v], w] and triple anticommutators {u, {v, w}}. In particular, any Lie algebra defines a Lie triple system and any Jordan algebra defines a Jordan triple system. They are important in the theories of symmetric spaces, particularly Hermitian symmetric spaces and their generalizations (symmetric R-spaces and their noncompact duals).

Lie triple systems

A triple system is said to be a Lie triple system if the trilinear form, denoted [.,.,.], satisfies the following identities:

[ u , v , w ] = [ v , u , w ] [ u , v , w ] + [ w , u , v ] + [ v , w , u ] = 0 [ u , v , [ w , x , y ] ] = [ [ u , v , w ] , x , y ] + [ w , [ u , v , x ] , y ] + [ w , x , [ u , v , y ] ] .

The first two identities abstract the skew symmetry and Jacobi identity for the triple commutator, while the third identity means that the linear map Lu,v:VV, defined by Lu,v(w) = [u, v, w], is a derivation of the triple product. The identity also shows that the space k = span {Lu,v: u, vV} is closed under commutator bracket, hence a Lie algebra.

Writing m in place of V, it follows that

g := k m

can be made into a Lie algebra with bracket

[ ( L , u ) , ( M , v ) ] = ( [ L , M ] + L u , v , L ( v ) M ( u ) ) .

The decomposition of g is clearly a symmetric decomposition for this Lie bracket, and hence if G is a connected Lie group with Lie algebra g and K is a subgroup with Lie algebra k, then G/K is a symmetric space.

Conversely, given a Lie algebra g with such a symmetric decomposition (i.e., it is the Lie algebra of a symmetric space), the triple bracket [[u, v], w] makes m into a Lie triple system.

Jordan triple systems

A triple system is said to be a Jordan triple system if the trilinear form, denoted {.,.,.}, satisfies the following identities:

{ u , v , w } = { u , w , v } { u , v , { w , x , y } } = { w , x , { u , v , y } } + { w , { u , v , x } , y } { { v , u , w } , x , y } .

The first identity abstracts the symmetry of the triple anticommutator, while the second identity means that if Lu,v:VV is defined by Lu,v(y) = {u, v, y} then

[ L u , v , L w , x ] := L u , v L w , x L w , x L u , v = L w , { u , v , x } L { v , u , w } , x

so that the space of linear maps span {Lu,v:u,vV} is closed under commutator bracket, and hence is a Lie algebra g0.

Any Jordan triple system is a Lie triple system with respect to the product

[ u , v , w ] = { u , v , w } { v , u , w } .

A Jordan triple system is said to be positive definite (resp. nondegenerate) if the bilinear form on V defined by the trace of Lu,v is positive definite (resp. nondegenerate). In either case, there is an identification of V with its dual space, and a corresponding involution on g0. They induce an involution of

V g 0 V

which in the positive definite case is a Cartan involution. The corresponding symmetric space is a symmetric R-space. It has a noncompact dual given by replacing the Cartan involution by its composite with the involution equal to +1 on g0 and −1 on V and V*. A special case of this construction arises when g0 preserves a complex structure on V. In this case we obtain dual Hermitian symmetric spaces of compact and noncompact type (the latter being bounded symmetric domains).

Jordan pair

A Jordan pair is a generalization of a Jordan triple system involving two vector spaces V+ and V. The trilinear form is then replaced by a pair of trilinear forms

{ , , } + : V × S 2 V + V + { , , } : V + × S 2 V V

which are often viewed as quadratic maps V+ → Hom(V, V+) and V → Hom(V+, V). The other Jordan axiom (apart from symmetry) is likewise replaced by two axioms, one being

{ u , v , { w , x , y } + } + = { w , x , { u , v , y } + } + + { w , { u , v , x } + , y } + { { v , u , w } , x , y } +

and the other being the analogue with + and − subscripts exchanged.

As in the case of Jordan triple systems, one can define, for u in V and v in V+, a linear map

L u , v + : V + V + by L u , v + ( y ) = { u , v , y } +

and similarly L. The Jordan axioms (apart from symmetry) may then be written

[ L u , v ± , L w , x ± ] = L w , { u , v , x } ± ± L { v , u , w } , x ±

which imply that the images of L+ and L are closed under commutator brackets in End(V+) and End(V). Together they determine a linear map

V + V g l ( V + ) g l ( V )

whose image is a Lie subalgebra g 0 , and the Jordan identities become Jacobi identities for a graded Lie bracket on

V + g 0 V ,

so that conversely, if

g = g + 1 g 0 g 1

is a graded Lie algebra, then the pair ( g + 1 , g 1 ) is a Jordan pair, with brackets

{ X , Y ± , Z ± } ± := [ [ X , Y ± ] , Z ± ] .

Jordan triple systems are Jordan pairs with V+ = V and equal trilinear forms. Another important case occurs when V+ and V are dual to one another, with dual trilinear forms determined by an element of

E n d ( S 2 V + ) S 2 V + S 2 V E n d ( S 2 V ) .

These arise in particular when g above is semisimple, when the Killing form provides a duality between g + 1 and g 1 .

References

Triple system Wikipedia


Similar Topics