Maths WorkshopMaths problems with full solutions
Exercise 1368Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL3Added 6 Nov 2026

A matrix of positive determinant that is not an exponential

#matrix exponential#surjectivity#commutation#diagonal matrices

Statement

Let B=diag(−1,−2)∈M2(R)B=\mathrm{diag}(-1,-2)\in M_2(\mathbb{R}). Show that det⁡B>0\det B>0 but there is no real matrix AA with eA=Be^A=B. Deduce that exp⁡:M2(R)→GL2+(R)\exp:M_2(\mathbb{R})\to GL_2^+(\mathbb{R}) is not onto.

Hint

If eA=Be^A=B, then AA commutes with eAe^A. What does it mean for AA to commute with a diagonal matrix with distinct entries?

Show solutionHide solution

Solution

Setup. det⁡B=2>0\det B=2>0, so B∈GL2+(R)B\in GL_2^+(\mathbb{R}). Suppose eA=Be^A=B for some A∈M2(R)A\in M_2(\mathbb{R}).

AA commutes with BB. AA commutes with each power AkA^k, hence with the sum ∑Ak/k!=eA=B\sum A^k/k!=e^A=B.

AA is diagonal. Write A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}. Then
AB=(−a−2b−c−2d),BA=(−a−b−2c−2d).AB=\begin{pmatrix}-a&-2b\\-c&-2d\end{pmatrix},\qquad BA=\begin{pmatrix}-a&-b\\-2c&-2d\end{pmatrix}.
AB=BAAB=BA forces −2b=−b-2b=-b and −c=−2c-c=-2c, i.e. b=c=0b=c=0. So A=diag(a,d)A=\mathrm{diag}(a,d) is diagonal. (This is where the distinct eigenvalues of BB are used.)

Contradiction. For diagonal AA, eA=diag(ea,ed)e^A=\mathrm{diag}(e^a,e^d), whose entries are positive. But BB has negative diagonal entries.

Conclusion. B∈GL2+(R)B\in GL_2^+(\mathbb{R}) is not in the image of exp⁡\exp.

Remark. Over C\mathbb{C}, B=exp⁡diag(iπ, ln⁡2+iπ)B=\exp\mathrm{diag}(i\pi,\ \ln2+i\pi), so every invertible complex matrix is an exponential. Over R\mathbb{R}, a matrix is an exponential iff each Jordan block with a negative eigenvalue occurs an even number of times, which fails for BB (two *different* negative eigenvalues). By contrast −I=eπJ-I=e^{\pi J} is an exponential.