Last time, I described the construction which assigns to every compact -space (for a compact Lie group) the *equivariant K-group* . We saw that this was a functor from the (equivariant) homotopy category to commutative rings, using more or less the same arguments as in ordinary homotopy theory, only with small alterations.

The purpose of this post is to describe more of Segal’s paper. Actually, I won’t be covering any legitimate K-theory in this post; that’ll have to wait for a third. I’ll mostly be describing various classical constructions for vector bundles in the equivariant setting.

In the classical theory of (ordinary) vector bundles on compact spaces, a basic result is the Serre-Swan theorem, which identifies the category of (complex) vector bundles with the category of projective modules over the ring of complex-valued continuous functions on . This is essentially a reflection of the fact that any vector bundle on , say , can be obtained as a retract of some trivial bundle . Taking retracts corresponds to choosing idempotents in the ring of -by- matrices in , and this description via idempotents applies as well to projective modules over (or, in fact, any commutative ring).

The crucial statement here, that any vector bundle is a retract of a trivial one, fails in the equivariant case, simply because a vector bundle on which acts nontrivially can’t be a retract of a vector bundle with trivial action. But we have something reasonably close to it.

Definition 1Given a -representation and a -space , we can form a vector bundle , which his naturally -equivariant.

This bundle is, equivalently, formed by taking the equivariant map . -vector bundles on are identified with -representations, so we just have to pull back.

Anyway, the claim is:

Theorem 2 (Equivariant Serre-Swan (Segal))Any -vector bundle is a direct summand of a bundle for some -representation . (more…)