Related papers: Solvable Lie groups definable in o-minimal theorie…

The category of admissible (in the appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence…

We develop the structure theory of symplectic Lie groups based on the study of their isotropic normal subgroups. The article consists of three main parts. In the first part we show that every symplectic Lie group admits a sequence of…

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably…

In this paper, we introduce the solvabilizer and the solvable graph for a Lie superalgebra and establish their basic properties. Then we define a category which links Lie superalgebras to their solvable substructures. Afterwards, we prove…

Let $G$ be a connected exponential Lie group and $R$ be the solvable radical of $G$. We describe a condition on $G/R$ under which one can then conclude that $R$ is an exponential Lie group. The condition holds in particular when $G$ is a…

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…

Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.

We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

In the recent paper [A14], a geometric realization to minimal representations of simple real Lie groups of non Hermitian type is given, based on the geometric setting introduced in [A11]. We give in this paper a geometric realization to…

This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two…

New families of $E$-functions are described in the context of the compact simple Lie groups O(5) and G(2). These functions of two real variables generalize the common exponential functions and for each group, only one family is currently…

A brief proof of Lie's classification of solvable algebras of vector fields on the plane is given. The proof uses basic representation theory and PDEs.

We present an application of Hodge theory towards the study of irreducible unitary representations of reductive Lie groups. We describe a conjecture about such representations and discuss some progress towards its proof.

In this paper we define a new algebraic object: the disguised-groups. We show the main properties of the disguised-groups and, as a consequence, we will see that disguised-groups coincide with regular semigroups. We prove many of the…

A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and…

We study infinite approximate subgroups of soluble Lie groups. Generalising a theorem of Fried and Goldman we show that approximate subgroups are close, in a sense to be defined, to genuine connected subgroups. Building up on this result we…

The paper is devoted to the study of pro-solvable Lie algebras whose maximal pro-nilpotent ideal is either $\mathfrak{m}_0$ or $\mathfrak{m}_2$. Namely, we describe such Lie algebras and establish their completeness. Triviality of the…

There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…

Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…