Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth
of topological information about $A$. However, the homotopy type of $UA$ is out
of reach even for $A = M_2(\CC)$. There are two simplifications which have been
considered. The first, well-traveled road, is to pass to $\pi_*(U(A\otimes \KK
))$ which is isomorphic (with a degree shift) to $K_*(A)$. This approach has
led to spectacular success in many arenas, as is well-known.
Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth
of topological information about $A$. However, the homotopy type of $UA$ is out
of reach even for $A = M_2(\CC)$. There are two simplifications which have been
considered. The first, well-traveled road, is to pass to $\pi_*(U(A\otimes \KK
))$ which is isomorphic (with a degree shift) to $K_*(A)$. This approach has
led to spectacular success in many arenas, as is well-known.
We extend the standard localization theory for function and section spaces
due to Hilton-Mislin-Roitberg and Moller outside the CW category to the case of
compact metric domain in the presence of a grouplike structure. We study
applications in two cases directly generalizing the gauge group of a principal
bundle. We prove an identity for the monoid of fibre-homotopy self-equivalences
of a Hurewicz fibration -- due to Gottlieb and Booth-Heath-Morgan-Piccinini in
the CW category -- in the compact case. This leads to an extended localization
result for this monoid.
Let \zeta be an n-dimensional complex matrix bundle over a compact metric
space X and let A_\zeta denote the C*-algebra of sections of this bundle. We
determine the rational homotopy type as an H-space of UA_\zeta, the group of
unitaries of A_\zeta. The answer turns out to be independent of the bundle
\zeta and depends only upon n and the rational cohomology of X. We prove
analogous results for the gauge group and the projective gauge group of a
principal bundle over a compact metric space X.
Let \zeta be an n-dimensional complex matrix bundle over a compact metric
space X and let A_\zeta denote the C*-algebra of sections of this bundle. We
determine the rational homotopy type as an H-space of UA_\zeta, the group of
unitaries of A_\zeta. The answer turns out to be independent of the bundle
\zeta and depends only upon n and the rational cohomology of X. We prove
analogous results for the gauge group and the projective gauge group of a
principal bundle over a compact metric space X.