English

Linear Preservers of Real Matrix Classes Admitting a Real Logarithm

Representation Theory 2026-01-01 v1

Abstract

In real Lie theory, matrices that admit a real logarithm reside in the identity component GLn(R)+\mathrm{GL}_n(\mathbb{R})_+ of the general linear group GLn(R)\mathrm{GL}_n(\mathbb{R}), with logarithms in the Lie algebra gln(R)\mathfrak{gl}_n(\mathbb{R}). The exponential map exp:\mnrGLn(R) \exp : \mnr \to \mathrm{GL}_n(\mathbb{R}) provides a fundamental link between the Lie algebra and the Lie group, with the logarithm as its local inverse. In this paper, we characterize all bijective linear maps φ:\mnr\mnr\varphi : \mnr \to \mnr that preserve the class of matrices admitting a real logarithm (principal logarithm). We show that such maps are exactly those of the form φ(A)=cPAP1orφ(A)=cPATP1, \varphi(A) = c\, P A P^{-1} \quad \text{or} \quad \varphi(A) = c\, P A^{T} P^{-1}, for some PGLn(R)P \in \mathrm{GL}_n(\mathbb{R}) and c>0c > 0. The proof proceeds in two stages. First, we analyze preservers within the class of standard linear transformations. Second, using Zariski denseness, we prove that any bijective linear map preserving matrices with real logarithms (principal logarithm) must preserve GLn(R)\mathrm{GL}_n(\mathbb{R}), which then implies the map is of the standard form.

Keywords

Cite

@article{arxiv.2512.23735,
  title  = {Linear Preservers of Real Matrix Classes Admitting a Real Logarithm},
  author = {Shaun Fallat and Samir Mondal},
  journal= {arXiv preprint arXiv:2512.23735},
  year   = {2026}
}
R2 v1 2026-07-01T08:44:49.218Z