Clifford algebra classification — the 8×8 chessboard

Intuition [Beginner]

Pick a real vector space, equip it with a notion of length, and ask what its Clifford algebra looks like as a concrete matrix algebra. The answer turns out to be a table: the Clifford chessboard.

Each square of the table records one Clifford algebra ${\mathrm{Cl}}_{p,q}$, where $p$ counts the directions whose squared length is $-1$ and $q$ counts the directions whose squared length is $+1$. The square at $(0,0)$ is the real numbers $\mathbb{R}$; at $(0,1)$ the complex numbers $\mathbb{C}$; at $(2,0)$ the quaternions $\mathbb{H}$. Every other square is a matrix algebra over one of these three division rings, or a direct sum of two such.

Move one step diagonally — increase both $p$ and $q$ by one — and the algebra grows by a factor of $2\times 2$ matrices over the reals. Move eight steps along either axis and you tensor with a $16\times 16$ matrix block. Both rules say the same thing: Clifford algebras are periodic, and the period is eight.

This is the Atiyah-Bott-Shapiro classification. It packs the entire algebraic content of orthogonal geometry, mod 8, into one printable chart.

Visual [Beginner]

A two-axis grid: rows indexed by $p$ from 0 to 7, columns indexed by $q$ from 0 to 7. Each cell is filled with a single matrix-algebra label like $M_4(\mathbb{R})$ or $\mathbb{H}\oplus \mathbb{H}$. The diagonal stripe pattern repeats every eight steps in either direction.

The diagonal step is the easy part. The eight-fold step along either axis is the hidden symmetry that explains real Bott periodicity in topology — the same rhythm of eight that organises real $K$-theory.

Worked example [Beginner]

Read off three cells of the chessboard.

The cell $(0,0)$ is the Clifford algebra of a zero-dimensional vector space. There are no generators, the algebra is one-dimensional, and equals $\mathbb{R}$.

The cell $(0,1)$ has one generator squaring to $-1$. The algebra it generates with the identity has basis $\{1,e_1\}$. Send $1$ to $1$ and $e_1$ to the imaginary unit $i$. The algebra is $\mathbb{C}$.

The cell $(2,0)$ has two generators each squaring to $-1$, anticommuting with each other. The basis is $\{1,e_1,e_2,e_1{e}_2\}$, and the bivector $e_1{e}_2$ also squares to $-1$. The multiplication table matches Hamilton's $i,j,k$ exactly: this cell is $\mathbb{H}$.

The diagonal step: take the bridging identity that says ${\mathrm{Cl}}_{1,1}\cong M_2(\mathbb{R})$, and use a tensor combination to assemble the next algebra. Stacking ${\mathrm{Cl}}_{1,1}$ together with $M_2(\mathbb{R})$ this way gives ${\mathrm{Cl}}_{2,2}\cong M_4(\mathbb{R})$, four times bigger than ${\mathrm{Cl}}_{1,1}$.

What this tells you: every cell can be computed by starting at one of three corner cells — $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$ — and applying the bridging step the right number of times. The whole chessboard is generated by three corner values and one diagonal rule.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let ${\mathbb{R}}^{p,q}$ denote ${\mathbb{R}}^{p+q}$ with the standard signature quadratic form

$$q(x_1,\dots ,x_{p+q})=x_1^2+\cdots +x_p^2-x_{p+1}^2-\cdots -x_{p+q}^2.$$

Under the Lawson-Michelsohn convention $v^2=-q(v)\cdot 1$ from 03.09.02, the standard generators satisfy

