Transforming random elements and shifting random fields

Totally Lindelöf and totally ω-narrow paratopological 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).

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

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.

Many non-locally compact second countable groups admit a comeagre conjugacy class. For example, this is the case for <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S Subscript normal infinity"> <mml:semantics> <mml:msub> <mml:mi>S</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="normal"> ∞ </mml:mi> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">S_{\infty }</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A u t left-parenthesis double-struck upper Q comma greater-than right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>A</mml:mi> <mml:mi>u</mml:mi> <mml:mi>t</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:mo>,</mml:mo> <mml:mo>&gt;</mml:mo> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">Aut(\mathbb {Q},&gt;)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , and, less trivially, <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A u t left-parenthesis script upper R right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>A</mml:mi> <mml:mi>u</mml:mi> <mml:mi>t</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">R</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">Aut(\mathcal {R})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper R"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">R</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {R}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> the random graph. A. Kechris and C. Rosendal ask if a non-trivial locally compact second countable group can admit a comeagre conjugacy class. We answer the question in the negative via an analysis of locally compact second countable groups with topological conditions on a conjugacy class.

The topological fundamental group and free topological groups

A now standard technique for treating a class of Baire set problems, originating with Halmos [2; 51.D], is to construct a metric space that, in a way, "fixes" a given Baire set. Formally this means, given a Baire set B in a space X, find a metric space M and a map g of X onto M with the property that B = g l gB . In phrasing the problem for topological groups it is natural to require that M be a group and g be a homomorphism. Specifically, what is desired is a subgroup H that "fixes" B, i.e., such that B = BH. This problem is solved in Halmos for locally compact a-compact groups in a theorem [2; 64.G] that has led to interesting consequences elsewhere [4, 1]. As will be seen, Halmos' theorem is also true for totally bounded groups. An example of Sirota's of a countable topological group with no non-trivial metrizable homomorphic images indicates that, in this direction at least, the barrier of local compactness cannot be lifted without giving up metrizability in M. If this is done, however, replacing the requirement that M be metrizable, i.e., that H have a countable base in G, with the less stringent requirement that H be a G~-set in G, an analogue of Halmos' theorem is true for Lindelff groups. In view of these remarks it is convenient to distinguish between two distinct Baire set fixing problems. A closed invariant subgroup H of a group G is said to be a fixiru3 subgroup (M-fixing subgroup) provided H is a G~-set (H has a countable base of neighborhoods in G). G satisfies the Baire set fixing property (M-Baire set fixing property) provided, for each Baire set in G, there is a fixing subgroup (M-fixing subgroup) such that B = BH. The Baire sets are taken to be the elements of the smallest a-algebra containing the zero sets of continuous real-valued functions on G. For technical convenience in describing proofs, a G~-set containing the identity is called an admissible set.

Some aspects of dimension theory for topological groups

1. Let (X, T, 7r) be a topological transformation group, where X is a nontrivial Hausdorff space and T is a topological group which leaves an end point e of X fixed. In [3], Wallace proved that if T is cyclic and X is a locally connected continuum, T has a fixed point other than e. Then in [4], Wallace asked the following question: If X is a peano continuum and T is compact or abelian, then does T have a fixed point other than e? In [5] Wang showed that if T is compact, and X is arcwise connected, then T has a fixed point other than e. Then Chu [1 ] showed that T has infinitely many fixed points. Chu began the study of the abelian case in [2]. In this paper we show by example that X may be a peano continuum and T may be a countably generated abelian group which has e for its only fixed point, ?2. Thus in general the answer to Wallace's question in the abelian case is no. However, if T is a generative group, and X is compact and arcwise connected, then T has a fixed point other than e, ?3. We also show by example that T may be a finitely generated nonabelian group which has e for its only fixed point, ?4.

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)

All Hartman–Mycielski groups are minimally almost periodic

<p style='text-indent:20px;'>In this article we study the centralizer of a minimal aperiodic action of a countable group on the Cantor set (an aperiodic minimal Cantor system). We show that any countable residually finite group is the subgroup of the centralizer of some minimal <inline-formula><tex-math id="M1">\begin{document}$ \mathbb Z $\end{document}</tex-math></inline-formula> action on the Cantor set, and that any countable group is the subgroup of the normalizer of a minimal aperiodic action of an abelian countable free group on the Cantor set. On the other hand we show that for any countable group <inline-formula><tex-math id="M2">\begin{document}$ G $\end{document}</tex-math></inline-formula>, the centralizer of any minimal aperiodic <inline-formula><tex-math id="M3">\begin{document}$ G $\end{document}</tex-math></inline-formula>-action on the Cantor set is a subgroup of the centralizer of a minimal <inline-formula><tex-math id="M4">\begin{document}$ \mathbb Z $\end{document}</tex-math></inline-formula>-action.

Fixed points for bounded orbits in Hilbert spaces

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.

The topological properties of "weak mixing" and "strong mixing" for topological transformation groups have been introduced and investigated and many analogous results have been derived. Let us adopt the following definitions and notations. We will restrict our attention to topological transformation groups (X, T) with compact metrizable phase space X. We call a topological transformation group ergodic if the only closed proper invariant subset is nowhere dense or, equivalently, there exists a point in X the orbit-closure of which is the whole space X. Such a point is called a transitive point. We call a topological transformation group weakly mixing if (X, T)x (X, T) is ergodic and strongly mixing if for any two open sets U and V, there is a compact subset K of T such that t ~ T ~ K implies Ut n V # ;J. Let ~'(X) be the set of all bounded complex-valued functions on X which are continuous on a co-meager set. (We identify functions which coincide on a co-meager set.) Let us define a cascade to be a topological transformation group with the discrete additive group of integers as phase group. In this situation, it is also denoted by (X, ~b), with ~b a homeomorphism of X. If Y is an invariant subset of X, then (Y, ~b) is also a cascade and we say that (Y, ~b) is a subcascade of (X, ~b). Let us consider the following properties of a topological transformation group (X, T):