Freudenthal magic square

Freudenthal magic square

In mathematics, the Freudenthal magic square (or Freudenthal–Tits magic square) is a construction relating several Lie groups. It is named after Hans Freudenthal and Jacques Tits, who developed the idea independently. It associates a Lie group (or corresponding Lie algebra) to a pair of division algebras "A", "B". The resulting Lie algebras have Dynkin diagrams according to the following table.

Barton and Sudbery then identify the magic square Lie algebra corresponding to ("A","B") with a Lie algebra structure on the vector space: mathfrak{tri}(A)oplusmathfrak{tri}(B)oplus (A_1otimes B_1)oplus (A_2otimes B_2)oplus (A_3otimes B_3). The Lie bracket is compatible with a Z2×Z2 grading, with tri("A") and tri("B") in degree (0,0), and the three copies of Aotimes B in degrees (0,1), (1,0) and (1,1). The bracket preserves tri("A") and tri("B") and these act naturally on the three copies of Aotimes B, as in the other constructions, but the brackets between these three copies are more constrained.

For instance when "A" and "B" are the octonions, the triality is that of Spin(8), the double cover of SO8, and the Barton-Sudbery description yields:mathfrak e_8cong mathfrak{so}_8oplushat{mathfrak{so_8oplus(Votimes hat V)oplus (S_+otimeshat S_+)oplus (S_-otimes hat S_-)where V, S+ and S- are the three 8 dimensional representations of mathfrak{so}_8 (the fundamental representation and the two spin representations), and the hatted objects are an isomorphic copy.

With respect to one of the Z2 gradings, the first three summands combine to give mathfrak{so}_{16} and the last two together form one of its spin representations Δ+128 (the superscript denotes the dimension). This is a well known symmetric decomposition of E8.

The Barton-Sudbery construction extends this to the other Lie algebras in the magic square. In particular, for the exceptional Lie algebras in the last row (or column), the symmetric decompositions are::mathfrak f_4cong mathfrak{so}_9oplus Delta^{16}:mathfrak e_6cong (mathfrak{so}_{10}oplus mathfrak u_1)oplus Delta^{32}:mathfrak e_7cong (mathfrak{so}_{12}oplus mathfrak{sp}_1)oplus Delta_+^{64}:mathfrak e_8cong mathfrak{so}_{16}oplus Delta_+^{128}.

Generalizations

plit composition algebras

In addition to the normed division algebras, there are other composition algebras over R, namely the split-complex numbers, the split-quaternions and the split-octonions. If one uses these instead of the complex numbers, quaternions, and octonions, one obtains the following variant of the magic square (where the split versions of the division algebras are denoted by a dash).

The real exceptional Lie algebras appearing here can again be described by their maximal compact subalgebras.

For "n"=2, J"2"("O") is also a Jordan algebra. In the compact case (over R) this yields a magic square of orthogonal Lie algebras.

The last row and column here are the orthogonal algebra part of the isotropy algebra in the symmetric decomposition of the exceptional Lie algebras mentioned previously.

These constructions are closely related to hermitian symmetric spaces – cf. prehomogeneous vector spaces.

ee also

* E8 (mathematics)
* E7 (mathematics)
* E6 (mathematics)
* F4 (mathematics)
* G2 (mathematics)
* Jordan triple system

References

* 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.
*; also available [http://math.ucr.edu/home/baez/octonions/node16.html here] , [http://www.arxiv.org/abs/math/0105155v1 arXiv:math.AG/0105155v1] .
* C. H. Barton and A. Sudbery (2003), "Magic squares and matrix models of Lie algebras", Adv. in Math. 180 (2003), 596-647, [http://arxiv.org/abs/math.RA/0203010 arXiv:math.RA/0203010] .
*J.M. Landsberg and L. Manivel (2001), "The projective geometry of Freudenthal's magic square", Journal of Algebra, Volume 239, Issue 2, pages 477-512, doi|10.1006/jabr.2000.8697, [http://www.arxiv.org/abs/math/9908039 arXiv:math.AG/9908039v1] .
* Pierre Ramond (1976), " [http://www.slac.stanford.edu/spires/find/hep/www?r=CALT-68-577 Introduction to Exceptional Lie Groups and Algebras] ", CALT-68-577, California Institute of Technology, Pasadena.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Magic square — In recreational mathematics, a magic square of order n is an arrangement of n2 numbers, usually distinct integers, in a square, such that the n numbers in all rows, all columns, and both diagonals sum to the same constant.[1] A normal magic… …   Wikipedia

  • Hans Freudenthal — (September 17, 1905 – October 13, 1990) was a Dutch mathematician. He made substantial contributions to algebraic topology and also took an interest in literature, philosophy, history and mathematics education. Freudenthal was born in Luckenwalde …   Wikipedia

  • List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

  • E₆ — In mathematics, E6 is the name of some Lie groups and also their Lie algebras mathfrak{e} 6. It is one of the five exceptional compact simple Lie groups as well as one of the simply laced groups. E6 has rank 6 and dimension 78. The fundamental… …   Wikipedia

  • E₈ — In mathematics, E8 is the name given to a family of closely related structures. In particular, it is the name of four exceptional simple Lie algebras as well as that of the six associated simple Lie groups. It is also the name given to the… …   Wikipedia

  • F₄ — In mathematics, F4 is the name of a Lie group and also its Lie algebra mathfrak{f} 4. It is one of the five exceptional simple Lie groups. F 4 has rank 4 and dimension 52. The compact form is simply connected and its outer automorphism group is… …   Wikipedia

  • E₇ — In mathematics, E7 is the name of several Lie groups and also their Lie algebras mathfrak{e} 7. It is one of the five exceptional compact simple Lie groups as well as one of the simply laced groups. E 7 has rank 7 and dimension 133. The… …   Wikipedia

  • BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

Share the article and excerpts

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