English
Related papers

Related papers: Topological dynamics and the complexity of strong …

200 papers

Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$,…

Logic · Mathematics 2018-08-27 Aleksandra Kwiatkowska , Maciej Malicki

We show that the topological full group of a Hausdorff ample groupoid with compact unit space coincides with the group of homotopy classes of invertible isometries in pseudofunction algebras associated with the groupoid. Moreover, if the…

Operator Algebras · Mathematics 2025-11-19 Eusebio Gardella , Mathias Palmstrøm , Hannes Thiel

We give a model-theoretic treatment of the fundamental results of Kechris-Pestov-Todor\v{c}evi\'{c} theory in the more general context of automorphism groups of not necessarily countable structures. One of the main points is a description…

Logic · Mathematics 2022-10-18 Krzysztof Krupinski , Anand Pillay

We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For…

Logic · Mathematics 2021-08-24 Alexander S. Kechris , Andree Nies , Katrin Tent

We establish a characterization of amenability for general Hausdorff topological groups in terms of matchings with respect to finite uniform coverings. Furthermore, we prove that it suffices to just consider two-element uniform coverings.…

Group Theory · Mathematics 2018-10-16 Friedrich Martin Schneider , Andreas Thom

We present a simple approach to questions of topological orbit equivalence for actions of countable groups on topological and smooth manifolds. For example, for any action of a countable group $\Gamma$ on a topological manifold where the…

Dynamical Systems · Mathematics 2007-05-23 David Fisher , Kevin Whyte

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…

Logic · Mathematics 2012-04-17 Krzysztof Krupinski , Anand Pillay , Slawomir Solecki

We extend some recent results about bounded invariant equivalence relations and invariant subgroups of definable groups: we show that type-definability and smoothness are equivalent conditions in a wider class of relations than heretofore…

Logic · Mathematics 2018-10-25 Tomasz Rzepecki

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie…

General Topology · Mathematics 2015-01-14 Arkady Leiderman , Sidney A. Morris , Mikhail G. Tkachenko

A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann…

Operator Algebras · Mathematics 2007-09-03 Thierry Giordano , Vladimir Pestov

A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for…

Dynamical Systems · Mathematics 2020-09-22 Matthew Foreman

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Logic · Mathematics 2025-06-18 Gabriel Conant , Ehud Hrushovski , Anand Pillay

We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute…

General Topology · Mathematics 2020-12-15 Jan Dudák , Benjamin Vejnar

We extend the circle of ideas from a previous paper on hypersurfaces to functions $f \colon (\mathbb C^n, 0) \to (\mathbb C^k, 0)$ with an isolated singularity in a stratified sense on an arbitrary, but fixed complex analytic germ $(X, 0)$.…

Algebraic Geometry · Mathematics 2024-11-06 Matthias Zach

This survey is focused on the results related to topologies on the groups of transformations in ergodic theory, Borel, and Cantor dynamics. Various topological properties (density, connectedness, genericity) of these groups and their…

Dynamical Systems · Mathematics 2011-11-10 S. Bezuglyi , J. Kwiatkowski , K. Medynets

A classical result of Schur of 1904 shows that an infinite (discrete) group $E$ with finite central quotient $E/Z(E)$ should have finite derived subgroup $[E,E]$. Schur's Theorem has many important consequences, which have been extensively…

Group Theory · Mathematics 2026-05-07 Sonia L'Innocente , Francesco G. Russo , Ilaria Svampa

In this paper we study the Lascar group over a hyperimaginary e. We verify that various results about the group over a real set still hold when the set is replaced by e. First of all, there is no written proof in the available literature…

Logic · Mathematics 2024-08-13 Byunghan Kim , Hyoyoon Lee

We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.

Logic · Mathematics 2007-09-03 A. S. Kechris , V. G. Pestov , S. Todorcevic

We consider definable topological dynamics for $NIP$ groups admitting certain decompositions in terms of specific classes of definably amenable groups. For such a group, we find a description of the Ellis group of its universal definable…

Logic · Mathematics 2019-02-20 Grzegorz Jagiella

Many branches of theoretical and applied mathematics require a quantifiable notion of complexity. One such circumstance is a topological dynamical system - which involves a continuous self-map on a metric space. There are many notions of…

Category Theory · Mathematics 2024-03-12 Suddhasattwa Das