Definition. Creation, contraction, and the line operator [meinrenken2013clifford, Section 3.2.2, Proposition 3.5, p. 57] [fcap-001I]
✍️source
wedge contract lineOperator
L∃∀N

For \(x\in W\), creation is exterior multiplication \[\varepsilon _x(s)=x\wedge s.\] For \(y\in W'\), contraction is the degree-\(-1\) operator \(\iota _y\) associated with the functional \(x\mapsto B_Q(x,y)\). Finally, if \(z\in L\), its operator is \[\lambda _z=\ell (z)\,\alpha ,\] where \(\alpha \) is parity: it is \(+1\) on even exterior degree and \(-1\) on odd exterior degree. Chevalley's formulas identify the first two operators as left Clifford multiplication on the minimal ideal model [chevalley1954algebraic, II.2.2, pp. 43--44].

Definition. Creation, contraction, and the line operator [meinrenken2013clifford, Section 3.2.2, Proposition 3.5, p. 57] [fcap-001I]
✍️source
wedge contract lineOperator
L∃∀N

Reference. Clifford algebras and lie theory [meinrenken2013clifford]

Reference. The algebraic theory of spinors [chevalley1954algebraic]

Polarization and the exterior spinor model [fcap-001G]

Definition. Polarization data and its carrier [chevalley1954algebraic, II.2.1--II.2.2, pp. 42--44] [fcap-001H]

SpinPolarizationData
L∃∀N

Definition. Creation, contraction, and the line operator [meinrenken2013clifford, Section 3.2.2, Proposition 3.5, p. 57] [fcap-001I]
✍️source
wedge contract lineOperator
L∃∀N

Lemma. The polarized Clifford relation [meinrenken2013clifford, Section 3.2.1, pp. 54--55] [fcap-001J]

contract_wedge cliffordOperator_sq
L∃∀N

Theorem. The exterior Clifford action [meinrenken2013clifford, Section 3.2.2, Proposition 3.5, p. 57] [fcap-001K]

spinAction
L∃∀N

Theorem. Creation and contraction generate all endomorphisms [meinrenken2013clifford, Section 3.2.4, Theorem 3.3, pp. 59--60] [fcap-001L]

creation_contraction_adjoin_eq_top spinAction_surjective
L∃∀N

Definition. The Spin and Pin representations [meinrenken2013clifford, Section 3.2.1, pp. 55--56] [fcap-001M]

spinRep pinRep
L∃∀N

Lemma. The restricted actions are the Clifford action [meinrenken2013clifford, Section 3.2.1, pp. 55--56] [fcap-001N]

spinRep_apply pinRep_apply
L∃∀N

Example. The rank-one polarized model [meinrenken2013clifford, Section 3.2.4, Theorem 3.3, p. 59] [fcap-001P]

Remark. Horizons beyond the exterior model [meinrenken2013clifford, Section 3.2.4, Theorem 3.3, pp. 59--60]; [kostant1997clifford, Section 2.4, Theorem 8, pp. 286--287]; [lawson2016spin, I.2, pp. 13--19] [fcap-0017]