Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have created an entry for Bott periodicity
I haven’t thought about this for quite a long time, but I once had the following “dream”. Might it be possible to prove the Bott periodicity (say complex Bott periodicity, to keep things simple in the beginning), say in the form $K(X \times S^2) \cong K(X) \otimes K(S^2) = K(X)[\eta]/(\eta - 1)^2$, by calculating $K(S^2) \cong K(pt)[\eta]/(\eta - 1)^2$ constructively and interpreting that calculation in the topos of sheaves over $X$?
1 to 2 of 2