A remark to Kuiper's theorem
Inspired by the theorem of Kuiper, which asserts that the unitary group over a separable infinite dimensional Hilbert space is contractable, and its important consequences the author aims to prove a smooth analogue of this theorem. Instead of a Hilbert space the topological algebra \(A\) of all smooth functions on a compact Lie group \(G\) is considered with the inductive topology. Let \(U^{\infty}(A)\) denote the subset of \({\mathcal L}(A,A)\), the vector space of all continuous linear mappings of \(A\) into \(A\) with the bounded convergence topology, which consists of all elements \(u\) for which \(u^{-1}\in{\mathcal L}(A,A)\) and \(u\) can be extended to a unitary operator on \(L^ 2(G)\). Let \(\rho\) be the representation of \(G\) in \(U^ \infty(A)\) given by \((\rho(x)f)y=f(x^{-1}y)\). The main theorem in the article claims that \(\rho\) is homotopic to \(id\) with the image of the unit element fixed at \(id\) in case \(G\) is a simply connected semi-simple compact Lie group, a classical group or the \(n\)-torus.
- scientific article; zbMATH DE number 3998547
- Topological structure of the unitary group of certain \(C^*\)-algebra
- Contractibility of the full general linear group of the \(C^ *\)-Hilbert module \(\ell _ 2(A)\)
- Automatic continuity for the unitary group
- A non-smooth continuous unitary representation of a Banach-Lie group
This page was built for publication: A remark to Kuiper's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367232)
