ACTIONS OF GROUPS OF FOLIATED ON SPACES OF LEAVES

SERGIY MAKSYMENKO AND EUGENE POLULYAKH

Abstract. Let ∆ be a foliation on a topological X, Y be the of leaves, and p : X → Y be the natural projection. Endow Y with the factor 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 . 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 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. 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:

 ψk  πk H(X, ∆), idX −−−→ πk H(Y ), idY   (ev )  (ev ) (1.3) x ky y y k pk πk(X, x) −−−→ πk(Y, y)   Let us mention that for k = 0 the sets π0 H(X, ∆), idX and π0 H(Y ), idY are in fact groups, and the induced map   ψ0 : π0 H(X, ∆), idX → π0 H(Y ), idY of those groups is a homomorphism as well, see Lemma 2.1. 2) There is a similar diagram for any subgroup G of H(X, ∆):

ψ G −−−→ H(Y )   evx evy (1.4) y y p X −−−→ Y 3) Finally, let us consider a very important case when X is a smooth manifold, ∆ is a smooth foliation, and G is the group of foliated diffeomorphisms of X. Then G is usually endowed with a strong or weak Cr topology for some r ≥ 0. Since the compact open topology is the same as weak C0 and is the weakest among all the above topologies, we see that the homomorphism ψ : G → H(Y ) is still continuous into compact open topology of H(Y ), and we still get the commutative diagram:  ψ  πk G, idX −−−→ πk H(Y ), idY   evx evy (1.5) y y p πk(X, x) −−−→ πk(Y, y) Structure of the paper. In the preliminary section2 we discuss topological monoids and non-Hausdorff locally compact spaces. It is shown that many properties of compact open topologies on the spaces of continuous maps between locally compact Hausdorff topological spaces are preserved if we omit Hausdorff property. In fact, the presented results are known and in some cases are rather simple, but we give their proofs just to assure that we do not assume Hausdorff property. 4 SERGIY MAKSYMENKO AND EUGENE POLULYAKH

In Section3 we also consider arbitrary partitions not only foliations, and prove in Lemma 3.3 that condition (K) implies (C). Section4 is devoted to the study of so called branch points at which the space of leaves looses Hausdorff property. Finally in section5 we prove Theorem 5.2 and its particular case Theorem 1.1.

2. Preliminaries Topological monoids. Recall that a monoid structure on a set G is a map µ : G × G → G being associative and having a unit element e ∈ G, that is µ(a, µ(b, c)) = µ(µ(a, b), c) and µ(a, e) = µ(e, a) = a for all a, b, c ∈ G. We will usually denote µ(a, b) simply by ab. Notice that the unit element in a monoid is unique. Indeed, if e0 is another unit, then e0 = ee0 = e. A homomorphism of monoids q : G → H with units eG and eH respectively is a map such that q(eG) = eH and q(ab) = q(a)q(b) for all a, b ∈ G. If a monoid G is endowed with a topology in which µ is continuous, then it is called a topological monoid. Let G be a topological monoid. For each a ∈ G denote by Ga the path component of G containing a. Recall that the set of all path components of G with a distinguished element Ge is denoted by π0(G, e) and called 0-th homotopy set of G at e. Formally it can be defined as the set of homotopy classes   π0(G, e) = ({0, 1}, 0), (G, e) of maps of 0-dimensional sphere S0 ≡ ∂[0, 1] ≡ {0, 1} → G sending 0 to e. In general 0-th homotopy set of a is not a group in contrast to other sets πk(G, e) with k ≥ 1. However, as the following easy and well known lemma claims, π0(G, e) inherits algebraic structure of G, therefore it is a topological monoid or a .

Lemma 2.1. (a) Let q : G → H be a homomorphism of monoids with units eG and eH respectively. If a ∈ G is invertible, then q(a)−1 = q(a−1) is invertible in H. In particular, if G is a group, and q is surjective, then H is a group as well.

(b) Let G be a topological monoid. Then GaGb := µ(Ga × Gb) ⊂ Gab for all a, b ∈ G. Hence one can define a monoid structure on π0(G, e) by Ga ∗ Gb = Gab, so that the natural projection q : G → π0(G, e) defined by q(a) = Ga becomes a morphism of monoids. If G is a group (not necessary topological, i.e. the inversion map is not necessarily contin- uous), then Ge is a normal subgroup, Ga = aGe = Gea for each a ∈ G, so the above map q ∼ is a composition q : G → G/Ge = π0(G, e). (c) Let ψ : G → H be a continuous homomorphism of topological monoids with unit ele- ments eG and eH respectively. Then the induced mapping ψ0 : π0(G, eG) → π0(H, eH ) is a homomorphism of monoids. If π0(G, eG) and π0(H, eH ) are groups, then ψ0 is a homomor- phism of groups.

Proof. (b) Since by definition the sets Ga and Gb are path connected, their product GaGb := µ(Ga ×Gb) is path connected as well. Moreover, as it contains ab, it follows that µ(Ga ×Gb) ⊂ Gab. All other statements of lemma are easy we leave them for the reader.  ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 5

