The Baire set fixing property in topological groups

Totally Lindelöf and totally ω-narrow paratopological groups

1. Introduction.Let S be a locally compact semigroup with a dense maximal subgroup G.We ask the following question: When is G a topological group under the induced topology?It was proved recently by P. S. Mostert [8] that in general G is not a topological group.However, there are several good reasons motivating the study of such a problem.First, for an arbitrary locally compact semigroup, the closure of the maximal subgroup containing an idempotent forms a locally compact semigroup.If we know this maximal subgroup is a topological group, then it is a locally compact topological group.(This fact will be proved in the following paragraph.)By our rather good knowledge of locally compact topological groups, we can obtain information about the structure of this locally compact semigroup.Second, if we look at this problem from the point of view of transformation groups, we have a group G acting on a locally compact topological space.Naturally, we would like this group to be topologized so that it is a topological group.It is known that the weakest topology for G to be a topological group is the g-topology [1].It is somewhat harder to deal with the g-topology than with the fc-topology, but under some conditions the ^-topology will coincide with the fe-topology.Among the known conditions, the local compactness of the group seems most interesting.If one tries to generalize such a condition, it is rather natural to ask the following : If G is a group of homeomorphisms of X onto X, and the closure of G is locally compact in the fc-topology, does the induced topology of G coincide with the g-topology?Third, in the past few years there have been several papers about such questions : What is the relationship between the algebraic structure and the topological structure?When can one strengthen the topological structure so that even under weak conditions the algebraic operations will be continuous in a certain sense?For instance, in topological groups, if the group space is locally compact, and if the multiplication is separately continuous with respect to the topology of the space, then the group is a topological group.We are able to prove the same theorem when the space is second countable and second category without the assumption of local compactness [9].Now, our present problem arises quite

Selective screenability in topological groups

On [formula omitted]-factorizable topological groups

A mapping f : G → s from a left topological group G into a semigroup S is a local homomorphism if for every x є G \ {e}, there is a neighborhood Ux of e such that f (xy) = f (x)f (y) for all y є Ux \ {e}. A local homomorphism f : G → S is onto if for every neighborhood U of e, f(U \ {e}) = S. We show that(1) every countable regular left topological group containing a discrete subset with exactly one accumulation point admits a local homomorphism onto N,(2) it is consistent that every countable topological group containing a discrete subset with exactly one accumulation point admits a local homomorphism onto any countable semigroup,(3) it is consistent that every countable nondiscrete maximally almost periodic topological group admits a local homomorphism onto the countably infinite right zero semigroup.

All Hartman–Mycielski groups are minimally almost periodic

The fineness index of topological groups and [formula omitted]-factorizable groups

Some aspects of dimension theory for topological groups

Let G be a reflexive topological group, and Gits group of characters, endowed with the compact open topology. We prove that the evaluation mapping from Gx G into the torus T is continuous if and only if G is locally compact. This is an analogue of a well-known theorem of Arens on admissible topologies on C(X) . DEFINITIONS AND REMARKS Let X, Y be topological spaces, and let Z be a subset of yX . A topology on Z is said to be admissible if the evaluation mapping from the product Z x X into Y, defined by w(f, x) = f(x), is continuous. Let (S, V) = {f E Z; f(S) C V}. The family {(S, V)}, where S runs over the collection of all compact subsets of X and V runs over a basis of open sets in Y, is a subbase for the compact open topology on Z. An admissible topology on Z must be finer than the compact open topology [8]. A result of Arens states that the existence of a coarsest admissible topology for the class of real continuous functions on a completely regular space X is equivalent to X being locally compact [1]. In this paper we are interested in reflexive topological groups. Answering in the negative a question of Megrelishvili [7], we will see that the evaluation map for those groups need not be continuous. In fact, as specified in the theorem, the continuity of the evaluation characterizes locally compact Hausdorff abelian groups among reflexive groups. We prove this result by means of convergence spaces. For an account of theory of convergence spaces the reader is referred to [3, 4]. We only give here needed definitions. Let G be a Hausdorff topological abelian group, and let FG be the set of all continuous homomorphisms from G into the unidimensional torus T. If addition is defined pointwise in FG, it becomes an abelian group. The continuous Received by the editors October 5, 1993 and, in revised form, April 25, 1994; the contents of this paper were presented to the First Ibero-American Conference on Topology and its Applications in Benicassim, Spain, on March 28-30, 1995. 1991 Mathematics Subject Classification. Primary 22A05.

Fourier–Stieltjes algebras and measure algebras on compact right topological groups

We provide new arguments to see topological Kac-Moody groups as generalized semisimple groups over local fields: they are products of topologically simple groups and their Iwahori subgroups are the normalizers of the pro-p Sylow subgroups. We use a dynamical characterization of parabolic subgroups to prove that some countable Kac-Moody groups with Fuchsian buildings are not linear. We show for this that the linearity of a countable Kac-Moody group implies the existence of a closed embedding of the corresponding topological group in a non-Archimedean simple Lie group, thanks to a commensurator super-rigidity theorem proved in the Appendix by P. Bonvin.

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.

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).

A study on weakly Lindelöf (para)topological groups with a q-point and m([formula omitted])-factorizability

In this paper we present symbolic criteria for invariant operators on compact topological groups $G$ characterising the Schatten-von Neumann classes $S_{r}(L^{2}(G))$ for all $0<r\leq\infty$. Since it is known that for pseudo-differential operators criteria in terms of kernels may be less effective (Carleman's example), our criteria are given in terms of the operators' symbols defined on the noncommutative analogue of the phase space $G\times\hat{G}$, where $G$ is a compact topological (or Lie) group and $\hat{G}$ is its unitary dual. We also show results concerning general non-invariant operators as well as Schatten properties on Sobolev spaces. A trace formula is derived for operators in the Schatten class $S_{1}(L^{2}(G))$. Examples are given for Bessel potentials associated to sub-Laplacians (sums of squares) on compact Lie groups, as well as for powers of the sub-Laplacian and for other non-elliptic operators on SU(2)$\simeq\mathbb S^3$ and on SO(3).