English
Related papers

Related papers: On compactifications and the topological dynamics …

200 papers

Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…

Logic · Mathematics 2025-05-13 Françoise Point

For every topological group G one can define the universal minimal compact G-space X=M_G characterized by the following properties: (1) X has no proper closed G-invariant subsets; (2) for every compact G-space Y there exists a G-map X-->Y.…

General Topology · Mathematics 2021-08-27 Vladimir Uspenskij

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Logic · Mathematics 2021-11-09 Pablo Andújar Guerrero

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Logic · Mathematics 2012-02-28 Pantelis Eleftheriou , Ya'acov Peterzil

We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type…

Logic · Mathematics 2020-07-24 Francoise Point

Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on…

Dynamical Systems · Mathematics 2022-09-29 Michael Megrelishvili

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

General Topology · Mathematics 2017-05-26 Alejandro Dorantes-Aldama , Dmitri Shakhmatov

This paper is about the $dfg$/$fsg$ decomposition for groups $G$ definable in $p$-adically closed fields. It is proved that for $G$ definably amenable, $G$ has a definable normal $dfg$ subgroup $H$ such that the quotient $G/H$ is a…

Logic · Mathematics 2026-01-29 Anand Pillay , Ningyuan Yao , Zhentao Zhang

We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…

Logic · Mathematics 2011-01-11 Anand Pillay

Topological dynamical systems $(X,T)$ are actions $T \times X \to X$, given as $(t, x) \to tx$, on a compact, Hausdorff topological space $X$ with $T$ as an acting group or monoid. We take up the property of topological transitivity…

Dynamical Systems · Mathematics 2021-11-30 Anima Nagar

Every topological group $G$ has up to isomorphism a unique minimal $G$-flow that maps onto every minimal $G$-flow, the universal minimal flow $M(G).$ We show that if $G$ has a compact normal subgroup $K$ that acts freely on $M(G)$ and there…

Dynamical Systems · Mathematics 2021-03-23 Dana Bartošová

We study definable topological dynamics of some algebraic group actions over an arbitrary NIP field $K$. We show that the Ellis group of the universal definable flow of $\mathrm{SL}_2(K)$ is non-trivial if the multiplicative group of $K$ is…

Logic · Mathematics 2020-10-29 Grzegorz Jagiella

We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…

Logic · Mathematics 2023-05-29 Ya'acov Peterzil , Anand Pillay , Francoise Point

We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…

Logic · Mathematics 2026-04-13 Anand Pillay , Françoise Point , Silvain Rideau-Kikuchi

Given a separable metrisable space X, and a group G of homeomorphisms of X, we introduce a topological property of the action of G on X which is equivalent to the existence of a G-invariant compatible metric on X. This extends a result of…

Logic · Mathematics 2015-11-30 Itaï Ben Yaacov , Julien Melleray

We introduce a non commutative analog of the Bohr compactification. Starting from a general quantum group G we define a compact quantum group bG which has a universal property such as the universal property of the classical Bohr…

Operator Algebras · Mathematics 2007-07-17 P. M. Sołtan

We discuss the Bohr compactification of a pseudofinite group, motivated by a question of Boris Zilber. Basically referring to results in the literature we point out (i) the Bohr compactification of an ultraproduct of finite simple groups is…

Logic · Mathematics 2015-09-10 Anand Pillay

We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$…

Logic · Mathematics 2007-05-23 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

We define recurrence for a compactly generated para-topological group $G$ acting continuously on a locally compact Hausdorff space $X$ with $\dim X=0$, and then, show that if $\overline{Gx}$ is compact for all $x\in X$, the conditions (i)…

Dynamical Systems · Mathematics 2022-07-26 Xiongping Dai