Locally compact spaces. Let X be a topological space. Definition 2.2. We will say that X is locally compact if every point x ∈ X has a local base consisting of compact neighborhoods. In other words, for every open U containing x, there exists a compact set K such that x ∈ IntK ⊂ K ⊂ U. Remark 2.3. There are some other approaches for defining local compactness. For example: (1) every point x ∈ X has a compact neighborhood, i.e. there is a compact set K such that x ⊂ IntK; (2) every point x ∈ X has a closed compact neighborhood. It is well known and is easy to check that (2) is not equivalent to Definition 2.2, and each of these definitions implies (1). Moreover, all these definitions coincide for Hausdorff spaces. In the present paper a local compactness is always used in the sense of Definition 2.2. Lemma 2.4. Let X be a locally compact topological space in the sense of Definition 2.2. (1) For every compact K and open U in X with K ⊂ U there exists a compact L such that K ⊂ IntL ⊂ L ⊂ U. (2) Let p : X → Y be an open surjective map. Then Y is also locally compact.

Proof. (1) For each x ∈ K there exists a compact subset Lx such that x ∈ IntLx ⊂ Lx ⊂ U. Due to compactness of K one can find finitely many points x1, . . . , xn ∈ K such that K ⊂ n n ∪ IntLx . Put L = ∪ Lx . Then L is compact and K ⊂ IntL ⊂ L ⊂ U. i=1 i i=1 i (2) Let y ∈ Y and V be an open neighborhood of y. We should find a compact subset L ⊂ Y with y ∈ IntL ⊂ L ⊂ V . Fix a point x ∈ X with p(x) = y, and let U = p−1(V ). Since X is locally compact there exists a compact K ⊂ X such that x ∈ IntK ⊂ K ⊂ U. Then L = p(K) is compact. Moreover, as p is open, p(IntK) is an open neighborhood of y contained in L, and so y ∈ p(IntK) ⊂ IntL ⊂ L ⊂ V . Thus Y is locally compact.  Compact open topologies. Let X,Y be topological spaces and C(X,Y ) be the set of all continuous maps f : X → Y . For every compact K ⊂ X and open U ⊂ Y put N (K,U) = {f ∈ C(X,Y ) | f(K) ⊂ U}. Then the compact open topology on C(X,Y ) is the topology generated by the prebase con- sisting of sets N (K,U), where K runs over all compact subsets of X and U runs over all open subsets of Y . For a point y ∈ Y we will denote by evy : C(X,Y ) → Y the “evaluation map at y” defined by evy(f) = f(y). Lemma 2.5. Let X,Y,Z be topological spaces.

(1) For each y ∈ Y the evaluation map evy : C(X,Y ) → Y is continuous. (2) Let µ : C(X,Y ) × C(Y,Z) → C(X,Z) be the composition map defined by µ(f, g) = g ◦ f. If Y is locally compact, then µ is continuous with respect to compact open topologies on those spaces. (3) Suppose again that Y is locally compact. Then C(Y,Y ) is a topological monoid, that is µ is continuous with respect to compact open topologies on those spaces. Hence, due to Lemma 2.1, π0C(Y,Y ) is a monoid, while π0H(Y ) is a group. 6 SERGIY MAKSYMENKO AND EUGENE POLULYAKH

−1 Proof. (1) Let V ⊂ Y be an open subset. Then evy (V ) = N ({y},V ). Indeed, g ∈ C(X,Y ) belongs to N ({y},V ) iff evy(g) = g(y) ∈ V . Hence the inverse image of each in Y is open in C(X,Y ) and so evy is continuous. (2) Let f ∈ C(X,Y ), g ∈ C(Y,Z), and N (K,W ) be an open prebase neighborhood of g ◦ f in C(X,Z), where K ⊂ X is a compact and W ⊂ Z is open. Denote L = f(K) and V = g−1(W ). Then L is compact, V is open and L ⊂ V . Hence by (1) of Lemma 2.4 there exists a compact set M ⊂ Y such that L ⊂ IntM ⊂ M ⊂ V . Then N (K, IntM) is an open neighborhood of f in C(X,Y ), and N (L, W ) is an open neighborhood of g in C(Y,Z). Moreover, we claim that µ N (K, IntM) × N (M,W )  ⊂ N (K,W ). Indeed, if f 0 ∈ N (K, IntM) and g0 ∈ N (M,W ), then g0 ◦ f 0(K) ⊂ g0(IntM) ⊂ g0(M) ⊂ W, that is µ(f 0, g0) = g0 ◦ f 0 ∈ N (K,W ).

Statement (3) is a direct consequence of (2) when X = Y = Z and Lemma 2.1. 

3. Maps consistent with a partition Let p : X → Y be a factor map between topological spaces, that is p is surjective and a subset A ⊂ Y is open if and only if p−1(A) is open in X. In other words, Y has the strongest topology in which p is continuous. It is well known and is easy to see that every open and every closed map is factor. Let ∆ = {p−1(y) | y ∈ Y } be the partition of X into the inverse images of points of Y . A continuous map h : X → X will be called a ∆-map if for each ω ∈ ∆ its image h(ω) is contained in some element ω0 of ∆. Hence every ∆-map h induces a map ψ(h): Y → Y making commutative the following diagram: X −−−→h X   p p (3.1) y y ψ(h) Y −−−→ Y The following well known and easy lemma implies that ψ(h) is continuous whenever h is so. Lemma 3.1. Suppose we have the following commutative diagram X (3.2) f p  Y g / Z in which f is continuous and p is a factor map. Then g is continuous as well. Proof. We should show that for each open A ⊂ Z its inverse g−1(A) is open in Y as well. As p is a factor map, the latter is equivalent to the assumption that p−1(g−1(A)) is open in X. But p−1(g−1(A)) = f −1(A) due to commutativity of the diagram (3.2) and this set is open as f is continuous.  ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 7

