Logarithm charts for the special unitary group
ID: logarithm-charts-for-the-special-unitary-group
Near the identity, the matrix logarithm of a unitary matrix is skew-Hermitian. Restrict the logarithm's operator norm below ; determinant one then forces its trace to be zero, since and no nonzero multiple of fits this bound. The matrix exponential gives the inverse chart on a ball in the displayed real Lie algebra, of dimension . Left translation supplies compatible charts on the whole special unitary group.
New to topics? Read the docs here!