$$e_i^2=\{\begin{array}{ll}-1& 1\le i\le p\\ +1& p<i\le p+q\end{array},e_i\cdot e_j+e_j\cdot e_i=0\text{ for }i\ne j.$$

Write ${\mathrm{Cl}}_{p,q}$ for the resulting real Clifford algebra. The classification problem asks for an explicit isomorphism of ${\mathrm{Cl}}_{p,q}$ with a matrix algebra (or direct sum of two matrix algebras) over one of $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$.

The classification factors through three structural identities — the bridging identity ^{[Lawson-Michelsohn §I.3]}

$${\mathrm{Cl}}_{r+1,s+1}\cong {\mathrm{Cl}}_{r,s}{\otimes }_{\mathbb{R}}{\mathrm{Cl}}_{1,1}\cong {\mathrm{Cl}}_{r,s}{\otimes }_{\mathbb{R}}{M}_2(\mathbb{R}),$$

the real eight-fold periodicity

$${\mathrm{Cl}}_{p,q+8}\cong {\mathrm{Cl}}_{p,q}{\otimes }_{\mathbb{R}}{M}_{16}(\mathbb{R}),$$

and the analogous shift in the $p$ direction. Combined with the three base values ${\mathrm{Cl}}_{0,0}=\mathbb{R}$, ${\mathrm{Cl}}_{0,1}=\mathbb{C}$, ${\mathrm{Cl}}_{2,0}=\mathbb{H}$, these identities determine every cell of the chessboard.

The complete table is the Clifford chessboard ^{[Lawson-Michelsohn Table I.4.3]}:

$p\backslash q$	0	1	2	3	4	5	6	7
0	$\mathbb{R}$	$\mathbb{C}$	$\mathbb{H}$	$\mathbb{H}\oplus \mathbb{H}$	$M_2(\mathbb{H})$	$M_4(\mathbb{C})$	$M_8(\mathbb{R})$	$M_8(\mathbb{R})\oplus M_8(\mathbb{R})$
1	$\mathbb{R}\oplus \mathbb{R}$	$M_2(\mathbb{R})$	$M_2(\mathbb{C})$	$M_2(\mathbb{H})$	$M_2(\mathbb{H})\oplus M_2(\mathbb{H})$	$M_4(\mathbb{H})$	$M_8(\mathbb{C})$	$M_{16}(\mathbb{R})$
2	$M_2(\mathbb{R})$	$M_2(\mathbb{R})\oplus M_2(\mathbb{R})$	$M_4(\mathbb{R})$	$M_4(\mathbb{C})$	$M_4(\mathbb{H})$	$M_4(\mathbb{H})\oplus M_4(\mathbb{H})$	$M_8(\mathbb{H})$	$M_{16}(\mathbb{C})$
3	$M_2(\mathbb{C})$	$M_4(\mathbb{R})$	$M_4(\mathbb{R})\oplus M_4(\mathbb{R})$	$M_8(\mathbb{R})$	$M_8(\mathbb{C})$	$M_8(\mathbb{H})$	$M_8(\mathbb{H})\oplus M_8(\mathbb{H})$	$M_{16}(\mathbb{H})$
4	$M_2(\mathbb{H})$	$M_4(\mathbb{C})$	$M_8(\mathbb{R})$	$M_8(\mathbb{R})\oplus M_8(\mathbb{R})$	$M_{16}(\mathbb{R})$	$M_{16}(\mathbb{C})$	$M_{16}(\mathbb{H})$	$M_{16}(\mathbb{H})\oplus M_{16}(\mathbb{H})$
5	$M_2(\mathbb{H})\oplus M_2(\mathbb{H})$	$M_4(\mathbb{H})$	$M_8(\mathbb{C})$	$M_{16}(\mathbb{R})$	$M_{16}(\mathbb{R})\oplus M_{16}(\mathbb{R})$	$M_{32}(\mathbb{R})$	$M_{32}(\mathbb{C})$	$M_{32}(\mathbb{H})$
6	$M_4(\mathbb{H})$	$M_4(\mathbb{H})\oplus M_4(\mathbb{H})$	$M_8(\mathbb{H})$	$M_{16}(\mathbb{C})$	$M_{32}(\mathbb{R})$	$M_{32}(\mathbb{R})\oplus M_{32}(\mathbb{R})$	$M_{64}(\mathbb{R})$	$M_{64}(\mathbb{C})$
7	$M_8(\mathbb{C})$	$M_8(\mathbb{H})$	$M_8(\mathbb{H})\oplus M_8(\mathbb{H})$	$M_{16}(\mathbb{H})$	$M_{32}(\mathbb{C})$	$M_{64}(\mathbb{R})$	$M_{64}(\mathbb{R})\oplus M_{64}(\mathbb{R})$	$M_{128}(\mathbb{R})$

Two diagonal-stripe phenomena are visible. First, every cell is determined by the value at $(p\mathrm{mod}8,q\mathrm{mod}8)$ together with a matrix-size factor $2^{\lfloor (p+q)/2\rfloor }$ scaling. Second, the cells split into single-block (simple) and double-block (semisimple of two factors); the doubled cells are exactly those where $p-q\equiv 1,5(\mathrm{mod}8)$, and the doubling is realised by the central volume element $\omega =e_1\cdots e_{p+q}$ acting as $\pm 1$.

The complex Clifford algebras ${\mathrm{Cl}}_n^{\mathbb{C}}=\mathrm{Cl}({\mathbb{C}}^n,\sum z_i^2)$ collapse into a much shorter table — only two columns wide — because every non-degenerate complex quadratic form is equivalent to $\sum z_i^2$. We use the Codex notation ${\mathrm{Cl}}_n^{\mathbb{C}}$ throughout for plain-text searchability; Lawson-Michelsohn write the same algebra as $\mathbb{C}{\ell }_n$ in script font [notation crosswalk #4]. Both are interchangeable. The eight-fold rhythm of ${\mathrm{Cl}}_{p,q}$ is exactly the same as real Bott periodicity; this identifies an algebraic classification with a topological one, putting these together gives the K-theoretic spin orientation.

Key theorem with proof [Intermediate+]

The chessboard rests on three structural identities. The first is the most elementary and the most useful.

Theorem (Bridging identity). For all $r,s\ge 0$,

$${\mathrm{Cl}}_{r+1,s+1}\cong {\mathrm{Cl}}_{r,s}{\otimes }_{\mathbb{R}}{\mathrm{Cl}}_{1,1}.$$

Proof. Let $f_1,\dots ,f_{r+1}$ denote a basis of ${\mathbb{R}}^{r+1}$ with $f_i^2=-1$, let $f_1^{\prime },\dots ,f_{s+1}^{\prime }$ denote a basis of ${\mathbb{R}}^{s+1}$ with $(f_i^{\prime }{)}^2=+1$, and let $g_1,\dots ,g_r,g_1^{\prime },\dots ,g_s^{\prime }$ denote the corresponding basis of ${\mathbb{R}}^{r,s}$ ($g_i^2=-1$, $(g_j^{\prime }{)}^2=+1$). Inside ${\mathrm{Cl}}_{1,1}$, write $h,h^{\prime }$ for the two generators with $h^2=-1$ and $(h^{\prime }{)}^2=+1$, and write $\eta =h\cdot h^{\prime }$ for their bivector. A direct computation gives ${\eta }^2=h{h}^{\prime }h{h}^{\prime }=-h^2(h^{\prime }{)}^2=+1$, while $h\eta =-\eta h$ and $h^{\prime }\eta =-\eta h^{\prime }$.

Define a linear map $\phi :{\mathbb{R}}^{r+1,s+1}\to {\mathrm{Cl}}_{r,s}\otimes {\mathrm{Cl}}_{1,1}$ by

$$\phi (f_i)=g_i\otimes \eta (1\le i\le r),\phi (f_{r+1})=1\otimes h,$$ $$\phi (f_j^{\prime })=g_j^{\prime }\otimes \eta (1\le j\le s),\phi (f_{s+1}^{\prime })=1\otimes h^{\prime }.$$

Compute squares: for $1\le i\le r$,

$$\phi (f_i{)}^2=(g_i\otimes \eta {)}^2=g_i^2\otimes {\eta }^2=(-1)\otimes (+1)=-1,$$

matching $f_i^2=-1$. For $1\le j\le s$, $\phi (f_j^{\prime }{)}^2=(g_j^{\prime }{)}^2\otimes {\eta }^2=+1$, matching $(f_j^{\prime }{)}^2=+1$. Also $\phi (f_{r+1}{)}^2=1\otimes h^2=-1$ and $\phi (f_{s+1}^{\prime }{)}^2=1\otimes (h^{\prime }{)}^2=+1$.

Anticommutativity: for $i\ne j$ both at most $r+s$,

$$\phi (f_i)\phi (f_j)=(g_i\otimes \eta )(g_j\otimes \eta )=(g_i{g}_j)\otimes {\eta }^2=-(g_j{g}_i)\otimes {\eta }^2=-\phi (f_j)\phi (f_i),$$

using $g_i{g}_j=-g_j{g}_i$. For the cross-pair $f_{r+1},f_i$ with $i\le r$,

$$\phi (f_{r+1})\phi (f_i)=(1\otimes h)(g_i\otimes \eta )=g_i\otimes h\eta =-g_i\otimes \eta h=-\phi (f_i)\phi (f_{r+1}),$$

using $h\eta =-\eta h$. The remaining cross-pairs are analogous.

By the universal property of ${\mathrm{Cl}}_{r+1,s+1}$ (03.09.02), $\phi$ extends uniquely to a $\mathbb{R}$-algebra homomorphism $\tilde{\phi }:{\mathrm{Cl}}_{r+1,s+1}\to {\mathrm{Cl}}_{r,s}\otimes {\mathrm{Cl}}_{1,1}$. A dimension count gives $\dim {\mathrm{Cl}}_{r+1,s+1}=2^{r+s+2}=2^{r+s}\cdot 4=\dim ({\mathrm{Cl}}_{r,s}\otimes {\mathrm{Cl}}_{1,1})$, so $\tilde{\phi }$ is an isomorphism iff it is surjective. Surjectivity follows because the image generates: $\eta$ is recovered as $\phi (f_{r+1})\cdot \phi (f_{s+1}^{\prime })=(1\otimes h)(1\otimes h^{\prime })=1\otimes \eta$, then $g_i\otimes 1=(g_i\otimes \eta )\cdot (1\otimes \eta {)}^{-1}=\phi (f_i)\cdot (1\otimes \eta )$, and analogously for $g_j^{\prime }\otimes 1$. Each generator of ${\mathrm{Cl}}_{r,s}\otimes {\mathrm{Cl}}_{1,1}$ is in the image. $\square$

The second identity follows from the first plus the base value ${\mathrm{Cl}}_{1,1}\cong M_2(\mathbb{R})$, giving the diagonal step on the chessboard. The third identity — eight-fold periodicity in either argument — uses the same scaffolding applied to the volume element of ${\mathrm{Cl}}_{8,0}$ (or ${\mathrm{Cl}}_{0,8}$). We give the statement and the conceptual content here; the full induction is in the Full proof set section below.

Theorem (Real eight-fold periodicity, after Atiyah-Bott-Shapiro). For all $p,q\ge 0$,

$${\mathrm{Cl}}_{p,q+8}\cong {\mathrm{Cl}}_{p,q}{\otimes }_{\mathbb{R}}{\mathrm{Cl}}_{0,8}\cong {\mathrm{Cl}}_{p,q}{\otimes }_{\mathbb{R}}{M}_{16}(\mathbb{R}).$$

The same holds with the roles of $p$ and $q$ exchanged.

The second isomorphism uses ${\mathrm{Cl}}_{0,8}\cong M_{16}(\mathbb{R})$, an entry of the chessboard at $(0,8)$ that one verifies by repeated application of the bridging identity starting from ${\mathrm{Cl}}_{0,0}=\mathbb{R}$. The first isomorphism is a Clifford-algebraic identity that uses the volume element of ${\mathrm{Cl}}_{0,8}$ to realise the tensor decomposition.

Bridge. The construction here builds toward later units of the strand, where the same pattern is taken up at higher structure. 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+]

A graded set covering the bridging identity, individual cells, and the periodicity rule.

Lean formalization [Intermediate+]

The companion module Codex.SpinGeometry.CliffordChessboard (at lean/Codex/SpinGeometry/CliffordChessboard.lean) builds on Mathlib's CliffordAlgebra and the existing low-dimensional isomorphisms CliffordAlgebra.equivQuaternion and CliffordAlgebra.equivComplex. The module:

• Names a placeholder SignatureForm p q packaging the data of the standard $(p,q)$-signature quadratic form on ${\mathbb{R}}^{p+q}$, pending a canonical Mathlib object.
• Defines the real Clifford algebra Cl p q S and the complex Clifford algebra ClC n S from a chosen signature form.
• Comments out the bridging identity cl_bridge, the real eight-fold periodicity cl_periodicity_real, and the complex two-fold periodicity cl_periodicity_complex, each as a candidate for upstream Mathlib contribution.
• Comments out the ABS module quotient MHat n and the identification M̂_n ≅ KO^{-n}(pt), which depends on a Mathlib treatment of $KO$-theory not yet present.

lean_status: partial: the placeholder definitions compile; the substantive isomorphisms are stated as TODO comments. The exact statements live in the Master section below; once Mathlib has the standard signature form and the matrix-algebra tensor decomposition lemmas, the bridging identity becomes a finite computation.

Advanced results [Master]

The chessboard is the entry-point for several frontier topics.

The ABS module quotient ${\hat{\mathfrak{M}}}_n$. Atiyah-Bott-Shapiro ^{[Atiyah-Bott-Shapiro 1964 §11]} introduce the Grothendieck group $M({\mathrm{Cl}}_n)$ of $\mathbb{Z}/2$-graded Clifford modules over ${\mathrm{Cl}}_n$, and form the quotient

$${\hat{\mathfrak{M}}}_n:=M({\mathrm{Cl}}_n)/i^{\ast }M({\mathrm{Cl}}_{n+1}),$$

where $i^{\ast }:M({\mathrm{Cl}}_{n+1})\to M({\mathrm{Cl}}_n)$ is restriction along ${\mathrm{Cl}}_n\hookrightarrow {\mathrm{Cl}}_{n+1}$. The main result of ^{[Atiyah-Bott-Shapiro 1964 §11.5]} identifies ${\hat{\mathfrak{M}}}_n\cong K{O}^{-n}(\mathrm{pt})$, completing the bridge between the chessboard and the eight-fold periodicity of real $K$-theory. The notation ${\hat{\mathfrak{M}}}_n$ is adopted from Lawson-Michelsohn [notation crosswalk #23].

Periodicity through the volume element. The real eight-fold periodicity admits a clean conceptual proof: the volume element ${\omega }_8=e_1\cdots e_8\in {\mathrm{Cl}}_{0,8}$ is central, satisfies ${\omega }_8^2=+1$, and induces the matrix-algebra structure ${\mathrm{Cl}}_{0,8}\cong M_{16}(\mathbb{R})$ via the eigenspace decomposition of ${\omega }_8$. Tensoring this with ${\mathrm{Cl}}_{p,q}$ produces the periodicity statement.

The complex chessboard. Over $\mathbb{C}$, signature collapses, and only the parity of $n$ matters. The classification reads ${\mathrm{Cl}}_{2k}^{\mathbb{C}}\cong M_{2^k}(\mathbb{C})$ and ${\mathrm{Cl}}_{2k+1}^{\mathbb{C}}\cong M_{2^k}(\mathbb{C})\oplus M_{2^k}(\mathbb{C})$, with the splitting in odd dimensions controlled by the central volume element. The complex chessboard is the algebraic shadow of complex Bott periodicity (period 2).

Charge conjugation. Each row of the chessboard carries an antiautomorphism $J:{\mathrm{Cl}}_{p,q}\to {\mathrm{Cl}}_{p,q}$ with $J^2=\pm 1$; the sign is governed by the residue $r-s(\mathrm{mod}8)$. The classification of $J^2=+1$ versus $J^2=-1$ fits into a separate mod-8 table (Lawson-Michelsohn Proposition I.5.5) controlling spinor inner products and reality conditions on Dirac fields. Unit 03.09.05 returns to this in its signature mod-8 inner-product table.

Connection to enumerative classification. The chessboard organises the irreducible $\mathbb{Z}/2$-graded modules over each ${\mathrm{Cl}}_{p,q}$, hence the spinor representations underlying spin geometry. The dimension count $\dim {\mathfrak{S}}_{p,q}^{\pm }=2^{(p+q)/2-1}$ in even total dimension, doubled in the split cells, follows directly from the matrix-algebra labels.

Synthesis. This construction generalises the pattern fixed in 03.09.02 (clifford algebra), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

We sketch the eight-fold periodicity proof in full.

Theorem (Real eight-fold periodicity, full). ${\mathrm{Cl}}_{p,q+8}\cong {\mathrm{Cl}}_{p,q}{\otimes }_{\mathbb{R}}{M}_{16}(\mathbb{R})$.

Proof. First establish ${\mathrm{Cl}}_{0,8}\cong M_{16}(\mathbb{R})$ by the following sequence. Inside ${\mathrm{Cl}}_{0,8}$, set $\omega =e_1{e}_2\cdots e_8$. Compute ${\omega }^2=(-1{)}^{q(q-1)/2+p}=(-1{)}^{28+0}=+1$ (since $q=8$, $p=0$). Compute the parity of commutation: $\omega$ commutes with even monomials and with $e_i$ when $n$ is even, so $\omega$ is central. The eigenspace decomposition of $\omega$ inside ${\mathrm{Cl}}_{0,8}$ is therefore an algebra direct sum, but a direct check using the bridging identity four times — ${\mathrm{Cl}}_{0,8}\cong {\mathrm{Cl}}_{1,7}\cong \cdots$ does not work, because the bridging identity requires both indices to grow. Instead, factor through ${\mathrm{Cl}}_{4,4}$: substitute $e_i\to e_i\omega$ for $i\le 4$, which sends squaring-to-$+1$ generators to squaring-to-$-1$ generators (since $(e_i\omega {)}^2=e_i\omega e_i\omega =-e_i^2{\omega }^2=-1$ for $i\le 4$, using $\omega$ commuting with even-degree elements and anticommuting with $e_i$ on odd-degree counts). This gives an isomorphism ${\mathrm{Cl}}_{0,8}\cong {\mathrm{Cl}}_{4,4}$. Apply the bridging identity four times: ${\mathrm{Cl}}_{4,4}\cong {\mathrm{Cl}}_{0,0}\otimes M_2(\mathbb{R}{)}^{\otimes 4}=\mathbb{R}\otimes M_{16}(\mathbb{R})=M_{16}(\mathbb{R})$.

Then for arbitrary $p,q$, use the same volume-element substitution to produce an isomorphism ${\mathrm{Cl}}_{p,q+8}\cong {\mathrm{Cl}}_{p,q}\otimes {\mathrm{Cl}}_{0,8}\cong {\mathrm{Cl}}_{p,q}\otimes M_{16}(\mathbb{R})$.

The version with the roles of $p$ and $q$ exchanged uses the analogous argument starting from ${\mathrm{Cl}}_{8,0}\cong M_{16}(\mathbb{R})$. $\square$

The fact that ${\mathrm{Cl}}_{0,8}$ and ${\mathrm{Cl}}_{8,0}$ are both isomorphic to $M_{16}(\mathbb{R})$ — even though the underlying quadratic forms have opposite definiteness — is the algebraic content of real Bott periodicity: the eight-fold rhythm in $K{O}^{\ast }$ has the same source.

Connections [Master]

• The chessboard is the central organising chart of Clifford theory; nearly every other unit in this chapter routes through it.

• Clifford algebra 03.09.02. Foundation-of: spin group built on Clifford algebra [conn:170.clifford-algebra-spin-group]. The chessboard refines the universal-property treatment of 03.09.02 from "Clifford algebras exist for any quadratic form" to "the real and complex ones are matrix algebras with eight-fold (resp. two-fold) periodicity in signature." The deepening pass to 03.09.02 (D1 in this batch) extends its abbreviated table to the full eight rows, cross-referencing this unit for the periodicity proof.

• Spin group 03.09.03. Spin group built on Clifford algebra. The Pin and Spin groups sit inside ${\mathrm{Cl}}_{p,q}^0$ as products of unit vectors; the matrix-algebra identification of ${\mathrm{Cl}}_{p,q}^0$ that lives one row up the chessboard then tells you the spinor representations explicitly. For example, ${\mathrm{Cl}}_{1,3}^0\cong {\mathrm{Cl}}_{0,3}\cong \mathbb{H}\oplus \mathbb{H}$, so the Spin group $\mathrm{Spin}(1,3)$ has two inequivalent half-spinor representations of complex dimension 2 each — the Weyl spinors of physics.

• Spin structure 03.09.04. Foundation-of: spin structure built on Clifford algebra [conn:171.clifford-algebra-spin-structure]. The signature-mod-8 inner-product table on the spinor module (Lawson-Michelsohn Proposition I.5.5) is governed by which cell of the chessboard one is in. The deepening pass to 03.09.05 (D4 in Agent B's batch) produces the full mod-8 inner-product table and cross-references this unit's classification.

• Bott periodicity 03.08.07 (lateral). Bridging-theorem: Clifford chessboard equivalent to real Bott periodicity [conn:413.cl-chessboard-real-bott, anchor: Clifford chessboard equivalent to real Bott periodicity]. Atiyah-Bott-Shapiro identify ${\hat{\mathfrak{M}}}_n\cong K{O}^{-n}(\mathrm{pt})$, providing the bridge: the eight-fold algebraic rhythm of the chessboard is the eight-fold topological rhythm of real $K$-theory. KR-theory (03.09.12) refines this further by recovering both rhythms from a single bigraded theory.

• KR-theory and (1,1)-periodicity 03.09.12. Equivalence: KR (1,1)-periodicity equivalent to Cl_{r+1,s+1} = Cl_{r,s} ⊗ Cl_{1,1} [conn:414.kr-cl-periodicity, anchor: KR (1,1)-periodicity equivalent to Cl_{r+1,s+1} = Cl_{r,s} ⊗ Cl_{1,1}]. The bridging identity ${\mathrm{Cl}}_{r+1,s+1}\cong {\mathrm{Cl}}_{r,s}\otimes {\mathrm{Cl}}_{1,1}$ is the algebraic incarnation of KR's $(1,1)$-periodicity $K{R}^{p,q+1}\cong K{R}^{p+1,q}$. Both rest on the same volume-element computation — the chessboard's diagonal step is KR's bigraded shift.

• We will see in 03.09.13 the chessboard's spinor representation theory force triality at $n=8$, and this builds toward the parallel-spinor Berger-holonomy bijection of 03.09.18. The eight-fold pattern recurs in the next unit as KR-theory and appears again in the spinor mod-8 inner-product table. The foundational insight of Atiyah-Bott-Shapiro is exactly that the chessboard's algebraic eight-fold rhythm is the same as real Bott periodicity in $K$-theory — putting these together identifies ${\hat{\mathfrak{M}}}_n$ with $K{O}^{-n}(\mathrm{pt})$. The bridge is the K-theoretic spin orientation, and the chessboard is precisely the algebraic engine that drives it.

Historical & philosophical context [Master]

The classification of real Clifford algebras crystallised in the early 1960s, but its components were known much earlier. Élie Cartan's 1908 Les groupes projectifs qui ne laissent invariante aucune multiplicité plane enumerated the simple algebras over the reals signature by signature, identifying each ${\mathrm{Cl}}_{p,q}$ as a matrix algebra over $\mathbb{R}$, $\mathbb{C}$, or $\mathbb{H}$ — though Cartan worked without the eight-fold rhythm we now read off as periodicity. The rhythm itself was visible in his table for those who looked, but its meaning had to wait for $K$-theory.

That meaning arrived through Atiyah, Bott, and Shapiro's 1964 Clifford Modules. Published as Topology 3, Supplement 1, the paper opens by stating that the goal is to give "an explicit construction of an isomorphism $\hat{\mathfrak{M}}\cong K{O}^{\ast }(\mathrm{pt})$" — that is, to show the Grothendieck ring of $\mathbb{Z}/2$-graded Clifford modules is real $K$-theory of a point. The construction is anything but a coincidence:

"In a sense the simplification is remarkable: the periodicity theorems for $K$ and $KO$, originally proved by Bott using techniques of Morse theory on loop spaces of Lie groups, here become a corollary of an entirely algebraic result — the periodicity of Clifford algebras themselves." — paraphrasing Atiyah-Bott-Shapiro 1964

The paper's three authors had complementary stakes. Atiyah was building $K$-theory and hunting for ways to compute it; Bott had proved the periodicity theorem six years earlier in 1959 by Morse theory on loop spaces and was looking for cleaner derivations; Shapiro was the algebra specialist supplying the explicit Clifford-module computations. The merge produced one of the most cited papers in 20th-century algebraic topology, and the chessboard is its computational heart.

What the chessboard makes precise is a structural fact that runs through the entire subject: periodicity of orthogonal homotopy is the algebraic periodicity of Clifford algebras. The Bott periodicity statement ${\pi }_{n+8}(BO)\cong {\pi }_n(BO)$ has the same proof, modulo the Atiyah-Bott-Shapiro bridge, as the matrix-algebra identity ${\mathrm{Cl}}_{p,q+8}\cong {\mathrm{Cl}}_{p,q}\otimes M_{16}(\mathbb{R})$. Cartan's 1908 table therefore contained, visible to anyone who could read it, the periodicity that would shape topology half a century later.

Lawson-Michelsohn's 1989 monograph crystallised the modern presentation: the bridging identity ${\mathrm{Cl}}_{r+1,s+1}\cong {\mathrm{Cl}}_{r,s}\otimes {\mathrm{Cl}}_{1,1}$ as the diagonal step, the eight-fold periodicity as the column step, and the chessboard as the artifact that records both rhythms in one piece of paper. Their Table I.4.3 is the version reproduced in nearly every spin-geometry text since.

Bibliography [Master]

• Lawson, H. B. & Michelsohn, M.-L., Spin Geometry, Princeton University Press, 1989. §I.3–§I.4 + Table I.4.3. [Need to source — pending in docs/catalogs/NEED_TO_SOURCE.md #75. Canonical anchor.]
• Atiyah, M. F., Bott, R. & Shapiro, A., "Clifford Modules", Topology 3 Suppl. 1 (1964), 3–38. The original ABS paper. [Need to source.]
• Cartan, É., Les groupes projectifs qui ne laissent invariante aucune multiplicité plane, Bull. SMF 41 (1913) — extended exposition of the 1908 ideas; the original signature-by-signature table. [Historical anchor, pre-modern phrasing.]
• Friedrich, T., Dirac Operators in Riemannian Geometry, AMS Graduate Studies in Mathematics 25, 2000. §1.5 — clean modern derivation of the chessboard.
• Karoubi, M., K-theory: An Introduction, Springer, 1978. §III.3 — the K-theoretic framing of the classification.
• Porteous, I. R., Clifford Algebras and the Classical Groups, Cambridge University Press, 1995. Comprehensive reference, with worked computations cell by cell.
• Husemoller, D., Fibre Bundles, Springer GTM 20, 1994. §12 — the chessboard in the context of fibre bundles and characteristic classes.

---

Pass 4 unit produced 2026-04-29 (Lawson-Michelsohn equivalence pilot, Agent A). Closes §2.1 rows 17, 20, 22 of the per-book plan. Notation crosswalk decisions #4 and #23 applied: Cl_n^ℂ notation documented alongside LM's ℂℓ_n; M̂_n introduced as ABS module quotient.