8
$\begingroup$

I'm trying to understand a statement Segal makes in this book:

Let $C_q$ be the real Clifford algebra associated to the standard negative definite form on $\mathbb{R^q}$ and let $\Phi_q(n)$ be the space of symmetric unitary (with respect to the automorphism of $C_q$ induced by $e_i \mapsto -e_i$) $n\times n$-matrices over $C_q$.

Segal then claims that $\Phi_q=\cup_n \Phi_q(n)$ represents $KO^q$ for $q\geq 1$ and that this is a reformulation of Bott periodicity.

Can someone indicate how this works or is there any good reference for this ?

$\endgroup$
4
  • 4
    $\begingroup$ Have you looked in Karoubi's "K-Theory" book, Chapter III? $\endgroup$
    – Mark Grant
    Apr 30, 2013 at 10:43
  • $\begingroup$ I second Mark Grant's suggestion. $\endgroup$ Apr 30, 2013 at 12:40
  • $\begingroup$ I'll have a look, this is of course the one book i haven't consulted yet $\endgroup$ May 3, 2013 at 10:39
  • $\begingroup$ I am currently trying to understand this claim of Segal as well and another possible explanation could be found in the Atiyah-Singer paper "Index theory for skew adjoint Fredholm operators", but I'm not sure whether this actually fits… $\endgroup$
    – JBantje
    Apr 9, 2018 at 13:14

1 Answer 1

8
$\begingroup$

I learned about this in a course taught by Mark Hovey, but we didn't use a book and his lecture notes are not available online. As I recall, you first understand how the signature of a quadratic form classifies quadratic forms of given degree. Then you use this to classify Clifford algebras and notice the algebraic periodicity which will later be revealed to be Bott periodicity. If you want to be more concrete, let $q_{r,s}(x_1,\dots,x_n) = x_1^2 + \dots + x_r^2 - x_{r+1}^2 - \dots - x_{r+s}^2$ and then $C_{r,s}$ is the corresponding Clifford Algebra. You can reduce the classification to classifying $C_q = C_{q,0}$ by noting how $C_{r,s}$ splits up via tensor products. You seem to already understand this part of the process, so I won't say any more about it. The table classifying $C_q$ can be found here and it's 8 periodic.

Now we look at representations, and that's where your $\Phi_q$ comes in. Let $M_n$ be the Grothendieck group of representations of $C_n$ and note that $M_n$ is $\mathbb{Z}$ generated by some $\mathbb{R}^m$ if $n$ is not $3$ or $7$ mod $8$, and for all other $n$ we have $M_n\cong \mathbb{Z}\oplus \mathbb{Z}$ generated by $\mathbb{R}^m$ and $\mathbb{R}^m$. This is just observing which of the Clifford algebras $C_n$ in the table above split and $m$ is just the dimension of the corresponding vector space in the table considered as a vector space over $\mathbb{R}$. Now consider the standard inclusion $i:C_n\to C_{n+1}$ and note that you get $i^*:C_{n+1}-mod \to C_n-mod$ which induces $i^*:M_{n+1}\to M_n$.

The Atiyah-Bott-Shapiro Theorem says that there's a natural map $M_{n-1}/i^*M_n \to KO^{-n}(\ast) \cong \tilde{KO}(S^n)$

You can then compute all the quotients very simply, using the fact that you know the generators of $M_n$. For example, $M_0/i^*M_1$ is $\mathbb{Z}/2$ because $M_0$ is $\mathbb{Z}$ generated by $C_0 = \mathbb{R}$ and $M_1$ is $\mathbb{Z}$ generated by $C_1=\mathbb{C}$, and the map $i^*$ is just multiplication by 2 because it takes $\mathbb{C}\mapsto \mathbb{R}^2$. So the quotient is $\mathbb{Z} / 2\mathbb{Z}$. I recommend working out the rest of the $M_j/i^*M_{j+1}$ on your own. It's a good way to check your understanding of Clifford algebras and you'll see the Bott groups appear as if by magic.

$\endgroup$
5
  • $\begingroup$ David, do you happen to know any good reference for Atiyah-Bott-Shapiro theorem? Their original paper doesn't really give any good proof, more of an observation that the groups coincide. Definitely not just a direct proof, as one could expect. $\endgroup$ May 3, 2013 at 1:00
  • $\begingroup$ So, Hovey proved it in this course he taught, and I can go digging for the lecture notes if I remember. I don't know of a canonical reference, but I'll look. I wrote my answer the way I did to highlight the connection to Bott Periodicity, rather than getting bogged down in the details of the proof. It gets rather technical as I recall. $\endgroup$ May 3, 2013 at 2:11
  • $\begingroup$ Their original paper is "Clifford Modules". A more complete discussion can be found in Wood: "Banach algebras and Bott periodicity" $\endgroup$ May 3, 2013 at 12:38
  • $\begingroup$ I was aware of the results in "Clifford Modules" but couldn't relate them to Segal's statement. They describe the coefficients in terms of Clifford algebras while Segal talks about actual representing spaces which seems stronger. $\endgroup$ May 3, 2013 at 16:39
  • $\begingroup$ Have you checked out the Wood reference? $\endgroup$ May 5, 2013 at 22:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.