Definition. Clifford bivector [meinrenken2013clifford, Section 2.2.5, Proposition 2.5, p. 33] [fcap-000O]
✍️source
bivectorExterior equivExterior_bivectorExterior
L∃∀N

For the formalized extension described in Convention [fcap-000N], let \(R\) be a commutative ring in which \(2\) is invertible, let \(M\) be an \(R\)-module, and let \(Q\) be a quadratic form on \(M\). The Clifford bivector of \(u,v\in M\) is \[\beta _Q(u,v)=\frac 12\bigl (\iota (u)\iota (v)-\iota (v)\iota (u)\bigr ).\] It is alternating in \(u\) and \(v\), so it induces a linear map \[\beta _Q:\bigwedge _R^2M\longrightarrow \mathcal {C}\kern -2pt\ell (Q).\] The exterior model is a left inverse on its image: \[\operatorname {equivExterior}_Q\bigl (\beta _Q(z)\bigr )=z \qquad (z\in \bigwedge _R^2M).\] Hence \(\beta _Q\) is injective.

Definition. Clifford bivector [meinrenken2013clifford, Section 2.2.5, Proposition 2.5, p. 33] [fcap-000O]
✍️source
bivectorExterior equivExterior_bivectorExterior
L∃∀N

Reference. Clifford algebras and lie theory [meinrenken2013clifford]

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]
✍️source
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]

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

cliffordInducedRep cliffordInducedRep_apply
L∃∀N

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

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

bivector_def bivector_lie_ι
L∃∀N