Spin group

Intuition [Beginner]

Rotations in three-dimensional space can be described by quaternions. A unit quaternion rotates a vector, and changing that quaternion to its negative gives the same rotation.

That sign ambiguity is not a defect. It is the first visible sign of the Spin group. Spin is a hidden rotation group that sits above the ordinary rotation group. Each ordinary rotation has two Spin representatives, usually written $g$ and $-g$.

The construction starts from a Clifford algebra 03.09.02. Unit vectors act like mirrors. Products of two mirrors act like rotations. The Spin group consists of the even products that have length one.

Visual [Beginner]

The map from Spin to ordinary rotations is two-to-one: two opposite Spin points represent one rotation.

This is why a spinor can change sign after a full turn and return after two full turns. The rotation in space has come back, but the lifted Spin element has moved from $g$ to $-g$.

Worked example [Beginner]

In the plane, take two perpendicular unit vectors $e_1$ and $e_2$ in the Clifford algebra. Their product $e_1{e}_2$ behaves like an imaginary unit because $(e_1{e}_2{)}^2=-1$ 03.09.02.

A rotation by angle $\theta$ is encoded by

$$\cos (\theta /2)+\sin (\theta /2)e_1{e}_2.$$

The half-angle is the important feature. When $\theta =2\pi$, the expression is $-1$, not $1$. When $\theta =4\pi$, it returns to $1$.

So Spin remembers a finer motion than the visible rotation. A full turn in ordinary space is not a closed path upstairs in Spin.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $(V,q)$ be a finite-dimensional real inner-product space, using the Lawson-Michelsohn Clifford convention $v^2=-q(v)$ 01.01.15, 03.09.02. Write $\mathrm{Cl}(V,q)$ for its Clifford algebra and ${\mathrm{Cl}}^0(V,q)$ for the even part.

For a unit vector $u\in V$, the element $u$ is invertible in the Clifford algebra, with $u^{-1}=-u$. Clifford conjugation by products of unit vectors sends $V$ to itself and preserves the quadratic form ^{[Lawson-Michelsohn §I.2.9]}.

The Pin group is the subgroup of invertible Clifford elements generated by unit vectors:

$$\mathrm{Pin}(V)=\{u_1\cdots u_k:q(u_i)=1\}.$$

The Spin group is its even part:

$$\mathrm{Spin}(V)=\mathrm{Pin}(V)\cap {\mathrm{Cl}}^0(V,q).$$

