Triality

Triality

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.

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.

General formulation

A duality between two vector spaces over a field F is a nondegenerate bilinear map: V_1 imes V_2 o mathbb F,i.e., for each nonzero vector "v" in one of the two vector spaces, the pairing with "v" is a nonzero linear functional on the other.

Similarly, a triality between three vector spaces over a field F is a nondegenerate trilinear map: V_1 imes V_2 imes V_3 o mathbb F,i.e., each nonzero vector in one of the three vector spaces induces a duality between the other two.

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 imes V o Vwhere each "e""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.

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).

References

* John Frank Adams (1981), "Spin(8), Triality, F4 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.

External links

* [http://math.ucr.edu/home/baez/octonions/node7.html Spinors and Trialities] by John Baez
* [http://homepages.wmich.edu/~drichter/zometriality.htm Triality with Zometool] by David Richter


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Triality — Tri*al i*ty, n. [L. tres, tria, three.] Three united; state of being three. [R.] H. Wharton. [1913 Webster] …   The Collaborative International Dictionary of English

  • triality — trīality / alˈi ti/ noun • • • Main Entry: ↑trial …   Useful english dictionary

  • Triality — (Roget s Thesaurus) < N PARAG:Triality >N GRP: N 1 Sgm: N 1 Triality Triality trinity Sgm: N 1 triunity triunity GRP: N 2 Sgm: N 2 three three triad triplet trey trio ternion …   English dictionary for students

  • triality — noun A relationship between three vector spaces …   Wiktionary

  • SO(8) — In mathematics, SO(8) is the special orthogonal group acting on eight dimensional Euclidean space. It could be either a real or complex simple Lie group of rank 4 and dimension 28. Like all special orthogonal groups (except SO(2)), SO(8) is not… …   Wikipedia

  • Octonion — In mathematics, the octonions are a normed division algebra over the real numbers, usually represented by the capital letter O, using boldface O or blackboard bold . There are only four such algebras, the other three being the real numbers R, the …   Wikipedia

  • Spin structure — In differential geometry, a spin structure on an orientable Riemannian manifold allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry. Spin structures have wide applications to mathematical …   Wikipedia

  • An Exceptionally Simple Theory of Everything — is a preprint proposing a basis for a unified field theory, named E8 Theory , which attempts to describe all known fundamental interactions in physics, and to stand as a possible theory of everything. The preprint was posted to the physics arXiv… …   Wikipedia

  • Dynkin diagram — See also: Coxeter–Dynkin diagram Finite Dynkin diagrams Affine (extended) Dynkin diagrams …   Wikipedia

  • Spinor — In mathematics and physics, in particular in the theory of the orthogonal groups (such as the rotation or the Lorentz groups), spinors are elements of a complex vector space introduced to expand the notion of spatial vector. Unlike tensors, the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”