Infinite-dimensional Polish groups and Property (T)

More Polish full groups

Some aspects of dimension theory for topological groups

Computable topological abelian groups

1. In view of the recent work on topological groups it is natural to consider the situation which arises when such groups act as transformation groups on various types of spaces. Such a study is begun here from the point of view of almost periodic transformation groups, the definition of which is suggested by von Neumann's paper on almost periodic functions in a group.t Compact topological transformation groups are a special case of almost periodic transformation groups, at least for a rather wide class of spaces. The paper concerns itself chiefly with the nature of the minimal closed invariant sets of such groups. There are some results for general spaces but the main results are for Euclidean spaces and more particularly for threedimensional Euclidean spaces. One of the most interesting theorems states that if a compact one-dimensional group acts on three-space in such a way that its orbits are uniformly bounded in diameter, then every point of the space is fixed under the group, so that if such a group is to act in a nontrivial manner the diameters of its orbits must be unbounded. Under some restrictions a similar theorem is proved for one-parameter almost periodic groups. Furthermore it is shown that for this latter class of groups, many of the orbits must actually be simple closed curves if they have one-dimensional closures. 2. The group considered here will be denoted by G. It will be subjected to various conditions as the occasion demands but it will always be Abelian. In case it is the group of real numbers, it will be spoken of as a one-parameter group; in case it is the real numbers reduced modulo one, it will be spoken of as the circle group. The space on which the group acts will be denoted by R. It will be specialized in various ways, but in any case it will always be a locally compact metric space. If x and y are two points of R, the distance between them will be denoted by d(x, y).

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

Comeagre conjugacy classes and free products with amalgamation

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.

Let G be a topological group, A unitary representation T of G in the Hubert space H is a homomorphism g → T(g) of G in the group of unitary operators on H (i.e. T(g1 g2) = T(g1) · T(g2). We also require the continuity of the maps from G to H given by g → T(g)x for every x ∈ H.KeywordsHilbert SpaceUnitary RepresentationMaslov IndexTheta SeriesSchmidt OperatorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Chapter 27 - Measures on Algebraic—Topological Structures

Spaces of maps into topological group with the Whitney topology

We replace measure with category in an argument of G. W. Mackey to characterize closed subgroups H of a totally nonmeager, 2nd countable topological group G in terms of the quotient Borel structure G/H.As a corollary, we obtain an improved version of a theorem of C. Ryll-Nardzewski on the Borel measurability of orbits in continuous actions by Polish groups.In [9], G. W. Mackey gave an argument using Haar measures to prove the following: Assume G is locally compact topological group.If H is a subgroup such that the space G/H, formed by giving the set of (left) H-cosets the quotient Borel structure, is countably separated, then H is closed in G.We will show that this result can be obtained by an analogous argument using the theory of Baire category.The category version has a wider application and shows that the above statement remains true under the weaker assumption that G is totally nonmeager.In particular, it holds whenever G is topologically complete (in the sense of Cech).As a corollary, we will prove that a well-known theorem of C. Ryll-Nardzewski on the Borel measurability of orbits in continuous actions by Polish (separable, completely metrizable) groups holds for Borel actions as well.We will also show that a recent result of R. Vaught on decompositions of invariant analytic sets has a similar extension to Borel actions.Each step in our main argument corresponds to an analogous step in Mackey's proof.The reader may find it interesting to compare our development with the proof of Theorem 7.2 in Mackey [9].Recall (cf.[2, IX,) that a topological group G which is not meager (first category) is a Baire space (i.e.no nonempty open subset of G is meager in G).G is totally nonmeager if no nonempty closed subset of G is meager in itself.Every topologically complete space, in particular every locally compact space and every completely metrizable space, is totally nonmeager (cf.[7, III, 8]).B E G is strictly Baire (or has the restricted Baire property)

We prove that there exists a countable metrizable topological group G G such that every countable metrizable group is isomorphic to a quotient of G G . The completion H H of G G is a Polish group such that every Polish group is isomorphic to a quotient of H H .

We show that the group of linear canonical transformations in a 2N-dimensional phase space is the real symplectic group Sp(2N), and discuss its unitary representation in quantum mechanics when the N coordinates are diagonal. We show that this Sp(2N) group is the well-known dynamical group of the N-dimensional harmonic oscillator. Finally, we study the case of n particles in a q-dimensional oscillator potential, for which N = nq, and discuss the chain of groups Sp(2nq)⊃Sp(2n)×O(q). An application to the calculation of matrix elements is given in a following paper.

A notion of amenability for an arbitrary unitary group representation is introduced. This unifies and generalizes the notions of amenable homogeneous spaces and of inner-amenable groups. Amenable locally compact groups are characterized by the amenability of all their unitary representations. Amenable representations are characterized by several properties which are operator theoretic analogues of properties characterizing amenable groups. We give a generalization to arbitrary representations of Hulanicki-Reiter theorem. This is used in order to describe the amenable representations of the groups with Kazhdan property (T).

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.