Exponential-surjectivity obstruction from distinct negative eigenvalues

ID: exponential-surjectivity-obstruction-from-distinct-negative-eigenvalues

A real matrix with at least one simple negative eigenvalue cannot be a matrix exponential of a real matrix: a logarithm would commute with it and preserve each one-dimensional real negative-eigenvalue space, where exponentiation can only produce a positive eigenvalue. In particular belongs to the connected special linear group but has no real logarithm.

New to topics? Read the docs here!