ACTIONS OF GROUPS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES
SERGIY MAKSYMENKO AND EUGENE POLULYAKH
Abstract. Let ∆ be a foliation on a topological manifold X, Y be the space of leaves, and p : X → Y be the natural projection. Endow Y with the factor topology with respect to p. Then the group H(X, ∆) of foliated (i.e. mapping leaves onto leaves) homeomorphisms of X naturally acts on the space of leaves Y , which gives a homomorphism ψ : H(X, ∆) → H(Y ). We present sufficient conditions when ψ is continuous with respect to the corresponding compact open topologies. In fact similar results hold not only for foliations but for a more general class of partitions ∆ of locally compact Hausdorff spaces X.
1. Introduction Let X be an m-dimensional topological manifold and ∆ be a foliation on X. Denote by Y the space of leaves of ∆ and let p : X → Y be the natural projection associating to each x ∈ X the leaf containing x. Endow Y with the factor topology with respect to p, so a subset A ⊂ Y is open if and only if p−1(A) is open in X. A homeomorphism h : X → X will be called • foliated if for each leaf y of ∆ its image h(y) is also a leaf of ∆; • leaf-preserving if h(y) = y for each leaf y of ∆. Obviously, each leaf-preserving homeomorphism is foliated. Denote by H(X, ∆) the group of all foliated homeomorphisms of X and by H(Y ) the group of all homeomorphisms of Y . Endow these groups with the compact open topologies. Notice that in general the multiplication and inversion are not continuous operations in H(X, ∆) and H(Y ) with respect to compact open topologies. The spaces of leaves Y of foliations often appear as spaces of orbits of flows and more arXiv:2006.01953v1 [math.GT] 2 Jun 2020 generally of group actions and play an important role in the understanding the dynamics of that actions, e.g. [5, 15,4,7, 10,2,3] and others. The usual difficulty arising at once when we pass from the manifold X to the space of leaves Y is that Y is usually non-Hausdorff. Moreover, if some leaves of ∆ are non-closed as subsets of X, (e.g. dense in some open subset), then Y is not T1 as well. Let us also mention that in [11] it was given a characterization of a manifold Y to be metrizable in terms of H(Y ) endowed with compact open topology. Homotopy properties of groups H(X, ∆) were studied e.g. in [28, 30, 29, 31, 32, 14,1, 19, 21] and references therein. Most of them extend the results by M. Herman [16], W. Thurston [33], J. Mather [26, 27] and D. B. A. Epstein [8] about perfectness of such groups (i.e. triviality homologies of their classifying spaces). The aim of the present paper is to propose a certain approach for relating the homotopy types of the groups H(X, ∆) and H(Y ). Notice that each h ∈ H(X, ∆) yields a permutation 1 2 SERGIY MAKSYMENKO AND EUGENE POLULYAKH
ψ(h): Y → Y of the leaves of ∆ such that the following diagram is commutative:
X −−−→h X p p (1.1) y y ψ(h) Y −−−→ Y One can easily check that ψ(h) is in fact a homeomorphism of Y , see e.g. Lemma 3.1 below, while the correspondence h → ψ(h) is a well-defined homomorphism ψ : H(X, ∆) → H(Y ). Evidently, its kernel ker(ψ) consists of leaf-preserving homeomorphisms. We will study the question whether the following natural property holds: (C) The homomorphism ψ : H(X, ∆) → H(Y ) is continuous with respect to the corre- sponding compact open topologies of those groups. It is satisfied in many special cases, however the authors were not able to find its general investigations in the available literature. One of the reasons is that the space of leaves is usually non-Hausdorff, while compact open topologies are well-studied for locally compact Hausdorff spaces, e.g. [9]. Under essentially more general settings than foliations we will show, see Lemma 3.3, that property (C) is a consequence of the following condition: (K) For every compact L ⊂ Y there exists a compact K ⊂ X such that p(K) = L. Further we will describe several particular situations when (K) and therefore (C) hold, see Corollary 3.4. On the other hand, we will also present examples when (C) holds, while (K) fails, see examples in Seciton6. They are well-known partition of torus by orbits of irrational flow and partition into orbits of Denjoy homeomorphism of the circle. The following Theorem 1.1 is one of the principal results of the paper. Say that a subset A ⊂ Y is locally finite, if every y ∈ Y has a neighborhood U such that U ∩ A is a finite set. We also say that points y, z ∈ Y are T2-disjoint, if they have disjoint neighborhoods. If a point y ∈ Y is not T2-disjoint from some other point z ∈ Y , then y will be called a branch point of Y , see Section4 for details. Theorem 1.1. Let ∆ be a foliation on a Hausdorff topological manifold X. Suppose that
a) the space of leaves Y of ∆ is a T1-space, i.e. each leaf ω of ∆ is a closed subset of X; b) the set of branch points of Y is locally finite. Then the map (3.3) ψ : H(X, ∆) → H(Y ) is continuous with respect to compact open topolo- gies. This theorem is a special case of Theorem 5.2 and will be proved in subsection 5.3.
Evaluation maps. Property (C) has also several consequences which relate the homotopy groups of H(X, ∆) and H(Y ). Let x ∈ X, y = p(x) ∈ Y be the leaf containing x and
evx : H(X, ∆) → X, evy : H(Y ) → Y,
evx(h) = h(x), evy(g) = g(y), be the evaluation maps at x and y respectively. It is well known and is easy to show that evx and evy are continuous, see Lemma 2.5. ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 3
Then commutativity of the diagram (1.1) implies another commutative diagram:
ψ H(X, ∆) −−−→ H(Y ) evx evy (1.2) y y p X −−−→ Y Indeed, p ◦ evx(h) = p h(x) = ψ(h) p(x) = ψ(h)(y) = evy ◦ ψ(h). Till the end of this section assume that property (C) holds, that is ψ is continuous, and so (1.2) consists of continuous maps. Then the following statements hold. 1) For each n ≥ 0 diagram (1.2) induces a diagram consisting of the corresponding k-th homotopy groups and induced homomorphisms: