1 Introduction
The purpose of this article is to review the author's results on the existence and structure of minimal sets and attractors conformal foliations. The results are illustrated by various examples. Connections with works of other authors are indicated.
Remind that two Riemannian metrics h and g on a manifold M are called conformally equivalent if there exists a positive smooth function f on M with h = f g. A conformal equivalence class [g] of Riemannian metrics on M is called a conformal structure on M, and the pair (M,[g]) is said to be a conformal manifold.
A group of conformal transformations of a Riemannian manifold (M,g) is called inessential if it is a group of isometries of a Riemannian manifold (M,h) with some h ∈ [g]. Otherwise, it is called essential.
Lichnerowicz conjectured that for n ≥ 3 every n-dimensional compact Riemannian manifold admitting an essential group of conformal transformations is conformally equivalent to the standard n-dimensional sphere 𝕊n. The articles by M. Obata [22], D.V. Alekseevskii [1,2], J. Ferrand [13] and others are devoted to this conjecture. It was also established that if a group of conformal transformations of a non-compact Riemannian manifold M is essential then M is conformally equivalent to the n-dimensional Euclidean space. In 1996 J. Ferrand [13] gave a complete proof of the Lichnerowicz conjecture, including the case of non-compact manifolds.
C. Tarquini [26] and then C. Tarquini and C. Frances [14] posed the following question about conformal foliations:
Is every codimension q ≥ 3 conformal foliation on a compact manifold either a Riemannian foliation or a (Con f (𝕊q),𝕊q)-foliation?
C. Frances and C. Tarquini called the question a foliated analog of the Lichnerowicz conjecture. For q ≥ 3 a conformal foliation is a (Con f (𝕊q), 𝕊q)-foliation if and only if it is transversally conformally flat. C. Frances and C. Tarquini [14] gave a positive answer to this question under some additional assumptions. We proved that in general the answer to the C. Frances and C. Tarquini question is positive (Theorem 7).
Our main results included in this article are as follows:
- 1)Different interpretations for the germ holonomy group of a leaf of a conformal foliation (Theorem 2).
- 2)A criterion for a conformal foliation to be Riemannian (Theorem 3).
- 3)The existence of an attractor which is a minimal set for every non-Riemannian conformal foliation of codimension q ≥ 3 (Theorem 4).
- 4)A structure theorem for conformal and transversely similar foliations on closed manifolds (Theorems 7 and 8).
- 5)Generalization of the results of P. Molino on the closures of leaves of Riemannian foliations (Theorem 10) and equivalence of completeness and existence of an Ehresmann connection for a conformal foliation (Theorem 9).
- 6)The existence of a global transitive attractor for every complete non-Riemannian conformal foliation of codimension q ≥ 3 (Theorem 12) and description of the structure of such foliations (Theorem 13).
- 7)Properties of global holonomy groups of conformal foliations (Theorems 13, 14.)
- 8)The global holonomy group defined up to conjugacy in the group Con f (𝕊q) is a complete invariant of the class of strong transversely equivalent conformal foliations (Theorem 15). An analogous result for strong transversely equivalent similar foliations (Theorem 16).
- 9)The existence of a two-dimensional suspension conformal foliation in every class of transversely equivalent non-Riemannian conformal foliations (Theorem 18).
In Section 3.5 we compare our results with some results of B. Deroin and V. Kleptsyn [11].
Section 7 contains examples of conformal foliations with global attractors. In particular, we construct a conformal foliation with two global attractors, one of which is a transitive attractor but not a minimal set (Example 22).
Notations In this article we denote by M a smooth manifold of dimension n and by C∞(M) the space of smooth functions on M. Let 𝔛(M) be the C∞(M)-module of smooth vector fields on M. Also, we denote by 𝔛c(M) the C∞(M)-module of compactly supported smooth vector fields on M.
2 Conformal foliations and associated constructions
2.1 Conformal foliations
First, we recall some basic notions.
A diffeomorphism f : N1 → N2 of Riemannian manifolds (N1,g1) and (N2,g2) is called conformal if there exists a smooth function λ on N1 with f*g2 = λ g1. A conformal diffeomorphism f from a Riemannian manifold (N,g) to itself is also called a conformal transformation. A conformal transformation f of (N,g) is said to be a similarity, if f*g2 = λ g for a constant λ.
Conformal foliations were studied by some authors as foliations admitting a transverse conformal structure.
A codimension q ≥ 3 smooth foliation (M,F) is called conformal, if there are:
- a possibly disconnected Riemannian manifold (N,g);
- an open cover {Ui |i ∈ J} of M;
- submersions fi : Ui → Vi with connected fibers, Vi ⊂ N,
A maximal (with respect to inclusion) N-cocycle {Ui, fi,γij}i,j∈J, satisfying the above properties, determines a new topology on M, whose base is the set of fibers of all submersions fi. This topology is called the leaf topology and denoted by τ.
Path-connected components of the topological space (M,τ) form a partition F = {Lα |α ∈ A} of M, and (M,F) is called the conformal foliation with leaves Lα determined by the N-cocycle {Ui, fi,γij}i,j∈J.
It is also said that (M,F) is modeled on the conformal geometry (N,[g]).
If each γij is a local similar transformation of (N,g), then (M,F) is called a transversely similar Riemannian foliation.
If each γij is an isometry, then (M,F) is called a Riemannian foliation.
Let Con f (𝕊q) be the Lie group of all conformal transformations of the q-dimensional sphere 𝕊q.
If a foliation (M,F) is defined by the N-cocycle {Ui, fi,γij}i,j∈J, where N = 𝕊q and each γij is the restriction of a transformation f ∈ Con f (𝕊q), then (M,F) is referred to as a (Con f (𝕊q),𝕊q)-foliation.
A conformal transformation of the complex plane is conformal in the above sense. Therefore, every transversely complex analytic foliation of complex codimension one is a conformal foliation of real codimension two in the sense of Definition 1. The converse is also true, i.e., every conformal foliation of codimension two can be considered as a transversely complex analytic foliation of complex codimension one.
Conformal foliations of codimension two have been studied by several authors, using methods of complex analysis. For example, in [6] P. Baird and M. Eastwood gave a detailed twistor description of conformal foliations of codimension two in the 3-dimensional Euclidean space. Holonomy diffeomorphisms of these foliations preserve the conformal equivalence class of Riemannian metrics on orthogonal complements to their leaves.
Since every 2-dimensional manifold is locally conformally flat, every conformal foliation of codimension two is transversely conformally flat. A transversal conformal manifold (N,[g]) is locally conformally flat if and only if, in codimension q > 3, its Weyl conformal curvature tensor vanishes or, in codimension q = 3, its Schouten tensor vanishes.
Like S. Morita [21], in contrast to the case of conformal foliations of codimension two, we study conformal foliations of codimension q, q ≥ 3, by differential geometric methods, considering them as Cartan foliations.
2.2 The foliated bundle over a conformal foliation
The construction of the foliated bundle is essentially used by us. Foliated bundles were introduced in works of P. Molino, F. Kamber and Ph. Tondeur.
Recall that a foliation admitting an effective Cartan geometry of type (G,H) [10] as a transverse structure is said to be a Cartan foliation of the same type. Remark that any conformal foliation may be considered as a Cartan foliation of type (G,H), where G = Con f (𝕊q) is the full group of conformal transformations of 𝕊q and H is the stabilizer of G at an arbitrary point b ∈ 𝕊q. Let 𝔤 and 𝔥 be the Lie algebras of the Lie groups G and H, respectively. Then we have the following statement [27].
Let (M,F) be a conformal foliation of codimension q ≥ 3. Then there are the following objects:
- 1a principal H-bundle π : ℛ → M;
- 2an H-invariant foliation (ℛ,ℱ) which is mapped by π into (M,F);
- 3a 𝔤-valued 1-form ω on ℛ, satisfying the properties:
- (i)ω (A*) = A for any A ∈ 𝔥, where A* is the fundamental vector field corresponding to A;
- (ii)
for any a ∈ H, where AdG is the adjoint representation of the Lie group G in its Lie algebra 𝔤; - (iii)the Lie derivative LX ω vanishes for every vector field X tangent to the leaves of (ℛ,ℱ).
The H-bundle π : ℛ → M is said to be foliated. The foliation (ℛ,ℱ) is called the lifted foliation, and (ℛ,ℱ) is a transversely parallelizable foliation, i.e., an e-foliation.
2.3 Holonomy groups of a conformal foliation
We consider conformal foliations as Cartan foliations and use the construction of the principal foliated bundle. Due to this, we can apply the results of our previous work [27].
In foliation theory, the germ holonomy groups are usually used. By analogy with [27], we give the following interpretations for the germ holonomy group of a leaf of a conformal foliation.
As above, let G = Con f (𝕊q) be the Lie group of conformal transformations of the sphere 𝕊q and let H be the stabilizer of G at an arbitrary point in 𝕊q.
Let (M,F) be a conformal foliation of codimension q ≥ 3, ℛ be the foliated H-bundle over (M,F) with the projection π : ℛ → M and (ℛ,ℱ) be the lifted foliation. Then, for every leaf L = L(x), x ∈ M, of (M,F) the restriction π |ℒ : ℒ → L to the leaf ℒ = ℒ (u), u ∈ π−1(x), of the lifted foliation (ℛ,ℱ) is a regular covering map, and the germ holonomy group Γ(L,x) of L is isomorphic to each of the following groups:
- (i)the subgroup H(ℒ) := {a ∈ H |Ra(ℒ) = ℒ } of H;
- (ii)the group of deck transformations of the covering π |ℒ : ℒ → L.
Note that the group H(ℒ) is defined up to conjugacy in the group H.
3 Minimal sets and attractors of conformal foliations
3.1 Minimal sets of foliations
A saturated set of a foliation is a union of leaves. Recall that a minimal set of a foliation (M,F) is a nonempty closed saturated subset of M without proper subsets satisfying these properties.
Existence of minimal sets and description of their structure are one of the central problems in the foliation theory. A. H. Aranson, V. Z. Grines [4, 5] and J. Levitt [19] obtained a topological classification of nontrivial minimal sets of flows and foliations on closed surfaces of genus p ≥ 2. Minimal sets of Riemannian foliations were studied by P. Molino [20], A. Haefliger [15] and E. Salem [23] without using the term minimal set.
Every foliation on a compact manifold has a minimal set. This is wrong for non-compact manifolds. Foliations without minimal sets (on non-compact manifolds) are constructed in the works of J.-C. Beniere and G. Meigniez [7], T. Inaba [16] and M. Kulikov [18]. Moreover, J.-C. Beniere and G. Meigniez proved the existence of foliations without minimal sets on every non-compact manifold of dimension n ≥ 2, different from surfaces of finite kind [7].
A minimal set ℳ is called regular, if it is a submanifold of M. Let {Ui|i ∈ N} be an at most countable locally finite open cover of M by foliated coordinate neighborhoods. Let Ti be a submanifold in Ui, which intersects transversely each leaf of the induced foliation (Ui,FUi), and let T = ⊔i∈NTi be the complete transversal. A minimal set ℳ, having no interior points, is called:
- exceptional if ℳ ∩ T is a Cantor set;
- exotic if ℳ ∩ T is not a totally disconnected topological space.
In Section 7 we construct examples of conformal foliations with exotic, exceptional, and regular minimal sets.
3.2 A criterion for a conformal foliation to be Riemannian
The holonomy group of a leaf L of a conformal foliation is said to be relatively compact or inessential if the corresponding subgroup H(ℒ) of the Lie group H is relatively compact.
Since H(ℒ) is defined up to conjugacy in H, then this definition is correct.
We established the following criterion for a conformal foliation to be Riemannian [29, Theorem 3].
Let (M,F) be a codimension q ≥ 3 conformal foliation modeled on a conformal geometry (N,[g]). Then there exists a Riemannian metric d ∈ [g] such that (M,F) is a Riemannian foliation modeled on (N,d) if and only if every holonomy group of this foliation is relatively compact, i.e. inessential.
According to [31, Theorem 3], Theorem 3 holds for transversely similar Riemannian foliations of codimension q ≥ 2. Note that it is true also for q = 1.
3.3 The existence of attractors of conformal foliations
Let (M,F) be a foliation.
A nonempty closed saturated subset ℳ of M is called an attractor of (M,F) if there exists a saturated open neighborhood Attr(ℳ) of ℳ such that the closure of every leaf belonging to Attr(ℳ) \ ℳ contains ℳ.
If, in addition, Attr(ℳ) = M, then the attractor ℳ is called global.
In the case when there exists a dense leaf in ℳ, the attractor ℳ is referred to be transitive.
Using the criterion for conformal foliation to be Riemannian (Theorem 3) and some results from local conformal geometry, we prove the following theorem on two alternative possibilities for conformal foliations.
Let (M,F) be a codimension q ≥ 3 conformal foliation. Then:
- either it is Riemannian,
- or it has an attractor ℳ which is the closure of a leaf L with essential holonomy group,
, and a minimal set. Moreover, the restriction (𝒜ttr(ℳ),F) of the foliation to the attraction basin is a (Con f (𝕊q),𝕊q)-foliation.
Recall that a foliation (M,F) is called proper if all its leaves are embedded submanifolds of M. A leaf L is called closed if L is a closed subset of M.
Every proper non-Riemannian conformal foliation of codimension q ≥ 3 has a closed leaf with essential holonomy group that is an attractor.
A non-Riemannian conformal foliation (M,F) of codimension q ≥ 3 has a minimal set that is an attractor of this foliation.
Theorem 4 is proved without assumption that the foliated manifold M is compact.
3.4 An analog of the Lichnerowicz conjecture for conformal foliations
The following theorem [28, Theorem 4] gives a positive answer to the C. Frances and C. Tarquini question stated in Introduction in the general case.
Any codimension q ≥ 3 conformal foliation (M,F) on a compact manifold M is
- either a Riemannian foliation;
- or a (Con f (𝕊q),𝕊q)-foliation with finitely many minimal sets. All these sets are attractors given by the closures of leaves with essential holonomy group, and each leaf of F belongs to the basin of at least one of these attractors.
For the proof of Theorem 7, we applied the results of D.V. Alekseevskii [1] and J. Ferrand [12] concerning with local differential geometry as well as Riemannian geometry on non-Hausdorff manifolds.
Let us emphasize that transversely similar foliations form a subclass of conformal foliations. Since any Riemannian manifold of dimension 1 or 2 is locally conformally flat, every transversely similar Riemannian foliation of codimension q = 1 or 2 is a (Sim(𝔼q),𝔼q)-foliation. By using similar arguments as in the proof of [28, Theorem 4], we prove the following statement.
Every transversely similar Riemannian foliation (M,F) of codimension q ≥ 1 on a compact manifold M is
- either a Riemannian foliation
- or a (Sim(𝔼q),𝔼q)-foliation with finitely many minimal sets. They are all attractors formed by the closures of leaves with essential holonomy group, and each leaf of the foliation belongs to the basin of at least one of them.
3.5 Comparison with the results B. Deroin and V. Kleptsyn [11]
Theorem 7 strengthens (in an appropriate smoothness class and for q ≥ 3) the first part of the main theorem of B. Deroin and V. Kleptsyn [11], which claims that every conformal foliation of arbitrary codimension q ≥ 1 on a compact manifold either admits a transversal invariant measure or has finitely many minimal sets satisfying some properties. As emphasized in the introduction of [11], E. Ghys conjectured that in the absence of attractors of the conformal foliation, the invariant transverse measure is given by a Riemannian metric. It follows from our Theorem 7 that this conjecture of E. Ghys holds for conformal foliations of codimension q ≥ 3.
It is known (see, for example [1]) that there are nontrivial second order conformal diffeomorphisms f of the sphere 𝕊q, q ≥ 2, such that the differential f*x at a fixed point x is an orthogonal transformation of the tangent Euclidean vector space Tx𝕊q at x. These conformal transformations are essential. The 1-dimensional conformal foliation (M,F) formed by the suspension of such a conformal diffeomorphism f does not admit a transversely invariant measure and does not have hyperbolic holonomy; therefore, (M,F) does not satisfy [11, Cor. 1.3]. Thus, unlike us, in [11] the authors do not consider conformal foliations with such holonomies.
Note that in [28, 29] we use the methods of local and global differential geometry, including foliated principal bundles, geometries on non-Hausdorff manifolds as well as Ehresmann connections for foliations. While B. Deroin and V. Kleptsyn apply methods of random dynamical systems, including Lyapunov exponents of harmonic measures. In [11], a Laplace operator along leaves is considered and the existence of a transverse invariant measure is investigated.
4 Completeness and Ehresmann connections for conformal foliations
4.1 Smooth distributions on manifolds
We will use the definition of a smooth distribution given by I. Androulidakis and G. Skandalis [3, §1.1]. Let us recall this definition.
Let 𝔐 be a C∞(M)-submodule of 𝔛c(M) and let U be an open subset of M. Set iU : U → M the inclusion map. For any vector field X ∈ 𝔛(M) we denote X|U := X ○ iU. The restriction of 𝔐 to U is the C∞(M)-submodule of 𝔛c(M) generated by the vector fields f · X|U, where f ∈ C∞(U) and X ∈ 𝔐. This restriction is denoted by 𝔐|U.
The module 𝔐 is said to be locally finitely generated if, for every x ∈ M there exist an open neighbourhood U of x and a finite number of vector fields ξ1,..., ξk belonging to 𝔛(M) such that 𝔐|U = C∞(U)c · ξ1 + ... + C∞(U)c · ξk. It is said that the vector fields ξ1,...,ξk generate the restriction 𝔐|U of 𝔐 to U.
([3]) A smooth distribution on M is a locally finitely generated C∞(M)-submodule 𝔐 of the C∞(M)-module 𝔛c(M). It is also denoted by the pair (M,𝔐).
If 𝔐 is a constant rank distribution, then 𝔐 is a projective submodule of the C∞(M)-module 𝔛c(M), i.e., the space of smooth sections of some vector bundle. We consider constant rank distributions.
A foliation (M,F) in the sense of [3] is a smooth involutive distribution on M, i.e. F is a locally finitely generated C∞(M)-submodule of 𝔛c(M) for which [F,F] ⊂ F. Due to the Frobenius theorem, this definition is equivalent to the commonly used definition of C∞-smooth foliation [25].
4.2 Completeness of conformal foliations
Let (M,F) be a smooth foliation of codimension q ≥ 1 on an n-dimensional manifold M. Let 𝔐 be a q-dimensional distribution on M. We say that 𝔐 is transverse to (M,F) if the distributions 𝔐 and T F define transverse subbundles of the tangent bundle to M.
Let (M,F) be a conformal foliation of codimension q ≥ 3 on a smooth n-dimensional manifold M. We keep notation introduced in Section 2.2. Denote by ℛ the foliated bundle over (M,F) with the projection π : ℛ → M and by ω the 𝔤-valued 1-form on ℛ. Let (ℛ,ℱ) be the lifted e-foliation. Consider a q-dimensional distribution 𝔐 on M. Denote by π*𝔐 the distribution on ℛ generated by vector fields Y ∈ 𝔛(ℛ) for which π*Y ∈ 𝔐.
A conformal foliation (M,F) of codimension q ≥ 3 is referred to as complete, if there exists a smooth transverse q-dimensional distribution 𝔐 on M such that every vector field Y ∈ π* 𝔐, for which ω (Y) = const ∈ 𝔤, is complete.
4.3 Ehresmann connection for foliations
The notion of an Ehresmann connection for foliations was introduced by R.A. Blumenthal and J.J. Hebda in [8]. R.A. Blumenthal and J.J. Hebda [8] considered a smooth distribution on a smooth manifold M as a smooth subbundle of the tangent bundle T M. We clarify the notion of Ehresmann connection for foliations due to the new definition of a distribution in sense I. Androulidakis and G. Skandalis which we have accepted.
Consider a smooth foliation (M,F) of codimension q, q ≥ 1. Let 𝔐 be a smooth q-dimansional distribution in sense I. Androulidakis and G. Skandalis, and 𝔐 is transverse to (M,F).
All maps considered here are assumed to be piecewise smooth. The integral curves of the foliation (M,F) are called vertical; the integral curves of the distribution 𝔐 are called horizontal. Emphasize that a vertical curve lies in some leaf of (M,F).
A map H : I1 × I2 → M, where I1 = I2 = [0,1], is called a vertical-horizontal homotopy if for each fixed t ∈ I2, the curve H|I1×{t} is horizontal, and for each fixed s ∈ I1, the curve H|{s}×I2 is vertical. The pair of curves (H|I1×{0}, H|{0}×I2) is called the base of H.
A pair of curves (σ,h) with a common starting point σ(0) = h(0), where σ : I1 → M is a horizontal curve, and h : I2 → M is a vertical curve, is called admissible. If for each admissible pair of curves (σ,h) there exists a vertical-horizontal homotopy with the base (σ,h), then the distribution 𝔐 is called an Ehresmann connection for the foliation (M,F). Note that there exists an at most one vertical-horizontal homotopy with a given base. Let H be a vertical-horizontal homotopy with the base (σ,h). We say that
The following theorem is proved in [29, Theorem 4].
For any non-Riemannian conformal foliation (M,F) of codimension q ≥ 3 the following two conditions are equivalent:
- (i)There exists an Ehresmann connection for (M,F).
- (ii)The conformal foliation (M,F) is complete.
Like Theorem 8, Theorem 9 holds for transversely similar Riemannian foliations of codimension q ≥ 1.
5 Minimal sets and global attractors of conformal foliations
5.1 Minimal sets of Riemannian foliations
The following theorem was proved by us in [29, Theorem 1], see also [32]. For compact manifolds this theorem was earlier proved by P. Molino [20]. In the case when a bundle-like Riemannian metric on M with respect to (M,F) is complete, it was proved by E. Salem [23] without using the term “minimal set”.
Let (M,F) be a Riemannian foliation with an Ehresmann connection. Then the closure
In particular, if (M,F) is a proper foliation, then all its leaves are closed, and the leaf space is a smooth q-dimensional orbifold.
5.2 Global attractors of a countable subgroup of Con f (𝕊q)
Let Ψ be a homeomorphism group of a topological space B. A nonempty closed invariant subset 𝒦 ⊂ B is called an attractor of Ψ if there exists an open invariant subset W ⊂ B such that the orbit closure Cl(Ψ.z) of any point z ∈ W \ 𝒦 contains 𝒦. An attractor 𝒦 of Ψ is global if W = B.
We recall that a minimal set of a homeomorphism group Ψ of a topological space B is a nonempty closed invariant subset 𝒦 with respect to Ψ containing no proper subsets with this property. A finite minimal set is called trivial.
Let 𝒦 be a minimal set of a diffeomorphism group Ψ of a manifold B. The minimal set 𝒦 with empty interior is called exceptional if 𝒦 is a Cantor set, and exotic if 𝒦 is not a totally disconnected topological subspace of B.
It is well known that the conformal group Con f (𝕊q), q ≥ 2, is isomorphic to the Mobius group Mobq(ℝ) [24].
The limit set Λ(Ψ) of an arbitrary subgroup Ψ of Con f (𝕊q) coincides with the intersection of the closures of all non-one-point orbits of this group, that is, Λ(Ψ) = ∩ Cl(Ψ.z), where z ∈ 𝕊q and Ψ.z ≠ z. If the limit set Λ(Ψ) is finite, then either it is empty or it consists of one or two points. In this case, the group Ψ is called elementary.
Using some facts about subgroups of Con f (𝕊q) [17], we get the following statement.
Let Ψ be a countable essential subgroup of Con f (𝕊q). Then Ψ has a global attractor which coincides with the limit set Λ(Ψ) of Ψ.
5.3 Global attractors of complete conformal foliations
The following theorem is the main result of our works [28] and [29]. Emphasize that the Ehresmann connection for (M,F) is one of the main technical tools used in the proof.
A complete non-Riemannian conformal foliation (M,F) of codimension q, q ≥ 3, has a global attractor ℳ such that one of the following conditions holds:
- ℳ is either a closed leaf or a union of two leaves.
- ℳ is either a nontrivial minimal set, or contains a closed leaf. The induced foliation (M0,FM0) on M0 = M \ ℳ is Riemannian with Ehresmann connection. The closure
in M of any L ⊂ M0is equal to ℒ ∪ ℳ, where ℒ is an embedded submanifold of M, and ℒ coincides with the closure of L in M0.
Sufficient conditions for the existence of a global attractor for transversely similar pseudo-Riemannian foliations are obtained in [31].
5.4 The global holonomy group
The following theorem [29, Theorem 5] describes the global structure of the foliated manifold and establishes a relationship between the attractors of conformal and transversely similar foliations and the attractors of their global holonomy groups.
Let (M,F) be a non-Riemannian complete conformal foliation (M,F). Then one of the following two statements holds.
- 1)The foliation (M,F) is a complete transversely similar foliation with the only minimal set ℳ, which is a global attractor and contains all leaves with essential holonomy group.
- 2)The foliation (M,F) is covered by a bundle :
, where is a regular covering map. A group homomorphismof the fundamental group π1(M,x) to the group Con f (𝕊q) of conformal transformations of 𝕊q is induced, and the group of covering transformations of the covering is isomorphic to the group Ψ := χ(π1(M,x)). Moreover, in this case one of the following two statements holds.- (i)The foliation (M,F) has a global attractor ℳ which is either one closed leaf or two closed leaves.
- (ii)There exists a global attractor ℳ that coincides with the closure of a leaf with essential holonomy group, and ℳ = f (r−1(𝒦)) where 𝒦 = Λ(Ψ) is the limit set of Ψ.
In both cases 1) and 2) the induced foliation (M0,FM0) on the complement M0 := M \ ℳ is a Riemannian foliation with Ehresmann connection. The closures of its leaves in M0form a Riemannian foliation with singularities, and the closure
Just like Theorem 8, the statement of the Theorem 13 holds for transversely similar Riemannian foliations of every codimension q ≥ 1.
The group Ψ := χ(π1(M,x)) specified in Theorem 13, is called the global holonomy group of the conformal foliation (M,F).
The following statement is proved in a constructive way for q ≥ 3 [29, Theorem 7]. For q = 2, the proof is similar.
Every countable subgroup Ψ of Con f (𝕊q), where q ≥ 2, can be realized as the global holonomy group of some two-dimensional conformal foliation (M,F) of codimension q.
If Ψ is finitely generated, then such a foliation (M,F) exists on a closed manifold M of dimension (q + 2).
6 Strong transverse equivalence of foliations
6.1 Invariants with respect to strong transverse equivalence of conformal foliations
The notion of strong transverse equivalence of foliations was introduced and investigated by us in [30] under the name “transverse equivalence”.
A continuous map p : X → Y has the covering homotopy property with respect to a topological space K if, for any continuous map G0 : K → X and any homotopy Ht : K → Y, t ∈ [0,1], such that p ○ G0 = H0, there exists an extension of G0 to a homotopy Gt : K → X satisfying the equality p ○ Gt = Ht, t ∈ [0,1].
We recall that a Serre fibration is a continuous surjective map having the covering homotopy property with respect to any finite polyhedron. It is known that for Serre fibrations it is possible to construct the exact homotopy sequence for a fibration. It is also well known that any locally trivial fibration is a Serre fibration. If a Serre fibration is a submersion, then it is called a smooth Serre fibration.
In comparison with the notion of transverse equivalence introduced by P. Molino [20, p. 63], Definition 11 contains an additional requirement that the submersions p : 𝕄 → M and p′ : 𝕄 → M′ are Serre fibrations, i.e., have the covering homotopy property. As shown in [30, Proposition 4.1], the strong transverse equivalence is indeed an equivalence relation.
Using this additional requirement, we proved that the strong transverse equivalence of foliations covered by fibrations can be realized by a foliation covered by a fibration. This fact was used in the proofs of the following theorems in [30]. As we have shown, in general, this is not true for transverse equivalent foliations in the sense of P. Molino.
Two complete conformal, but not transversally similar foliations (M1, F1) and (M2, F2) of codimension q ≥ 3 are strong transversely equivalent if and only if their global holonomy groups Ψ1and Ψ2coincide (up to conjugacy in Con f (𝕊q)).
Two complete non-Riemannian transversally similar foliations (M1, F1) and (M2, F2) of codimension q ≥ 1 are strong transversely equivalent if and only if their global holonomy groups Ψ1and Ψ2coincide (up to conjugacy in Sim(𝔼q)).
The structure Lie algebra 𝔤0 of a complete non-Riemannian conformal foliation (M,F) of codimension q ≥ 3 is isomorphic to the Lie algebra of the Lie group
From Theorems 15 and 16 we obtain the following assertion.
The Lie group Ψ, the structure Lie algebra 𝔤0and the limit set Λ(Ψ) of the global holonomy group Ψ of a complete non-Riemannian conformal foliation (M, F) are invariants with respect to the strong transverse equivalence.
6.2 Suspension foliations
Using suspension foliations, we proved the following theorem. Note that the same method is used in the construction of Example 21.
Every strong transverse equivalence class of a non-Riemannian conformal foliation contains a two-dimensional conformal foliation, which is a suspension foliation.
7 Examples
Let Bk be a smooth closed 3-manifold, which is homeomorphic to the connected sum
Recall first the definition of the Menger curve. Let S = I ×I be the unit square. Let us divide it into 9 squares of size 1/3 × 1/3, then remove the open square (1/3,2/3) × (1/3,2/3). Then repeat this procedure with each of the remaining eight squares and continue by induction. As a result, a countable family of open squares will be removed from S and we get a compact subset of S, called the Sierpinski carpet. Let Q = I × I × I be the unit cube. Consider a copy 𝒮j of the Sierpinski carpet on each face Pj of Q,
Using the fact that sinx < x for all x > 0, it is easy to check that the condition
Thus, Λ(Ψkm) is an exotic minimal set of the group Ψkm in S2m−2.
Let
Let
Let
If
Let
Note that the closure
Let 𝔼q be the q-dimensional Euclidean space and 𝔼k, 2 ≤ k < q, be its k-dimensional subspace. Let ei,
Denote by
Let
Thus, we get a transversely similar foliation (M,F) of codimension q, q ≥ 3, with a regular minimal set ℳ := f (r−1(𝔼k)), and ℳ is a global attractor and a minimal set of (M,F). According to [27, Theorem 9], ℳ and M are homotopy equivalent.
Let M0 := M \ ℳ and Lα be an arbitrary leaf in M0. Emphasize that the induced foliation (M0,FM0) is an improper Riemannian foliation without holonomy, admitting an Ehresmann connection. According to Theorem 12, the closure
Fix a point a ∈ 𝕊q. Let f : 𝕊q → ℝq ∪ {∞} be the homeomorphism defined via the stereographic projection 𝕊q \ {a} → ℝq, and f (a) = {∞}. Identify 𝕊q with ℝq ∪ {∞} through f. The map f induces a group isomorphism
Let Ψ ⊂ Sim(𝔼q) be the similarity group defined in Example 21. Hence
Let
The universal covering manifold for M is the product ℝ2 × 𝕊q. Denote by h : ℝ2 × 𝕊q → M the universal covering map. Let r : ℝ2 × 𝕊q → 𝕊q be the canonical projection.
Since the global holonomy group
Thus we construct a conformal foliation having two global regular attractors L and ℳ, L ⊂ ℳ, such that L is a closed leaf and ℳ is transitive attractor which is not a minimal set.
The work was supported by the grant 17-11-01041 of the Russian Science Foundation with the exception of Sections 6 and 7. The work on Sections 6 and 7 is supported by Laboratory of Dynamical Systems and Applications NRU HSE, of the Ministry of science and higher education of the RF grant ag. N 075-15-2019-1931.
References
- [1]↑
D.V. Alekseevskii (1972), Groups of conformal transformations of Riemannian spaces, Math. USSR-Sb., 18(2), 285–301.
- [2]↑
D.V. Alekseevskii (1973), Sn and En are the only Riemannian spaces that admit an essential conformal transformation, Uspekhi Mat. Nauk, 28(5), 225–226.
- [3]↑
I. Androulidakis and G. Skandalis (2009), The holonomy groupoid of a singular foliation, J. Reine Angew. Math., 626, 1–37.
- [4]↑
S.Kh. Aranson, V.Z. Grines (1978), On the representation of minimal sets of currents on two-dimensional manifolds by geodesics, Math. USSR-Izv., 12(1), 103–124.
- [5]↑
S.Kh. Aranson, V.Z. Grines (1986), Topological classification of flows on closed two-dimensional manifolds, Russian Math. Surveys, 41(1), 183–208.
- [6]↑
P. Baird and M. Eastwood (2013), CR geometry and conformal foliations, Ann. Global Anal. Geom., 44(1), 73–90.
- [7]↑
J.-C. Beniere, G. Meigniez (1999), Flows without minimal set, Erg. Th. and Dyn. Sys., 19(1), 1–30.
- [8]↑
R.A. Blumenthal, J.J. Hebda (1984), Ehresmann connections for foliations, Indiana Univ. Math. J., 33(4), 597–611.
- [9]↑
M. Bourdon (1997), Sur la dimension de Hausdorff de l’ensemble limite d’une famille de sous-groupes convexes co-compacts, C. R. Acad. Sci. Paris Ser. I Math., 325(10), 1097–1100.
- [10]↑
A. Cap, J. Slovak (2009), Parabolic Geometries I: Background and General Theory, AMS Publishing House, Math. Surveys Monogr., 154, 1–628.
- [11]↑
B. Deroin, V. Kleptsy(2007), Random Conformal Dynamical Systems. Geometric and functional analysis, 17(4), 1043–1105.
- [12]↑
J. Ferrand (1977), Sur un lemme d’Alekseevskii relatif aux transformations conformes, C. R. Acad. Sc. Paris, 284, 121–123.
- [13]↑
J. Ferrand (1996), The action of conformal transformations on a Riemannian manifold, Math. Ann., 304(2), 277–291.
- [14]↑
C. Frances, C. Tarquini (2007), Autour du theoreme de Ferrand-Obata, Ann. Glob. Anal. Geom., 21(1), 51–62.
- [16]↑
T. Inaba (1999), An example of a flow on a non-compact surface without minimal set, Erg. Th. and Dyn. Sys., 19(1), 31–33.
- [17]↑
M. Kapovich (2007), Kleinian groups in higher dimensions, Geometry and dynamics of groups and spaces, Progr. Math., 265, Birkhauser, Basel 2007, 487–564.
- [18]↑
M.S. Kulikov (2004), Schottky-type groups and minimal sets of horocycle and geodesic flows, Sb. Math., 195(1), 35–64.
- [21]↑
S. Morita (1979), On characteristic classes of conformal and projective foliations, J. Math. Soc. Japan, 31(4), 693–718.
- [22]↑
M. Obata (1971), The conjectures on conformal transformations of Riemannian manifolds, J. Differential Geom., 6(2), 247–258.
- [23]↑
E. Salem (1988), Riemannian foliations and pseudogroups of isometries, Application D in: P. Molino, Riemannian foliations, Progr. Math., 263, Birkhauser, Boston, MA, 1988.
- [24]↑
R.W. Sharpe (1997), Differential Geometry: Cartan's Generalization of Klein's Erlangen Progpam, Grad. Texts in Math. 166, New York: Springer-Verlag.
- [25]↑
I. Tamura (1992), Topology of foliations: An Introduction, Transl. of Math. Monographs, 97, Publisher: AMS.
- [27]↑
N.I. Zhukova (2007), Minimal sets of Cartan foliations, Proc. Steklov Inst. Math., 256(1), 105–135.
- [28]↑
N.I. Zhukova (2011), Attractors and an analog of the Lichnerowicz conjecture for conformal foliations, Siberian Math. J., 52(3), 436–450.
- [29]↑
N.I. Zhukova (2012), Global attractors of complete conformal foliations. Sb. Math., 203(3), 380–405.
- [30]↑
N.I. Zhukova (2015), Transverse Equivalence of Complete Conformal Foliations J. Math. Sci., 208(1), 115–130.
- [31]↑
N.I. Zhukova (2018), The existence of attractors of Weyl foliations modelled on pseudo-Riemannian manifolds, JPCS, 990(1), 1–15.
- [32]↑
N.I. Zhukova (2018), The structure of Riemannian foliations with Ehresmann connection, Zh. Sredn. Mat. Obshch., 20(4), 395–407 (in Russian).