English
Related papers

Related papers: Borel actions of Polish groups

200 papers

We prove the Borel Conjecture for a class of groups containing word-hyperbolic groups and groups acting properly, isometrically and cocompactly on a finite dimensional CAT(0)-space.

Geometric Topology · Mathematics 2010-03-26 Arthur Bartels , Wolfgang Lueck

We prove that in Borel models of arithmetic on an uncountable Polish space, neither addition nor multiplication is continuous. This is an analogue of Tennenbaum's Theorem for topological models of arithmetic. This answers a question of…

Logic · Mathematics 2023-11-27 Elliot Glazer

We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a…

Operator Algebras · Mathematics 2013-01-31 George A. Elliott , Ilijas Farah , Vern Paulsen , Christian Rosendal , Andrew S. Toms , Asger Törnquist

Let $\Aut(G)$ denote the group of (bi-)continuous automorphisms %and $\Out(G)$ the outer automorphism group of a non-Archimedean Polish group~$G$. We show that for any such $G$ with an invariant countable basis of open subgroups, the group…

Logic · Mathematics 2025-12-16 Andre Nies , Philipp Schlicht

We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel subsets of the plane using products of continuous functions.…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We prove an almost continuous version of Dye's theorem: any two non-atomic probability measure preserving homeomorphisms of Polish spaces are almost continuously orbit equivalent. More precisely they are orbit equivalent by a map which is…

Dynamical Systems · Mathematics 2007-05-23 Andres del Junco , Ayse A. Sahin

We show that the continuum hypothesis implies that every measure preserving near-action of a group on a standard Borel probability space $(X,\mu)$ has a pointwise implementation by Borel measure preserving automorphisms.

Logic · Mathematics 2009-10-04 Asger Tornquist

Let $G$ be a reductive group over an algebraically closed subfield $k$ of $\mathbb{C}$ of characteristic zero, $H \subseteq G$ an observable subgroup normalized by a maximal torus of $G$ and $X$ an affine $k$-variety acted on by $G$. Popov…

Algebraic Geometry · Mathematics 2019-02-20 Gergely Bérczi

We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion…

Logic · Mathematics 2019-08-16 Samuel Coskey , Tamás Mátrai , Juris Steprāns

We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…

Logic · Mathematics 2018-12-06 Riccardo Camerlo , Alberto Marcone , Luca Motto Ros

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If…

Logic · Mathematics 2021-03-05 Takayuki Kihara , Kenta Sasaki

A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular)…

General Topology · Mathematics 2019-01-31 Taras Banakh , Alex Ravsky

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…

Group Theory · Mathematics 2017-10-31 Michael P. Cohen

Given a Polish group $G$, let $E(G)$ be the right coset equivalence relation $G^\omega/c(G)$, where $c(G)$ is the group of all convergent sequences in $G$. The connected component of the identity of a Polish group $G$ is denoted by $G_0$.…

Logic · Mathematics 2025-04-16 Longyun Ding , Yang Zheng

We introduce the concept of an $\mathrm{L}^{1}$ full group associated with a measure-preserving action of a Polish normed group on a standard probability space. These groups carry a natural Polish group topology induced by an $\mathrm{L}^1$…

Dynamical Systems · Mathematics 2025-04-17 François Le Maître , Konstantin Slutsky

We prove the following isoperimetric type inequality: Given a finite absolutely continuous Borel measure on ${\mathbb R}^n$, halfspaces have maximal measure among all subsets with prescribed barycenter. As a consequence, we make progress…

Probability · Mathematics 2025-07-11 Shoni Gilboa , Pazit Haim-Kislev , Boaz Slomka

We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a…

Dynamical Systems · Mathematics 2025-09-19 Filippo Sarti , Alessio Savini

We show that all non-trivial continuous endomorphisms of the circle group are topologically mixing. We also show that there exists a large infinite class of continuous endomorphisms of any n-dimensional torus group which are topologically…

Dynamical Systems · Mathematics 2016-06-23 John R. Burke , Leonardo Pinheiro

A Polish group is surjectively universal if it can be continuously homomorphically mapped onto every Polish group. Making use of a type of new metrics on free groups \cite{DG}, we prove the existence of surjectively universal Polish groups,…

Logic · Mathematics 2011-09-13 Longyun Ding

We show that the uniform measure-theoretic ergodic decomposition of a countable Borel equivalence relation $(X, E)$ may be realized as the topological ergodic decomposition of a continuous action of a countable group $\Gamma…

Logic · Mathematics 2023-06-22 Ruiyuan Chen