Related papers: Connected components of definable groups, and o-mi…

Motivated by the compactification process of the space of connections in loop quantum gravity literature. A description of the space of G-connections using the tangent groupoid is given. As the tangent groupoid parameter is away from zero,…

We show that the compact quotient $\Gamma\backslash\mathrm{G}$ of a seven-dimensional simply connected Lie group $\mathrm{G}$ by a co-compact discrete subgroup $\Gamma\subset\mathrm{G}$ does not admit any exact $\mathrm{G}_2$-structure…

In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…

We show that every dense subgroup of a connected Lie group G contains a dense subgroup generated by 2d elements, where d=dim(G). We also give a detailed proof for the quantitive characterization of a contracting projective transformation in…

It has been known since \cite{Pgroupchunk} that any group definable in an $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…

Let N be an o-minimal structure. In this paper we develop group extension and group cohomology theory over N and use it to describe the N-definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal'cev theorem and we…

The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized…

We introduce the Gaussian part of a compact quantum group $\mathbb{G}$, namely the largest quantum subgroup of $\mathbb{G}$ supporting all the Gaussian functionals of $\mathbb{G}$. We prove that the Gaussian part is always contained in the…

We study locally definable abelian groups $\CU$ in various settings and examine conditions under which the quotient of $\CU$ by a discrete subgroup might be definable. This turns out to be related to the existence of the type-definable…

We introduce and develop the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary…

Let $G$ be a connected, simply connected nilpotent Lie group, identified with a real algebraic subgroup of $\mathrm{UT}(n,\mathbb{R})$, and let $\Gamma$ be a lattice in $G$, with $\pi:G\to G/\Gamma$ the quotient map. For a semi-algebraic…

For a finite dimensional semisimple Lie algebra ${\frak{g}}$ and a root $q$ of unity in a field $k,$ we associate to these data a double quiver $\bar{\cal{Q}}.$ It is shown that a restricted version of the quantized enveloping algebras…

Let G be a group definable in an o-minimal structure M. We prove that the union of the Cartan subgroups of G is a dense subset of G. When M is an expansion of a real closed field we give a characterization of Cartan subgroups of G via their…

The goal of this paper is to study the geometry of the connected unit component of the real general linear Lie group $4$ dimensional $G_0$ as a Lorentzian and flat affine manifold. As the group $G_0$ is naturally equipped with a…

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of…

A topological group is (openly) almost-elliptic if it contains a(n open) dense subset of elements generating relatively-compact cyclic subgroups. We classify the (openly) almost-elliptic connected locally compact groups as precisely those…

Let $\Gamma$ be a finite group acting on a Lie group $G$. We consider a class of group extensions $1 \to G \to \hat{G} \to \Gamma \to 1$ defined by this action and a $2$-cocycle of $\Gamma$ with values in the centre of $G$. We establish and…

We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group, in general very largely…

In this short note we show that the path-connected component of the identity of the derived subgroup of a compact Lie group consists just of commutators. We also discuss an application of our main result to the homotopy type of the…

We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…