Related papers: Finite central extensions of o-minimal groups
O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as Andr\'e-Oort conjecture. Among the many tools developed in…
Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.
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…
We prove the following version of Milnor's theorem on solvable groups of exponential growth: A finitely generated solvable group which is not polycyclic contains an ascending HNN extension. Consequently, a finitely generated solvable group…
Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…
We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a…
By recent work on some conjectures of Pillay, each definably compact group $G$ in a saturated o-minimal expansion of an ordered field has a normal ``infinitesimal subgroup'' $G^{00}$ such that the quotient $G/G^{00}$, equipped with the…
A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy,…
We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…
Results of Smale (1957) and Dugundji (1969) allow to compare the homotopy groups of two topological spaces $X$ and $Y$ whenever a map $f:X\to Y$ with strong connectivity conditions on the fibers is given. We apply similar techniques in…
We consider an almost o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$ and its tame extension $\mathcal N=(N,<,+,0,\ldots)$. We demonstrate that the subset $\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\}$ of $M^n$…
We introduce a generalization of the product expansion of a finite semigroup. As an application, we provide an alternative proof of the decidability of pointlike sets for pseudovarieties consisting of semigroups whose subgroups all belong…
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…
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational…
Let $ M_0 $ denote either the field structure $ \mathbb{Q}_p $ of $ p $-adic numbers, or an $o$-minimal expansion of the field structure $ \mathbb{R} $ of real numbers. We investigate the minimal flows and Ellis groups of definable groups…
We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.
The Bodirsky-Pinsker conjecture asserts a P vs. NP-complete dichotomy for the computational complexity of Constraint Satisfaction Problems (CSPs) of first-order reducts of finitely bounded homogeneous structures. Prominently, two structures…
A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…