English
Related papers

Related papers: On minimal flows. definably amenable groups, and o…

200 papers

We prove that weak amenability of a locally compact group imposes a strong condition on its amenable closed normal subgroups. This extends non weak amenability results of Haagerup (1988) and Ozawa--Popa (2010). A von Neumann algebra…

Operator Algebras · Mathematics 2015-01-14 Narutaka Ozawa

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…

Group Theory · Mathematics 2012-11-21 Elias Baro , Eric Jaligot , Margarita Otero

We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along…

Logic · Mathematics 2009-05-12 Elias Baro

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

Logic · Mathematics 2024-02-06 Will Johnson , Ningyuan Yao

We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…

Logic · Mathematics 2021-06-01 Slavko Moconja , Predrag Tanović

We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…

Logic · Mathematics 2010-06-02 E. Baro , E. Jaligot , M. Otero

We introduce the notions of definable amenability and extreme definable amenability for groups in continuous structures and conduct an extensive analysis of them, drawing parallels with the classical first-order case. We characterize both…

Logic · Mathematics 2025-04-03 Juan Felipe Carmona , Alf Onshuus

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

Logic · Mathematics 2010-09-28 Alessandro Berarducci , Antongiulio Fornasiero

We discuss definable compactifications and topological dynamics. For G a group definable in some structure M, we define notions of "definable" compactification of G and "definable" action of G on a compact space X (definable G-flow), where…

Logic · Mathematics 2012-12-14 Jakub Gismatullin , Davide Penazzi , Anand Pillay

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Logic · Mathematics 2020-09-08 Artur Piȩkosz

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 establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…

Logic · Mathematics 2018-07-20 Pantelis E. Eleftheriou

We describe the greatest ambit and the universal minimal flow as spaces of near ultrafilters. We translate other notions of topological dynamics into this language and show how this approach simplifies some known proofs. We provide a simple…

Dynamical Systems · Mathematics 2013-05-06 Dana Bartošová

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

Logic · Mathematics 2023-07-25 Annalisa Conversano

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

Logic · Mathematics 2019-09-18 Pierre Simon , Erik Walsberg

In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous…

Logic · Mathematics 2018-12-14 Alf Onshuus , Luis Carlos Suárez

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…

Logic · Mathematics 2019-11-12 Bruno Dinis , Mário J. Edmundo , Marcello Mamino

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…

Logic · Mathematics 2009-11-12 Alfred Dolich , John Goodrick , David Lippel

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

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