Remark. Infinitesimal and global Clifford symmetry [fcap-000T]
✍️source

The quadratic Clifford Lie algebra is the infinitesimal part of the same conjugation action that produces reflections. Kostant proves that \(\bigwedge ^2V=\operatorname {Lie}(\operatorname {Spin}(V))\), that its map to \(\mathfrak {so}(V)\) is the differential of \(\operatorname {Spin}(V)\to SO(V)\), and that its commutator action extends as the corresponding derivation of the exterior algebra [kostant1997clifford, Section 2.4, Theorem 8, pp. 286--287]. Chevalley obtains the same two-vector Lie algebra inside the Clifford group [chevalley1954algebraic, II.2.9, pp. 67--68].

The cards above identify the algebraic Lie layer. They do not construct Lie-group structures or identify a differential of a Lie-group covering map. The next chapter instead reaches the global orthogonal group by finite products of reflections.

Remark. Infinitesimal and global Clifford symmetry [fcap-000T]
✍️source

Reference. Clifford algebra analogue of the Hopf--Koszul--Samelson theorem [kostant1997clifford]

Reference. The algebraic theory of spinors [chevalley1954algebraic]

Bivectors and the orthogonal Lie algebra [fcap-000M]

Convention. Bivector normalizations [meinrenken2013clifford, Section 2.2.5, Proposition 2.5, p. 33] [fcap-000N]

bivector_def bivector_lie_ι
L∃∀N

Definition. Clifford bivector [meinrenken2013clifford, Section 2.2.5, Proposition 2.5, p. 33] [fcap-000O]

bivectorExterior equivExterior_bivectorExterior
L∃∀N

Lemma. A bivector acts by an infinitesimal rotation [meinrenken2013clifford, Section 2.2.10, Theorem 2.1, pp. 39--40] [fcap-000P]

bivector_lie_ι
L∃∀N

Proof.

Theorem. Exterior bivectors are the quadratic Clifford Lie algebra [meinrenken2013clifford, Section 2.2.10, Theorem 2.1, pp. 39--40] [fcap-000Q]

bivectorExteriorEquivQuadraticLieSubalgebra bivectorLieEquiv
L∃∀N

Theorem. Quadratic elements realize the orthogonal Lie algebra [meinrenken2013clifford, Section 2.2.10, Proposition 2.12, p. 40] [fcap-000R]

soEquivQuadratic soEquivQuadratic_lie_ι
L∃∀N

Example. An elementary skew matrix [meinrenken2013clifford, Section 2.2.10, Proposition 2.12, p. 40] [fcap-000S]

bivectorEquivSo_apply_ιMulti bivectorEquivSo_apply_ιMulti_mulVec
L∃∀N

Remark. Infinitesimal and global Clifford symmetry [fcap-000T]
✍️source

Theorem. An orthogonal Lie action lifts to every Clifford module [kostant1997clifford, Section 3.1, pp. 294--295] [fcap-001O]

cliffordInducedRep cliffordInducedRep_apply
L∃∀N