Related papers: A definability criterion for connected Lie groups

We demonstrate the following uniform local definable cell decomposition theorem in this paper. Consider a structure $\mathcal M = (M, <,0,+, \ldots)$ elementarily equivalent to a locally o-minimal expansion of the group of reals $(\mathbb…

For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…

Let $M$ be a simply connected pseudo-Riemannian homogeneous space of finite volume with isometry group $G$. We show that $M$ is compact and that the solvable radical of $G$ is abelian and the Levi factor is a compact semisimple Lie group…

A space X is said to be Lipschitz 1-connected if every L-Lipschitz loop in X bounds a O(L)-Lipschitz disk. A Lipschitz 1-connected space admits a quadratic isoperimetric inequality, but it is unknown whether the converse is true. Cornulier…

Lie theory is, beyond any doubt, an absolutely essential part of differential geometry. It is therefore necessary to seek its generalization to $\mathbb{Z}$-graded geometry. In particular, it is vital to construct non-trivial and explicit…

Our aim is to precisely present a tame topology counterpart to canonical stratification of a Lie groupoid. We consider a definable Lie groupoid in semialgebraic, subanalytic, o-minimal over $\mathbb{R}$, or more generally, Shiota's…

Invariance and equivariance to geometrical transformations have proven to be very useful inductive biases when training (convolutional) neural network models, especially in the low-data regime. Much work has focused on the case where the…

We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every abstract…

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…

First let $G$ be a completely solvable Lie group. We recall the proof of the following result: Any closed subgroup of $G$ possesses a unique syndetic hull in $G$. As a consequence we conclude that any uniform subgroup $\Gamma$ of $G$ is…

We study locally compact contractive local groups, that is, locally compact local groups with a contractive pseudo-automorphism. We prove that if such an object is locally connected, then it is locally isomorphic to a Lie group. We also…

Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…

We provide an algebraic characterization of transitive, finite-dimensional algebraic Lie pseudogroups (or $\mathcal{D}$-groupoids) that are algebraic integrable, that is, isogenous to the action groupoid of an algebraic group action. Our…

Recall that a definable group is `definably amenable' if it admits a translation-invariant Keisler measure. We prove a combinatorial characterization of definable amenability for groups definable in NIP theories. More specifically, given a…

We study gradings by noncommutative groups on finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It is shown that if $L$ is gradeg by a non-abelian finite group $G$ then the solvable radical $R$ of…

For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic,…

Two groups are called isocategorical over a field $k$ if their respective categories of $k$-linear representations are monoidally equivalent. We classify isocategorical groups over arbitrary fields, extending the earlier classification of…

The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite…

Given any real-analytic CR manifold M, we provide general conditions on M guaranteeing that the group of all its global real-analytic CR automorphisms is a Lie group (in an appropriate topology). Our conditions are in particular satisfied…

If G is a connected linear algebraic group over the field k, a Levi factor of G is a reductive complement to the unipotent radical of G. If k has positive characteristic, G may have no Levi factor, or G may have Levi factors which are not…