Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:39:16Z http://mathoverflow.net/feeds/question/95982 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95982/type-of-26-dimensional-representation-of-different-real-forms-of-the-complex-simp Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$ José Figueroa-O'Farrill 2012-05-04T12:51:10Z 2012-05-10T07:10:36Z <p>The exceptional complex simple Lie algebra $F_4$ has an irreducible 26-dimensional representation $V$ with Dynkin label [0,0,0,1] in the usual ordering of the simple roots one can find, say, in Humphreys's book on Lie algebras and representation theory. In fact, $F_4$ can be defined as the Lie subalgebra of $\mathfrak{sl}(V)$ which preserves a symmetric inner product and a certain cubic form on $V$.</p> <p>Now there are three different real forms of $F_4$ and my question is about what happens to $V$ when restricting to these real forms. The three real forms are the compact real form, the split real form and a third form. They can be distinguished by the 'index' of the Killing form; i.e., if the Killing form $\kappa(X,Y) = \operatorname{Tr} \operatorname{ad}_X \operatorname{ad}_Y$ has signature $(p,q)$, its index is $p-q$. I am most familiar with the compact real form, for which the Killing form is negative-definite, whence of index $-52$. The split real form has index $4$ and the third real form has index $-20$, and are denoted $F_4^4$ and $F_4^{-20}$, respectively.</p> <p>I would like to know the following (pointers to the literature would also be greatly appreciated):</p> <p><em><strong>Questions</em></strong></p> <blockquote> <p>What is the type of $V$ under the different real forms? I know that for the compact real form it is real, but I would like to know also for $F_4^{-20}$ and $F_4^4$.</p> <p>And if the type is real (as I suspect is the case), what is the signature of the invariant inner product on the underlying real representation $V_{\mathbb{R}}$?</p> </blockquote> <p>Thanks in advance!</p> <p><em><strong>Edit</em></strong></p> <p>Based on Jim's answer below, the representations are of real type in all cases. From Bruce's answer, it would seem that for the split case $F_4^4$ the signature is (14,12).</p> <p>In a rather convoluted calculation, I seem to find that for $F_4^{-20}$ the signature is (16,10), but I would like confirmation since I have seen at least <a href="http://arxiv.org/abs/hep-th/0301050v1" rel="nofollow">one claim in the Physics literature</a> (see last equation in §4) that it is (25,1).</p> http://mathoverflow.net/questions/95982/type-of-26-dimensional-representation-of-different-real-forms-of-the-complex-simp/95988#95988 Answer by Jim Humphreys for Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$ Jim Humphreys 2012-05-04T14:42:45Z 2012-05-04T14:42:45Z <p>The answer to the first question (as you expect) is that the representation is real in each case. I'm less sure how to answer the second question explicitly. But among the many possible older sources in the mathematics or physics literature there is one worth mentioning:</p> <p>J. Tits, <em>Tabellen zu den einfachen Lie Gruppen und ihren Darstellungen</em>, Lect. Notes in Math. 40 (1967), Springer-Verlag</p> <p>This early volume of the series (in large page form soon abandoned) is drawn from lectures Tits gave in Bonn in 1966. He summarizes a lot of basic material concisely (in 53 typed pages) with some indications as to proofs and earlier references. Especially relevant for your purpose is Section 11 on representations of the real forms, together with the detailed tables for simple types including the three real forms of <code>$F_4$</code> (pages 43-44). But note that his numbering convention for this Dynkin diagram is the reverse of the usual Bourbaki convention which I followed. </p> http://mathoverflow.net/questions/95982/type-of-26-dimensional-representation-of-different-real-forms-of-the-complex-simp/95995#95995 Answer by Bruce Westbury for Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$ Bruce Westbury 2012-05-04T15:28:28Z 2012-05-04T15:28:28Z <p>The paper <a href="http://arxiv.org/abs/math/0203010" rel="nofollow">http://arxiv.org/abs/math/0203010</a> discusses various constructions of real forms of the Freudenthal magic square. For $F_4$ they obtain $F_4^4$ and $F_4^{-52}$ but not $F_4^{-20}$. I had a quick scan but did not see the 26-dimensional representation explicitly but it must be there even if only implicitly.</p> <p>This paper has been published at:</p> <pre><code>MR2020553 (2005b:17017) Barton, C. H. ; Sudbery, A. Magic squares and matrix models of Lie algebras. Adv. Math. 180 (2003), no. 2, 596--647. </code></pre> http://mathoverflow.net/questions/95982/type-of-26-dimensional-representation-of-different-real-forms-of-the-complex-simp/96008#96008 Answer by Marty for Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$ Marty 2012-05-04T18:50:31Z 2012-05-04T21:08:38Z <p>I think the best way to see the signature of these quadratic forms is by using the formula from "A Classification Theorem for Albert Algebras" by R. Parimala, R. Sridharan, and Maneesh L. Thakur, Trans. AMS 350 #3, March 1998.</p> <p>All forms of $F_4$ arise from Albert algebras. Over $R$, these are 27-dimensional algebras, whose unital automorphisms form groups of type $F_4$. They are classified, over fields of characteristic neither $2$ nor $3$, by cohomological invariants $f_3$ and $f_5$. These cohomological invariants determine 3-fold and 5-fold Pfister forms, $\phi_3$ and $\phi_5$ respectively.</p> <p>The formula of P-S-T (above), or maybe originally due to Serre, is that for an Albert algebra $A$ over $k$, $$Q_A \perp \phi_3 \cong &lt;2,2,2> \perp \phi_5.$$</p> <p>Now there are only two Pfister forms over $R$ for $\phi_3$ and $\phi_5$. The signature of $\phi_3$ is either $(8,0)$ or $(4,4)$. Similarly, the signature of $\phi_5$ is either $(32,0)$ or $(16,16)$. The signature of $&lt;2,2,2>$ is $(3,0)$. Hence the possibilities for the signature $(p,n)$ of $Q_A$ are: $$(p,n) + (8,0) = (3,0) + (32,0),$$ $$(p,n) + (8,0) = (3,0) + (16,16),$$ $$(p,n) + (4,4) = (3,0) + (32,0),$$ $$(p,n) + (4,4) = (3,0) + (16,16).$$</p> <p>Only three cases are possible: $(p,n) = (27,0)$ or $(p,n) = (11,16)$ or $(p,n) = (15,12)$.</p> <p>As $F_4$ acts on the orthogonal complement of the identity, and the identity has positive norm, the possible signatures for the 26-dimensional rep of $F_4$ are: $$(26,0), (10,16), (14,12).$$</p> http://mathoverflow.net/questions/95982/type-of-26-dimensional-representation-of-different-real-forms-of-the-complex-simp/96477#96477 Answer by robot for Type of 26-dimensional representation of different real forms of the complex simple Lie algebra $F_4$ robot 2012-05-09T17:03:44Z 2012-05-10T07:10:36Z <p>All the forms of $F_4$ can be defined as automorphism groups of some Jordan algebra of three by three matrices with entries in octonions / split octonions / complexified octonions. These algebras are all of dimension 27 over the appropriate field and the subspaces of trace-free matrices are the irreducible 26-dimensional representations of the various forms of $F_4$. The invariant quadratic form is $A\mapsto \mathrm{Tr}(A^2)$. (And the invariant cubic form is $A\mapsto \mathrm{det}(A)$.)</p> <p>The group $F_4^{-20}$ is according to <a href="http://arxiv.org/abs/0902.0431" rel="nofollow">Yokota</a> (but I guess that one can dig this up also out of the work of Veldkamp or Springer) the automorphism group of the real Jordan algebra $J(1,2,\mathbb{O}) = \{X\in \mathrm{M}(3,\mathbb{O}\otimes_\mathbb{R}\mathbb{C}) \, |\, I_1 \overline{X}^tI_1 = X \}$ where $I_1 = \mathrm{diag}(-1,1,1)$. Now the computation of the signature of $A\mapsto \mathrm{Tr}(A^2)$ is a matter of simple calculation.</p> <p>The other two real cases $F_4^{-52}$, $F_4^4$ follow similarly since they are the automorphism groups of $J(3,\mathbb{O}) = \{ X\in M(3,\mathbb{O})\,|\, X^t =X \}$ and $J(3,\mathbb{O}) = \{ X\in M(3,\mathbb{O}')\,|\, X^t=X \}$ respectively.</p>