Let E(X, ∆) be the monoid of all ∆-maps of X, and E(Y ) = C(Y,Y ) be the monoid of all continuous self-maps of Y . Let also H(X, ∆) be the subgroup of E(X, ∆) consisting of homeomorphisms and H(Y ) be the group of homeomorphisms of Y . Then Lemma 3.1 implies that the correspondence h 7→ ψ(h) is a well defined map ψ : E(X, ∆) → E(Y ) (3.3) being a homomorphism of monoids. Definition 3.2. We say that the quotient map p : X → Y has • property (K) if for every compact L ⊂ Y there exists a compact K ⊂ X such that p(K) = L; • property (C) whenever the homomorphism ψ : E(X, ∆) → E(Y ) is continuous with respect to the corresponding compact open topologies of those groups. The following statement gives sufficient conditions under which ψ will be continuous with respect to compact open topologies on E(X, ∆) and E(Y ). Lemma 3.3. (K) =⇒ (C). Proof. Recall that the prebase of compact open topology on E(Y ) consists of sets N (L, V ) = {k ∈ E(Y ) | k(L) ⊂ V }, where L ⊂ Y is compact and V ⊂ Y is open. Let h ∈ E(X, ∆) and N (L, V ) be any prebase neighborhood of ψ(h) in E(Y ), so ψ(h)(L) ⊂ V . Fix any compact K ⊂ X with p(K) = L and put U = p−1(V ). Then h(K) ⊂ h(p−1(L)) ⊂ p−1(ψ(h)(L)) ⊂ p−1(V ) = U, so h ∈ N (K,U). Moreover, we claim that in fact ψ(N (K,U)) ⊂ N (L, V ), which will imply continuity of ψ at h. Indeed, let g ∈ N (K,U), so g(K) ⊂ U. Then ψ(g)(L) = ψ(g)p(K) = pg(K) ⊂ p(U) = V. Thus ψ(g) ∈ N (L, V ), and so ψ is continuous.  Corollary 3.4. Suppose Y is a locally compact Hausdorff space and p : X → Y be a surjective continuous map. Then each of the following conditions implies condition (C) for p: (a) p is a proper map, i.e. p−1(L) is compact for each compact L ⊂ Y (b) p is an open map and admits local cross sections, i.e. for every y ∈ Y there exists an open neighborhood V and a continuous map f : V → X such that p ◦ f = idV ; (c) p is a locally trivial fibration. Proof. Notice that (c) is a particular case of (b). In the remaining cases (a) and (b) it suffices to check that p is a factor map and that condition (K) of Lemma 3.3 holds true. (a) It is well known and is easy to check that a proper map p onto a locally compact Hausdorff space Y is closed, i.e. p(F ) is closed in Y for each closed F ⊂ X. In particular, p is a factor map. Moreover, suppose L ⊂ Y is a compact subset. As p is proper, the set K = p−1(L) is compact. Moreover, p(K) = L since p is also surjective. (b) Since p is open, it is also a factor map. Furthermore, let L ⊂ Y be a compact subset. For each y ∈ L choose a neighborhood Vy and a cross section fy : Vy → X, i.e. a continuous map satisfying p ◦ fy = idVy . As Y is 8 SERGIY MAKSYMENKO AND EUGENE POLULYAKH locally compact, one can assume that Vy is compact as well. Due to compactness of L one n can find finitely many points y1, . . . , yn such that L ⊂ ∪ Vy . Moreover, as Y is Haussdorf, i=1 i n Li = L ∩ Vy is compact, whence Ki := fy (Li) is compact in X. Put K = ∪ Ki. Then K is i i i=1 compact and  n  n n n p(K) = p ∪ Ki = ∪ p(Ki) = ∪ p ◦ f(Li) = ∪ Li = L. i=1 i=1 i=1 i=1 Corollary is proved.  Notice that the proof of Corollary 3.4 is heavily based on the assumption that Y is locally compact Hausdorff. In the next section we will release those conditions by allowing Y to be “Hausdorff” except for some locally finite subset, see Theorem 5.2.

4. Branch points of T1 spaces

Let Y be a topological space. Say that two points y, z ∈ Y are T2-disjoint (in Y ) if they have disjoint neighborhoods. Denote by hcl(y) the set of all z ∈ Y that are not T2-disjoint from y. Then z ∈ hcl(y) if and only if each neighborhood of z intersects each neighborhood of y. We will call hcl(y) the Hausdorff closure of y. Evidently, y ∈ hcl(y). Moreover, y ∈ hcl(z) if and only if z ∈ hcl(y). Thus the relation y ∈ hcl(z) is reflexive and symmetric, however in general it is not transitive. Following [13] and [12] we will say that a point y ∈ Y is branch whenever hcl(y) \ y 6= ∅, so there are points that are not T2-disjoint from y. The set of all branch points of Y will be denoted by Br(Y ). Remark 4.1. In [22, 24, 23, 20, 25] we called those points “special”, but in the present paper we decided to change their name to “branch” as in [13, 12] since it better reflects the structure of a space near such points. Also in [18] there were considered families of pairwise T2-non-disjoint points called sets of compatible appartion points. Thus in the above notation the following conditions are equivalent: (a) Y is Hausdorff; (b) hcl(y) = {y} for all y ∈ Y ; (c) Br(Y ) = ∅. Notice also that hcl(y) coincides with the intersection of closures of all neighborhoods of y: \ hcl(y) = V. (4.1) V is a neighborhood of y

