Added to Favorites

Related Searches

Definitions

Nearby Words

In mathematics, triality is a relationship between three vector spaces, analogous to the duality relation between dual vector spaces. Most commonly, it describes those special features of the group Spin(8), the double cover of 8-dimensional rotation group SO(8), arising because the group has an outer automorphism of order three. There is a geometrical version of triality, analogous to duality in projective geometry.## General formulation

_{i} corresponds to the identity element in V. The nondegeneracy condition now implies that V is a division algebra. It follows that V has dimension 1, 2, 4 or 8. If further F=R and the identification of V with its dual is given by positive definite inner product, V is a normed division algebra, and is therefore isomorphic to R, C, H or O.## References

## External links

Of all simple Lie groups, Spin(8) has the most symmetrical Dynkin diagram. The diagram has four nodes with one node located at the center, and the other three attached symmetrically. The symmetry group of the diagram is the symmetric group S_{3} which acts by permuting the three legs. This gives rise to an S_{3} group of outer automorphisms of Spin(8). This automorphism group permutes the three 8-dimensional irreducible representations of Spin(8); these being the vector representation and two chiral spin representations. These automorphisms do not project to automorphisms of SO(8).

Roughly speaking, symmetries of the Dynkin diagram lead to automorphisms of the Bruhat-Tits building associated with the group. For special linear groups, one obtains projective duality. For Spin(8), one finds a curious phenomenon involving 1, 2, and 4 dimensional subspaces of 8-dimensional space, historically known as "geometric triality".

The exceptional 3-fold symmetry of the $D\_4$ diagram also gives rise to the Steinberg group $\{\}^3\; D\_4$.

A duality between two vector spaces over a field F is a nondegenerate bilinear map

- $V\_1times\; V\_2to\; mathbb\; F,$

Similarly, a triality between three vector spaces over a field F is a nondegenerate trilinear map

- $V\_1times\; V\_2times\; V\_3to\; mathbb\; F,$

By choosing vectors e_{i} in each V_{i} on which the trilinear map evaluates to 1, we find that the three vector spaces are all isomorphic to each other, and to their duals. Denoting this common vector space by V, the triality may be reexpressed as a bilinear multiplication

- $V\; times\; V\; to\; V$

Conversely, the normed division algebras immediately give rise to trialities by taking each V_{i} equal to the division algebra, and using the inner product on the algebra to dualize the multiplication into a trilinear form.

An alternative construction of trialities uses spinors in dimensions 1, 2, 4 and 8. The eight dimensional case corresponds to the triality property of Spin(8).

- John Frank Adams (1981), Spin(8), Triality, F
_{4}and all that, in "Superspace and supergravity", edited by Stephen Hawking and Martin Roček, Cambridge University Press, pages 435-445. - John Frank Adams (1996), Lectures on Exceptional Lie Groups (Chicago Lectures in Mathematics), edited by Zafer Mahmud and Mamora Mimura, University of Chicago Press, ISBN 0-226-00527-5.

- Spinors and Trialities by John Baez
- Triality with Zometool by David Richter

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 07, 2008 at 04:24:04 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 07, 2008 at 04:24:04 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.