General linear group modulo the unitary group
ID: general-linear-group-modulo-the-unitary-group
Let be the real vector space of Hermitian matrices. The polar decomposition of an invertible complex matrix gives a diffeomorphismIts inverse sends toRight multiplication by changes only , so the orbit space is smoothly and the quotient map is a globally trivial principal bundle.
New to topics? Read the docs here!