Theorem. An orthogonal Lie action lifts to every Clifford module [kostant1997clifford, Section 3.1, pp. 294--295] [fcap-001O]
Theorem. An orthogonal Lie action lifts to every Clifford module [kostant1997clifford, Section 3.1, pp. 294--295] [fcap-001O]
Let \(K\) be a field in which \(2\) is invertible, let \(V\) be finite-dimensional, and let \(Q\) be nondegenerate. Suppose a \(K\)-Lie algebra \(L\) acts orthogonally on \(V\) through \[\theta :L\longrightarrow \mathfrak {so}(V,B_Q),\] and let \(\rho :\mathcal {C}\kern -2pt\ell (Q)\to \operatorname {End}_K(S)\) be any Clifford module. The equivalence of Theorem [fcap-000R] lifts \(\theta \) to quadratic Clifford elements; composing with \(\rho \) gives a Lie representation \[\rho _{\mathcal {C}\kern -2pt\ell }:L\longrightarrow \operatorname {End}_K(S),\qquad \rho _{\mathcal {C}\kern -2pt\ell }(y)=\rho \bigl (\operatorname {soEquivQuadratic}(\theta (y))\bigr ).\] Kostant constructs this lift for a complex reductive group representation and then lets its quadratic elements act on the spin module. The formalized statement isolates the algebraic mechanism over the stated field and for an arbitrary Clifford module; it does not assert that \(\theta \) is a differential of a group representation.