Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2512.23735 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909978023952384 |
|---|---|
| author | Fallat, Shaun Mondal, Samir |
| author_facet | Fallat, Shaun Mondal, Samir |
| contents | In real Lie theory, matrices that admit a real logarithm reside in the identity component $\mathrm{GL}_n(\mathbb{R})_+$ of the general linear group $\mathrm{GL}_n(\mathbb{R})$, with logarithms in the Lie algebra $\mathfrak{gl}_n(\mathbb{R})$. The exponential map \[ \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 \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) = c\, P A P^{-1} \quad \text{or} \quad φ(A) = c\, P A^{T} P^{-1}, \] for some $P \in \mathrm{GL}_n(\mathbb{R})$ and $c > 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 $\mathrm{GL}_n(\mathbb{R})$, which then implies the map is of the standard form. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_23735 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Linear Preservers of Real Matrix Classes Admitting a Real Logarithm Fallat, Shaun Mondal, Samir Representation Theory 15A86, 15A16 (primary), 54C05, 15B48 (secondary) In real Lie theory, matrices that admit a real logarithm reside in the identity component $\mathrm{GL}_n(\mathbb{R})_+$ of the general linear group $\mathrm{GL}_n(\mathbb{R})$, with logarithms in the Lie algebra $\mathfrak{gl}_n(\mathbb{R})$. The exponential map \[ \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 \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) = c\, P A P^{-1} \quad \text{or} \quad φ(A) = c\, P A^{T} P^{-1}, \] for some $P \in \mathrm{GL}_n(\mathbb{R})$ and $c > 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 $\mathrm{GL}_n(\mathbb{R})$, which then implies the map is of the standard form. |
| title | Linear Preservers of Real Matrix Classes Admitting a Real Logarithm |
| topic | Representation Theory 15A86, 15A16 (primary), 54C05, 15B48 (secondary) |
| url | https://arxiv.org/abs/2512.23735 |