Let now L ⊂ Y be a subset, y ∈ L, and hclL(y) be the set of all points z ∈ L that are not T2-disjiont from y in L with respect to the topology induced from Y . It is straightforward that hclL(y) ⊆ hcl(y) ∩ L, (4.2) however the opposite inclusion can fail. Lemma 4.2. For a subset L ⊂ Y the following statements hold true. (1) If L ∩ hcl(y) = {y} for all y ∈ L, then L is Hausdorff. (2) For every z ∈ Br(Y ) the following subspace B of Y is Hausdorff: B := (L \ Br(Y )) ∪ {z} = L \ Br(Y ) \{z} (3) If L is compact, then L ⊂ L ∪ Br(Y ). ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 9

Proof. Statement (1) is an immediate consequence of (4.2). (2) To prove that B = (L\Br(Y ))∪{z} is Hausdorff it suffices to verify that hclB(y) = {y} for all y ∈ B. If y ∈ L \ Br(Y ), then hcl(y) = {y}, whence B ∩ hcl(y) = {y}. Since z ∈ hcl(w) if and only if w ∈ hcl(z), it follows that hcl(z) ⊂ Br(Y ). Therefore B ∩ hcl(z) = (L \ Br(Y )) ∪ {z} ∩ hcl(z) =   = (L \ Br(Y )) ∩ hcl(z) ∪ {z} ∩ hcl(z) = ∅ ∪ {z} = {z}. (3) Let y∈ / L ∪ Br(Y ). We will show that then there exists an open neighborhood W of y such that L ∩ W = ∅. This will imply that y 6∈ L, whence L ⊂ L ∪ Br(Y ). Since y is not a branch point, i.e., hcl(y) = {y}, we get from (4.1) that [ L ⊂ L ∪ Br(Y ) ⊂ Y \{y} = (Y \ V ), V 3y where V runs over all open neighborhoods of y. Thus {Y \ V | V is a neighborhood of y} is an open cover of a compact set L, and so it contains a finite subcover, i.e., one can find open neighborhoods V1,...,Vm of y such that m [ L ⊂ (Y \ Vi). i=1 Hence W = V1 ∩ ... ∩ Vm is an open neighborhood of y with L ∩ W = ∅.  Remark 4.3. For a Hausdorff space Y , statement (3) of Lemma 4.2 is well known and claims that every compact subset L of Y is closed, i.e., L = L.

5. Locally finite subsets Say that a subset A ⊂ Y is locally finite if for every point z ∈ Y there exists an open neighborhood U such that the intersection U ∩ A is finite. In other words, the family {{a} | a ∈ A} of one-point subsets of A is locally finite in Y . Lemma 5.1. Consider the following conditions on a subset A ⊂ Y of a topological space Y : (1) A is closed and discrete. (2) for each y ∈ Y there exists an open neighborhood V intersecting A in at most one point; (3) A is locally finite; Then we have the following implications: (1) ⇒ (2) ⇒ (3). If Y is T1 then we also have that (3)⇒(1), i.e., all the above conditions are equivalent. Proof. (1)⇒(2). Suppose A is closed and discrete and let y ∈ Y . If y 6∈ A, then V = Y \ A is an open neighborhood of y that does not intersect A. If y ∈ A, then discreteness of A implies that there exists an open neighborhood V of y such that V ∩ A = {y}. The implication (2)⇒(3) is evident. It remains to prove the implication (3)⇒(1) under the assumption that Y is T1. Suppose A is locally finite. Then each subset B ⊂ A is locally finite as well. Moreover, as every point y ∈ Y is a closed subset, it follows that B is closed as a union of a locally finite family of its 10 SERGIY MAKSYMENKO AND EUGENE POLULYAKH closed one-point subsets. In other words every subset of A is closed in Y . Hence A is closed and discrete.  The following statement is a principal result of the present paper.

Theorem 5.2. Let X be a locally compact Hausdorff topological space, Y a T1-space whose set Br(Y ) of branch points is locally finite, p : X → Y an open continuous and surjective map. Then p has properties (K) and (C). Proof. Due to Lemma 3.3 it suffices to verify only (K). Since Br(Y ) is locally finite, it follows from Lemma 5.1 that each point y ∈ Y has an open neighborhood Vy intersecting Br(Y ) in at most one point, that is

Br(Y ) ∩ Vy ⊂ {y}. As X is locally compact Hausdorff, for each x ∈ p−1(L) there exists an open neighborhood −1 Ux with compact closure Ux such that Ux ⊂ p (Vp(x)). Then the following lemma holds: Lemma 5.2.1. We have that

L ∩ p(Ux) = L ∩ p(Ux). (5.1) This implies that −1 −1  (a) p (L ∩ p(Ux)) is closed in p p(Ux) ; −1 (b) the set Kx := p (L ∩ p(Ux)) ∩ Ux is compact;

(c) p(Kx) = L ∩ p(Ux).

Proof. (5.1) The inclusion L ∩ p(Ux) ⊂ L ∩p(Ux) is trivial. Conversely, by (3) of Lemma 4.2 L ⊂ L ∪ Br(Y ), whence   L ∩ p(Ux) ⊂ (L ∪ Br(Y )) ∩ p(Ux) = L ∩ p(Ux) ∪ Br(Y ) ∩ p(Ux) . But

Br(Y ) ∩ p(Ux) ⊂ Br(Y ) ∩ Vp(x) ⊂ {p(x)} ⊂ L ∩ p(Ux), whence L ∩ p(Ux) ⊂ L ∩ p(Ux) as well.

(a) Due to (5.1), the intersection L ∩ p(Ux) = L ∩p(Ux) is closed in p(Ux). Therefore −1 −1  p (L ∩ p(Ux)) is closed in p p(Ux) by continuity of p.

−1 −1 (b) By (a) Kx := p (L∩p(Ux))∩Ux is an intersection of two closed subsets of p (p(Ux)). Hence Kx is a closed subset of compact set Ux, and therefore it is compact as well. (c) Proof of this statement is based on the following simple observation. Let p : U → V be a map between sets U and V . Then for any subsets A ⊂ U and B ⊂ V we have that p(p−1(B) ∩ A) = B ∩ p(A). In particular, for A = Ux and B = L ∩ p(Ux) we obtain that −1  p(Kx) = p p (L ∩ p(Ux)) ∩ Ux = (L ∩ p(Ux)) ∩ p(Ux) = L ∩ p(Ux).

This completes Lemma 5.2.1.  ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 11

Now we can deduce Theorem 5.2 from statement (c) of Lemma 5.2.1. Since p is an open map, p(Ux) is an open neighborhood of p(x), whence by compactness of L one can find finitely −1 many points x1, . . . , xn ∈ p (L) such that n n L ⊂ ∪ p(Ux ) ⊂ ∪ p(Ux ). i=1 i i=1 i n Put K = ∪ Kx . Then K is compact and i=1 i  n  n (c) n  p(K) = p ∪ Kx = ∪ p(Kx ) = ∪ L ∩ p(Ux ) = L. i=1 i i=1 i i=1 i Theorem 5.2 is proved.  5.3. Proof of Theorem 1.1. Let ∆ be a foliation on a topological manifold X such that the space of leaves Y is T1 and the set Br(Y ) of branch points of Y is locally finite. Then X is a locally compact Hausdorff topological space, and the map p : X → Y onto the spaces of leaves is open. Hence by Theorem 5.2 the map (3.3), ψ : H(X, ∆) → H(Y ), is continuous with respect to compact open topologies. 

6. Examples In fact conditions (C) and (K) hold in many situations not covered by Corollary 3.4 and Theorem 5.2. We will consider several examples in which Y has more “pathological” properties. In spite of certain triviality of statements below, they describe situations which very often appear in the foliations theory. Thus again we will assume that ∆ is a partition of a topological space X, Y is the cor- responding space of leaves, p : X → Y is the natural projection, and we endow Y with the factor topology with respect to p. In order to check continuity of the induced homomorphism ψ : H(X, ∆) → H(Y ) and to verify property (K) for the projection map p we will use two following lemmas.

Trivial topology on Y . Recall that the topology on a set Y consisting only of two sets {∅,Y } is called trivial (or antidiscrete). Lemma 6.1. Suppose either of the following conditions holds: (a) each element of ∆ is everywhere dense; (b) Y has . Then the compact open topology on C(Y,Y ) is also trivial, whence any map into C(Y,Y ) is continuous. In particular, ψ is so, that is p has property (C). Proof. One easily checks that conditions (a) and (b) are equivalent. Now, since the topology of Y contains only finitely many non-empty open sets (in fact a unique such set), it follows that every subset L of Y is compact. Hence every prebase set of compact open topology of C(Y,Y ) has the form N (L, Y ) = {f ∈ C(Y,Y ) | f(L) ⊂ Y } = C(Y,Y ), where L is an arbitrary non-empty subset of Y . In other words, the compact open topology on C(Y,Y ) contains only one non- C(Y,Y ), and therefore is trivial.  12 SERGIY MAKSYMENKO AND EUGENE POLULYAKH

Baire spaces. Let E be a subset of a topological space X. Then E is of first category in X if E can be presented as a countable union of subsets which are nowhere dense in X. Otherwise, E is said to be of second category in X, i.e. it can not be presented as a countable union of nowhere dense subsets of X. A is a topological space X which is of second category in itself. Lemma 6.2. Let G be a topological group acting on a topological space X, ∆ the partition of X into G-orbits, Y = X/G the quotient space, and p : X → Y the natural projection. Suppose that (a) X is a Hausdorff Baire space; ∞ (b) G = ∪ Gi can be represented as a union of countably many compact sets Gi; i=1 (c) G-action has at least two distinct orbits; (d) each orbit of G-action is dense in X; Then p has property (C) but not (K). Proof. Condition (C) follows from (d) and Lemma 6.1. That lemma also implies that Y has trivial topology, and therefore every subset L ⊂ Y is compact. By assumption (c), Y contains at least two distinct points, whence there is a proper subset L of Y . Then its complement L0 = Y \ L is also a proper subset of Y . Thus L and L0 are proper compact subsets of Y . Denote A := p−1(L),A0 := p−1(L0) = X \ A. Suppose there exist compact sets K ⊂ A and K0 ⊂ A0 such that p(K) = L and p(K0) = L0. We will show that this contradicts to assumptions of the lemma, and thus will imply that condition (K) fails for p. Let µ : G × X → X be the action map. Then the relations p(K) = L and p(K0) = L0 mean that [ 0 0 [ 0 A = µ(G × K) = µ(Gi × K),A = µ(G × K ) = µ(Gi × K ). (6.1) i∈N i∈N Since every orbit of µ is dense in X, it follows that A and A0 are dense in X as well, whence 0 their compact (and therefore closed in X) subsets µ(Gi × K) and µ(Gi × K ) are nowhere dense in X. Therefore (6.1) implies that X = A t A0 is of first category, which contradicts to the assumption that X is Baire. Hence condition (K) fails for p. 

Irrational rotation of the circle. Let S1 = {|z| = 1} ⊂ C be the unit circle in the complex plane, α ∈ (0, 1), and f : S1 → S1 the rotation by the angle 2πα given by f(z) = ze2πiα. Then iterations f k, k ∈ Z, of f generate the action of Z on S1 given by the action map µ : Z × S1 → S1, µ(k, z) = f k(z), (k, z) ∈ Z × S1. Let ∆ be the partition of S1 into the orbits of this action, Y = S1/∆ the quotient space, and p : S1 → Y the natural projection. Lemma 6.3. The map p has property (C). On the other p has property (K) iff α is rational. Proof. If α is rational, then Y is homeomorphic with the circle and the projection map p : S1 → Y is a locally trivial fibration (in fact a finite covering map). In this case, due to Lemma 3.4(c), the homomorphism ψ is continuous, i.e. p has property (C). Moreover, since S1 is compact, the projection map is also proper, whence property (K) holds as well. ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 13

Figure 6.1.

On the other hand, if α is irrational, then the action of Z on S1 satisfies assumptions of Lemma 6.2, whence property (C) holds, while property (K) fails.  2 1 1 ∼ 2 2 Irrational flow of the torus. More generally, let T = S × S = R /Z be a 2-torus, α ∈ R, and H : T 2 × R → T 2 be the flow defined by H(x, y, t) = (x + t, y + αt). Let ∆ be the foliation of T 2 by the orbits of H and Y be the space of leaves. Lemma 6.4. The map p has property (C). On the other p has property (K) iff α is rational. The proof is literally the same as in Lemma 6.3.

Denjoy example. There is a well known class of orientation preserving circle homeomor- phisms built by Arnauld Denjoy representatives of which have wandering intervals and irra- tonal rotation numbers, see [6, 17]. Let f : S1 → S1 be a homeomorphism from this class. Then it is known to comply with the following two properties: (i) there exists a nowhere dense Γ ⊂ S1 such that f(Γ) = Γ and for every k x ∈ Γ its orbit Of (x) = ∪ f (x) is dense in Γ; k∈Z 1 1 m (ii) there exists an open arc J0 ⊂ S such that S \ Γ = t f (J0). m∈Z Let ∆ be the partition of S1 by orbits of f, Y = S1/∆ the quotient space, and p : S1 → Y the natural projection. m Denote Jm = f (J0), m ∈ Z. Notice that Jm+1 = f(Jm) and f|Jm : Jm → Jm+1 is a homeomorphism for each m. Let also Q = p(Γ) and J = p(S1 \ Γ). Since Γ and S1 \ Γ are saturated with respect to ∆, we have that Y = Q t J. Moreover, Q is closed and J is open in Y . It is straightforward to check that J is homeomorphic to (0, 1) in the topology induced from Y and that each map p|Jm : Jm → J, m ∈ Z, is a homeomorphism. Let us mention several properties of the topology of Y .

Lemma 6.5. (a) Let U ⊂ S1 be an open subset. If U ∩ Γ 6= ∅, then U intersects all orbits of f, so its saturation is p−1(p(U)) = S1. (b) Every open subset V ⊂ Y intersecting Q coincides with Y ; (c) Every subset L ⊂ Y intersecting Q is compact. (d) Let k : Y → Y be a continuous map such that k(y) ∈ J for some y ∈ Q. Then k is a constant map into point k(y). 14 SERGIY MAKSYMENKO AND EUGENE POLULYAKH

Proof. (a) Let y ∈ U ∩ Γ and x ∈ S1 be any point. If x ∈ Γ as well, then by (i) its orbit Of (x) is dense in Γ, whence the neighborhood U ∩Γ of y in Γ intersects Of (x). In particular, U ∩ Of (x) 6= ∅. Otherwise, x ∈ Ji for some i ∈ Z. Since Ji ∩Γ 6= ∅ and diameters of the intervals Jj tend m−i to 0 when j → ∞, it follows that Jm ⊂ U for some m ∈ Z, whence f (x) ∈ Jm ⊂ U. Thus, U ∩ Of (x) 6= ∅ as well. (b) Let V ⊂ Y be open subset intersecting Q. Then the open saturated set U := p−1(V ) intersects Γ. Hence U = S1 by (a) and thus V = Y . (c) Let y ∈ L ∩ Q, ξ = {Wj}j∈Λ be an open cover of L, and Wi be any element containing y. Then due to (b), Wi = Y , whence {Wi} is a one-element subcover of ξ which covers L. (d) Let V ⊂ J be a neighborhood of k(y). Then k−1(V ) is an open neighborhood of y ∈ Q, whence by (a), k−1(V ) = Y . Thus the image of Y is contained in arbitrary neighborhood of k(y). Since J is a T1-space, we have that {k(y)} = ∩ V , whence k(Y ) ⊂ {k(y)}, and k(y)∈V, V is open therefore k is a constant map.  Lemma 6.6. For Denjoy homeomorphism f : S1 → S1 the quotient map p : S1 → Y has property (C) but does not have property (K). Proof. Verification of property (C). Let h ∈ E(S1, ∆), k = ψ(h) ∈ E(Y ) = C(Y,Y ), and N (L, V ) = {l ∈ E(Y ) | l(L) ⊂ V } be a prebase set of the compact open topology on E(Y ) containing k, where L ⊂ Y is compact and V ⊂ Y is open. In particular, k(L) ⊂ V . Consider two cases. a) If V ∩ Q 6= ∅, then V = Y by Lemma 6.5(b). Hence N (L, V ) = N (L, Y ) = E(Y ). Therefore ψ−1N (L, V ) = ψ−1E(Y ) = E(S1, ∆) is open. b) Otherwise, V ∩ Q = ∅, i.e. V ⊂ J. Again consider two subcases. b1) Suppose L ∩ Q 6= ∅. Since k(L) ⊂ V , we get from Lemma 6.5(d) that k is a constant map into some point y ∈ Y . As p ◦ h = k ◦ p, it follows that h(S1) ⊂ p−1(y). But p−1(y) has no nontrivial connected subsets, whence h is a constant map, and its image is contained in −1 1 1 some interval Ji. Let Ui = Ji ∩ p (V ). Then U = N (S ,Ui) ∩ E(S , ∆) is a neighborhood of h in E(S1, ∆) and ψU ⊂ N (L, V ). −1 −1 b2) Finally, assume that L∩Q = ∅, so L, V ⊂ J. Denote K0 = p (L)∩J0 and U = p (V ).

