Invariants for the exceptional complex simple Lie algebra $F_4$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T19:22:28Z http://mathoverflow.net/feeds/question/96149 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/96149/invariants-for-the-exceptional-complex-simple-lie-algebra-f-4 Invariants for the exceptional complex simple Lie algebra $F_4$ José Figueroa-O'Farrill 2012-05-06T18:10:59Z 2012-12-28T18:11:50Z <p><em><strong>This is an edited version of the original question taking into account the comments below by Bruce. The original formulation was imprecise.</em></strong></p> <p>Let $\mathfrak{g}$ denote a complex simple Lie algebra of type $F_4$. Its smallest nontrivial irreducible representation is 26-dimensional. Let's call it $V$. This question is about the invariants of $\mathfrak{g}$ in this representation.</p> <p>It is well-known that $\mathfrak{g}$ leaves invariant a quadratic form $Q \in \operatorname{Sym}^2 V$ and a cubic form $C \in \operatorname{Sym}^3V$ on $V$. Indeed, $\mathfrak{g}$ can be characterised as the Lie subalgebra of $\mathfrak{sl}(V)$ which leaves invariant $Q$ and $C$. Since $V$ is irreducible, $Q$ is non-degenerate and we may use it to identify $V$ with $V^*$ as $\mathfrak{g}$ modules.</p> <p>It seems to be part of the group theoretical folklore in the Physics literature (starting possibly with <a href="http://prd.aps.org/abstract/PRD/v14/i6/p1536_1" rel="nofollow">this paper</a>) that any $\mathfrak{g}$-invariant tensor on $V$ --- that is, any $\mathfrak{g}$-invariant element of in $\bigoplus_{n\geq 0} V^{\otimes n}$ --- can be constructed out of $Q$ (and its inverse), $C$ and a nonzero "volume element" $\nu \in \Lambda^{26}V$ via products in the tensor algebra and contractions.</p> <p>For example, we can construct six invariant tensors out of $Q$ and $C$ in degree $4$ $$Q_{ab}Q_{cd} \qquad Q_{ac}Q_{bd} \qquad Q_{ad}Q_{bc} \qquad C_{abe}C_{cdf} Q^{ef} \qquad C_{ace}C_{bdf} Q^{ef} \qquad C_{ade}C_{bcf} Q^{ef}$$ which satisfy a linear relation, since there is only a 5-dimensional space of such tensors.</p> <p>Now, a quick calculation in LiE reveals that there is a $\mathfrak{g}$-invariant tensor $\Phi \in \Lambda^9 V$</p> <pre><code> &gt; alt_tensor(9,[0,0,0,1],F4)|[0,0,0,0] 1 </code></pre> <p>which cannot be constructed out of $Q$, $C$ and $\nu$ in the aforementioned way.</p> <p>One possible way to understand $\Phi$ is to think in terms of the $\mathfrak{so}(9)$ subalgebra of $\mathfrak{g}$. Under $\mathfrak{so}(9)$, $V$ breaks up as a direct sum of the trivial ($\Lambda^0$), vector ($\Lambda^1$) and spinor ($\Delta$) irreducible representations: $$V = \Lambda^0 \oplus \Lambda^1 \oplus \Delta$$</p> <p>There are precisely two $\mathfrak{so}(9)$-invariants in $\Lambda^9 V$: one is the volume form on $\Lambda^1$ and the other is the "volume" form on $\Lambda^0$ wedged with the $\mathfrak{so}(9)$-invariant 8-form on $\Delta$. Notice that $(\mathfrak{so}(9),\Delta)$ is the holonomy representation for the Cayley plane $F_4/\operatorname{Spin}(9)$, which is well-known to have a parallel self-dual $8$-form. Then $\Phi$ is some linear combination of these two $\mathfrak{so}(9)$-invariants, which I have yet to work out.</p> <p><em><strong>Questions</em></strong></p> <p>I have two questions and, as usual, I would be very grateful for any pointers to the relevant literature:</p> <blockquote> <ol> <li><p>Can every invariant tensor be constructed out of $Q$ (and its inverse) $C$, $\nu$ <em>and</em> $\Phi$ by products and contractions?</p></li> <li><p>Is there a more convenient (for calculations) description of $\Phi$? In particular, I would like to know about the relation of the form $\Phi \otimes \Phi = \cdots$.</p></li> </ol> </blockquote> <p>Thank you in advance.</p> http://mathoverflow.net/questions/96149/invariants-for-the-exceptional-complex-simple-lie-algebra-f-4/96311#96311 Answer by Bruce Westbury for Invariants for the exceptional complex simple Lie algebra $F_4$ Bruce Westbury 2012-05-08T08:43:14Z 2012-05-09T08:54:00Z <p>First you use two phrases "can be constructed out of" and "complete generating set". I think I understand what you mean here but it is possible there is a misunderstanding.</p> <p>I was hoping you might get a better answer as the following is really a strategy and not a complete proof.</p> <p>Take the category generated by your tensors (I hope we are in agreement as to what that means). Then this is a rigid symmetric category. In fact it is what Deligne calls a tannakian category together with a fibre functor. Then Tannakian reconstruction reconstructs an affine group scheme which has this category as its representation category (I think in the physics literature they would refer to Doplicher-Roberts).</p> <p>There is a discussion of reconstruction at</p> <p><a href="http://mathoverflow.net/questions/3446" rel="nofollow">http://mathoverflow.net/questions/3446</a></p> <p>Then if this is not $F_4$, what is it?</p> <p>P.S. Do you need the volume form? I have not seen this in this context.</p> http://mathoverflow.net/questions/96149/invariants-for-the-exceptional-complex-simple-lie-algebra-f-4/96519#96519 Answer by Abdelmalek Abdesselam for Invariants for the exceptional complex simple Lie algebra $F_4$ Abdelmalek Abdesselam 2012-05-09T22:56:10Z 2012-12-28T18:11:50Z <p>This is more of an extended comment/enlargement of the original question/wild speculation than an answer. Due to my poor recollection of reading, a while back, <a href="http://arxiv.org/abs/0807.3161" rel="nofollow">Klein's Erlangen program</a> and <a href="http://books.google.com/books?id=qGpLAAAAMAAJ&amp;printsec=frontcover&amp;source=gbs_ge_summary_r&amp;cad=0#v=onepage&amp;q&amp;f=false" rel="nofollow">Franz Meyer's review</a> on classical invariant theory, I thought Jose's Q 1 was an easy consequence of a 19th's century theorem which would say (disclaimer: what follows is meta-math): </p> <p>`Let $G$ be a group acting on some vector space $V$. Let $A$ denote a collection of tensors in some tensor powers of $V$ and its dual (such as $Q$ and $C$ above). Let $H$ be the subgroup of $G$ defined as the stabilizer of $A$. Suppose we know the first fundamental theorem for $G$: namely a description of invariants of $G$ using contractions of a finite set of elementary pieces. Then one can get the FFT of $H$ simply by adjoining the pieces in the collection $A$.'</p> <p>Suppose for instance one looks at a polynomial $P({\mathbf{F}})$ where $\mathbf{F}$ is some generic $V$-tensor. Suppose $P(g{\mathbf{F}})=P(\mathbf{F})$ for all $g$ in $H$. Then the previous meta-theorem is the statement that there exists a polynomial $\Phi(\mathbf{F},\mathbf{A})$ involving this time a <em>generic</em> tensor or collection of tensors $\mathbf{A}$ of the same format as $A$, such that:</p> <p>1) $\Phi$ is invariant by the full group $G$, i.e., $\Phi(g\mathbf{F},g\mathbf{A})=\Phi(\mathbf{F},\mathbf{A})$ for all $g$ in $G$.</p> <p>2) the specialization of $\Phi(\mathbf{F},\mathbf{A})$ to $\mathbf{A}:=A$ is the original subgroup invariant $P(\mathbf{F})$.</p> <p>If this were true then the FFT for $G=GL(V)$ would be the mother of all FFT's. The statement works for going from $GL(n)$ to $SL(n)$ and taking $A$ to be the epsilon Levi-civita tensor. For othogonal and symplectic groups one takes for $A$ a symmetric or antisymmetric form. But it works also if $G=SL(2)$ and $A=e_1=(1, 0)^T$ so that $H$ is the group of upper triangular matrices (I guess for $n>2$ one would need $A=e_1, e_1\wedge e_2,\ldots$). I thought the meta-theorem was mentioned in Franz Meyer's review, but in fact the only case he explicitly talks about is the last one. He calls that the study of "peninvariants" which is the same as seminvariants sources of covariants of binary forms etc.</p> <p>Now here is a meta-meta-proof of the meta-theorem:</p> <p>Let $\Phi(\mathbf{F},\mathbf{A}):=P(g\mathbf{F})$ where $g$ is some element of $G$ such that $\mathbf{A}=g^{-1}A$.</p> <p>This is well defined since $g_1^{-1}A=g_2^{-1}A$ implies by definition of $H$ that $g_2 g_1^{-1}\in H$. Therefore $P(g_2\mathbf{F})=P((g_2 g_1^{-1})g_1\mathbf{F})= P(g_1\mathbf{F})$ by $H$-invariance of $P$.</p> <p>This is a $G$-invariant because by construction, if $\mathbf{A}=g^{-1}A$ then $g'\mathbf{A}=(g g'^{-1})^{-1}A$ and so $\Phi(g'\mathbf{F},g'\mathbf{A})=P((gg'^{-1})g'\mathbf{F}) =P(g\mathbf{F})=\Phi(\mathbf{F},\mathbf{A})$.</p> <p>Now of course there is a catch: one seems to need the $G$-orbit of $A$ to essentially (Zariski dense?) be all of the space where $\mathbf{A}$ belongs. This holds in the previous instances of the meta-theorem. Now when $A=C,Q$ as in Jose's problem, I am less sure. So I am not as convinced now by what I said in my comment above that Jose's $\Phi$ should be expressible in terms of $Q,C,\nu$ alone. Although, Bruce seems to be able to show this, so stay tuned.</p> <p>In fact one does not seem to need the orbit of $A$ to fill everything, but one needs the existence of a $G$-invariant extension of the $\Phi$ I defined to the full space of $\mathbf{A}$. An idea to do this is to find some extension of $\Phi$ not necessarily invariant and then average it over $G$. For instance if $G=SL(n)$, one needs to take the Haar measure average over $SU(n)$. Usually if one does this the risk is to get zero, but this cannot happen here since the restriction of the average to $A$ should be the original $P$ which must be nonzero, otherwise the problem of expressing $P$ is moot. This sounds too good to be true, in particular in view of Nagata's counterexample for finite generation of rings of invariants. A specialist of algebraic groups would be better able to delineate the boundaries of what is solid math and what is pure fancy in the above arguments.</p> <p>Since Jose's question 1 really is: is there a FFT for $F_4$? I briefly searched the literature and found <a href="http://arxiv.org/abs/0906.5525" rel="nofollow">this</a> recent paper by Bruno Blind. It has some good references, in particular by Gerald Schwarz who solved this problem for $G_2$, and several papers by Iltyakov (who proves things about $F_4$ but uses notations and definitions I do not understand).</p> <p>By the way, another paper by Schwarz in AIF is about binary cubics. This seems to be related to the instance of the meta-theorem where $G=SL(4)$ and $H$ is an imbedded $SL(2)$ using the 3rd symmetric power map. The $A$ in this case, I guess would be the twisted cubic curve. In general, one would need a hypersurface given by the Veronese imbedding (Hesse's transfer principle referred to in Klein's program). Classics studied the kind of things addressed in Schwarz's AIF article under the heading of "invariant types" see the book by Grace and Young Ch. XV and XVI.</p> <p>The above setup also makes sense if $H$ is finite. I wonder if one can prove the fundamental theorem of symmetric polynomials (in a very complicated way) along these lines. I was toying with $A=x_1\cdots x_n$ or $x_1^p+\cdots+x_n^p$ for some well chosen power $p$ but one needs to get rid of a torus or roots of unity as well as solve the extension problem.</p> <hr> <p>Update: I recently came across this article by Alexander Schrijver <a href="http://www.sciencedirect.com/science/article/pii/S0021869307006096" rel="nofollow">"Tensor subalgebras and first fundamental theorems in invariant theory"</a>. J. Algebra 319 (2008), no. 3, 1305–1319. It is related to what I said above since it deduces the FFT for classical groups from that of $GL(n)$.</p>