On Polish groups admitting a compatible complete left-invariant metric

2011 ◽  
Vol 76 (2) ◽  
pp. 437-447 ◽  
Author(s):  
Maciej Malicki
Keyword(s):  
Invariant Metric ◽  
Borel Space ◽  
Polish Groups ◽  
Standard Borel Space

AbstractWe prove that the set of all Polish groups admitting a compatible complete left-invariant metric (called CLI) is coanalytic non-Borel as a subset of a standard Borel space of all Polish groups. As an application of this result, we show that there does not exist a weakly universal CLI group. This, in particular, answers in the negative a question of H.Becker.

A Metamathematical Condition Equivalent to the Existence of a Complete Left Invariant Metric for a Polish Group

2006 ◽  
Vol 71 (4) ◽  
pp. 1108-1124 ◽  
Author(s):  
Alex Thompson
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Invariant Metrics ◽  
Orbit Equivalence ◽  
Invariant Metric ◽  
Continuous Action ◽  
Polish Groups ◽  
Polish Group ◽  
Left Invariant Metrics

AbstractStrengthening a theorem of Hjorth this paper gives a new characterization of which Polish groups admit compatible complete left invariant metrics. As a corollary it is proved that any Polish group without a complete left invariant metric has a continuous action on a Polish space whose associated orbit equivalence relation is not essentially countable.

Bi-Borel reducibility of essentially countable Borel equivalence relations

2005 ◽  
Vol 70 (3) ◽  
pp. 979-992 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space ◽  
Borel Reducibility ◽  
New Feature ◽  
Borel Probability ◽  
Image Position

This note answers a questions from [2] by showing that considered up to Borel reducibility, there are more essentially countable Borel equivalence relations than countable Borel equivalence relations. Namely:Theorem 0.1. There is an essentially countable Borel equivalence relation E such that for no countable Borel equivalence relation F (on a standard Borel space) do we haveThe proof of the result is short. It does however require an extensive rear guard campaign to extract from the techniques of [1] the followingMessy Fact 0.2. There are countable Borel equivalence relationssuch that:(i) eachExis defined on a standard Borel probability space (Xx, μx); each Ex is μx-invariant and μx-ergodic;(ii) forx1 ≠ x2 and A μxι -conull, we haveExι/Anot Borel reducible toEx2;(iii) if f: Xx → Xxis a measurable reduction ofExto itself then(iv)is a standard Borel space on which the projection functionis Borel and the equivalence relation Ê given byif and only ifx = x′ andzExz′ is Borel;(V)is Borel.We first prove the theorem granted this messy fact. We then prove the fact.(iv) and (v) are messy and unpleasant to state precisely, but are intended to express the idea that we have an effective parameterization of countable Borel equivalence relations by points in a standard Borel space. Examples along these lines appear already in the Adams-Kechris constructions; the new feature is (iii).Simon Thomas has pointed out to me that in light of theorem 4.4 [5] the Gefter-Golodets examples of section 5 [5] also satisfy the conclusion of 0.2.

scholarly journals Amenable versus hyperfinite Borel equivalence relations

1993 ◽  
Vol 58 (3) ◽  
pp. 894-907 ◽  
Author(s):  
Alexander S. Kechris
Keyword(s):  
Probability Measure ◽  
Equivalence Relation ◽  
Borel Probability Measure ◽  
Amenable Group ◽  
Countable Group ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space

LetXbe a standard Borel space (i.e., a Polish space with the associated Borel structure), and letEbe acountableBorel equivalence relation onX, i.e., a Borel equivalence relationEfor which every equivalence class [x]Eis countable. By a result of Feldman-Moore [FM],Eis induced by the orbits of a Borel action of a countable groupGonX.The structure of general countable Borel equivalence relations is very little understood. However, a lot is known for the particularly important subclass consisting of hyperfinite relations. A countable Borel equivalence relation is calledhyperfiniteif it is induced by a Borel ℤ-action, i.e., by the orbits of a single Borel automorphism. Such relations are studied and classified in [DJK] (see also the references contained therein). It is shown in Ornstein-Weiss [OW] and Connes-Feldman-Weiss [CFW] that for every Borel equivalence relationEinduced by a Borel action of a countable amenable groupGonXand for every (Borel) probability measure μ onX, there is a Borel invariant setY⊆Xwith μ(Y) = 1 such thatE↾Y(= the restriction ofEtoY) is hyperfinite. (Recall that a countable group G isamenableif it carries a finitely additive translation invariant probability measure defined on all its subsets.) Motivated by this result, Weiss [W2] raised the question of whether everyEinduced by a Borel action of a countable amenable group is hyperfinite. Later on Weiss (personal communication) showed that this is true forG= ℤn. However, the problem is still open even for abelianG. Our main purpose here is to provide a weaker affirmative answer for general amenableG(and more—see below). We need a definition first. Given two standard Borel spacesX, Y, auniversally measurableisomorphism betweenXandYis a bijection ƒ:X→Ysuch that both ƒ, ƒ-1are universally measurable. (As usual, a mapg:Z→W, withZandWstandard Borel spaces, is calleduniversally measurableif it is μ-measurable for every probability measure μ onZ.) Notice now that to assert that a countable Borel equivalence relation onXis hyperfinite is trivially equivalent to saying that there is a standard Borel spaceYand a hyperfinite Borel equivalence relationFonY, which isBorelisomorphic toE, i.e., there is a Borel bijection ƒ:X→YwithxEy⇔ ƒ(x)Fƒ(y). We have the following theorem.

