More Polish full groups

The purpose of this paper is first to show that if X is any locally compact but not compact perfect Polish space and Open image in new window stands for the one-point compactification of X, while EX is the equivalence relation which is defined on the Polish group C(X,R+*) by Open image in new window where f, g are in C(X,R+*), then EX is induced by a turbulent Polish group action. Second we show that given any Open image in new window if we identify the n-dimensional unit sphere Sn with the one-point compactification of Rn via the stereographic projection, while En,r is the equivalence relation which is defined on the Polish group Cr(Rn,R+*) by Open image in new window where f, g are in Cr(Rn,R+*), then En,r is also induced by a turbulent Polish group action.

Bounded normal generation and invariant automatic continuity

Chapter 27 - Measures on Algebraic—Topological Structures

We prove two theorems in the ergodic theory of infinite permutation groups. First, generalizing a theorem of Nessonov for the infinite symmetric group, we show that every non-singular action of a non-archimedean, Roelcke precompact, Polish group on a measure space $(\Omega , \mu )$ admits an invariant $\sigma $-finite measure equivalent to $\mu $. Second, we prove the following de Finetti-type theorem: if $G \curvearrowright M$ is a primitive permutation group with no algebraicity verifying an additional uniformity assumption, which is automatically satisfied if $G$ is Roelcke precompact, then any $G$-invariant, ergodic probability measure on $Z^{M}$, where $Z$ is a Polish space, is a product measure.

In this work, we concern ourselves with particular topics in Polish space theory. We first consider the space A(U) of complex-analytic functions on an open set U endowed with the usual topology of uniform convergence on compact subsets. With the operations of point-wise addition and point-wise multiplication, A(U) is a Polish ring. Inspired by L. Bers' algebraic characterization of the relation of conformality, we show that the topology on A(U) is the only Polish topology for which A(U) is a Polish ring for a large class of U. This class of U includes simply connected regions, simply connected regions excluding a relatively discrete set of points, and other domains of usual interest. One thing that we deduce from this is that, even though C has many different Polish field topologies, as long as it sits inside another Polish ring with enough complex-analytic functions, it must have its usual topology. In a different direction, we show that the bounded complex-analytic functions on the unit disk admits no Polish topology for which it is a Polish ring. We also study the Lie ring structure on A(U) which turns out to be a Polish Lie ring with the usual topology. In this case, we restrict our attention to those domains U that are connected. We extend a result of I. Amemiya to see that the Lie ring structure is determined by the conformal structure of U. In a similar vein to our ring considerations, we see that, again for certain domains U of usual interest, the Lie ring A(U) has a unique Polish topology for which it is a Polish Lie ring. Again, the Lie ring A(U) imposes topological restrictions on C. That is, C must have its usual topology when sitting inside any Polish Lie ring isomorphic to A(U). In the last chapter, we introduce a new ideal of subsets of Polish spaces consisting of what we call residually null sets. From this ideal, we introduce an algebra consisting of what we call R-sets which is consistently a strict extension of the algebra of Baire property sets. We show that the algebra of R-sets is closed under the Alexandrov-Suslin operation and generalize Pettis' Theorem. From this, we provide new automatic continuity results and give a generalization of a result of D. Montgomery which shows that minimal assumptions on the continuity of group operations of an abstract group G with a Polish topology imply that G is actually a Polish group. We also see that many results pertaining to the algebra of Baire property sets generalize to the context of R-sets.

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 continuous, admits a natural Polish group topology which refines the subspace topology inherited from $\mathop{\rm Diff}_+^k(M)$. By contrast, the group $\mathop{\rm Diff}_+^{1+BV}(M)$, consisting of $C^1$ diffeomorphisms whose derivative has bounded variation, admits no Polish group topology whatsoever.

We show that all groups of a distinguished class of «large» topological groups, that of Roelcke precompact Polish groups, have Kazhdan’s Property (T). This answers a question of Tsankov and generalizes previous results by Bekka (for the infinite-dimensional unitary group) and by Evans and Tsankov (for oligomorphic groups). Further examples include the group \({{\,\mathrm{Aut}\,}}(\mu )\) of measure-preserving transformations of the unit interval and the group \({{\,\mathrm{Aut}\,}}^*(\mu )\) of non-singular transformations of the unit interval.More precisely, we prove that the smallest cocompact normal subgroup \(G^\circ \) of any given non-compact Roelcke precompact Polish group G has a free subgroup \(F\le G^\circ \) of rank two with the following property: every unitary representation of \(G^\circ \) without invariant unit vectors restricts to a multiple of the left-regular representation of F. The proof is model-theoretic and does not rely on results of classification of unitary representations. Its main ingredient is the construction, for any \(\aleph _0\)-categorical metric structure, of an action of a free group on a system of elementary substructures with suitable independence conditions.

