Isometry groups among topological groups

In this chapter we introduce several most important notions and constructions concerning topological groups and operations with them. In particular, we develop the technique of prenorms on groups, describe in detail the construction of the Raĭkov completion of a topological group, prove a theorem on embeddings of topological groups into groups of isometries in the topology of pointwise convergence. We also introduce the class of locally compact topological groups and provide the reader with the first basic facts about groups in this class (deeper results in this direction will be presented in Chapter 9). Then we define and study the important classes of !-narrowtopological groups and of precompact (equivalently, totally bounded) topological groups. We finish this chapter with the Hartman{Mycielski construction of an embedding of an arbitrary topological group into a connected, locally pathwise connected topological group.

We prove that, if $G$ is a second-countable topological group with a compatible right-invariant metric $d$ and $(\mu_{n})_{n \in \mathbb{N}}$ is a sequence of compactly supported Borel probability measures on $G$ converging to invariance with respect to the mass transportation distance over $d$ and such that $\left(\mathrm{spt} \, \mu_{n}, d\!\!\upharpoonright_{\mathrm{spt} \, \mu_{n}}, \mu_{n}\!\!\upharpoonright_{\mathrm{spt} \, \mu_{n}}\right)_{n \in \mathbb{N}}$ concentrates to a fully supported, compact $mm$-space $\left(X,d_{X},\mu_{X}\right)$, then $X$ is homeomorphic to a $G$-invariant subspace of the Samuel compactification of $G$. In particular, this confirms a conjecture by Pestov and generalizes a well-known result by Gromov and Milman on the extreme amenability of topological groups. Furthermore, we exhibit a connection between the average orbit diameter of a metrizable flow of an arbitrary amenable topological group and the limit of Gromov's observable diameters along any net of Borel probability measures UEB-converging to invariance over the group.

Let G be an arbitrary topological group. We prove that the cellularity of G is equal to the cellularity of the quotient space G / K {G/K} for every compact subgroup K of G.

Some aspects of dimension theory for topological groups

Chapter 21 - Homogeneous compacta

Introduction. This article is based upon a principle which is so standard that it is almost a cliche: The first step to understanding a nonlinear phenomenon is to define and study a suitable linear approximation. To be more specific, we shall describe some applications of this to the symmetry questions of topological transformation groups. Given a topological space X, let Homeo(^) denote the set of self-homeomorphisms of X. This is a group under composition of mappings. If G is an arbitrary group, then a group action of G on I is a homomorphism Homeo( X). Frequently we wish to impose some weak assumptions on <p. For example, if G is a topological group, then we might want cp to have suitable continuity properties. The usual assumption is that the map

We give a necessary and sufficient condition for equidistribution of continuous functions along monotone compact covers on locally compact spaces. We show the existence of equidistributed mappings along Bohr nets arising from group actions. Using almost periodic means, we give an analogue of Weyl’s equidistribution criterion for continuous functions with values in arbitrary topological groups. We prove van der Corput’s inequality on the lattice ℕm for vectors in Hilbert spaces, and use this inequality to extend Hlawka’s equidistribution theorem to functions on the lattice ℕm (m ≥ 1) with values in arbitrary topological groups.

Let E be a Banach space. The concept of n‐type overE is introduced here, generalizing the concept of type overE introduced by Krivine and Maurey. Let E″ be the second dual of E and fix . The function τ : E × ℝn → ℝ, defined by letting for all x ∈ E and all a1, …, an ∈ ℝ, defines an n‐type over E. Types that can be represented in this way are called double‐dual n‐types; we say that realizes τ. Let E be a (not necessarily separable) Banach space that does not contain ℓ1. We study the set of elements of that realize a given double‐dual n‐type over E. We show that the set of realizations of this n‐type is convex. This generalizes a result of Haydon and Maurey who showed that the set of realizations of a given 1‐type over a separable Banach space E is convex. The proof makes use of Henson′s language for normed space structures and uses ideas from mathematical logic, most notably the Löwenheim‐Skolem theorem.

Every separable Banach space admits an equivalent norm such that the unit ball with respect to this norm has at most countably many strongly extreme points.Every separable nonreflexive Banach space can be renormed so that its unit ball has at most countably many weakly strongly extreme points.

This book provides a general framework for doing geometric group theory for many non-locally-compact topological transformation groups that arise in mathematical practice, including homeomorphism and diffeomorphism groups of manifolds, isometry groups of separable metric spaces and automorphism groups of countable structures. Using Roe's framework of coarse structures and spaces, the author defines a natural coarse geometric structure on all topological groups. This structure is accessible to investigation, especially in the case of Polish groups, and often has an explicit description, generalising well-known structures in familiar cases including finitely generated discrete groups, compactly generated locally compact groups and Banach spaces. In most cases, the coarse geometric structure is metrisable and may even be refined to a canonical quasimetric structure on the group. The book contains many worked examples and sufficient introductory material to be accessible to beginning graduate students. An appendix outlines several open problems in this young and rich theory.

We establish a general framework for representability of a metric group on a (well-behaved) class of Banach spaces. More precisely, let G \mathcal {G} be a topological group, and A \mathcal {A} a unital symmetric C ∗ C^* -subalgebra of U C ( G ) \mathrm {UC}(\mathcal {G}) , the algebra of bounded uniformly continuous functions on G \mathcal {G} . Generalizing the notion of a stable metric, we study A \mathcal {A} -metrics δ \delta , i.e., the function δ ( e , ⋅ ) \delta (e, \cdot ) belongs to A \mathcal {A} ; the case A = W A P ( G ) \mathcal {A}=W\hskip -0.7mm A\hskip -0.2mm P(\mathcal {G}) , the algebra of weakly almost periodic functions on G \mathcal {G} , recovers stability. If the topology of G G is induced by a left invariant metric d d , we prove that A \mathcal {A} determines the topology of G \mathcal {G} if and only if d d is uniformly equivalent to a left invariant A \mathcal {A} -metric. As an application, we show that the additive group of C [ 0 , 1 ] C[0,1] is not reflexively representable; this is a new proof of Megrelishvili [ Topological transformation groups: selected topics , Elsevier, 2007, Question 6.7] (the problem was already solved by Ferri and Galindo [Studia Math. 193 (2009), pp. 99–108] with different methods and later the results were generalized by Yaacov, Berenstein, and Ferri [Math. Z. 267 (2011), pp.129–138]). Let now G \mathcal {G} be a metric group, and assume A ⊆ L U C ( G ) \mathcal {A}\subseteq \mathrm {LUC}(\mathcal {G}) , the algebra of bounded left uniformly continuous functions on G \mathcal {G} , is a unital C ∗ C^* -algebra which is the uniform closure of coefficients of representations of G \mathcal {G} on members of F \mathscr {F} , where F \mathscr {F} is a class of Banach spaces closed under ℓ 2 \ell _2 -direct sums. We prove that A \mathcal {A} determines the topology of G \mathcal {G} if and only if G \mathcal {G} embeds into the isometry group of a member of F \mathscr {F} , equipped with the weak operator topology. As applications, we obtain characterizations of unitary and reflexive representability.

In the present paper, the continuous Hu cohomology with coefficients is defined in an arbitrary topological abelian group. The aim of this work is to find the connection between this cohomology and the Alexander–Spanier cohomology for different groups of coefficients.

Weak ∗-Polish Banach spaces

Several duality theorems concerning Schauder bases in locally convex spaces have analogues in the theory of Markuschevich bases. For example, a locally convex space with a Markuschevich basis is semireflexive iff the basis is shrinking and boundedly complete. The strong existence Theorem III.1 for Markuschevich bases allows us to show that a separable Banach space is isomorphic to a conjugate space iff it admits a boundedly complete Markuschevich basis, and that a separable Banach space has the metric approximation property iff it admits a Markuschevich basis which is a generalized summation basis in the sense of Kadec.

We state a simple fact relating some continuity and homomorphy properties of an internal mapping between nonstandard extensions of topological groups and the nonstandard extension of the “observable trace” of the map, which can be interpreted as a kind of stability principle. This leads to a strengthening of two formerly proved (standard) stability results (a global one and a local one) along with simplifying their proofs. We show that every “sufficiently continuous,” “reasonably bounded” and “sufficiently homomorphic” mapping from a locally compact to an arbitrary topological group is “arbitrarily close” to a continuous homomorphism between them.