# Generators of so(7)

Short version: Let $V$ be a 7-dimensional linear space of (real) square matrices. Suppose further that $[V,V]$ (the linear space spanned $[X,Y]$, $X,Y\in V$) is isomorphic to $\mathfrak{so}(7)$. Can one prove that $$V\cap [V,V]=\{0\}?$$

Long version: This is really about Cartan-Killing fields on spheres, related to totally geodesic submanifolds on Lie groups. Given a $n\times n$ skew-symmetric matrix $\xi$, it defines a Killing vector field $\chi_\xi:S^n\to TS^n$ via $x\mapsto \xi x$. This Killing field is called Clifford-Wolf if it has constant length.

A Cartan-Killing space is a linear subspace of Clifford-Wolf Killing fields. It is known that the only non-euclidean symmetric spaces that admit non-trivial Cartan-Killing spaces are compact Lie groups, even dimensional spheres and SU(2n)/Sp(n), $n\geq 3$ (these results are part of a nice paper that settles the subject: http://projecteuclid.org/euclid.jdg/1251122544).

I find myself in the following situation: let $CK$ be the space of Clifford-Wolf fields defined by octonionic multiplication (or any other seven-dimensional space of constant-length Killing fields on $S^7$, which we think as a subspace of $\mathfrak{so}(8)$ though $\chi$). There is a vector space $\mathcal{H}\subset \mathfrak{so}(8)$ and an injective linear map $A:CK\to End(\mathcal{H})$, such that $ad_\xi ad_\eta$ preserves $\mathcal{H}$ and $A^\xi A^\eta=ad_\xi ad_\eta$. It is known that $[CK,CK]$ (in the sense of the brackets in the short answer) is isomorphic to $\mathfrak{so}(7)$ and that $CK\cap [CK,CK]=\{0\}$.

A stronger question would be: is (in some sense) $A^\xi=ad_\xi$? But I would be happy(ier) with just a weak one: does $A(CK)\cap [A(CK),A(CK)]=\{0\}$?

Glossary:

1) $ad_\xi (X)=[\xi,X]$ (the Lie brackets).

2) We denote $A^\xi=A(\xi)$ to simplify notation.