A matrix of positive determinant that is not an exponential
Statement
Let . Show that but there is no real matrix with . Deduce that is not onto.
Hint
If , then commutes with . What does it mean for to commute with a diagonal matrix with distinct entries?
Show solutionHide solution
Solution
Setup. , so . Suppose for some .
commutes with . commutes with each power , hence with the sum .
is diagonal. Write . Then
forces and , i.e. . So is diagonal. (This is where the distinct eigenvalues of are used.)
Contradiction. For diagonal , , whose entries are positive. But has negative diagonal entries.
Conclusion. is not in the image of .
Remark. Over , , so every invertible complex matrix is an exponential. Over , a matrix is an exponential iff each Jordan block with a negative eigenvalue occurs an even number of times, which fails for (two *different* negative eigenvalues). By contrast is an exponential.