Symmetric trace-free square of the defining orthogonal representation

ID: symmetric-trace-free-square-of-the-defining-orthogonal-representation

For the defining real representation of , the symmetric square splits as a scalar trace plus symmetric trace-free tensors: . The trace projection is , so the second summand has dimension .
For the trace-free summand is an irreducible real group representation. To see this, diagonalize a nonzero symmetric trace-free matrix in a nonzero invariant subspace. Two diagonal entries differ. Infinitesimal rotation in their plane yields a nonzero symmetric off-diagonal matrix; rotations carry it to every coordinate pair, and a rotation through produces a difference of two diagonal entries. These off-diagonal matrices and diagonal differences span all symmetric trace-free matrices, so the invariant subspace is the whole summand. For , its dimension is 299, the third-level nontrivial multiplet of the lowest levels of a fully transverse ND bosonic string.

New to topics? Read the docs here!