Exponential Radicals of Solvable Lie Groups

In this paper, we continue with the results in \cite{Pg} and compute the group of quasi-isometries for a subclass of split solvable unimodular Lie groups. Consequently, we show that any finitely generated group quasi-isometric to a member of the subclass has to be polycyclic, and is virtually a lattice in an abelian-by-abelian solvable Lie group. We also give an example of a unimodular solvable Lie group that is not quasi-isometric to any finitely generated group, as well deduce some quasi-isometric rigidity results.

A nilmanifold resp. solvmanifold is a compact homogeneous space of a connected and simply-connected nilpotent resp. solvable Lie group by a lattice, i.e. a discrete co-compact subgroup. There is an easy criterion for nilpotent Lie groups which enables one to decide whether there is a lattice or not. Moreover, it is easy to decide whether a nilmanifold is formal, Kaehlerian or (Hard) Lefschetz. The study of solvmanifolds meets with noticeably greater obstacles than the study of nilmanifolds. Even the construction of solvmanifolds is considerably more difficult than is the case for nilmanifolds. The reason is that there is no simple criterion for the existence of a lattice in a connected and simply-connected solvable Lie group. We consider the question of existence of lattices in solvable Lie groups up to dimension six and examine whether the corresponding solvmanifolds are formal, symplectic, Kaehler or (Hard) Lefschetz.

We establish analogs of the three Bieberbach theorems for a lattice \(\Gamma\) in a semidirect product \(\mathsf{K}\rtimes\mathsf{K}\) where \(\mathsf{S}\) is a connected, simply connected solvable Lie group and \(\mathsf{K}\) is a compact subgroup of its automorphism group. We first prove that the action of \(\Gamma\) on \(\mathsf{S}\) is metrically equivalent to an action of \(\Gamma\) on a supersolvable Lie group. The latter is shown to be determined by \(\Gamma\) itself up to an affine diffeomorphism. Then we characterize these lattices algebraically as polycrystallographic groups. Furthermore, we realize any polycrystallographic group \(\Gamma\) as a lattice in a semidirect product \(\mathsf{S}\rtimes\mathsf{F}\) with \(\mathsf{F}\) being a finite group whose order is bounded by a constant only depending on the dimension of \(\mathsf{S}\). This generalization of the first Bieberbach theorem is used to obtain a partial generalization of the third one as well. Finally we show for any torsion free closed subgroup \(\Upsilon \subset \mathsf{K}\rtimes\mathsf{K}\) that the quotient \(\mathsf{S}/\Upsilon\) is the total space of a vector bundle over a compact manifold B, where B is the quotient of a solvable Lie group by a torsion free polycrystallographic group.

In this paper, we study topological groups having all closed subgroups (totally) minimal and we call such groups c-(totally) minimal. We show that a locally compact c-minimal connected group is compact. Using a well-known theorem of [P. Hall and C. R. Kulatilaka, A property of locally finite groups, J. Lond. Math. Soc. 39 1964, 235–239] and a characterization of a certain class of Lie groups, due to [S. K. Grosser and W. N. Herfort, Abelian subgroups of topological groups, Trans. Amer. Math. Soc. 283 1984, 1, 211–223], we prove that a c-minimal locally solvable Lie group is compact. It is shown that a topological group G is c-(totally) minimal if and only if G has a compact normal subgroup N such that G / N G/N is c-(totally) minimal. Applying this result, we prove that a locally compact group G is c-totally minimal if and only if its connected component c ⁢ ( G ) c(G) is compact and G / c ⁢ ( G ) G/c(G) is c-totally minimal. Moreover, a c-totally minimal group that is either complete solvable or strongly compactly covered must be compact. Negatively answering [D. Dikranjan and M. Megrelishvili, Minimality conditions in topological groups, Recent Progress in General Topology. III, Atlantis Press, Paris 2014, 229–327, Question 3.10 (b)], we find, in contrast, a totally minimal solvable (even metabelian) Lie group that is not compact.

In the paper, we investigate three-dimensional solvable Lie groups from the point of view of the generalized Hermitian geometry. The corresponding three-dimensional solvable Lie algebras were firstly classified by G. M. Mubarakzyanov in 1963. Using the classification in somewhat different notations, we construct basic left-invariant metric f-structures of rank 2 on all three-dimensional solvable Lie groups equipped with the standard left-invariant Riemannian metric. It was proved that all the considered f-structures belong to one or several classes of generalized almost Hermitian structures. As a result, it gives the opportunity to present new examples of left-invariant Killling, nearly Kähler, generalized nearly Kähler and Hermitian f-structures on solvable Lie groups.

