Skip to main content
3 of 9
edited body
Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66

Let us first consider the case when $g=e$ is the identity matrix. If the argument below is correct, I am optimistic that the general case can be reduced to this.

Let $U$ be an open neighbourhood of the identity in $\mathcal D$. We want to calculate the local homology of $U$ at $e$.

We may assume that $U$ is mapped homeomorphically by the (inverse of) the exponential map onto its image in the tangent space of $U(n)$. The tangent space can be identified with the space of skew-Hermitian $n\times n$ matrices.

If I am not mistaken, elements of $\mathcal D$ that are close to the identity correspond under the exponential map to non-invertible skew-Hermitian matrices. So you are asking about the local homology in degree ${n^2-1}$ of the space of non-invertible skew-symmetric matrices. By Alexander duality, this is isomorphic to the reduced homology in degree $0$ of the space of invertible skew-Hermitian matrices. So we need to count the path components of the space of invertible skew-Hermitian matrices.

Such a matrix will have non-zero purely imaginary eigenvalues, of the form $ir$. The path component of a matrix is determined by the number of eigenvalues for which $r>0$. It follows that there are $n+1$ components, so the reduced homology has rank $n$, which confirms your conjecture.

Gregory Arone
  • 10.9k
  • 1
  • 47
  • 66