Cellularity in quotient spaces of topological groups

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.

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.

It is shown that a topological group G is topologically isomorphic to the isometry group of a (complete) metric space iff G coincides with its G-delta-closure in the Rajkov completion of G (resp. if G is Rajkov-complete). It is also shown that for every Polish (resp. compact Polish; locally compact Polish) group G there is a complete (resp. proper) metric d on X inducing the topology of X such that G is isomorphic to Iso(X,d) where X = l_2 (resp. X = Q; X = Q\{point} where Q is the Hilbert cube). It is demonstrated that there are a separable Banach space E and a nonzero vector e in E such that G is isomorphic to the group of all (linear) isometries of E which leave the point e fixed. Similar results are proved for an arbitrary complete topological group.

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.

Some aspects of dimension theory for topological groups

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.

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

The path component space of a topological space $X$ is the quotient space $\pi_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight $w(Y)=w(X)$ such that the natural quotient map $Y\to \pi_0(Y)=X$ is a perfect map. Hence, many topological properties of $X$ transfer to $Y$. We apply this result to construct a compact space $X\subset \mathbb{R}^3$ for which the fundamental group $\pi_1(X,x_0)$ is an uncountable, cosmic, $k_{\omega}$-topological group but for which the canonical homomorphism $\psi:\pi_1(X,x_0)\to \check{\pi}_1(X,x_0)$ to the first shape homotopy group is trivial.

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.

In this paper, we study topological groups having all closed subgroups (totally) minimal and we call such groups c-(totally) minimal. We show that a locally compact c-minimal connected group is compact. Using a well-known theorem of [P. Hall and C. R. Kulatilaka, A property of locally finite groups, J. Lond. Math. Soc. 39 1964, 235–239] and a characterization of a certain class of Lie groups, due to [S. K. Grosser and W. N. Herfort, Abelian subgroups of topological groups, Trans. Amer. Math. Soc. 283 1984, 1, 211–223], we prove that a c-minimal locally solvable Lie group is compact. It is shown that a topological group G is c-(totally) minimal if and only if G has a compact normal subgroup N such that G / N G/N is c-(totally) minimal. Applying this result, we prove that a locally compact group G is c-totally minimal if and only if its connected component c ⁢ ( G ) c(G) is compact and G / c ⁢ ( G ) G/c(G) is c-totally minimal. Moreover, a c-totally minimal group that is either complete solvable or strongly compactly covered must be compact. Negatively answering [D. Dikranjan and M. Megrelishvili, Minimality conditions in topological groups, Recent Progress in General Topology. III, Atlantis Press, Paris 2014, 229–327, Question 3.10 (b)], we find, in contrast, a totally minimal solvable (even metabelian) Lie group that is not compact.

The aim of this paper is to describe the possible structures for NEC (non-euclidean crystallographic) groups of the hyperbolic plane with non-compact quotient space. The case of compact quotient space was settled by Wilkie (6), and it has been shown by Hoare, Karrass and Solitar (3) that all subgroups of infinite index in a Wilkie group have a certain structure pattern. Their proof depends on showing that a subgroup of infinite index in a Wilkie group has a presentation satisfying certain restrictions on the occurrences of each generator. Our method here is to study the presentation of an arbitrary NEC group which is given by the classical construction of the Dirichlet region, and to prove that it satisfies the same restrictions as were found for the above subgroups of Wilkie groups.

This paper studies topological definitions of chain recurrence and shadowing for continuous endomorphisms of topological groups generalizing the relevant concepts for metric spaces. It is proved that in this case the sets of chain recurrent points and chain transitive component of the identity are topological subgroups. Furthermore, we show that some dynamical properties are induced by the original system on quotient spaces. These results link an algebraic property to a dynamical property.

Contents: Introduction. §1: Computable rings and modules. §2: Ideal membership relation. §3: Effective structured domains. §4: Completion of a local ring as a domain. §5: The recursive completion. Epilogue. References.Introduction. Completion is an important general mathematical device. Often, but not always, a completion takes the following form. Let A be a topological algebraic structure whose topology is derived from a metric. For A, a topological algebra  and an embedding i: A →  are constructed such that  is a complete metric space in which A is densely embedded by i. The long list of structures for which such completions exist begins with Cantor's construction of the real number field and includes objects like the p-adic integers, Baire space, and Boolean algebras. In Bourbaki [6] a careful and thorough account of completions for arbitrary topological groups and fields is given, for which it is important to note that the topological structures need not be metrizable, but must possess a uniformity.The effectiveness of the completion process of a computable structure A cannot be readily studied using the tools of computable algebra, simply because the resulting structure  is almost invariably uncountable. However, in particular cases, it has been possible to define and study the substructure Ak of computable elements of Â; this has been done for the structures mentioned above, starting with the field of recursive real numbers.In this paper we analyse the effectivity of the completion of a local ring R. We do this using structured Scott-Ershov domains. Our study may be considered as a prototype containing methods applicable to a broad class of completions, including all the examples mentioned above, except for the real number field, which needs a generalisation of the domain concept.A Scott-Ershov domain D formalises how a set Dt of possibly “infinite” elements, called total elements, is constructed from a set Dc of “finite” elements, called compact elements. This is achieved by means of an approximation ordering which determines a topology on D and, in particular, on Dt. Our methodology is to associate to a given topological algebra A a structured domain D(A) such that the total elements D(A)t form a topological algebra topologically isomorphic to A. In such circumstances A is said to be domain definable by D(A). The theory of computability for domains is now applied to study the effectivity of the topological algebra A.

In this paper the structure of all open semigroups in any compact topological group is determined. We can then extend this result to a classification of the angular semigroups of any abelian topological group H which contains a compact open subgroup K. Coupling this with the results for Euclidean n-space, we obtain an essentially complete description of the angular semigroups of an arbitrary locally compact group. For compact groups, the result is remarkably simple.

The flat rank of a totally disconnected locally compact group G, denoted flat-rk(G), is an invariant of the topological group structure of G. It is defined thanks to a natural distance on the space of compact open subgroups of G. For a topological Kac-Moody group G with Weyl group W, we derive the inequalities alg-rk(W) ≤ flat-rk(G) ≤ rk(|W|0). Here, alg-rk(W) is the maximal Z-rank of abelian subgroups of W, and rk(|W|0) is the maximal dimension of isometrically embedded flats in the CAT0-realization |W|0. We can prove these inequalities under weaker assumptions. We also show that for any integer n ≥ 1 there is a simple, compactly generated, locally compact, totally disconnected group G, with flat-rk(G) = n and which is not linear.