scholarly journals Minimal definable graphs of definable chromatic number at least three

2021 ◽  
Vol 9 ◽  
Author(s):  
Raphaël Carroy ◽  
Benjamin D. Miller ◽  
David Schrittesser ◽  
Zoltán Vidnyánszky
Keyword(s):  
Chromatic Number ◽  
Analogous Result ◽  
Vertex Degree ◽  
Borel Space ◽  
Standard Borel Space

Abstract We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property and show that the analogous result for digraphs fails.

scholarly journals Coboundaries of commuting Borel automorphisms

2021 ◽  
Vol 41 (5) ◽  
pp. 667-683
Author(s):  
Shrey Sanadhya
Keyword(s):  
Borel Space ◽  
Standard Borel Space

We show that if \(S\), \(T\) are two commuting automorphisms of a standard Borel space such that they generate a free Borel \(\mathbb{Z}^2\)-action then \(S\) and \(T\) do not have same sets of real valued bounded coboundaries. We also prove a weaker form of Rokhlin Lemma for Borel \(\mathbb{Z}^d\)-actions.

scholarly journals BROOKS’ THEOREM FOR MEASURABLE COLORINGS

2016 ◽  
Vol 4 ◽  
Author(s):  
CLINTON T. CONLEY ◽  
ANDREW S. MARKS ◽  
ROBIN D. TUCKER-DROB
Keyword(s):  
Probability Measure ◽  
Cayley Graphs ◽  
Borel Probability Measure ◽  
Group Actions ◽  
New Technique ◽  
Borel Space ◽  
Standard Borel Space ◽  
List Colorings ◽  
A New Technique ◽  
Borel Probability

We generalize Brooks’ theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d\geqslant 3$ which contains no $(d+1)$-cliques, then $G$ admits a ${\it\mu}$-measurable $d$-coloring with respect to any Borel probability measure ${\it\mu}$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$-colorings of Cayley graphs of degree $d$, except in two exceptional cases.

scholarly journals Unitarizability, Maurey–Nikishin factorization, and Polish groups of finite type

2020 ◽  
Vol 2020 (758) ◽  
pp. 223-251
Author(s):  
Hiroshi Ando ◽  
Yasumichi Matsuzawa ◽  
Andreas Thom ◽  
Asger Törnquist
Keyword(s):  
Hilbert Space ◽  
Finite Type ◽  
Unitary Group ◽  
Discrete Group ◽  
Separable Hilbert Space ◽  
Invariant Metric ◽  
Polish Groups ◽  
Continuous Maps ◽  
Equivariant Version ◽  
Uniformly Bounded

AbstractLet Γ be a countable discrete group, and let {\pi\colon\Gamma\to{\rm{GL}}(H)} be a representation of Γ by invertible operators on a separable Hilbert space H. We show that the semidirect product group {G=H\rtimes_{\pi}\Gamma} is SIN (G admits a two-sided invariant metric compatible with its topology) and unitarily representable (G embeds into the unitary group {\mathcal{U}(\ell^{2}(\mathbb{N}))}) if and only if π is uniformly bounded, and that π is unitarizable if and only if G is of finite type, that is, G embeds into the unitary group of a {\mathrm{II}_{1}}-factor. Consequently, we show that a unitarily representable Polish SIN group need not be of finite type, answering a question of Sorin Popa. The key point in our argument is an equivariant version of the Maurey–Nikishin factorization theorem for continuous maps from a Hilbert space to the space {L^{0}(X,m)} of all measurable maps on a probability space.

scholarly journals Cardinal invariants of Haar null and Haar meager sets

2020 ◽  
pp. 1-27
Author(s):  
Márton Elekes ◽  
Márk Poór
Keyword(s):  
Borel Probability Measure ◽  
Invariant Metric ◽  
Locally Compact ◽  
Compact Metric Space ◽  
Borel Set ◽  
Polish Groups ◽  
Polish Group ◽  
Cardinal Invariants ◽  
Borel Probability ◽  
Meager Sets

A subset X of a Polish group G is Haar null if there exists a Borel probability measure μ and a Borel set B containing X such that μ(gBh) = 0 for every g, h ∈ G. A set X is Haar meager if there exists a compact metric space K, a continuous function f : K → G and a Borel set B containing X such that f−1(gBh) is meager in K for every g, h ∈ G. We calculate (in ZFC) the four cardinal invariants (add, cov, non, cof) of these two σ-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb {Z}^\omega$ . In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Vidnyánszky.

scholarly journals On Polish groups admitting non-essentially countable actions

2020 ◽  
pp. 1-15
Author(s):  
ALEXANDER S. KECHRIS ◽  
MACIEJ MALICKI ◽  
ARISTOTELIS PANAGIOTOPOULOS ◽  
JOSEPH ZIELINSKI
Keyword(s):  
Equivalence Relation ◽  
Isometry Group ◽  
Alternative Proof ◽  
Orbit Equivalence ◽  
Locally Compact ◽  
Continuous Action ◽  
Polish Groups ◽  
Infinite Dimensional ◽  
Open Question ◽  
New Criterion

Abstract It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-archimedean Polish groups, for which we provide an alternative proof based on a new criterion for non-essential countability. Finally, we provide the following variant of a theorem of Solecki: every infinite-dimensional Banach space has a continuous action whose orbit equivalence relation is Borel but not essentially countable.

Sign in / Sign up

Export Citation Format

Share Document