It is proved that the groupoid of nonsingular partial isomorphisms of a Lebesgue space (X,μ) is weakly contractible in a “strong” sense: we present a contraction path which preserves invariant the subgroupoid of μ -preserving partial isomorphisms as well as the group of nonsingular transformations of X . Moreover, let \mathcal R be an ergodic measured discrete equivalence relation on X . The full group [\mathcal R] endowed with the uniform topology is shown to be contractible. For an approximately finite \mathcal R of type \mathit{II} or \mathit{III}_λ , 0≤λ<1 , the normalizer N[\mathcal R] of \mathcal R furnished with the natural Polish topology is established to be homotopically equivalent to the centralizer of the associated Poincaré flow. These are the measure theoretical analogues of the resent results of S. Popa and M. Takesaki on the topological structure of the unitary and the automorphism group of a factor.

Suppose a locally compact group G acts on a separable metrizable space M, preserving a finite measure #. Then there is an associated unitary representation of G on LZ(M,/~)o, the square integrable functions orthogonal to the constants. This representation will in general be far from irreducible, and in fact, when G is not compact need not have any irreducible subrepresentations. Thus, in the decomposition of LZ(G)o into irreducible constituents, one not only requires a direct integral rather than a direct sum, but the associated spectral measure on the unitary dual G (say for type I groups) will, except in special circumstances, have no atoms. The point of this paper is to give natural and general conditions, mostly involving just rq(M), under which there will be an infinite atomic spectrum. (I.e., the spectral measure has infinitely many atoms.) The basic example of actions in which the spectrum is purely atomic, i.e., when the representation is a direct sum of irreducible representations, is the case of M = G/F, where F c G is a cocompact discrete subgroup. In this case, assuming 9 G to be simply connected, we have 7tl(M ) = F. The first results of this paper show that when G is a simple Lie group with R-rank(G)=> 2, we can deduce that any action of G on a compact manifold M with fundamental group isomorphic to such a F, and satisfying a natural hypothesis of either a geometric or ergodic theoretic nature, must also have an infinite atomic spectrum. In fact, under certain natural hypotheses the same is true as long as there is a surjection of hi(M) onto F. To formulate this more precisely, let F c Ad(G) be a cocompact lattice, and let Pr be the unitary representation of Ad(G) on L2(Ad(G)/F)o . We recall that an action of a group on a manifold (or more generally on a standard space in the sense of [4]) is called engaging if there is no loss of ergodicity in passing to finite covers. (See I'4] for discussion.)

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the groups of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. This answers a question of Ben Yaacov, Berenstein and Melleray. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $\text{Aut}([0,1],\unicode[STIX]{x1D706})$, due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov.

We prove a pointwise ergodic theorem for quasi-probability-measure-preserving (quasi-pmp) locally countable measurable graphs, equivalently, Schreier graphs of quasi-pmp actions of countable groups. For ergodic graphs, the theorem gives an increasing sequence of Borel subgraphs with finite connected components over which the averages of any $L^1$ function converges to its expectation. This implies that every (not necessarily pmp) locally countable ergodic Borel graph on a standard probability space contains an ergodic hyperfinite subgraph. A consequence of this is that every ergodic treeable equivalence relation has an ergodic hyperfinite free factor. The pmp case of the main theorem was first proven by R. Tucker-Drob using a deep result from probability theory. Our proof is different: it is self-contained and applies more generally to quasi-pmp graphs. Among other things, it involves introducing a graph invariant concerning asymptotic averages of functions and a method of tiling a large part of the space with finite sets with prescribed properties. The non-pmp setting additionally exploits a new quasi-order called visibility to analyze the interplay between the Radon--Nikodym cocycle and the graph structure, providing a sufficient condition for hyperfiniteness.

In what circumstances does a given group carry a Polish group topology? (A metric, separable, complete topology is called Polish, and a topology is a group if multiplication and inverse are continuous.) Two natural interpretations of this question can be considered.

It is shown that every continuous unitary projective representation of a Polish group can be lifted to a Borel multiplier representation (i.e., to a representation “up to a Borel factor”) and that this, in turn, can be derived from a continuous (ordinary) representation of a Polish group obtained from a central topological extension of the group considered by the multiplicative group of all complex numbers of absolute value 1. One determines the factors of all Borel multiplier representations of the Bondi-Metzner-Sacks group when the subgroup of “supertranslations” is the additive group of a separable real Hilbert space.

We show that every locally compact Polish group is isomorphic to the isometry group of a proper separable metric space. This answers a question of Gao and Kechris. We also analyze the natural action of the isometry group of a separable ultrametric space on the space. This leads us to a structure theorem representing an arbitrary separable ultrametric space as a bundle with an ultrametric base and with ultrahomogeneous fibers which are invariant under the action of the isometry group.

Nous établissons que, pour tout groupe dénombrable abélien Γ et tout sous-groupe finiment engendré Δ de Γ, l’ensemble des actions de Δ sur un espace de probabilités standard (X,μ) qui peuvent être étendues en une action libre de Γ sur (X,μ) est générique (au sens de Baire). Ce résultat étend un théorème d’Ageev, qui correspond au cas où Δ est un groupe cyclique infini.