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 diffeomorphism
Its inverse sends to
Right 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!