×

A criterion for exponentiality in certain Lie groups. (English) Zbl 0989.22015

Let \(G\) be a connected real Lie group with Lie algebra \(L(G)\), and let \(\exp:L (G)\to G\) be the exponential map of \(G\). It is an interesting problem to determine the image of the exponential map. An element of \(G\) is called exponential if it belongs to the image \(\exp(L(G))\), and \(G\) is called exponential if \(G=\exp (L(G))\). The situation is reasonably well understood for solvable Lie groups, partial results are known for semisimple Lie groups, but little is known for general Lie groups [cf. D. Z. Djoković and K. H. Hofmann, J. Lie Theory 7, 171-199 (1997; Zbl 0888.22003)]. This paper treats the exponentiality question for a semidirect product connected Lie group \(G=K\cdot R\), where \(K\) is a compact subgroup and \(R\) is a simply connected exponential solvable normal subgroup of \(G\). The main result is as follows. Let \(N\) be the nilradical of \(R\). If for every \(x\in N\) the subgroup \(\{k\in K\mid kx= xk\}\) is connected, then \(G\) is exponential. The authors apply this result to study the exponentiality for matrix groups with quaternionic entries. For \(n\geq 2\) let \(Q_n\) be the group of \(n\times n\) invertible upper triangular matrices with quaternionic entries, \(M_n\) be the subgroup of \(Q_n\) consisting of all elements whose diagonal entries are all of quaternionic norm 1, and let \(G\) be a connected Lie subgroup of \(Q_n\) containing \(M_n\). Then, \(G\) is exponential if \(n\leq 4\) and \(G\) is not exponential if \(n\geq 8\).

MSC:

22E15 General properties and structure of real Lie groups

Citations:

Zbl 0888.22003
Full Text: DOI

References:

[1] Borel, A., Linear Algebraic Groups (1991), Springer-Verlag: Springer-Verlag Berlin/New York · Zbl 0726.20030
[2] Borel, A.; Tits, J., Homomorphismes “abstraits” de groupes algébraiques simples, Ann. Math., 97, 499-571 (1973) · Zbl 0272.14013
[3] Djoković, D. Z.; Hofmann, K. H., The surjectivity question for the exponential function of real Lie groups: a status report, J. Lie Theory, 7, 171-199 (1997) · Zbl 0888.22003
[4] Jacobson, N., Lie Algebras (1979), Dover: Dover New York · JFM 61.1044.02
[5] Moskowitz, M.; Wüstner, M., Exponentiality of certain real solvable Lie groups, Canad. Math. Bull., 41, 368-373 (1998) · Zbl 0913.22007
[6] Montgomery, D.; Zippin, L., Topological Transformation Groups (1955), Wiley-Interscience: Wiley-Interscience New York · JFM 66.0959.03
[7] Varadarajan, V. S., Lie Groups, Lie Algebras and Their Representations (1974), Prentice Hall: Prentice Hall Englewood Cliffs · Zbl 0371.22001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.