The well-known theory of square-integrable representations is generalized to the case of primary representations (not necessarily type I) quasi-contained in either the regular representation or the representation induced from a character of the center of a (not necessarily unimodular) locally compact group, and relations with the topology of the primitive ideal space of the group C*-algebra are obtained.The cases of discrete and almost connected groups are examined in more detail, and it is shown that for such groups, square-integrable factor representations must be traceable.For connected Lie groups, these representations can (in principle) be determined up to quasi-equivalence using a complicated construction of L. Pukanszky-for type I simply connected solvable Lie groups, the characterization reduces to that conjectured by C. C. Moore and J. Wolf.In the case of unimodular exponential groups, essentially everything is as in the nilpotent case (including a result on multiplicities in the decomposition of L2(G/T), T a discrete uniform subgroup of G).Finally, it is shown that the same criterion as for type I solvable Lie groups characterizes the squareintegrable representations of certain solvable p-adic groups studied by R. Howe.1. Introduction.The theory of square-integrable irreducible representations of unimodular groups has been understood for some time, and is easily accessible in [8, 14] and [36].Modifications have been introduced to take into account groups with noncompact center (e.g., [24]) and nonunimodular groups (most notably [10]; cf. also [25], [26]), but until recently, we were unaware of any treatment of non-type I square-integrable representations aside from some remarks on cyclic representations in [36], [25], and [26].A few months ago, the author received a copy of [7], which, in Chapter III, does treat a much more general situation, but here the emphasis is on von Neumann algebras and not much is said about groups.The lack of study of general square-integrable representations would not be much of a deficiency were it not for the fact that many discrete groups and Lie groups have

Thestability of a control system is essential for its effective operation. Stability implies that small changes in input, initial conditions, or parameters do not lead to significant fluctuations in output. Various stability properties, such as inner stability, asymptotic stability, and BIBO (Bounded Input, Bounded Output) stability, are well understood for classical linear control systems in Euclidean spaces. This paper aims to thoroughly address the stability problem for a class of linear control systems defined on matrix Lie groups. This approach generalizes classical models corresponding to the latter when the group is Abelian and non-compact. It is important to note that this generalization leads to a very difficult control system, due to the complexity of the state space and the special dynamics resulting from the drift and control vectors. Several mathematical concepts help us understand and characterize stability in the classical case. We first show how to extend these algebraic, topological, and dynamical concepts from Euclidean space to a connected Lie group of matrices. Building on classical results, we identify a pathway that enables us to formulate conjectures about stability in this broader context. This problem is closely linked to the controllability and observability properties of the system. Fortunately, these properties are well established for both classes of linear systems, whether in Euclidean spaces or on Lie groups. We are confident that these conjectures can be proved in future work, initially for the class of nilpotent and solvable groups, and later for semi-simple groups. This will provide valuable insights that will facilitate, through Jouan’s Equivalence Theorem, the analysis of an important class of nonlinear control systems on manifolds beyond Lie groups. We provide an example involving a three-dimensional solvable Lie group of rigid motions in a plane to illustrate these conjectures.

A finitely generated subgroup${\rm\Gamma}$of a real Lie group$G$is said to be Diophantine if there is${\it\beta}>0$such that non-trivial elements in the word ball$B_{{\rm\Gamma}}(n)$centered at$1\in {\rm\Gamma}$never approach the identity of$G$closer than$|B_{{\rm\Gamma}}(n)|^{-{\it\beta}}$. A Lie group$G$is said to be Diophantine if for every$k\geqslant 1$a random$k$-tuple in$G$generates a Diophantine subgroup. Semi-simple Lie groups are conjectured to be Diophantine but very little is proven in this direction. We give a characterization of Diophantine nilpotent Lie groups in terms of the ideal of laws of their Lie algebra. In particular we show that nilpotent Lie groups of class at most$5$, or derived length at most$2$, as well as rational nilpotent Lie groups are Diophantine. We also find that there are non-Diophantine nilpotent and solvable (non-nilpotent) Lie groups.

This work investigates the stability analysis of linear control systems defined on Lie groups, with a particular focus on low-dimensional cases. Unlike their Euclidean counterparts, such systems evolve on manifolds with non-Euclidean geometry, where trajectories respect the group’s intrinsic symmetries. Stability notions, such as inner asymptotic, inner, and input–output (BIBO) stability, are studied. The qualitative behavior of solutions is shown to depend critically on the spectral decomposition of derivations associated with the drift, and on the algebraic structure of the underlying Lie algebra. We study two classes of examples in detail: Abelian and solvable two-dimensional Lie groups, and the three-dimensional nilpotent Heisenberg group. These settings, while mathematically tractable, retain essential features of non-commutativity, geometric non-linearity, and sub-Riemannian geometry, making them canonical models in control theory. The results highlight the interplay between algebraic properties, invariant submanifolds, and trajectory behavior, offering insights applicable to robotic motion planning, quantum control, and signal processing.

