Commuting matrices and Atiyah's Real K-theory

Abstract

We describe the $C_2$-equivariant homotopy type of the space of commuting n-tuples in the stable unitary group in terms of Real K-theory. The result is used to give a complete calculation of the homotopy groups of the space of commuting n-tuples in the stable orthogonal group, as well as of the coefficient ring for commutative orthogonal K-theory.

Minor changes. To appear in Journal of Topology