Then the restriction p|K0 : K0 → L is a homeomorphism, whence K0 is compact. Moreover, 1 as p◦h = k◦p, we have that h(K0) ⊂ U, whence U := N (K0,U)∩E(S , ∆) is a neighborhood of h in E(S1, ∆).  We claim that ψ U ⊂ N (L, V ). Indeed, if g ∈ U, so g(K0) ⊂ U, then

ψ(g)(L) = ψ(g) ◦ p(K0) = p ◦ g(K0) ⊂ p(U) ⊂ V. Thus ψ is continuous, i.e. property (C) holds for p.

Proof that (K) fails. Consider the restriction f0 = f|Γ :Γ → Γ. Since Γ is invariant under f by property (i) and Q = p(Γ), then p0 = p|Γ :Γ → Q is well defined projection of Γ onto the quotient space Q. It is known from Baire theorem that Γ is a Baire space, so we can apply Lemma 6.2 to k k the action of Z on Γ given by its action map µ : Z × Γ → Γ, µ(k, z) = f (z) = f0 (z), (k, z) ∈ Z×Γ. So, there exists a compact subset L of Q such that there is no compact subset of Γ which projects onto L under p0. ACTIONS OF FOLIATED HOMEOMORPHISMS ON SPACES OF LEAVES 15

