# May 17, 1996 {#week82} I will continue to take a break from the tale of $n$-categories. As the academic year winds to an end, an enormous pile of articles and books is building up on my desk. I can kill two birds with one stone if I list some of them while filing them. Here is a sampling: 1) _Advances in Applied Clifford Algebras_, ed. Jaime Keller. (Subscriptions are available from Mrs. Irma Aragon, F. Q., UNAM, Apartado 70-528, 04510 Mexico, D.F., MEXICO, for US \$10 per year.) This is a homegrown journal for fans of Clifford algebras. What are Clifford algebras? Well, let's start at the beginning, with the quaternions.... As J. Lambek has pointed out, not many mathematicians can claim to have introduced a new kind of number. One of them was the Sir William Rowan Hamilton. He knew about the real numbers $\mathbb{R}$, of course, and also the complex numbers $\mathbb{C}$, which are the reals with a square root of $-1$, usually called $i$, thrown in. Why not try putting in another square root of $-1$? This might give a $3$-dimensional algebra that'd help with $3$-dimensional space as much as the complex numbers help with 2 dimensions. He tried this but couldn't get division to work out well. He struggled this for a long time. On the 16th of October, 1843, he was walking along the Royal Canal with his wife to a meeting of the Royal Irish Academy when he had a good idea: "...there dawned on me the notion that we must admit, in some sense, a fourth dimension of space for the purpose of calculating with triples ... An electric circuit seemed to close, and a spark flashed forth." He carved the decisive relations $$i^2 = j^2 = k^2 = ijk = -1$$ in the stone of Brougham Bridge as he passed it. This was bold: a *noncommutative* algebra, since $ij = -ji$, $jk = -kj$, and $ik = -ki$ follow from the above equations. These are the quaternions, which now we call $\mathbb{H}$ after Hamilton. Hamilton wound up spending much of his time on quaternions. The lawyer and mathematician Arthur Cayley heard Hamilton lecture on quaternions and --- I imagine --- was influenced by this to invent his "octonions", an 8-dimensional nonassociative algebra in which division still works nicely. For more on quaternions, octonions, and the general subject of division algebras, try ["Week 59"](#week59) and ["Week 61"](#week61). In 1845, two years after the birth of the quaternions, the visionary William Clifford was born in Exeter, England. He only lived to the age of 37: despite suffering from lung disease, he worked with incredible intensity, and his closest friend wrote that "He could not be induced, or only with the utmost difficulty, to pay even moderate attention to the cautions and observances which are commonly and aptly described as 'taking care of one's self'". But in his short life, he pushed quite far into the mathematics that would become the physics of the 20th century. He studied the geometry of Riemann and prophetically envisioned general relativity in 1876, in the following famous remarks: > "Riemann has shown that as there are different kinds of lines and > surfaces, so there are different kinds of space of three dimensions; > and that we can only find out by experience to which of these kinds > the space in which we live belongs. I hold in fact > > (1) That small portions of space *are* in fact of a nature analogous > to little hills on a surface which is on the average flat; namely, > that the ordinary laws of geometry are not valid for them. > > (2) That this property of being curved or distorted is continually > being passed on from one portion of space to another after the manner > of a wave. > > (3) That this variation of the curvature of space is what really > happens in that phenomenon which we call the *motion of matter*, > whether ponderable or etherial. > > (4) That in the physical world nothing else takes place but this > variation, subject (possibly) to the law of continuity. He also substantially generalized Hamilton's quaternions, dropping the condition that one have a division algebra, and focusing on the aspects crucial to n-dimensional geometry. He obtained what we call the Clifford algebras. What's a Clifford algebra? Well, there are various flavors. But one of the nicest --- let's call it $\mathrm{C}_n$ --- is just the associative algebra over the real numbers generated by $n$ anticommuting square roots of $-1$. That is, we start with $n$ fellows called $$e_1, \ldots , e_n$$ and form all formal products of them, including the empty product, which we call $1$. Then we form all real linear combinations of these products, and then we impose the relations $$ \begin{aligned} e_i^2 &= -1 \\e_ie_j &= -e_je_i. \end{aligned} $$ What are these algebras like? Well, $C_0$ is just the real numbers, since none of these $e_i$'s are thrown into the stew. $C_1$ has one square root of $-1$, so it is just the complex numbers. $C_2$ has two square roots of $-1$, $e_1$ and $e_2$, with $$e_1 e_2 = - e_2 e_1.$$ Thus $C_2$ is just the quaternions, with $e_1$, $e_2$, and $e_1 e_2$ corresponding to Hamilton's $i$, $j$, and $k$. How about the $\mathrm{C}_n$ for larger values of $n$? Well, here is a little table up to $n = 8$: | | | | -: | :- | | $C_0$ | $\mathbb{R}$ | | $C_1$ | $\mathbb{C}$ | | $C_2$ | $\mathbb{H}$ | | $C_3$ | $\mathbb{H}+\mathbb{H}$ | | $C_4$ | $\mathbb{H}(2)$ | | $C_5$ | $\mathbb{C}(4)$ | | $C_6$ | $\mathbb{R}(8)$ | | $C_7$ | $\mathbb{R}(8)+\mathbb{R}(8)$ | | $C_8$ | $\mathbb{R}(16)$ | What do these entries mean? Well, $\mathbb{R}(n)$ means the $n\times n$ matrices with real entries. Similarly, $\mathbb{C}(n)$ means the $n\times n$ complex matrices, and $\mathbb{H}(n)$ means the $n\times n$ quaternionic matrices. All these become algebras with the usual matrix addition and matrix multiplication. Finally, if $A$ is an algebra, $A + A$ means the algebra consisting of pairs of guys in $A$, with the obvious rules for addition and multiplication: $$ \begin{aligned} (a, a') + (b, b') &= (a + b, a' + b') \\(a, a') (b, b') &= (ab, a'b') \end{aligned} $$ You might enjoy checking some of these descriptions of the Clifford algebras $\mathrm{C}_n$ for $n$ up to 8. You have to find the "isomorphism" --- the correspondence between the Clifford algebra and the algebra I claim is really the same. This gets pretty tricky when $n$ gets big. How about $n$ larger than 8? Well, here a remarkable fact comes into play. Clifford algebras display a certain sort of "period 8" phenomenon. Namely, $C_{n+8}$ consists of $16\times 16$ matrices with entries in $\mathrm{C}_n$! For a proof you might try 2) H. Blaine Lawson, Jr. and Marie-Louise Michelson, _Spin Geometry_, Princeton U. Press, Princeton, 1989. or 3) Dale Husemoller, _Fibre Bundles_, Springer-Verlag, Berlin, 1994. These books also describe some of the amazing consequences of this periodicity phenomenon. The topology of $n$-dimensional manifolds is very similar to the topology of $(n+8)$-dimensional manifolds in some subtle but important ways! I should describe this "Bott periodicity" sometime, but for now let me leave it as a tantalizing mystery. I will also have to take a rain check when it comes to describing the importance of Clifford algebras in physics... let me simply note that they are crucial for understanding spin-$1/2$ particles. I talked a bit about this in ["Week 61"](#week61). The "Spin Geometry" book goes into a lot of detail on Clifford algebras, spinors, the Dirac equation and more. The "Fibre Bundles" book concentrates on the branch of topology called K-theory, and uses this together with Clifford algebras to tackle various subtle questions, such as how many linearly independent vector fields you can find on a sphere. 4) Ralph L. Cohen, John D. S. Jones, and Graeme B. Segal, "Morse theory and classifying spaces", preprint as of Sept. 13, 1991. This is a nice way to think about what's really going on with Morse theory. In Morse theory we study the topology of a compact Riemannian manifold by putting a "Morse function" on it: a real-valued smooth function with only nondegenerate critical points. The gradient of this function defines a vector field and we use the way points flow along this vector field to chop the manifold up into convenient pieces or "cells". A while back, Witten discovered, or rediscovered, a very cute way to compute a topological invariant called the "homology" of the invariant using Morse theory. (I've heard that this was previously known and then largely forgotten.) Here the authors refine this construction. They cook up a category $\mathcal{C}$ from the Morse function: the objects of $\mathcal{C}$ are critical points of the Morse function, and the morphisms are piecewise gradient flow lines. This is a topological category, meaning that for any pair of objects $x$ and $y$ the morphisms in $\operatorname{Hom}(x,y)$ form a topological space, and composition is a continuous map. There is a standard recipe to construct the "classifying space" of any topological category, invented by Segal in the following paper: 5) Graeme B. Segal, "Classifying spaces and spectral sequences", _Pub. IHES_ **34** (1968), 105--112. I described classifying spaces for discrete groups in ["Week 70"](#week70), and the more general case of discrete groupoids in ["Week 75"](#week75). The construction for topological categories is similar: we make a big space by sticking in one point for each object, one edge for each morphism, one triangle for each composable pair of morphisms: $$ \begin{tikzpicture} \node (x) at (0,0) {$x$}; \node (y) at (1,1.7) {$y$}; \node (z) at (2,0) {$z$}; \draw[thick] (x) to node[fill=white]{$f$} (y); \draw[thick] (x) to node[fill=white]{$gf$} (z); \draw[thick] (y) to node[fill=white]{$g$} (z); \node at (4,0.8) {$ \begin{aligned} f&\colon x\to y \\g&\colon y\to z \\gf&\colon x\to z \end{aligned} $}; \end{tikzpicture} $$ and so on. The only new trick is to make sure this space gets a topology in the right way using the topologies on the spaces $\operatorname{Hom}(x,y)$. Anyway, if we form this classifying space from the topological category $\mathcal{C}$ coming from the Morse function on our manifold $M$, we get a space homotopic to $M$! In other words, for many topological purposes the category $\mathcal{C}$ is just as good as the manifold $M$ itself. 6) Ross Street, "Descent theory", preprint of talks given at Oberwolfach, Sept. 17--23, 1995. Ross Street, "Fusion operators and cocycloids in monoidal categories", preprints. Street is one of the gurus of $n$-category theory, which he notes "might be called post-modern algebra (or even 'post-modern mathematics' since geometry and algebra are handled equally well by higher categories)." His paper on "Descent theory" serves as a rapid introduction to n-categories. But the real point of the paper is to explain the role n-categories play in cohomology theory: in particular, how to do cohomology with coefficients in an $\omega$-category! 7) Viqar Husain, "Intersecting-loop solutions of the hamiltonian constraint of quantum general relativity", _Nucl. Phys._ **B313** (1989), 711--724. Viqar Husain and Karel V. "Kuchar, General covariance, new variables, and dynamics without dynamics", _Phys. Rev. D_ **42** (1990), 4070--4077. Viqar Husain, "Einstein's equations and the chiral model", to appear in _Phys. Rev._ D, preprint available as [`gr-qc/9602050`](https://arxiv.org/abs/gr-qc/9602050). Viqar is one of the excellent younger folks at the Center for Gravitational Physics and Geometry at Penn State; I only had a bit of time to speak with him during my last visit there, but I got some of his papers. The first paper is from the good old days when folks were just beginning to find explicit solutions of the constraints of quantum gravity using the loop representation --- it's still worth reading! The second introduced a field theory now called the Husain-Kuchar model, which has the curious property of resembling gravity without the dynamics. The third studies $4$-dimensional general relativity assuming there are two commuting spacelike Killing vector fields. Here he reduces the theory to a $2$-dimensional theory which appears to be completely integrable --- though it has not been proved to be so in the sense of admitting a complete set of Poisson-commuting conserved quantities. 8) _The Interface of Knots and Physics_, ed. Louis H. Kauffman, Proc. Symp. Appl. Math. **51**, American Mathematical Society, Providence, Rhode Island, 1996. This slim volume contains the proceedings of an AMS "short course" on knots and physics held in San Francisco in January 1995, namely: - Louis H. Kauffman, "Knots and statistical mechanics" - Ruth J. Lawrence, "An introduction to topological field theory" - Dror Bar-Natan, "Vassiliev and quantum invariants of braids" - Samuel J. Lomonaco, "The modern legacies of Thomson's atomic vortex theory in classical electrodynamics" - John C. Baez, "Spin networks in nonperturbative quantum gravity" ------------------------------------------------------------------------ William Kingon Clifford Born May 4th, 1845 Died March 3rd, 1879 I was not, and was conceived I loved, and did a little work I am not, and grieve not. And Lucy, his wife Died April 21st, 1929 Oh, two such silver currents when they join Do glorify the banks that bound them in.