Académique Documents
Professionnel Documents
Culture Documents
DYNAMICS AND
TOPOLOGY OF
FOLIATIONS
A First Course
Bruno Scardua
Federal University of Rio de Janeiro, Brazil
World Scientific
NEW JERSEY LONDON SINGAPORE BEIJING SHANGHAI HONG KONG TAIPEI CHENNAI TOKYO
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
Dedicated to our families
vii
viii Geometry, Dynamics and Topology of Foliations - a first course
Preface vii
1. Preliminaries 1
1.1 Denition of foliation . . . . . . . . . . . . . . . . . . . . . 1
1.2 Examples of foliations . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Foliations derived from submersions . . . . . . . . 4
1.2.2 Reeb foliations . . . . . . . . . . . . . . . . . . . . 9
1.2.3 Lie group actions . . . . . . . . . . . . . . . . . . 13
1.2.4 Rn actions . . . . . . . . . . . . . . . . . . . . . . 17
1.2.5 Turbulization . . . . . . . . . . . . . . . . . . . . . 18
1.2.6 Suspensions . . . . . . . . . . . . . . . . . . . . . . 20
1.2.7 Foliations transverse to the bers of a ber bundle 23
1.2.8 Transversely homogeneous foliations . . . . . . . . 27
1.2.9 Fibrations and the theorem of Ehresmann . . . . . 30
1.3 Holomorphic Foliations . . . . . . . . . . . . . . . . . . . . 33
1.3.1 Holomorphic foliations with singularities . . . . . 33
xi
xii Geometry, Dynamics and Topology of Foliations - a first course
5. Haeigers theorem 77
5.1 Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.2 Morse theory and foliations . . . . . . . . . . . . . . . . . 78
5.3 Vector elds on the two-disc . . . . . . . . . . . . . . . . . 82
5.4 Proof of Haeigers theorem . . . . . . . . . . . . . . . . . 85
Bibliography 173
Index 177
Preliminaries
1
2 Geometry, Dynamics and Topology of Foliations - a first course
X 1 (Dn y) F.
The elements of the partition F are called the leaves of F . The element Fx
of F containing x M is called the leaf of F containing x.
Fig. 1.1
Denition 1.1. Then i, j the transition map Xj (Xi )1 has the form
Xj (Xi )1 (x, y) = (fi,j (x, y), gi,j (y)).
The map gi,j is a dieomorphism in its domain of denition. This
follows from the fact that the derivative D(Xj (Xi )1 )(x, y) has non-
zero determinant equals to x fi,j (x, y) gi,j (y). We dene for all i the
map gi = 2 Xi , where 2 is the projection onto the second coordinate
(x, y) Dn Dmn y. One has gj = gi,j gi as (2 Xj ) Xi1 = gi,j
1
and then gi,j gj = Xi 2 gi,j gj = 2 Xi = gi gj = gi,j gi since
2 is the identity in Dmn . Therefore, a C r foliation F of codimension
m n of a manifold M m is equipped with a cover {Ui } of M and C r
submersions gi : Ui Dmn such that for all i, j there is a dieomorphism
gi,j : Dmn Dmn satisfying the cocycle relations
gj = gi,j gi , gi,i = Id .
The gi s are the distinguished maps of F .
Conversely, suppose that M m admits an open cover M = Ui such
iI
that for each i I there is a C r submersion gi : Ui Dmn such that for
all i, j there is a dieomorphism gi,j satisfying the cocycle relations above.
By the Local form of the submersions we can assume that for each i I
there is a C r dieomorphism Xi : Ui Dn Dmn such that
gi = 2 Xi
since
2 Xj (Xi )1 ) = gj (Xi )1 = gi,j gi (Xi )1 = gi,j 2 ,
we have that the atlas
F = {(Ui , Xi )}
denes a foliation of class C r and codimension m n of M . The above
suggests the following equivalent denition of foliation.
F1 F2
foliations.
Proof. By the Local Form of the Submersions [do Carmo (1992)] there are
atlases {(U, X)}, {(V, Y )} of M, N respectively such that
(1) X(U ) = D n Dmn .
(2) Y (V ) = Dmn .
(3) Y f X 1 = 2 (see Figure 1.3).
V
f
U
X Y
-1
Y f X
m-n
D
Dm-n
Dn
= Y f X 1 = Y Y 1 Y f X 1 = Y Y 1 2 .
6 Geometry, Dynamics and Topology of Foliations - a first course
IR 2
T2
0 1
Moreover,
z = K ln((r2 )),
z = ln((r2 )).
z = ln((x2 )).
We have
2(x2 ))
z = x = 0 x = 0.
(x2 ))
Hence x = 0 is the sole critical point of z. We have that z as
x x 1+ or 1 . The graph of z is a parabola-like curve. The graph of
the leaves of F is depicted in Figure 1.6.
c>0
c=0 c<0
Fig. 1.6
Several are the classes of foliations called Reeb foliations. The very rst ones
are the Reeb foliations in the cylinder and in the Moebius band, constructed
as follows. Dene M = [1, 1]R and let F be the foliation in M dened by
the submersion g(x, y) = (x2 )ey where is decreasing. Let G : M M be
given by G(x, y) = (x, y + 2). The quotient manifold M/G is the cylinder.
Analogously we can replace G by the map F (x, y) = (x, y + 2). In this
case the quotient manifold M/F is the Moebius band. In each case one
can see that F is invariant for G and F . Hence F induces a foliation F in
either M/G or M/F . These are the Reeb foliations in the cylinder and the
Moebius band respectively. These foliations are depicted in Figure 1.7.
10 Geometry, Dynamics and Topology of Foliations - a first course
01 x
(x, y) = .
10 y
x, y Int ST2 and x = y, or
x y x Int ST1 , y Int ST1 and x = y, or (1.1)
x T , . . . , y T and (y) = x
1 2
Claim 1.1. M = S 3 .
ST1
ST2
Fig. 1.9
Exercise 1.2.3. Show that the Reeb foliation in S 3 cannot be obtained from
a submersion.
(z1 z11 , . . . , zn zm
1
), zi , zi1 S 1 is a compact Lie group.1 The linear
group GLn (R) = {A Mnn (R), det A = 0} with the usual matrix product
is a Lie group. The subgroup O(n) GLn (R) of orthonormal matrices is
a compact Lie subgroup of GLn (R).
The action G M M is locally free if, and only if, the orbit Ox of
x is an immersed submanifold of M with constant dimension dim(Ox ) =
dim(G). Since Gx < G is a closed subgroup it is itself a Lie group (Cartans
Theorem) and also the quotient G/Gx has the structure of a dierentiable
manifold. Actually we have Gx = Gy x, y belonging to some orbit of p
and we may introduce the isotropy subgroup of an orbit as well.
Given any x M we have a natural (dieomorphism) identication
G/Gx = Ox . This gives an immersed submanifold structure Ox M .
(1971)]).
Preliminaries 15
v
Oz
z 0
0
e
m-n
0
vm-n
m-n
vn
D
n
D
Let mn
0 be a m n dimensional submanifold transverse to Oz0 at z0 .
Let (P, U ) be a local chart at the unity e G such that P (U ) = Dn . Let
B : (Dmn , 0) (mn
O , z0 ) be a parametrization of mn
0 . Recalling the
notation (g, x) = g x we dene the map A : D Dn mn
M by
Hence DA(0, 0) = 0 if v = 0 for the vectors vn = Dz0 (e) DP 1 (0) and
vmn = DB(0) vmn are linearly independent in Tz0 M . We conclude that
A is a local dieomorphism. By the Inverse Function theorem the inverse
X = A1 of A is well dened in a neighborhood U of z0 . This denes an
atlas
F = {(X, U )}
Indeed, note that S 3 = {(z1 , z2 ) R2 R2 : ||z1 ||2 + ||z2 ||2 = 1}. Dene
Q : S 1 S 3 S 3 by Q(x, (z1 , z2 )) = (x z1 , x z2 ). One sees that Q is
an action of S 1 in S 3 . The orbits of Q dene a foliation by circles in S 3
proving that S 3 is Seifert. The resulting ow is called Hopf bration of S 3
(see [Lyons (2003)] for more details). Seifert manifolds are important in
3-manifold topology since the ones with innite fundamental group can be
described by their fundamental groups. This fact was discovered by Scott
(see [Scott (1983)] for a very complete text on the subject). The fundamen-
tal group classication of Seifert manifolds with nite fundamental group
is false because there are homotopy equivalent lens spaces which are not
homeomorphic.
1.2.4 Rn actions
We shall describe the actions of the additive group Rn on a manifold M .
Let Q : Rn M M an action and {e1 , . . . , en } be a basis of Rn . Fix
i = 1, . . . , n and consider a map
Xi
R M M
(t, x) Q(tei , x)
n1
=Q ti ei , Xtnn (x) = Xt11 Xt22 Xtnn (x), x M.
i=1
18 Geometry, Dynamics and Topology of Foliations - a first course
v Rn .
Note that X 1 , . . . , X n pairwise commute, namely Xti Xsj = Xxj Xti . In
fact, we have (Xti Xsj )(x) = Q(tei , Xsj (x)) = Q(t ei , Q(s ej , x)) = Q(t ei +
s ej , x) = Q(s ej + t ei , x) = Xsj Xti (x).
It is known that X, Y commute [X, Y ] = 0.
Conversely, if X 1 , . . . , X n are pairwise commuting vector elds, then
they dene an action Q given by
Q(v, x) := Xt1 (v) (x) Xtn (v) (x).
1.2.5 Turbulization
Let F a codimension one foliation on a 3-manifold and be a closed curve
such that is transverse to F . we assume that is orientable, (i.e., it has
a solid torus tubular neighborhood). We modify F along as follows. Pick
a neighborhood U of and suppose that U is dieomorphic to a solid torus
S 1 D2 . Since is transverse to F we can assume that F intersects the
solid torus in the trivial foliation by discs D2 , S 1 .
We consider the Reeb foliation FR in S 1 D2 . We replace (by surgery)
the foliation F U by FR in U to obtain a foliation F as in Figure 1.12.
The resulting foliation F is said to be obtained by turbulization of F
along . Note that F is C r if F is, 0 r , r = w. The number
of Reeb components of the new foliation F is greater than or equal to the
number of components of F .
Fig. 1.13
Exercise 1.2.6. Show that the for the Reeb foliation F in S 3 and for every
curve S 3 transverse to F we have the same number of Reeb components
for F and F .
1.2.6 Suspensions
A representation of a group G in a group H is a homomorphism
Q : G H.
We shall be interested in the case G = 1 (B) and H = Di r (F ) where B, F
are manifolds and Di r (F ) is the group of class C r dieomorphisms in F
endowed with the composition operation.
Suppose that Q : 1 (B) Di r (F ) is a representation of 1 (B) in
Di r (F ). Let B
B be the universal covering of B. Recall that 1 (B)
acts in B by deck transformations: 1 (B), b B, b = (b), we
With
have the lift of . Dene b = (1) as the action of 1 (B) in B.
this action one has B/ 1 (B) B. 1 (B) also acts in B F via Q in the
following way: dene A : 1 (B) (B F) B F by setting
Example 1.10. Suppose that Q(g) = IdF (the identity in F ) for all g
1 (B). Then B Q F is precisely the cartesian product B F .
~
Bx F
F~
Q FQ
F
Q
Bx QF
Fig. 1.14
Example 1.12. Let B be the bitorus, i.e., the genus two orientable closed
surface. The fundamental group 1 (B) has the following presentation:
1 (B) =< a, b, c, d : aba1 b1 cdc1 d1 = 1 > .
22 Geometry, Dynamics and Topology of Foliations - a first course
~
Bx 1
b -1
a a
-1
-1 b
d
~ ~ x0
B x0 B/ G
c -1 c
Fig. 1.15
The internal surface B/G 0 in the gure is identied with the external
one B/G 1. To obtain B Q S 1 we identify the intermediate curves
a g(), a1 , c f (), c1 according to Figure 1.16.
The leaves of the resulting foliation FQ spiral around the suspended
manifold according to the maps f, g. The other foliation FQ yields a folia-
tion by circles of B Q S , and so, B Q S is Seifert. We shall be back to
1 1
c x f ( ) ax g( )
c-1 x a-1 x
Fig. 1.16
Using the holonomy lifting paths given by condition (3) above we can
easily prove:
(i) w(X) = X, X G
(ii) Lg w = w, g G; where Lg : G G is the left-translation x G
gx G, g G xed.
Example 1.16. The real projective unimodular group G = PSL (2, R) acts
on RP (1) by
xu xz + u
, z
yv yz + v
Remark 1.1.
(i) 1 (M ) acts over P in the following way: Given x P we dene x
as the end-point of the lifting x of the path x based at the point p(x).
(ii) Conditions (i) and (ii) in the statement of Proposition 1.2 (equivari-
ance conditions) are essential in the theory of transversely homogeneous
foliations.
Therefore
m
( (z)) = tj (y) , that is,
j=1
tj
d m
(( )(z)) = tj (y) in Rm .
dz j=1
tj
y : D(2) 1 (V ) 1 (U )
(where t is the real time)
(t, p) y (t, p)
with y (0, p) = p, p 1 (V ),
y
(t, p) = Zy (y (t0 , p).
t (t=0)
: V1 F E, (y, p) := y (1, p) U.
This inverse is well-dened because of (i) and (ii) above so that qnj (p)
and (p) = q. Thus p F what is not possible for pn E\W , n.
This contradiction show that we must have (V1 F ) = 1 (V1 ) for every
suciently small neighborhood V1 of q in M .
This is the case for instance if M is compact. One very important result
concerned with this framework is due to Tischler (see Chapter 8).
In this case all the basic concepts of dierentiable manifolds (as tangent
space, tangent bundle, etc...) can be introduced in this complex setting.
This is the case of the concept of foliation:
Examples of such foliations are, like in the real case, given by non-
singular holomorphic vector elds, holomorphic submersions, holomorphic
brations and locally free holomorphic complex Lie group actions on com-
plex manifolds.
Remark 1.2. (i) As in the real case, the study of holomorphic foliations
may be very useful in the classication Theory of complex manifolds.
(ii) In a certain sense, the holomorphic case is closer to the algebraic
case than the case of real foliations.
d
= (z) = X((z))
dz
Gluing the images of these unique local solutions, we can introduce the
orbits of X on C2 . The orbits are immersed Riemann surfaces on C2 ,
which are locally given by the solutions of X.
Now we may be interested in what occurs these orbits in a neigh-
borhood of the innity L . We may for instance compactify C2 as the
projective plane CP (2) = C2 L , L = CP (1). Some natural questions
are then:
j=1 i=1
denes a Darboux foliation F = F (w) on M . The foliation F has
r
f= fj j as a logarithmic rst integral.
j=1
S S
f f1
B CP (1)
Exercise 1.3.2. Let X, = x x + y y be a complex vector eld dened
in a neighborhood of the origin 0 C2 . Show that X, is transverse to the
3-spheres S 3 (0, R) for R > 0 small enough, if and only if, / C\R . Let
now X be a polynomial vector eld in C2 and assume that the singularities
38 Geometry, Dynamics and Topology of Foliations - a first course
Question 2.1. Is any plane eld P of the form P = T F for some foliation
F ? Locally the answer is yes but in general the answer is no. This question
suggests the following denition.
39
40 Geometry, Dynamics and Topology of Foliations - a first course
Xt (Y )(p) = DXt (Xt (p)) Y (Xt (p)). Note that Xt (X)(p) = X(p), t.
Denition 2.2. The Lie bracket of X, Y is the vector eld [X, Y ] dened
by
d
LX (Y )(p) = [X, Y ](p) = t=0 (Xt (Y )(p)) X, Y C r , r 2.
dt
In local coordinates, [X, Y ] has the following form: Writing
X= ai , Y = bi
i
xi i
xi
one has
bj aj
[X, Y ] = ai bi .
i,j
xi xi x j
The converse holds by the previous lemma. Hence the following assertions
are equivalent:
(1) P is integrable.
(2) P = T F .
(3) P is involutive, (i.e., X, Y P [X, Y ] P ).
Corollary 2.1.
All line elds are integrable.
= (1 2y, 1, 0).
So [X, Y ] P [X, Y ] = X + Y , for some , R. But
[X, Y ] = X + Y (1 1y, 1, 0)
= (1 + y, y, z) + (y, 1 + y, 0)
1 2y = (1 + y) y
1 = y + (1 + y)
0 = z
2.2 Orientability
w : M k (T M )
p w(p) : Tp M Tp M R .
Proposition 2.1. A line eld P in M is orientable if, and only if, P (x) =
Span(X(x)) for some continuous everywhere non-vanishing vector eld X
on M .
Proof. The only if part is obvious by taking the trivial covering {Ui } =
{M } of M and X 1,i = X. Now, if P orientable then there exists {Ui }iI
open covering of M and k vector elds X i = X 1,i : Ui T Ui such that
1) P (x)
= Span(X
i
(x)), x Ui .
i
X (x)
2) det > 0, x Ui Uj , i.e., X i (x) = aij (x), X i (x),
X j (x)
x Ui Uj , aij (x) > 0.
Dene X(x) = X i (x) ||X i (x)||, x Ui . Then X is well dened
since
X i (x) X j (x)
= , x U i Uj
||X (x)||
i ||X j (x)||
X i (x) aij (x)X j (x) X j (x)
= =
||X (x)||
i ||aij (x)|| ||X (x)||
j ||X j (x)||
as ai,j (x) > 0 for all x. Since X i generates P in Ui the result follows.
Proposition 2.2. A manifold M is orientable if, and only if, the plane
eld P (x) = Tx M is orientable.
Proof. Since P is orientable there are a cover {Ui } and vector elds
X 1,i , . . . , X m,i : Ui T Ui such that
Tx M = Span(X 1,i (x), . . . , X m,i (x)) x Ui
and det(X n,k (x))1nm k = i, j > 0, x Ui Uj . For each Ui one choose
an m-form WUi such that if x Ui then {v1 , . . . , vm } is a base of Tx M
with
v1 , . . . , vm
det > 0 WUi (x)(v1 , . . . , vm ) > 0.
X 1,i (x), . . . X m,i (x)
44 Geometry, Dynamics and Topology of Foliations - a first course
F
2
F
1
Fig. 2.1
Then
W (x)(v1 , . . . , vm ) = i (x) WUi (x)(v1 , . . . , vm ) > 0
{x;xUi }
Corollary 2.2. Let P and P be two plane elds in a manifold M such that
a) T M = P P , (i.e., Tx M = P (x) P (x), x M );
b) P and P are orientable.
Then, M is orientable.
Proof. Exercise.
Example 2.5. Let F be the Reeb foliation in the Moebius band (see
Section 1.2.2). Then T F is not orientable. To see this we let M =
[1 + , 1 ] R, > 0 and M /F be the Moebius band. If T F were
orientable, then T F/(M /F ) would be orientable. There is a line eld P in
M /F which is orientable. In fact: it suces to choose P (x) as T F1 where
F1 is the projection of the vertical foliation in M /F . P is induced by the
vertical vector eld X(x, y) = (0, 1). Note that X induces a vector eld in
M /F since
1 0 0 0
DF (0, 1) = = ,
0 1 1 1
the Ui s are balls, and so, Ui Uj is either empty or connected for all i, j. De-
ne Y 1 = Y 1 and for i = 2, , r we dene Y i = Ui1 ,Uik (Yi1 , , Yik ),
for some chain Ui1 , , Uik with i1 = 1 and ik = i. The simply connect-
edness of D2 implies that the value of Yi does not depend on the chosen
chain Ui1 , , Uik . Let us prove that if Ui Uj = , then Yi and Yj have
the same orientation in Ui Uj . In fact, let Ui1 , , Uik and Uj1 , , Ujs
be two chains realizing Yi and Yj respectively. Hence Ui1 , , Uik , Uj is a
chain, and so, the invariance of with respect to the chains implies
Yj = Ui1 , ,Uik ,Uj (Yi1 , , Yik , Yj ).
Then Eq.(2.1) and ik = i implies
Yj = Ui ,Uj (Ui1 , ,Uik (Yi1 , , Yik ), Yj ) = Ui ,Uj (Yi , Yj )
has just two elements. Sometimes we use the notation Ox = Ox . Finally
we dene
= {(x, Ox ) : x M, Ox Ox (M )}.
M
depends on the plane eld P . When P (x) = Tx M , x M ,
At rst M
M is called the orientable double cover of M . In general we call it the
orientable double cover of P .
is a m-dimensional manifold.
Proposition 2.3. M
. By the denition of plane eld P , there is a
Proof. Fix (x0 , Ox0 ) M
Cr
neighborhood U of x0 and k smooth vector elds X 1 , . . . , X k : U T U
such that
P (x) = Span(X 1 (x), . . . , X k (x)), x U.
as:
Dene U
= {(x, x (X 1 (x), . . . , X k (x)); x U },
U
if x0 (X 1 (x0 ), , X k (x0 )) = Ox0 and
= {(x, x (X 1 (x), . . . , X k (x)); x U },
U
if x0 (X 1 (x0 ), , X k (x0 )) = Ox 0 .
m. Moreover, : M M is dierentiable and even a local dieomorphism.
Tx M . Dene also a k-plane eld P in M
Note that T(x,Ox ) M given by
)1 (x) (P (x)).
P (x, O2 ) = a(/U
= (M
M , , P) is the orientable double cover of P .
X s,i (x)
det > 0. (2.2)
X s,j (x)
Because c is compact we can suppose that U1 , , Ur is a cover of c. We
can further suppose that x0 U1 and Ox0 = x0 (X 1,1 (x0 ), , X k,1 (x0 )).
given by
Dene a new curve c W
c(t) = (c(t), ct (X 1,i (c(t)), , X k,i (c(t))), if c(t) Ui ,
and i = 1, , k.
Note that c is well dened by Eq.(2.2). In addition, c is continuous
because both c(t) and t c(t) (X 1,i (c(t)), , X k,i (x0 )) are. Dene
B = {t [0, 1] : c(t) =
c(t)}.
We have that B = because x0 B. Moreover, B is closed because c
and c are continuous. Let us prove that B is open. In fact, if t0 B then
c(t0 ) Ui0 for some i0 . If t0 / Int(B) then there is a sequence tn t0
in [0, 1] such that c(tn ) =
c(tn ) for all n. Because c is continuous and
c(t 0) Ui0 we can suppose that c(tn ) Ui0 for all n yielding
c(tn ) = (c(tn ), c(tn ) ((X 1,i0 (c(tn )), , X k,i0 (c(tn ))).
Write c(t) = (c(t), (t)), where (t) a(c(t)) is continuous. Because
c(tn ) =
c(tn ) one has
c(tn ) ((X 1,i0 (c(tn )), , X k,i0 (c(tn ))) = (tn ).
By taking limits the last expression yields
c(t0 ) (X 1,i0 (c(t0 )), , X k,i0 (c(t0 ))) = (t0 )
contradicting c(t0 ) =
c(t0 ). This contradiction shows that c(t) =
c(t)
for all t and then c(1) = c(1). This would imply Ox0 = Ox0 which
is absurd. This proves the rst part. For the converse, we shall prove
not connected then P is not orientable. Recall the projection
that if M
: M M given by (x, Ox ) = x. Let M be a connected component
of M . Observe that (M ) = M . In fact, since is a local dieo-
morphism we have that (M )
) is open in M . Let us prove that (M
50 Geometry, Dynamics and Topology of Foliations - a first course
Exercise 2.4.1. Show that any foliation in the solid torus D2 S 1 tangent
to the boundary is orientable.
= f () d d + f () d f () = 0.
It follows that w is integrable, i.e., Ker(w) is tangent to a C 1 codimension
one foliation Fw in M . Note that the sets L0 = {(x, ) M : = 0 },
where 0 f 1 (0) are compact leaves of Fw . In fact, x 0 f 1 (0) and
(x, ) L0 . If v(x,) T(x,) L0 v(x,) = (vx , 0) and = 0 . Hence
w(v(x,) ) = w(vx , 0) = d(0) + f (0 )(vx ) = 0 + 0 (vx ) = 0
proving that L0 is a leaf of w . Clearly L0 is dieomorphic to L and so
L0 is a compact leaf of Fw (recall that L is closed).
Chapter 3
Example 3.1. The leaf space of the foliation F2 in Figure 1.2 is not Haus-
dor. In fact the vertical boundaries of I R correspond to elements in the
leaf space which cannot be separated by open sets.
53
54 Geometry, Dynamics and Topology of Foliations - a first course
Warning: Not every projection is open. For instance, consider the projec-
tion of the parabola y = x2 , in R2 , into the y-axis.
(1) F is discrete.
(2) F has non-empty interior in .
Topology of the leaves 55
(3) F is a perfect set, i.e., a closed set without isolated points with
empty interior.
x0
xn
F
x*
Fig. 3.1
Remark 3.1. Zorns lemma applied to the set of closed invariant subsets of
M (ordered by inclusion) implies that there is at least one minimal subset.
Every closed leave is a minimal set. If is minimal and F is a leaf of F in
, then F = . If is minimal and meets a closed leaf F , then = F . In
general the set of minimal sets is pairwise disjoint. The Reeb foliation in
S 3 has a unique minimal set which is its compact toral leaf. The irrational
foliation in T 2 has T 2 as its unique minimal set. As we shall see later on
there is no minimal foliation, (i.e., the whole manifold is minimal) in S 3
of codimension 1 (by Novikovs compact leaf theorem). Analogously there
are no minimal foliations on compact manifolds with nite fundamental
group. Any foliation in the Klein bottle has a compact leaf. Hence there is
no minimal foliation in the Klein bottle. A foliation is transitive if it has
a dense leaf. Minimal foliations are transitive. The converse however, is
not true. There is no transitive codimension one foliations on compact 3-
manifolds with nite fundamental group. In particular S 3 does not support
transitive codimension one foliations. Minimal foliations have no compact
leaves. As we shall see later, a transitive codimension one foliation on a
compact 3-manifold, has no compact leaves as well.
Proof. Assume that is not a closed leaf and prove that is a perfect
set. For this we proceed as follows. Observe that is compact since it
Topology of the leaves 57
Exercise 3.2.2. Are there transitive codimension one foliations with excep-
tional minimal sets?
Chapter 4
An important tool for the study of foliations is the notion of holonomy group
dened as follows. Let F be a foliation on a manifold M . Let Ui , Uj be two
charts of F with Ui Uj = . Denote by i : Ui i and j : Uj j
the projection along the plaques. Suppose that every plaque (of F) in Ui
intersects at most one plaque in Uj . Then we can dene
fi,j (x) = j (x ),
where x i and x is the unique plaque of Ui containing x Ui . The
resulting map
fi,j : Dom(fi,j ) i j
is called the holonomy map induced by the two foliated charts
(Ui , Xi ), (Uj , Xj ). Let U1 , , Ur be a nite family of foliated charts such
that every plaque of Ui intersects at most one plaque of Uj (for all i, j). We
can dene the holonomy map f1, ,r : Dom(f1, ,r ) 1 r by
f1, ,r = fr1,r fr2,r1 f1,2 .
Now, let L be a leaf of F and x, y L. Clearly L is connected (by denition)
and so there is a curve c : [0, 1] L joining x and y. This curve can covered
by a nite family of foliated charts U1 , , Ur such that x U1 , y Ur
and every plaque of Ui intersects at most one plaque of Uj (for all i, j).
Without loss of generality we can assume that x 1 , y r . The map
fc = f1, ,r
is the holonomy induced by the curve c. Note that by denition we have
fc (x) = y. One can easily prove that fc does not depend on the foliated
59
60 Geometry, Dynamics and Topology of Foliations - a first course
c1
F
T1
T2
Fig. 4.1
c1
Fig. 4.2
wp (vp ) = X(p), vp ,
x0
one has
w = 0.
p
q
c*
l
Fig. 4.4
Q : 1 (B) Di r (F )
and FQ , FQ the corresponding foliations. Then,
(1) FQ is a foliation without holonomy.
(2) Hol(L) Q(1 (B)), leaf L of FQ .
Remark
4.1.
(Bf
0 ) : B f0 L is a cover map.
In fact observe that
(b, f0 ) = (d,
f0 ) {(gb, Q(g)f0 ) : g 1 (B)}
Q(g)f0 ) : g 1 (B)}
= {(g d,
~ (b~1 ,f )
(b ,f )
~
Bx f
(b~1,f )
~ ,f )
(b ~
c
~
Bx f
~
~ b xF
b xF
lift of c to F x
x
x
L c
Fig. 4.5
66 Geometry, Dynamics and Topology of Foliations - a first course
4.2 Stability
Exercise 4.2.1. Prove that if M is compact then all stable sets of F are
F -invariant.
Exercise 4.2.2. Prove that W in the denition of stable set can be assumed
to be invariant.
Example 4.7. The compact leaf of the Reeb foliation in S 3 is not stable
and has innite holonomy group.
The above example shows the relation between stability and the nite-
ness of the holonomy group. This relation is the content of the following
result, a rst step towards Reeb local stability theorem (Theorem 4.3),
which is landmark in the theory of foliations.
(1) Ui F is a plaque i , i;
(2) Ui Uj = i j = , i, j;
(3) each plaque of Ui intersects at most one plaque of Uj , i, j.
i =space of plaques of Ui .
i : Ui i the plaque projection.
xi = i (i ). We can suppose that xi is a point of i .
68 Geometry, Dynamics and Topology of Foliations - a first course
Now, we let
Ly = {L : L Cy }.
We have the following properties: Ly Fy (=the leaf of F containing y);
Ly is open in Fy (since it is union of plaques of Fy ); Ly is close in M (this
is Claim 4.1); Ly = Fy (because Fy is connected); Ly W (because the
r
plaques forming Cy are contained in Ui W ). The last two properties
1
above imply that Fy W , y D . Dening W as the set of leaves
intersecting D we have that W W is a neighborhood of F such that
every leaf of F intersecting W is contained in W . Since W is arbitrary the
result follows.
of Theorem 4.2 that all leaves F in W are compact (all of them have the
form F = Ly for some y D and Ly is compact). Dene = 0 /W .
Then : W F is a tubular neighborhood which is invariant and satises
(3). By shrinking W if necessary we can assume that F is transverse to
the ber 1 (x), x F . Since all leaf F W is compact we have that
F intersect each ber nitely many times. The same argument shows that
every leaf F W has nite holonomy group. This proves (1) and (2).
The theorem is proved.
Remark 4.2. The conclusion of the lemma above is false for foliations of
codimension > 1.
For the case of codimension one foliations, the conclusion of the local
stability can be reinforced, by assuming that the compact leaf has nite
fundamental group. In this case, if the manifold is also compact, then all
leaves of the foliation are compact.
Exercise 4.3.1. Prove that there is no codimension one foliation in the closed
3-ball B 3 having B 3 = S 3 as a leaf.
In this section we prove the following theorem known as the Thurston sta-
bility theorem [Thurston (1974)].
exist, then
f (g(xn )) xn f 1 (xn ) xn
lim = A+B and lim = A.
n h(xn ) xn n h(xn ) xn
f (g(xn ))xn = f (xn )xn+f (g(xn ))f (xn ) = f (xn )xn +f (n )(g(xn )xn )
Holonomy and stability 75
Haefligers theorem
5.1 Statement
Example 5.3. Real analytic codimension one foliations cannot have one-
sided holonomy leaves.
77
78 Geometry, Dynamics and Topology of Foliations - a first course
The main result of this section gives a sucient condition for the exis-
tence of one-sided holonomy leaves.
First we recall some classical basic Morse Theory (cf. [Milnor (1963)]).
Let W be a compact 2-manifold with boundary W (possibly empty). Let
f : W R be a C r map r 2. A point p W is a critical point of f
if f (p) = 0. A critical point p is non-degenerated if the second derivative
f (p) is a non-degenerated quadratic form, where
2
(f x1 )(0)
f (p) =
xi xj 1i,j2
for some coordinate system (x1 , x2 ) around p = (0, 0). We shall use the
following lemma due to Morse.
f(x,y)=f(0,0)+ x2+ y2
f(x,y)=f(0,0)+ x2- y 2
f(x,y)=f(0,0)-x 2-y 2
Fig. 5.1
Remark 5.1. Notice that a Morse type critical point is isolated from the
set of critical points of a given function. In particular, a Morse function on
a compact manifold has only nitely many critical points.
It follows that
dr (g1 , g0 ) dr (g1 /W1 , g0 /W1 )(rj=1 Kj dj (1 , Id/W1 )) dr (f1 , 1 g0 ),
Haefligers theorem 81
1111111
1111111
1111111
1111111 graph of i
1111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
Wi
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
Vi
111111111111111111111111111
111111111111111111111111111
Ui
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
111111111111111111111111111
Fig. 5.2
perturb here
F
M M
W W
graph of g k graph of f
Fig. 5.3
x*
R(
x*
x*
x*
type III
type II
Fig. 5.4
Let us nish the proof of Theorem 5.4. Consider the set R of all compact
invariant sets of Y of the form
!
= R(n ) ,
n=0
for some decreasing sequence of limit cycles n of Y . Lemma 5.2 implies
that the order < is dened in R. Lemma 5.2 also implies that any decreasing
sequence 1 > 2 > in R has an inmum in R. The Zorn Lemma
implies that there is a minimal element = in R. By Lemma 5.2 we
have that is either a periodic orbit or a graph. In any case we choose
x as indicated in Figure 5.4. Observe that the closure O(x ) of
the orbit O(x ) is a closed curve. Choose a transverse containing x
as indicated in the gure. Let f : Dom(f ) be the return map
induced by Y in . Because is accumulated by limit cycles of Y one
has that f = Id in any neighborhood of x in (for such limit cycles must
intersect ). On the other hand, consider the connected component c of
{x } contained in . Because the number of graphs of Y is nite, we
can assume by shrinking if necessary that does not intersect any graph
of Y . In particular c does not intersect any graph of Y . Because c R( )
we conclude that the orbit of any point in c is periodic. Hence f = Id in c.
This proves that x = x satises the properties (1),(2) of the theorem.
6.1 Statement
The search for codimension one foliations on the three sphere S 3 was ended
by the introduction of the Reeb foliation described in Example 1.3. Never-
theless, this example exhibits some particularities, suggesting some of them
are part of a global phenomena. One of them is the existence of a torus leaf.
The other is the existence of a one-sided holonomy, though this was proved
in Haeigers theorem. Regarding the existence of a compact (torus) leaf,
this also part of a global phenomena. Indeed, in this chapter we shall prove
the celebrated Novikovs compact leaf theorem.
The proof of this theorem given here is the one in [Haeiger (1967)]
Seminaire Bourbaki 20e annee, 1967-68, Num. 339, p. 433-444. That
proof is based on the following denition.
87
88 Geometry, Dynamics and Topology of Foliations - a first course
Example 6.1. Let F be the Reeb foliation in S 3 and let T be the compact
leaf of F . Any generator of (T ) is represented by a curve contained in
(the image of) a vanishing cycle of F .
type II or III (see Figure 5.4). If were a periodic orbit with f () null
homotopic in its leaf then f (n ) would be null homotopic in its leaf for all
n large, a contradiction. Hence if is periodic then = is the desired
cycle. Now suppose that is a graph of type II or III. The fact that is
surrounded by cycles of Y implies that f () is not null homotopic in its
leaf. Hence one of the two homoclinic loops forming (say ) satises
that f ( ) is not null homotopic in its leaf. Then, = is the desired
cycle. To nish we assume that (p) is a singularity. In a similar way we
can assume that (p) is a singularity. Hence O(p) is a graph contained in
. As previously remarked this implies the existence of the desired cycle
and the proof follows.
The proof uses the following holonomy lemma. First, we use introduce
short denitions. Given a codimension one foliation F we say that a vector
eld X is normal for F if the trajectories of X are everywhere transverse to
Novikovs compact leaf 91
F . Clearly a codimension one foliation has a normal vector eld if and only
if it is transversely orientable. If F is a transversely orientable foliation in
a manifold M we say that a curve c M is normal to F if c is transverse
to F and contained in a solution curve of the normal vector eld associated
to F . Given a leaf A of F , a compact set K and a C 1 map g : K A
we say that g has a normal extension if there are > 0 and a C 1 map
G : K [0, ]) M such that:
(1) G0 /K = g;
(2) Gt (K) A(t) for some leaf A(t) of F with A(0) = A;
(3) x K the curve Gx ([0, ]) is normal to F .
leaf of F
Proof. Clearly (5) implies (6) by standard arguments from Ordinary dif-
ferential equations. By moving a bit fx (S 1 ) we can assume (4). To assume
(5) it suces to project f x ([0, 1]) to the solution curve of X passing through
f x (0) via holonomy. This is done as follows (see Figure 6.2): For x S 1 we
dene = {Xs (f x (0)); s [0, 1]} which is the solution curve of X passing
Novikovs compact leaf 93
f x(0)
Fig. 6.2
94 Geometry, Dynamics and Topology of Foliations - a first course
Proof. Let (t) : A(t) A(t) be the universal cover of A(t). We have that
A(t) = R2 or S 2 . The last cannot happen for otherwise the Reeb global
stability theorem would imply M = S 2 S 1 and F is the trivial foliation
S 2 , a contradiction since f0 (S 1 ) is not null homotopic in A(0) (see the
last exercise in Section 4.3). On the other hand, (7) of Lemma 6.4 says that
f1 (S 1 ) is a simple closed curve in A(1). By the classical Jordan Theorem
we have that there is an embedding F : D2 1 A(1) with F1 /D2 = f1 .
We dene F : D2 1 A(1) by F = (1) F . Clearly F is an immersion
as (1) is a cover and F is an embedding. Applying the Holonomy Lemma
to F we can extend F to D2 (t0 , 1] for some t0 > 0 satisfying (1)-(3).
We claim that F can be extended to D2 [t0 , 1] still satisfying (1)-(3).
In fact, rst we show that limtt+ F (x, t) exists for all x D2 . Because
0
Ht0 . Again by the Holonomy Lemma there are > 0 and an immersion
G : D2 (t0 , t0 + ) M such that:
a) Gt (D2 ) A(t);
b) Gt /D2 = ft ;
c) Gx ((t0 , t0 + )) is normal to F ;
d) Gt0 = Ht0 .
Now we x t (t0 , t0 ) and consider D := Ft (D2 ) and D1 := Gt (D2 ).
Both D and D1 are discs contained in A(t) with D = D1 = ft (S 1 ). If
D = D1 then A(t) would be S 2 a contradiction as before by Reed Stability.
Hence D = D1 and so Ft (D2 ) = Gt (D2 ) for all t (t0 , t0 ). If x D2 and
96 Geometry, Dynamics and Topology of Foliations - a first course
Intersection point
V x
z =F (t )
z
A(tz )
x
F ((0,1]) y
x
F (t z)
x0
B
F1
Fy
x W D2
x
Fig. 6.3
Lemma 6.6. Let F be the immersion in Lemma 6.5. Then, > 0 there
are 0 < t < t < and an embedding h : D2 int(D2 ) such that
F (t , x) = F (t , x), x D2 .
By composition with the projection A(s) A(s) for s = t , t one has the
desired property. The lemma follows.
2
D x t
h
1111
1111
1111 x
0
2 111111111
111111111 N
D x t 111111111
111111111
111111111
111111111
2
D x [t, t]
Fig. 6.4
Remark 6.1. Corollary 6.2 shows that closed 3-manifolds supporting codi-
mension one C 2 foliations without compact leaves are irreducible, namely
every tamely embedded 2-sphere in the manifold bounds a 3-ball. In par-
ticular such manifolds are prime, i.e., they are not non-trivial connected
sum. We observe that compact 3-manifolds supporting Reebless foliations
may be non-irreducible as shown the trivial foliation {S 2 } of S 2 S 1 .
Nevertheless the 2-sphere bundles over S 1 are the solely closed 3-manifolds
which are not irreducible and supports Reebless foliations.
Remark 6.2. The results in this section hold true for C 1 foliations.
Rank of 3-manifolds
103
104 Geometry, Dynamics and Topology of Foliations - a first course
2
Proof. The boundary torus (D S 1 ) has isotropy group of the form
r Z + s Z for some r, s R2 C with r/s / R so that we may re-
parameterize as ((rt1 , st2 ), ) (t1 , t2 ) R2 , in such a way that we may
assume
X|S 1 S 1 = y +x and Y |S 1 S 1 =
x y z
for coordinates (x, y, z) R3 with
2
D = {(x, y, z) R3 ; z = 0, x2 + y 2 1} .
Remark 7.1. The original proof of Lima is from 1963 and does not make
use of Novikovs compact leaf theorem. Actually, the above proof shows:
Remark 7.2. The complete solution to the problem of describing the rank
of closed 3-manifolds was given by Rosenberg-Roussarie [Rosenberg and
Roussarie (1970)] where they prove that a rank two 3-manifold must be a
non-trivial ber bundle over the circle with a torus ber.
Exercise 7.0.1. Is there any locally free action of the ane group A(R) on
the 3-sphere?
Tischlers theorem
8.1 Preliminaries
C2
Let M be a compact manifold admitting a submersion f : M S 1 . We
consider the angle-element 1-form H 1 (S 1 , R) and take = f () its
lift to M . We obtain then a closed 1-form, without singularities, of class
C 1 in M . Since is integrable, it denes a foliation F of codimension
1, class C 1 in M . Let now p M be any point. Since is not singular
there exist neighborhoods p Up M and C 1 vector-elds Xp in Up such
that Xp = 1 in Up . Using partition of the unity we obtain nally a
global vector-eld X in M with the property that X = 1. Since M is
compact, X is complete dening therefore a ow : R M M . From
X = 1 we conclude that the ow is transverse to F . Since d = 0 we
have that LX () = d( X) + iX (d) = 0 so that preserves the foliation
F (each dieomorphism t : M M takes leaves of F onto leaves of F).
We conclude that F is invariant by a transverse ow. Tischlers theorem
states the converse of this fact:
107
108 Geometry, Dynamics and Topology of Foliations - a first course
In this section we state the basic results we need in order to prove Tis-
chlers theorem. Throughout this section F will denote a (non-singular)
codimension one smooth foliation on a connected manifold M of dimension
n 2.
= 2 U1 U2 .
: L0 R M, (x, t) = t (x);
Proof. Dene
H= [] 1 (M ); =0
, 1 (M ).
Let P : M M be the smooth cover of M , corresponding to H. Let also
F , and respectively.
t be the lifting of F , and t to M
Remark 8.2. F = P (F ),
= P () are usual pull-backs. R
: M
M is dened by
t (p) := t
(P (p)), , t R,
p M
Proof. Indeed,
d
t (x))) = df(
(f ( t (x)) Z( t (x)) = ( t (x)) Z( t (x)) = 1
dt
and also
t (x))t=0 = f(x).
f(
0 M
Given any leaf L0 of F on M let L be a leaf of F such that P (L
0) =
L0 . Dene the map g : L0 R M by setting g(x, t) = t (x).
0 R onto M
Lemma 8.2. g is a smooth dieomorphism of L .
112 Geometry, Dynamics and Topology of Foliations - a first course
Proof. We have
g t
(x0 , t0 ) = (x0 ) = Z( t0 (x0 )).
t t t=t0
Also
g
(x0 , t0 ) = t0 (x))
( = (x0 , t0 ).
x x x=x0 x
Since the ow of Z is transverse to F it follows that the ow is transverse
to F so that g is a local dieomorphism in L 0 R.
Now we notice that if g(x1 , t1 ) = g(x2 , t2 ) then t1 (x1 ) = t2 (x2 ) and
f ((t 2 , x2 )) so that
1 , x1 )) = f ((t
t1 t2 (x1 ) = x2 and t1 + f (x1 ) = t2 +
f(x2 ).
Now, x1 and x2 belong to the same leaf L x0 = L
0 of F so that f (x1 ) =
f (x2 ), this implies t1 = t2 and therefore x1 = x2 .
Therefore g is also injective and it is a dieomorphism of L 0 R onto its
image g(L0 R) M . It remains to prove that g(L0 R) = M .
It is enough to prove that this image of g is closed. Take any point x1 M
belonging to the closure of g(L 0 R) in M. Let B 1 x1 be any open ball
in the leaf L 1 x1 . Let U be the cylinder U = t (B1 ), and take any
tR
g(L
x U 0 R).
We have x 0 ) for some s R and also there exists r R such that
s (L
x 1 ). Thus x1
r (B 0 ) and hence x1 g(L
sr (L 0 R). This proves
the lemma.
0 M
Lemma 8.3. P |L0 : L L0 M is a bijection and therefore a
dieomorphism.
= 0
for L0 R
and =0along L0
) for some
so that [] H. Conversely, if [] H then = P# ( )
1 (M
and therefore we have = g# ( 1 (L
) for some 0 R) so that =
)) = (P G)# () where = P
P# (g# ( 1 (L0 R) is obtained
in a natural way.
Therefore we have proved the following:
Remark 8.3. Another way of seeing the " above equivalence is the following:
if [] H then 1 (M ) is such that = 0. Therefore we " may consider
the lifting of by to L0 R obtaining a path such that (t ) () = 0
and therefore is closed that is, [] = # ([]) for [] 1 (L0 R).
Let T0 := T L0 {0} : L0 {0} L0 R.
: 1 (M ) (R, +)
[]
Proof. As we have seen in the proof of Proposition 8.2 above for each
covering transformation T of we must have T (L0 {0}) = L0 {t0 (T )}
for some t0 (T ) R. Moreover t0 (T ) = 0 if, and only if, T is the identity.
It is also possible to see that t0 (T ) depends only on T , not on the choice of
Tischlers theorem 117
"
Proof. Let t0 Per(L0 ) and [] = [ ] as above, then [] = t0 so
"
that t0 Per(). Conversely, given any period t0 Per() say t0 =
for some [] 1 (M ) we may perform small homotopies so that [] is of
the form [] = [1 1 r r ] with j segment of orbit of t and
j contained in a single leaf of F , j {1, . . . , r}. Using the ow we may
obtain a homotopy between r1 r and some path of the form .
Using the ow: r1 r is homotopic to some path of the form .
Therefore we may assume that r = 1, and = 1 1 . Therefore
t0 = = 1 (t0 ) = t0 (x0 )
1
r
We may therefore write = j wj + df for some j R, and some
"
j=1
f : M R smooth. Then j = j so that {1 , . . . , r } Per(). Indeed
Per() is generated (as a group) by the j s, j = 1, . . . , r, i.e., Per() =
r
{1 , . . . , r } . Let now (1 , . . . , r ) Rr be such that := j wj is
j=1
close enough to so that it is also non singular (recall that is non singular
and M is compact) and the subgroup {1 , . . . , r } of R is a rank 1 discrete
lattice (it is enough to choose {1 , . . . , r } Q of rank 1). Thus denes
a bration of M over the circle S 1 = R/ , = {1 , . . . , r } .
121
122 Geometry, Dynamics and Topology of Foliations - a first course
Denition 9.1. The growth type of the leaf Lx with respect to the metric
g is the growth type of the Riemmanian manifold (Lx , gx ).
Denition 9.4 ([Plante and Thurston (1976)]). The pair (G, d) has
polynomial growth of degree k if there exists a polynomial p(x) of degree k
such that (t) p(t), t 0, where (.) is the growth function of (G, d).
We may also consider polynomials of the form ax , 0, R.
11
A= .
12
Then A has eigenvalues s = 32 5 andu = 3+2 5 . The corresponding
eigen-spaces are generated by vs = (2, 1 5) and vu = (2, 1 + 5) respec-
tively. The stable linear foliation
and the instable linear foliation are given
by the 1-forms s = 2dx+(1+ 5)dy and u = (1+ 5)dx2dy respectively.
Take F u = 0 on C2 . We consider the action of the integer lattice Z2 on
u :
C2 obtained in the natural way and put M = C2 /Z2 = C C . The map A
leaves Z2 invariant so that it induces an automorphism F : M M , which
is indeed given by F (z, w) = (zw, w2 ) for coordinates z = e2ix , w = e2iy
on C C .
Now we consider the Z-action on C given by : Z C C , (n, t)
s .t. Then M = C /Z C /Z = M /Z obtained this way is a compact
n
F = 1
s . and nally since = it follows that induces a closed
holomorphic 1-form on M with the property that f () = 1 s .. Thus,
according to the above construction, the manifold V 3 = M C /Z obtained
by quotienting M C with the action of Z given by the action of f on M
and of the homotheties t s .t on C , is a compact complex 3-manifold
equipped with a transversely ane codimension one holomorphic foliation
F coming from the linear unstable foliation Fu on C2 . The foliation F
exhibits exponential growth (for any metric on the compact manifold V 3 )
because An expands vu .C by a factor nu . On the other hand, [Scardua
(1997)], the leaves of F on V are dense, biholomorphic to C C or to
(C /Z) C .
Example 9.4. Let G be a Lie group which has polynomial growth in some
left invariant metric. Let : G M M be a locally free smooth action
on a manifold M . There exists a Riemannian metric on M which restricts
to the -orbits as the induced metric coming from G. Thus denes a
128 Geometry, Dynamics and Topology of Foliations - a first course
foliation F on M , whose leaves have polynomial growth for this metric. For
instance we may take any locally free holomorphic action : Cn M M
where M is a complex manifold and the euclidian metric on Cn . The
foliation by -orbits on M has polynomial growth for a suitable metric on
M . For n = 1 we have a holomorphic ow whose orbits have polynomial
growth for a given metric on M .
Denition 9.6. We shall say that L has exponential growth if there are a
nice cover U and x X L such that
log(#Ln (x))
lim inf > 0.
n n
Otherwise we say that L has subexponential growth. If instead there are
p N, K > 0, a nice cover U and x X L such that
It turns out that the above denitions depend neither on the point x L
nor on the nice cover U.
Now we state and prove the following result due to Plante [Plante
(1975)]. Recall that the rst Betti number of M is the rank 1 (M ) of
the free part of its rst integer homology group.
130 Geometry, Dynamics and Topology of Foliations - a first course
#Ln #Ln1
+ lim inf =0
n #Ln
and so there is a sequence ni such that
#Lni +1 #Lni 1
lim = 0. (9.1)
i #Lni
For all i we put the normalized counting measure i in X supported on
Lni , i.e.,
#(A Lni )
i (A) = .
#Lni
Since X is compact, and so the space of all Borel probability measures
is compact in the weak topology, we can assume that there is a Borel
probability measure in X to which the sequence i converges. In the
sequel we shall prove an invariant property for this measure.
Given x Xi we denote by Pi (x) the plaque of F in Ui containing x.
Denote by Dom() and Rang() the domain and range operations. Every
pair (i, j) with Ui Uj = denes a C 1 map ij : Dom(ij ) Xi Xj ,
Dom(ij ) = {x Xi : Pi (x) Pj (y) = for some y Xj } and ij (x) = y.
Plantes compact leaf theorem 131
But
f (y) f ((y)) = f (y) f (y)
yLni yLni yLni y 1 Lni
= f (y) f (y) = (f (y)),
yLni \ 1 Lni y 1 Lni \Lni yLni 1 Lni
{v Zp g 1 ((, )) : $v$ n}
where $(v1 , , vp )$ = |v1 | + + |vp |. But now it is easy to nd a poly-
nomial Q(x) of degree max{0, p 1} satisfying
#{v Zp g 1 ((, )) : $v$ n} Q(n).
This proves (9.3).
Next take a leaf W intersecting the support of at some point x. Again
we write W n instead of W n (x) for simplicity. Dene Win = W n Xi and
set i (n) = #Win for all i I. Certainly we have #W n = iI i (n). We
concentrate in an specic i (n) and set Win = {x1 , , xi (n) }. It follows
from the denition that there are a positive integer n1 n and a chain of
plaques (U1 , , Un1 ) such that x U1 and x1 Un1 . Take xj for some
2 j i (n) and a path j Xi from xj to x1 . Again by denition there is
another chain of plaques (U 1 , , U nj ) from x to xj with nj n. Evidently
U 1 = U1 and U nj = Un1 so the chain Cj = (U 1 , , U nj , Un1 1 , , U1 }
is closed. Moreover, ([Cj ]) = (j ([0, 1)) thus ([Cj ]) = ([Ck ]) for all
1 j < k i (n) since x belongs to the support of the -invariant measure
.
Now choose G = (1 (N ), a base {g1 , , gp } of G and = (Xi )
(which is positive for Xi intersects the support of ). It follows from the
remark above that there is a polynomial Q(x) of degree max{0, p 1}
satisfying (9.3). Notice that each ([Cj ]) belongs to G (, ) since j
Xi . Moreover, [Cj ] is represented Cj which is a closed chain of length
nj + n1 2n thus
[Cj ] = 1j ljj
% &
where 1 lj 2n d (here [] denotes integer part). Since {g1 , , gp } is
a base of G, and each (kj ) belongs to G, we can select integers njk,s with
1 k lj and 1 s p such that
p
(kj ) = njk,s gs
s=1
so
lj
p
lj
p
([Cj ]) = (kj ) = njk,s gs = mjs gs ,
k=1 s=1 k=1 s=1
where
lj
mjs = njk,s .
k=1
134 Geometry, Dynamics and Topology of Foliations - a first course
But G is a nite set, so there is an upper bound O for the set of integers
{|njk,s |}. Then,
' (
2n
|mjs | max{|njk,s |}lj Olj O
d
so each ([Cj ]) belongs to
) ' (*
p
p
2n
g G (, ) : g = ns gs , ns Z, |ns | pO .
s=1 s=1
d
10.1 Introduction
The next chapters of this text are dedicated to some other topics in the
Global Theory of Foliations. In this chapter, special attention is paid to
the consequences of the Theory of Currents on foliated manifolds. We will
therefore exploit aspects, already mentioned in the rst part, of growth of
leaves and of groups as well as the existence of invariant transverse measures
and of foliation cycles for a given foliation. Despite its certain informality
our approach and exposition aim to clear the key-points of some central
results of the classical theory (e.g. the bijection between transverse invari-
ant measures and foliation cycles and homological versions of Novikovs
compact leaf theorem) allowing this way the link between the classical real
framework and the so called Complex World, where the foliations are fre-
quently singular and therefore the ambient manifold may not be compact.
After constructing the bases of the theory of currents and foliation cycles
in the real case we address the problem of giving a non-geometrical (?)
proof of Novikovs compact leaf theorem. The central idea/philosophy is
that such a proof may be somehow adapted to the complex setting. Refer-
ences for these two parts should be essentially contained in the works of J.
Plante, D. Sullivan, S. Schwartzmann, D. Ruelle, A. Haeiger (for the real
classic part) and M. McQuillan, M. Brunella, for the existing complex part;
and may be found in the end of this text ([McQuillan (1998)], [McQuillan
(2001)], [Brunella (1997)], [Brunella (1999)], [Demailly (1997)]).
135
136 Geometry, Dynamics and Topology of Foliations - a first course
10.2 Currents
10.2.1 Examples
Np
Fig. 10.1
Z
can associate a current of degree q (and dimension p) C() := ;
Rn
Apc (Rn ).
P
r
4. Given a singular p-chain = aj Nj in Rn we can (as in 2. above)
j=1
define an integration current by setting
Z
C() := , Apc (Rn ).
In {Apc (Rn )} we consider the exterior derivation of forms
d : Apc (Rn ) Ap+1
c (Rn )
7 d
and induce, in natural way, a derivation operator in Dq (Rn ):
d : Dq (Rn ) Dq+1 (Rn )
C 7 dC
dC() := C(d), Acq+1 (Rn ).
In a natural way we obtain a complex of cochains {d : Dp (Rn ) Dp+1 (Rn )}
(naturally) associated to the complex of De Rham with compact support
of Rn
{d : Apc (Rn ) Ap+1
c (Rn )}.
In particular, d(dC) = 0 for every current C in Rn .
We can localize the notions above in an obvious way: given open
subset U Rn we introduce the spaces Apc (U ) and Dq (U ) := (Apc (U ))
where the topology we consider is the natural inherited from the topology
of uniform convergence in compact parts (for functions and its derivatives
of all orders) in Cc (U ). Given a diffeomorphism C F : U V between
138 Geometry, Dynamics and Topology of Foliations - a first course
Remark 10.1. We can also work with general dierential forms (not nec-
essarily with compact support) of class C in M obtaining the De Rham
k
complex of M , whose cohomology is denoted by HDR (M ), and the maximal
order cohomology is given by:
)
n 0 if M is non-compact or non-orientable
HDR (M ) =
R if M is compact and orientable.
q
ip# : HDR (M ) H q (D (M ))
q q
Hsing (M, R) HDR (M ) H q (D (M )).
disco j
M
Uj
j
q
m p q
j Uj
p
Fig. 10.2
q
M
j
Uj p
j
i q
Ui i
p
Fig. 10.3
following notion:
n
D
q
M
x F
Fig. 10.4
10.3.1 Examples
Let us now see some examples of foliations and invariant transverse mea-
sures.
1. Let F be a foliation of codimension 1 given by a non-singular closed
1-form of class C , in M . Then it is to see from the Poincare Lemma
that the holonomy pseudogroup of F is naturally a group of translations
F (R, +) and any leaf of F has trivial holonomy group (a translation
with a nite xed point is the identity). Therefore, any Borel measure in
R invariant by translations is also F -invariant. Suppose now that F is of
codimension k and given by a closed k-form in M . In this case given any
transverse k-disc to F say Dk M , the restriction |Dk is a volume form
(assume also that F is transversely oriented this way) which is positive in
open sets. The fact that is closed implies that the transverse measure
this way induced is F -invariant.
2. Suppose that F admits a closed leaf L0 M . Given a transverse disc
Currents, distributions, foliation cycles and transverse measures 143
~ ~
M M
D D
Fig. 10.5
Remark 10.2. We observe that if the fiber F is compact then (b) follows
from (a); even for B non-compact (see [Camacho and Lins-Neto (1985)]
page 94).
144 Geometry, Dynamics and Topology of Foliations - a first course
F (x)
L x
(x) B
Fig. 10.6
Fb Fb
0 0
f (y )
~ y
y
Ly
bo b0 B
Fig. 10.7
Fig. 10.8
Fig. 10.9
10.4.1 Examples
1. If N p M n is an oriented submanifold compact of dimension p invariant
by F then the class of the current of integration corresponding to N is the
class [N ] of homology of N in Hp (M, R); note that N is a compact leaf of
F.
2. Let F be a foliation of dimension p and codimension q of M n . Assume
that F and M are oriented and that is F transversally oriented. The
dierential form of degree q in M such that for each transverse disc to
F , Dq M we have |Dq is the form of volume (positive for the induced
orientation in Dq ) is a transverse volume form of F in M . We can choose
a continuous vector eld XF of p-vectors on M such that in each point
x M we have Tx F = oriented space generated by XF (x).
Currents, distributions, foliation cycles and transverse measures 149
M
Lx
x
TxF
Fig. 10.10
Fig. 10.11
Suppose now that the ber F is compact and let us study the homology class
of (one ber) [F0 ] in Hq (M, R). Take a tubular neighborhood : W F0
of this ber in E such that the projection has as bers (transverse discs)
the leaves of F |W .
E
F 0
W
F ( x)
Lx
x
em W
Fig. 10.12
But then we have C() = 0 ((W )) > 0 so that C() = 0. On the other
p
hand, since is closed we have that its class in Hc,DR (M, R) is dual to the
class of F0 in Hq (M, R) so that if [F0 ] = [0] in Hq (M, R) then [] = [0] in
Currents, distributions, foliation cycles and transverse measures 151
x Dx Lx E
W
F0
Fig. 10.13
p
Hc,DR (M, R) and so C() = 0 giving a contradiction. This shows that the
class of F0 is not zero in Hq (M, R) . Since F0 is arbitrary we conclude the
same for any fiber of : E B. The same proof gives us:
6. Let F and M be oriented and N q M n compact submanifold without
boundary and transverse to F . If there exists invariant transverse measure
for F with supp N 6= then [N ] 6= [0] in Hq (M, R).
We denote by C the set of radii of of C; C is direct identification with its
base.
The continuity of the field {Cx }xF is defined in terms of the movement
of its bases C x for a suitable metric in the radii (see [Sullivan (1976)]).
Thus the p-form C in M is said to be transverse to the cone structure
152 Geometry, Dynamics and Topology of Foliations - a first course
Fig. 10.14
Foliation cycles:
A homological proof of Novikovs
compact leaf theorem
153
154 Geometry, Dynamics and Topology of Foliations - a first course
11.0.1 Examples
Fig. 11.1
Foliation cycles: A homological proof of Novikovs compact leaf theorem 155
Such a leaf L0 we will call in general a ressort leaf, more precisely we have:
Let us see how the existence of an invariant measure for F restricts the
existence of ressort leaves.
The above proposition is enough for our purposes, i.e., the homological
proof of Novikovs compact leaf theorem. Nevertheless, under the hypoth-
esis of Proposition 11.1, it is possible to say more.
The proof of Theorem 11.1 requires some features from and more knowl-
edge on the structure of codimension one foliations as Dippolitos theory
on semi-stable leaves and Cantwell-Conlons theory on minimal sets of C 2
codimension one foliations on closed manifolds. This is partially done in
the appendix (see Appendix A). For Dippolitos theory we give the main
steps, while for Cantwell-Conlons theory we suggest their book [Candel
and Conlon (2000)].
156 Geometry, Dynamics and Topology of Foliations - a first course
Note that above we strongly use the fact that F is of codimension 1. Sup-
pose now that dim F = 2 and dim M = 3 so that F of codimension 1. We
will also assume M compact and that F has a vanishing cycle, say, in the
leaf L0 of F . We will show how to construct the foliation cycle for F; there
is no loss of generality if we assume that the vanishing cycle is simple: recall
that (cf. Chapter 6) a vanishing cycle of F in the leaf L0 consists of a lace
(closed) 0 : [0, 1] L0 such that it extends to a continuous application
C0
: [0, 1] [0, 1] M with the following properties:
(i) Given t [0, 1] the application t : [0, 1] Lt , t (s) = (t, s)
denes a loop in the leaf Lt of F .
(ii) 0 is the loop originally given in L0 .
(iii) 0 is not homotopic to zero in L0 but t is homotopic to zero in
Lt t (0, 1].
(iv) Fixed s [0, 1] the curve Cs : [0, 1] M t t (s) is transverse
to the foliation F .
curve C x
Fig. 11.2
^t
^t
L
Cannot occur
{ Lt
t
t >0
Cannot occur
{ Fig. 11.3
t
^t
L
Lt
M
2 A
D {t}
t
X
Lt
D2 (0,1]
X
Lt
t
At X X
2 A1
D 1
L1
X F
folhas de F{
Lt
L1
Fig. 11.4
Since 0 is not homotopic to zero in L0 and since for each x S 1 the curve
[0, 1] M , x A(x, t) has a limit when t 0+ we conclude that
(viii) The set W = {x D2 ; t A(x, t) has a limit when t 0+ }
which is an open neighborhood of S 1 in D2 with S 1 W D2 .
We denote by Ct , for each 0 < t 1, the foliation current of F dened
by the integral
1
Ct () := , where Apc (M )
vol(Dt ) Dt
(note that still we are not using the fact that M is compact, which will be
used in what follows), and where Dt = At (D2 ) Lt (note which At : D2
Foliation cycles: A homological proof of Novikovs compact leaf theorem 159
It is an exercise to show that a leaf L of F is proper if, and only if, its
topology coincides with the one induced by M . Or else, that a leaf L is
proper if, and only if, L does not cluster on itself (see [Dippolito (1978),
p. 408] or [Candel and Conlon (2000), Def. 4.3.3]). A compact leaf is
always proper. Now we dene semi-proper leaves. There are many ways of
dening semi-proper leaves. We follow the nice exposition in [Seitoh (1983)]
page 96. Since F is smooth and transversely orientable, we can choose a
one-dimensional smooth foliation T which is everywhere transverse to F .
Denote by (T ) : M M , the unit tangent bundle to T . Given a leaf L
of F , the sides of L are the leaves L of the foliation (T ) (F ) that project
onto L, i.e., (T )(L) = L.
161
162 Geometry, Dynamics and Topology of Foliations - a first course
(1) L is semi-proper.
(2) Either L is proper or it is exceptional and such that for every leaf T of
T , the intersection points L T are the extremities gaps of L T , i.e.,
of the connected components of T \ (L T ).
Exercise A.1.1. Show that in the definition above there is a smooth diffeo-
morphism taking U onto the product N (1, 1), where N is a m 1-
dimensional manifold. Also show through an example that the foliation F
does not need to be diffeomorphic to the horizontal product foliation on
N (1, 1).
..
or two leaves in U
iv) There is also an induced oriented foliation L. on U . , dened by a vector
. .
eld transverse to F , which is carried by i into the foliation L.
For the interested reader, we shall give a sketch of the proof of the above
theorem. Our proof will then be based on an equivalent construction of the
completion of an open invariant subset, which we pass to present.
(1) The external plaques 1 (Rm1 {a}, a = 1 are not in the bound-
ary of U ;
(2) There is N r s such that the open set Ui is contained in U if, and
only if, i > r.
166 Geometry, Dynamics and Topology of Foliations - a first course
Now we denote by Pij the upper plaque of Ui bounding Uij and by Pij+
the lower plaque of Ui bounding Uij . Finally, we denote by Pij the upper
plaque of Ui bounding Ui and by Pi= the lower one for Ui+ .
By gluing the manifolds U .i = Ui for i > r, the manifolds U . :=
i
. . = P U for i r, by the
Ui Pi , Uij := Pij Uij Pij and U
+
i
+
i
+ +
i
gluing dieomorphisms j1 i , we obtain a m-dimensional manifold with
boundary U . , of class C r , equipped with a codimension one foliation F,.
.
transversely oriented, with a 1-dimensional transverse foliation T , of class
C r . The result is:
. = K B.
(1) U
(2) K is compact and connected while B has no compact connected compo-
nent.
(3) C = K U . is a compact m 1-dimensional subvariety and it is the
saturated of the boundary C by T. .
(4) B has only nitely many connected components, each one having as
boundary a connected component of D.
Structure of codimension one foliations: Dippolitos theory 167
The limit sets of L1 and L2 coincide and are contained in the limit set
of any leaf L of F in U .
If one of this leaves is exceptional then the same holds for the other and
we have L1 = L2 L.
Exercise A.4.1. In this exercise we shall prove the following result due to
Cantwell-Conlon (see [Candel and Conlon (2000)] Chapter 8, pp. 190-192):
Structure of codimension one foliations: Dippolitos theory 169
Lemma A.4. The leaves in the class [L] of a leaf L, have all the same
nature regarding F . More precisely, the leaves in [L] are either all proper,
or all locally dense, or all exceptional.
We define the inferior structure of a leaf L as the union inf(L) of all leaves
L such that L < L. The superior structure sup(L) is defined in a natural
analogous way.
The following is left as an exercise.
Proof. We leave the details to the reader. We will show that if {Ln }nN
is a sequence of leaves in the complement Ln M L and converging to L
then, for n big enough, we have Ln sup(L). Notice that such sequences
exist provided that L is nowhere dense in M . Denote by U the connected
component of the open subset M inf(L) that contains L. We can assume
that the leaves Ln are contained in U . The class of the leaf L is denoted
170 Geometry, Dynamics and Topology of Foliations - a first course
Proof of Theorem A.5. Item (1) is a direct consequence of the fact that
sup(L) is an open invariant subset of M . Dippolitos semi-stability theo-
rem A.2 then shows that the exceptional minimal sets are isolated implying
(2). The other properties then follow.
173
174 Geometry, Dynamics and Topology of Foliations - a first course
C. Ehresmann, G. Reeb; Sur les champs delements of contact, C.R. Acad. Sci.
Paris, 218, 1944.
E. Ghys; Holomorphic Anosov Systems, Inv. Math. 119, 585-614 (1995).
C. Godbillon; Feuilletages: Etudes Geometriques, Birkhauser, Berlin 1991.
P. Griths, J. Harris; Principles of Algebraic Geometry, John Wiley & Sons,
New-York, 1978.
R.C. Gunning; Introduction to holomorphic functions of several variables, vol. I,
Wadsworth & Brooks/Cole, California 1990.
A. Haeiger; Structures feuilletees et cohomologie a valeur dans un faisceau of
groupodes. Comment. Math. Helv. 32 1958 248329.
A. Haeiger: Travaux de Novikov sur les feuilletages, Seminaire Bourbaki 20e
annee, 1967-68, Num. 339, p. 433-444, 1967-68.
A. Haeiger; Some remarks on foliations with minimal leaves. J. Dierential
Geom. 15 (1980), in the. 2, 269284 (1981).
V. L. Hansen; Braids and Coverings. London Mathematical Society Student Texts
(No. 18), Cambridge University Press, 1989.
Hector, G. and Hirsch, U.; Introduction to the geometry of foliations. Part B.
Foliations of codimension one., Second edition. Aspects of Mathematics,
E3. Friedr. Vieweg & Sohn, Braunschweig (1987).
Herstein, I., N., Topics in algebra, Second edition. Xerox College Publishing,
Lexington, Mass.-Toronto, Ont. (1975).
M. Hirsch; Stability of compact leaves of foliations. Dynamical systems (Proc.
Sympos., Univ. Bahia, Salvador, 1971), pp. 135153. Academic Press, New
York, 1973.
M. Hirsch, S. Smale, Dierential Equations, Dynamical Systems and Linear Al-
gebra, Accademic Press, San Diego, CA, 1974.
M. Hirsch, W. Thurston; Foliated bundles, invariant measures and at manifolds.
Ann. Math. (2) 101 (1975), 369390.
H. Holmann; On the stability of holomorphic foliatons; Springer Lect. Notes in
Math. 198 (1980), 192-202.
H. Hopf, Uber die Abbildungen der dreidimensionalen Sphare auf die Kugelache,
Math. Ann. 104 (1931), 637-665.
E. Lima; Commuting vector els on S 3 ; Ann. of Math., vol. 81, 1965, p. 70-81.
David W. Lyons; An Elementary Introduction to the Hopf Fibration, Mathematics
Magazine Vol. 76, No. 2 (Apr., 2003), pp. 87-98.
M. McQuillan; Diophantine approximation and foliations, Publ. Math. I.H.E.S.
87 (1998), pp. 121-174.
M. McQuillan; Non-commutative Mori Theory, Prepublication
I.H.E.S./M/01/42, August 2001.
J. Milnor: Morse Theory; Annals of Mathematics Studies, Princeton University
Press, 1963.
J. Milnor; Growth of nitely generated solvable groups. J. Dierential Geometry,
2, 1968, 447449.
R. Moussu, F. Pelletier; Sur le theoreme of Poincare-Bendixson. Ann. Inst.
Fourier (Grenoble) 24 (1974), in the. 1, 131148.
P. Painleve; Lecons sur la theorie analytique des equations dierentielles, Paris,
Bibliography 175
177
178 Geometry, Dynamics and Topology of Foliations - a first course
semi-proper 163
leaf, 161 Haeigers theorem, 78
semi-stable Limas theorem, 103
leaf, 162 Novikovs compact leaf, 87
set of Cantwell-Colon, 169
minimal, 55 of De Rham, 139
side of Plante, 129
positive, 161
of Sacksteder, 107
singularity
structure theorem of Dippolito, 163
center, 82
Tischlers theorem, 107
saddle, 82
Tischler, 32, 107
stable
compact leaf, 67, 69 Tits, 125
leaf, 67 transverse
subset, 66 map, 76
submersion, 4
suspension, 145 vanishing cycle, 87
simple, 156
theorem vector eld, 12, 1618, 32
Dippolito semi-stability theorem, normal to a foliation, 90