The property of being compact is intrinsic, hence there is no compact subset of S1 which projects onto L under p.  Remark 6.7. Let H be either Z or R. Consider a (topological) dynamical system H : G × X → X on a locally compact Hausdorff space X. Let Y be a space of orbits of this dynamical system endowed with quotient topology and p : X → Y be a natural projection. Each closed subset A of X is a Baire space in the topology induced from X by since A is a locally compact Hausdorff space. Hence the considerations similar to ones made in the second part of the proof of Lemma 6.6 show the following. If there exists a minimal subset of X which contains more than one orbit, then the projection p does not comply with the property (K).

References [1] K¯ojunAbe, Kazuhiko Fukui. On the first homology of automorphism groups of with geometric structures. Cent. Eur. J. Math., 3(3):516–528 (electronic), 2005. [2] Mathieu Baillif, Alexandre Gabard, David Gauld. Foliations on non-metrisable manifolds: absorption by a Cantor black hole. Proc. Amer. Math. Soc., 142(3):1057–1069, 2014. [3] Thomas Barthelm´e,Andrey Gogolev. A note on self orbit equivalences of Anosov flows and bundles with fiberwise Anosov flows. Math. Res. Lett., 26(3):711–728, 2019. [4] C. Bonatti, H. Hattab, E. Salhi, G. Vago. Hasse diagrams and orbit class spaces. Topology Appl., 158(6):729–740, 2011. [5] Ezzeddine Bouacida, Othman Echi, Ezzeddine Salhi. Feuilletages et topologie spectrale. J. Math. Soc. Japan, 52(2):447–464, 2000. [6] Michael Brin, Garrett Stuck. Introduction to Dynamical Systems. Cambridge University Press, 1 edition, 2002. [7] Othman Echi. The categories of flows of Set and Top. Topology Appl., 159(9):2357–2366, 2012. [8] D. B. A. Epstein. The simplicity of certain groups of homeomorphisms. Compositio Math., 22:165–173, 1970. [9] Ralph H. Fox. On topologies for function spaces. Bull. Amer. Math. Soc., 51:429–432, 1945. [10] David Gauld. Non-metrisable manifolds. Springer, Singapore, 2014. [11] David Gauld, Jan van Mill. Homeomorphism groups and metrisation of manifolds. New Zealand J. Math., 42:37–43, 2012. [12] C. Godbillon, G. Reeb. Fibr´essur le branchement simple. Enseignement Math. (2), 12:277–287, 1966. [13] Andr´eHaefliger, Georges Reeb. Vari´et´es(non s´epar´ees)`aune dimension et structures feuillet´eesdu plan. Enseignement Math. (2), 3:107–125, 1957. [14] Stefan Haller, Josef Teichmann. Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones. Ann. Global Anal. Geom., 23(1):53–63, 2003. [15] Hawete Hattab, Ezzeddine Salhi. Groups of homeomorphisms and spectral topology. In Proceedings of the 18th Summer Conference on Topology and its Applications, volume 28, pages 503–526, 2004. [16] Michael-Robert Herman. Simplicit´edu groupe des diff´eomorphismesde classe C∞, isotopes `al’identit´e, du tore de dimension n. C. R. Acad. Sci. Paris S´er.A-B, 273:A232–A234, 1971. [17] Anatole Katok, Boris Hasselblatt. Introduction to the Modern Theory of Dynamical Systems. Encyclo- pedia of Mathematics and its Applications 54. Cambridge University Press, 1995. [18] Steven L. Kent, Roy A. Mimna, Jamal K. Tartir. A note on topological properties of non-Hausdorff manifolds. International Journal of Mathematics and Mathematical Sciences, 2009:1–4, 2009. [19] Jacek Lech, Tomasz Rybicki. Groups of Cr,s-diffeomorphisms related to a foliation. In Geometry and topology of manifolds, volume 76 of Banach Center Publ., pages 437–450. Polish Acad. Sci. Inst. Math., Warsaw, 2007. [20] S. Maksymenko, E. Polulyakh, Yu. Soroka. Homeotopy groups of one-dimensional foliations on surfaces. Proceedings of the International Geometry Center, 10(1):22–46, 2017. [21] Sergiy Maksymenko. Local inverses of shift maps along orbits of flows. Osaka Journal of Mathematics, 48(2):415–455, 2011. 16 SERGIY MAKSYMENKO AND EUGENE POLULYAKH

