Traceless symmetric square of the defining even orthogonal representation
ID: traceless-symmetric-square-of-the-defining-even-orthogonal-representation
For , contraction with the invariant symmetric bilinear form splits off the trivial line in the symmetric square of the defining special orthogonal group representation. Its null space is the traceless symmetric square. It contains a highest-weight vector of weight , and the Weyl dimension formula gives , exactly its dimension. Complete reducibility of compact-group representations therefore makes that null space irreducible. The entire symmetric square is reducible because of the invariant line.
New to topics? Read the docs here!