This paper is concerned with the topological structure of solvmanifolds i.e. spaces on which solvable Lie groups of transformations act transitively. The special case of nilmanifolds in which the group of transformations is nilpotent has been studied by Malcev [5]. Examples of two dimensional solvmanifolds are the torus, Klein bottle, cylinder, mobius strip. The central results are THEOREM A. Two compact solvmanifolds having the same fundamental group are isomorphic. THEOREM B. Any solvmanifold is covered a finite number of times by the direct product of a compact solvmanifold and a euclidean space; moreover, the covering group is abelian. THEOREM C. If S is an algebraically subgroup (cf. ?9 for definition) of the solvable Lie group G, then G/S is homeomorphic to the direct product of a compact solvmanifold and a euclidean space. Theorem C applies for example, if S is a closed subgroup which is generated by its connected identity-component together with elements s1, s2, -such that all the eigenvalues of Adsi are positive (i = 1, 2, * ). The assertion in Theorem A, applied to nilmanifolds, was proved by Malcev [5]. The situation in that case is simplified by virtue of the fact that two nilpotent groups which operate transitively and effectively on spaces with same fundamental group are isomorphic-a fact which is not true in the case of general solvmanifolds. Accordingly, there is a natural homeomorphism between nilmanifolds with isomorphic fundamental groups but there is no natural homeomorphism in the case of solvmanifolds. In the absence of uniqueness, therefore, proof of the existence of the homeomorphisin in Theorem A is rather elusive. After a number of algebraic maneuvers, proof of Theorem A is reduced to comparing two fibre bundles over homeomorphic toroids-the fibres being the orbits of transformation groups which are isomorphic as abstract topological groups. The main topological lemma asserts the existence of an equivariant homeomorphism between the two bundles. The major algebraic fact which underlies our method is the theorem of ?5 on uniform subgroups of solvable groups. In Theorem B, the covering need not be univalent-as is illustrated by the mobius band. The sufficiency condition in Theorem C yields as a special case a result of Chevalley: the factor space of a solvable Lie group by a connected subgroup is a product of circles and straight lines. Theorem A yields more generally

We prove that the asymptotic Assouad-Nagata dimension of a connected Lie group $G$ equipped with a left-invariant Riemannian metric coincides with its topological dimension of $G/C$ where $C$ is a maximal compact subgroup. To prove it we will compute the Assouad-Nagata dimension of connected solvable Lie groups and semisimple Lie groups. As a consequence we show that the asymptotic Assouad-Nagata dimension of a polycyclic group equipped with a word metric is equal to its Hirsch length and that some wreath-type finitely generated groups can not be quasi-isometric to any cocompact lattice on a connected Lie group.

We show that for some negatively curved solvable Lie groups, all self quasiisometries are almost isometries. We prove this by showing that all self quasisymmetric maps of the ideal boundary (of the solvable Lie groups) are biLipschitz with respect to the visual metric.

Let \(G\) be a connected and simply connected Lie group with Lie algebra \(\mathfrak g \). We say that a subset \(X\) in the set \(\mathfrak g ^\star / G\) of coadjoint orbits is convex hull separable when the convex hulls differ for any pair of distinct coadjoint orbits in \(X\). In this paper, we define a class of solvable Lie groups, and we give an explicit construction of an overgroup \(G^+\) and a quadratic map \(\varphi \) sending each generic orbit in \(\mathfrak g ^\star \) to a \(G^+\)-orbit in \(\mathfrak{g ^+}^\star \), in such a manner that the set \(\varphi (\mathfrak g ^\star _{gen}){/ G^+}\) is convex hull separable. We then call \(G^+\) a weak quadratic overgroup for \(G\). Thanks to this construction, we prove that any nilpotent Lie group, with dimension at most 7 admits such a weak quadratic overgroup. Finally, we produce different examples of solvable Lie groups, having weak quadratic overgroups, but which are not in our class of Lie groups and for which usual constructions fail to hold.

Given a manifoldM, a Clifford structure of orderm onM is a family ofm anticommuting complex structures generating a subalgebra of dimension 2 m of End(T(M)). In this paper we investigate the existence of locally invariant Clifford structures of orderm≥2 on a class of locally homogeneous manifolds. We study the case of solvable extensions ofH-type groups, showing in particular that the solvable Lie groups corresponding to the symmetric spaces of negative curvature carry invariant Clifford structures of orderm≥2. We also show that for eachm and any finite groupF, there is a compact flat manifold with holonomy groupF and carrying a Clifford structure of orderm.

It has been known since (Pillay, J. Pure Appl. Algebra 53 (1988), no. 3, 239–255)that any group definable in an o $o$ -minimal expansion of the real field can be equipped with a Lie group structure. It is therefore natural to ask when is a Lie group Lie isomorphic to a group definable in such an expansion. Conversano, Starchenko and the first author answered this question in (Conversano, Onshuus, and Starchenko, J. Inst. Math. Jussieu 17 (2018), no. 2, 441–452) in the case when the group is solvable. This paper answers similar questions in more general contexts. We first give a complete classification in the case when the group is linear. Specifically, a linear Lie group G $G$ is Lie isomorphic to a group definable in an o $o$ -minimal expansion of the reals if and only if its solvable radical has the same property. We then deal with the general case of a connected Lie group, although unfortunately, we cannot achieve a full characterization. Assuming that a Lie group G $G$ has its Levi subgroups with finite center, we prove that in order for G $G$ to be Lie isomorphic to a definable group it is necessary and sufficient that its solvable radical satisfies the conditions given in (Conversano, Onshuus, and Starchenko, J. Inst. Math. Jussieu 17 (2018), no. 2, 441–452).