[22] Sergiy Maksymenko, Eugene Polulyakh. Foliations with non-compact leaves on surfaces. Proceedings of Geometric Center, 8(3–4):17–30, 2015. [23] Sergiy Maksymenko, Eugene Polulyakh. Foliations with all nonclosedleaves on noncompact surfaces. Methods Funct. Anal. Topology, 22(3):266–282, 2016. [24] Sergiy Maksymenko, Eugene Polulyakh. One-dimensional foliations on topological manifolds. Proceedings of Geometric Center, 9(2):1–23, 2016. [25] Sergiy Maksymenko, Eugene Polulyakh. Characterization of striped surfaces. Proceedings of the Inter- national Geometry Center, 10(2):24–38, 2017. [26] John N. Mather. The vanishing of the homology of certain groups of homeomorphisms. Topology, 10:297– 298, 1971. [27] John N. Mather. Simplicity of certain groups of diffeomorphisms. Bull. Amer. Math. Soc., 80:271–273, 1974. [28] Tomasz Rybicki. The identity component of the leaf preserving diffeomorphism group is perfect. Monatsh. Math., 120(3-4):289–305, 1995. [29] Tomasz Rybicki. Homology of the group of leaf preserving homeomorphisms. Demonstratio Math., 29(2):459–464, 1996. [30] Tomasz Rybicki. Isomorphisms between leaf preserving diffeomorphism groups. Soochow J. Math., 22(4):525–542, 1996. [31] Tomasz Rybicki. The flux homomorphism in the foliated case. In Differential geometry and applications (Brno, 1998), pages 413–418. Masaryk Univ., Brno, 1999. [32] Tomasz Rybicki. On foliated, Poisson and Hamiltonian diffeomorphisms. Differential Geom. Appl., 15(1):33–46, 2001. [33] William Thurston. Foliations and groups of diffeomorphisms. Bull. Amer. Math. Soc., 80:304–307, 1974. E-mail address: [email protected]

Institute of Mathematics of NAS of Ukraine, Tereshchenkivska str. 3, Kyiv, 01024, Ukraine

E-mail address: [email protected]

Institute of Mathematics of NAS of Ukraine, Tereshchenkivska str. 3, Kyiv, 01024, Ukraine