For $V={\mathbb{R}}^n$ with the positive definite form, write $\mathrm{Spin}(n)=\mathrm{Spin}({\mathbb{R}}^n)$. The twisted adjoint action ${\widetilde{\mathrm{Ad}}}_x(v):=\alpha (x)\cdot v\cdot x^{-1}$ [notation crosswalk #6: $\widetilde{\mathrm{Ad}}$ adopted from LM] defines a homomorphism

$$\widetilde{\mathrm{Ad}}:\mathrm{Spin}(n)⟶\mathrm{SO}(n),$$

and for $n\ge 3$ this is the connected double cover of $\mathrm{SO}(n)$ ^{[Atiyah-Bott-Shapiro §3]}. The twist by the parity-grading involution $\alpha$ is necessary: the untwisted conjugation $xv{x}^{-1}$ does not preserve $V\subset \mathrm{Cl}(V,q)$ when $x$ is odd, while $\widetilde{\mathrm{Ad}}$ does. The spin double cover is precisely the same data as the unit-vector products in ${\mathrm{Cl}}^0$; this identifies a topological universal cover with an algebraic subgroup, which is exactly the bridge between rotational and Clifford geometry.

Key theorem with proof [Intermediate+]

Theorem (unit-vector conjugation gives reflection). Let $u\in V$ satisfy $q(u)=1$. Decompose $v\in V$ as $v=au+w$, where $w$ is orthogonal to $u$. Then

$$uv{u}^{-1}=au-w.$$

Thus Clifford conjugation by a unit vector fixes the line spanned by $u$ and negates its orthogonal complement.

Proof. Since $u^2=-1$, $u^{-1}=-u$. The Clifford relation gives $uw=-wu$ when $w$ is orthogonal to $u$. Hence

$$u(au+w)u^{-1}=u(au+w)(-u).$$

The first term is

$$u(au)(-u)=-a{u}^3=au,$$

because $u^3=-u$. The second term is

$$uw(-u)=-(uw)u=-(-wu)u=w{u}^2=-w.$$

Adding the two terms gives $au-w$. This is the reflection across the line $\mathbb{R}u$. The negative of this transformation is the reflection in the hyperplane $u^{\perp }$. Products of an even number of such Clifford unit vectors therefore give orientation-preserving orthogonal transformations. $\square$

Bridge. The construction here builds toward 03.09.04 (spin structure on an oriented riemannian manifold), where the same data is upgraded, and the symmetry side is taken up in 03.09.08 (dirac operator). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: none — Mathlib has Clifford algebras and Lie groups, but not the packaged Clifford-group, Pin, Spin, or double-cover API required for this unit.

The relevant future formalization should define a subgroup of CliffordAlgebra Q generated by vectors of nonzero norm, prove preservation of the embedded vector space under the twisted adjoint action, and specialize the image/kernel theorem to positive definite real forms.

Spin as a double cover [Master]

For a positive definite real $n$-space, the action of $\mathrm{Pin}(n)$ on $V$ by the twisted adjoint representation ${\widetilde{\mathrm{Ad}}}_x(v):=\alpha (x)\cdot v\cdot x^{-1}$ [notation crosswalk #6: adopted from LM] lands in $\mathrm{O}(n)$. The subgroup $\mathrm{Spin}(n)$ lands in $\mathrm{SO}(n)$ because it consists of even products of unit vectors. The Cartan-Dieudonné theorem supplies surjectivity onto $\mathrm{SO}(n)$: every orientation-preserving orthogonal transformation is a product of an even number of reflections ^{[Lawson-Michelsohn Theorem I.2.3]}.

Theorem (Cartan-Dieudonné). Every element $T\in \mathrm{O}(n)$ is a product of at most $n$ reflections in hyperplanes through the origin. In particular, $T\in \mathrm{SO}(n)$ is a product of an even number of such reflections.

Proof. Induction on $n$. The case $n=1$ is immediate: $\mathrm{O}(1)=\{\pm 1\}$, where $-1$ is the unique reflection. For $n\ge 2$ and $T\in \mathrm{O}(n)$, distinguish two cases.

If $T$ has a fixed vector $v\ne 0$, then $T$ preserves the orthogonal hyperplane $v^{\perp }\cong {\mathbb{R}}^{n-1}$, where it acts as an element of $\mathrm{O}(n-1)$. By induction, $T{|}_{v^{\perp }}$ is a product of at most $n-1$ reflections in hyperplanes of $v^{\perp }$; each such reflection extends to a reflection of ${\mathbb{R}}^n$ fixing $v$. So $T$ is a product of at most $n-1\le n$ reflections.

If $T$ has no nonzero fixed vector, choose any unit vector $u\in {\mathbb{R}}^n$. Set $w:=T(u)-u$; since $T(u)\ne u$, $w\ne 0$. The reflection $R_w$ in the hyperplane $w^{\perp }$ satisfies $R_w(u)=u-2\frac{⟨u,w⟩}{⟨w,w⟩}w$. Compute $⟨u,w⟩=⟨u,T(u)-u⟩=⟨u,T(u)⟩-1$ and $⟨w,w⟩=⟨T(u)-u,T(u)-u⟩=2-2⟨u,T(u)⟩=-2(⟨u,T(u)⟩-1)$, so $2\frac{⟨u,w⟩}{⟨w,w⟩}=-1$, giving $R_w(u)=u+w=T(u)$. Hence $R_w\cdot T$ has a fixed vector, namely $u$. Apply the previous case to $R_w\cdot T$: it is a product of at most $n-1$ reflections. So $T=R_w\cdot (R_w\cdot T)$ is a product of at most $n$ reflections. $\square$

The kernel in $\mathrm{Spin}(n)$ is $\{\pm 1\}$ for $n\ge 2$. If an even Clifford product $x=e_{i_1}\cdots e_{i_{2k}}$ acts as the identity on every vector via ${\widetilde{\mathrm{Ad}}}_x$, then $xv{x}^{-1}=v$ for all $v\in V$ (the twist by $\alpha$ is the identity on even elements). So $x$ is central in the algebra generated by $V$, namely $\mathrm{Cl}(V,q)$. The centre of $\mathrm{Cl}(V,q)$ for $V={\mathbb{R}}^n$ positive-definite is $\mathbb{R}$ when $n$ is even, and $\mathbb{R}\oplus \mathbb{R}\cdot \omega$ (with $\omega$ the volume element) when $n$ is odd. In both cases, restricting to ${\mathrm{Cl}}^0$ (where Spin sits) and to the unit-norm condition leaves only $\{\pm 1\}$ ^{[Atiyah-Bott-Shapiro §3]}.

Thus

$$1⟶\{\pm 1\}⟶\mathrm{Spin}(n)\stackrel{\widetilde{\mathrm{Ad}}}{\to }\mathrm{SO}(n)⟶1$$

is exact. For $n\ge 3$, $\mathrm{Spin}(n)$ is connected and simply connected, so $\widetilde{\mathrm{Ad}}$ is the universal covering homomorphism of $\mathrm{SO}(n)$.

The Pin sequence. The same machinery applied to the full Pin group gives a parallel exact sequence ^{[Lawson-Michelsohn Theorem I.2.6]}:

$$1⟶\{\pm 1\}⟶\mathrm{Pin}(n)\stackrel{\widetilde{\mathrm{Ad}}}{\to }\mathrm{O}(n)⟶1.$$

Pin contains both even and odd products of unit vectors, hence projects to all of $\mathrm{O}(n)$ via Cartan-Dieudonné. The kernel computation $\{\pm 1\}$ uses the same centre-of-Clifford-algebra argument, restricted to Pin. The Pin sequence is not unique: there are two non-isomorphic Pin groups, ${\mathrm{Pin}}^{+}(n)$ and ${\mathrm{Pin}}^{-}(n)$, distinguished by whether the squared reflection in a unit vector $v\in V$ with $v^2=+1$ or $v^2=-1$ is the identity or $-1$. Both fit into a $\{\pm 1\}\to {\mathrm{Pin}}^{\pm }(n)\to \mathrm{O}(n)$ extension; only the Spin subgroup is the same in both.

Low-dimensional identifications [Master]

The smallest Spin groups explain much of the notation used later.

$$\mathrm{Spin}(2)\cong \mathrm{U}(1),\mathrm{Spin}(3)\cong \mathrm{SU}(2),\mathrm{Spin}(4)\cong \mathrm{SU}(2)\times \mathrm{SU}(2).$$

The map $\mathrm{SU}(2)\to \mathrm{SO}(3)$ is the quaternionic double cover: unit quaternions act on imaginary quaternions by conjugation. Its kernel is $\{\pm 1\}$, matching the general Clifford construction. In dimension four, the split into two $\mathrm{SU}(2)$ factors reflects the decomposition of two-forms into self-dual and anti-self-dual parts, a feature used in four-dimensional gauge theory 03.07.05.

The convention $v^2=-q(v)$ is Lawson-Michelsohn's. Physics texts often reverse this sign; the resulting real Clifford table exchanges ${\mathrm{Cl}}_{p,q}$ and ${\mathrm{Cl}}_{q,p}$. The abstract double cover remains the same for Euclidean $\mathrm{Spin}(n)$, but Clifford-module formulas must be translated before comparing signs.

Extension to dimensions 5 and 6. The Clifford chessboard (03.09.11) gives explicit identifications for the next two cases ^{[Lawson-Michelsohn Theorem I.7.1]}:

$$\mathrm{Spin}(5)\cong \mathrm{Sp}(2),\mathrm{Spin}(6)\cong \mathrm{SU}(4).$$

For $\mathrm{Spin}(5)\cong \mathrm{Sp}(2)$: by the chessboard ${\mathrm{Cl}}_{0,5}^{\mathbb{C}}\cong M_4(\mathbb{C})$ but with the underlying real form $M_2(\mathbb{H})$ at the chessboard cell $(0,5)$. The even subalgebra ${\mathrm{Cl}}_{0,5}^0\cong {\mathrm{Cl}}_{0,4}\cong M_2(\mathbb{H})$ contains $\mathrm{Spin}(5)$ as the unit-norm-Clifford subgroup of $M_2(\mathbb{H})$; this is precisely $\mathrm{Sp}(2)$, the compact symplectic group of $2\times 2$ quaternionic matrices preserving the standard quaternionic Hermitian form. Dimension check: $\dim \mathrm{Sp}(2)=10=\dim \mathrm{SO}(5)$, and $\mathrm{Sp}(2)$ is connected and simply connected, so the double cover lifts.

For $\mathrm{Spin}(6)\cong \mathrm{SU}(4)$: the even subalgebra ${\mathrm{Cl}}_{0,6}^0\cong {\mathrm{Cl}}_{0,5}\cong M_4(\mathbb{C})$ (chessboard cell $(0,5)$ over $\mathbb{C}$ — which equals $M_4(\mathbb{C})$ at this coordinate). The unit-norm subgroup is the unitary group $\mathrm{U}(4)$; restricting to elements of determinant 1 (forced by the spin constraint) gives $\mathrm{SU}(4)$. Dimension check: $\dim \mathrm{SU}(4)=15=\dim \mathrm{SO}(6)$, and $\mathrm{SU}(4)$ is connected and simply connected.

The full table of low-dimensional identifications:

$n$	$\mathrm{Spin}(n)$	$\dim$	half-spinor structure
2	$\mathrm{U}(1)$	1	one 1-dim complex
3	$\mathrm{SU}(2)$	3	one 2-dim complex (= 1-dim quaternionic)
4	$\mathrm{SU}(2)\times \mathrm{SU}(2)$	6	two 2-dim complex (the $\pm$ split)
5	$\mathrm{Sp}(2)$	10	one 4-dim complex (= 2-dim quaternionic)
6	$\mathrm{SU}(4)$	15	two 4-dim complex (the $\pm$ split)
7	(no classical isomorphism)	21	one 8-dim real
8	(no classical isomorphism)	28	two 8-dim real (triality, see 03.09.13)

After dimension 8, no classical-group isomorphism exists. The triality of $\mathrm{Spin}(8)$ (03.09.13) is the structural reason: dimension 8 is the unique value where vector and half-spinor representations have matching dimension, after which the dimension counts diverge for good.

Spin representations [Master]

The inclusion $\mathrm{Spin}(n)\subset {\mathrm{Cl}}_n^0$ lets the group act on Clifford modules. After complexification, irreducible Clifford modules produce the spin representation. When $n$ is even, the volume element splits the complex spin representation into half-spin representations

$${\Delta }_n={\Delta }_n^{+}\oplus {\Delta }_n^{-}.$$

These representations supply the fibres of spinor bundles 03.09.05. A spin structure 03.09.04 is exactly the topological data that lets the local spin representation patch together over a manifold. The Dirac operator 03.09.08 then differentiates sections of the resulting spinor bundle.

Proposition (LM I.6.3, spinor representation as a Lie-algebra map). The spinor representation ${\Delta }_n:\mathrm{Spin}(n)\to GL({\Delta }_n)$ has differential $d{\Delta }_n:\mathfrak{spin}(n)\to \mathfrak{gl}({\Delta }_n)$ given by Clifford multiplication. Identifying $\mathfrak{spin}(n)$ with the bivector subspace ${\Lambda }^2({\mathbb{R}}^n)\subset {\mathrm{Cl}}_n^0$ via $e_i\wedge e_j\mapsto \frac{1}{2}{e}_i{e}_j$, the differential acts as $d{\Delta }_n(\xi )\cdot \psi =\xi \cdot \psi$ for $\xi \in \mathfrak{spin}(n)$ and $\psi \in {\Delta }_n$, where the dot is Clifford multiplication inside ${\mathrm{Cl}}_n\otimes \mathbb{C}$ on the irreducible module ${\Delta }_n$. The proof tracks one-parameter subgroups: for $\xi =\frac{1}{2}{e}_i{e}_j$, the curve $\exp (t\xi )\in \mathrm{Spin}(n)$ acts on ${\Delta }_n$ by left Clifford multiplication, and differentiating at $t=0$ recovers $\xi$ itself acting by Clifford product. This identifies the Lie-algebra action with the restriction of the Clifford module structure to ${\Lambda }^2({\mathbb{R}}^n)$, a fact that pins down the spinor representation up to the half-spin splitting in even rank. The proposition is the algebraic root of the Lichnerowicz formula [03.09.14, 03.09.16]: the bivector-Clifford identification is what makes the curvature of the spin connection enter the squared Dirac operator as a scalar plus an endomorphism of $\mathfrak{S}$.

Connections [Master]

• Bilinear and quadratic forms 01.01.15 — the quadratic form gives the unit-vector relation inside the Clifford algebra.

• Clifford algebra 03.09.02 — Spin is an even subgroup of the invertible Clifford elements.

• Principal bundle 03.05.01 — spin structures are principal $\mathrm{Spin}(n)$-bundles mapping to frame bundles.

• Spin structure 03.09.04 — the double cover $\mathrm{Spin}(n)\to \mathrm{SO}(n)$ is the structural map used in the definition.

• Dirac operator 03.09.08 — spinor bundles and spin connections derive from Spin representations.

We will see in 03.09.11 the chessboard classification of ${\mathrm{Cl}}_{p,q}$ that pins down the spin representations dimension by dimension; this builds toward the triality phenomenon in 03.09.13 and appears again in the parallel-spinor / Berger-holonomy bijection of 03.09.18. The pattern recurs at every dimension where an exceptional spinorial accident produces an exceptional Lie group. The foundational insight is that $\mathrm{Spin}(n)$ is exactly the unit-norm products of vectors in ${\mathrm{Cl}}^0$ — this identifies the topological double cover with an algebraic subgroup. Putting this together with the Clifford action gives the bridge between abstract algebra and rotational geometry; the spin group is an instance of the universal Pin/Spin construction.

Historical & philosophical context [Master]

The spin double cover entered mathematics through the Clifford-algebraic treatment of orthogonal transformations and through the representation theory surrounding the Dirac equation. Atiyah, Bott, and Shapiro used Clifford modules to organize real $K$-theory and Bott periodicity, making Spin groups part of the bridge between quadratic forms, topology, and elliptic operators ^{[Atiyah-Bott-Shapiro §3]}.

Lawson and Michelsohn's treatment fixes the convention $v^2=-q(v)$ and develops Pin and Spin groups before spin structures and Dirac operators ^{[fast-track Lawson-Michelsohn-Spin-Geometry-683x1024__51a67ee44f.jpg]}. This order is the one used in the spin-geometry strand of this curriculum.

Bibliography [Master]

• Lawson, H. B. and Michelsohn, M.-L., Spin Geometry, Princeton University Press, 1989. §I.2.
• Atiyah, M. F., Bott, R., and Shapiro, A., "Clifford Modules", Topology 3 (1964), supplement 1, 3-38.
• Chevalley, C., The Algebraic Theory of Spinors, Columbia University Press, 1954.
• Porteous, I. R., Clifford Algebras and the Classical Groups, Cambridge University Press, 1995.

---

Wave 2 Phase 2.2 unit #2. Produced as the Spin-group prerequisite for spin structures and Dirac-type constructions.