Related papers: A definability criterion for connected Lie groups

We define a solvable extension of the graph 2-step nilpotent Lie algebras of [5] by adding elements corresponding to the 3-cliques of the graph. We study some of their basic properties and we prove that two such Lie algebras are isomorphic…

For a stratified group $G$, we construct a class of polarised Lie groups, which we call modifications of $G$, that are locally contactomorphic to it. Vice versa, we show that if a polarised group is locally contactomorphic to a stratified…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…

We show that for any coboundary Poisson Lie group G, the Poisson structure on G^* is linearizable at the group unit. This strengthens a result of Enriquez-Etingof-Marshall, who had established formal linearizability of G^* for…

We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any…

We show how a polar representation of a compact connected Lie group can be linearly determined from its dimension and isotropy subgroup data in the general reducible case.

This note aims to clarify what conditions on a connected Lie group G imply that its maximal connected normal solvable subgroup R intersects each lattice of G as a lattice in R.

The spectrum of a finite group is the set of its elements orders. Groups are said to be isospectral if their spectra coincide. For every finite simple exceptional group $L=E_7(q)$, we prove that each finite group isospectral to $L$ is…

We compute the covering dimension the asymptotic cone of a connected Lie group. For simply connected solvable Lie groups, this is the codimension of the exponential radical. As an application of the proof, we give a characterization of…

We consider the question of whether a given solvable Lie group admits a left-invariant metric of strictly negative Ricci curvature. We give necessary and sufficient conditions of the existence of such a metric for the Lie groups the…

In this paper, we study definably compact semigroups in o-minimal structures, aiming to extend the theory of definable groups to a broader algebraic setting. We show that any definably compact semigroup contains idempotents and admits a…

In this paper, we study the structures of finite groups using some arithmetic conditions on the sizes of real conjugacy classes. We prove that a finite group is solvable if the prime graph on the real class sizes of the group is…

We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…

We give a presentation of various results on zero-groups in o-minimal structures together with some new observations. In particular we prove that if G is a definably connected definably compact group in an o-minimal expansion of a real…

A pro-Lie group $G$ is a topological group such that $G$ is isomorphic to the projective limit of all quotient groups $G/N$ (modulo closed normal subgroups $N$) such that $G/N$ is a finite dimensional real Lie group. A topological group is…

We work in the category of locally definable groups in an o-minimal expansion of a field. Eleftheriou and Peterzil conjectured that every definably generated abelian connected group G in this category is a cover of a definable group. We…

Finite groups are said to be isospectral if they have the same sets of element orders. A finite nonabelian simple group $L$ is said to be almost recognizable by spectrum if every finite group isospectral to $L$ is an almost simple group…

In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie…

Ulam asked whether all Lie groups can be represented faithfully on a countable set. We establish a reduction of Ulam's problem to the case of simple Lie groups. In particular, we solve the problem for all solvable Lie groups and more…