Foliations Geometry and Dynamics
Foliations Geometry and Dynamics
C<
A
/ \
1. II V
\6 : i ]
W / V I V I I V 11
;. mk
;
0WP •
wM\ €teii©in)fil©
FOLIATIONS
GEOMETRY AND DYNAMICS
This page is intentionally left blank
Proceedings of the Euroworkshop on
FOLIATIONS
GEOMETRY AND DYNAMICS
Editors
Pawet Walczak
Uniwersytettodzki, todz, Poland
Lawrence Conlon
Washington University, St. Louis, Missouri, USA
Remi Langevin
Universite de Bourgogne, Dijon, France
Takashi Tsuboi
University of Tokyo, Japan
V f e World Scientific
wll New Jersey • London • Sine
Singapore • Hong Kong
Published by
World Scientific Publishing Co. Pte. Ltd.
P O Box 128, Farrer Road, Singapore 912805
USA office: Suite IB, 1060 Main Street, River Edge, NJ 07661
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.
ISBN 981-02-4796-6
SURVEY ARTICLES
and survey 29
RESEARCH PAPERS
vii
viii
Program 451
SURVEY ARTICLES
This page is intentionally left blank
Proceedings of
FOLIATIONS: GEOMETRY AND DYNAMICS
held in Warsaw, May 29-June 9, 2000
ed. by Pawet WALCZAK et al
World Scientific, Singapore, 2002
pp. 3-16
SOME RESULTS ON S E C O N D A R Y C H A R A C T E R I S T I C
CLASSES OF T R A N S V E R S E L Y HOLOMORPHIC
FOLIATIONS
TARO ASUKE
Department of Mathematics, Faculty of Sciences, Hiroshima University,
1-3-1 Kagamiyama, Higashi-Hiroshima, Hiroshima 739-8526, Japan,
e-mail: [email protected]
1 Introduction
Secondary characteristic classes are one of the main tools to study folia-
tions. Among them, the Godbillon-Vey class is the most important one
and studied by many people.
It is known that this class is non-trivial and it can moreover vary contin-
uously if we deform foliations. On the other hand, if we consider foliations
with some transverse structures, this invariant is often rigid, or even trivial
[11, 8, 20]. In this article we first review the following results by following
our previous papers [1, 2, 4]:
1) There are transversely holomorphic foliations whose Godbillon-Vey
classes are non-trivial in any codimensional cases.
2) The Godbillon-Vey class is rigid under smooth deformations in any
codimensional cases.
For transversely holomorphic foliations, we can consider not only the real
secondary classes but the complex secondary classes. We recall a formula
3
4 TARO ASUKE
2 Examples
d d d
v N x
X\ = A0Z0- h AlZl- ! - • • • + *qZq- ,
OZQ OZ\ OZq
SOME RESULTS ON SECONDARY CHARACTERISTIC CLASSES 5
3 Definitions
In this section, we recall the some basic notions, especially the definitions
of secondary classes of transversely holomorphic foliations. Some details
of basic notions on transversely holomorphic foliations are also found in
[12, 15]. We briefly mention also the real secondary classes but we refer the
readers to [10] for general real case.
Definition 3.1 A foliation T of a manifold M is a transversely holomor-
phic foliation of complex codimension q if we can find a local coordinate
system of the form {(Ui x V*, (xi, z,), /ji)} such that
Let C[v\,- • • ,vq) be the polynomial algebra in Vi, where 1 < i < q.
We set the degree of Vi as 2i. Let Iq denote the ideal of this algebra
generated by the monomials of degree greater than 2q, and define the
algebra Cq\vi, • • • ,vq] as the quotient of C\v\, • • • ,vq] by Iq. We define
Cq\v\,- • • ,vq] in the obvious way. We define also R2q[c\, • • • , C2q) as the
quotient of R[c\, • • • , C2q] by the ideal 1^ generated by the monomials of
degree greater than 4q, where the degree of Cj is equal to 2i.
The most important theorem in the theory of secondary classes of foli-
ation is the following theorem of Bott.
Theorem 3.4 (Bott vanishing theorem [10])
• Given a codimension-2q foliation, we can choose Bott connections so
that the Chern-Weil homomorphism defined on R[ci, • • • ,C2q] annihi-
lates 1^.
• Given a complex codimension-q transversely holomorphic foliation, we
can choose complex Bott connections so that the Chern-Weil homo-
morphism defined on C[v\, • • • ,vq] annihilates Iq.
The Bott vanishing theorem leads us to the following definition.
Definition 3.5 We define differential graded algebras WU, and W02 Q by
setting
WU, = Cq[vlr-- ,vq] ®Cq[vlr-- ,vg] ® A f " i ) " - ."?].
W0 2 „ = R2q[ci,--- ,c2q] ®/\[hi,h3,--- ,h2q-i}.
We equip these algebras with an exterior differential determined by dui =
Vi — Vi, dvi = dVi = 0, dhi = Ci and dci = 0, respectively. We define
the degree of the elements Ui and hi as 1i — 1, respectively. Finally, for
an index set J = (ji, • • • ,jq) which consists of non-negative integers we set
vj = v^1 • • • v3q and \J\ = ji + 2J2 + • • -+qjq- We define vj in the same way.
Remark 3.6 As we mentioned, associated with a transversely holomorphic
foliation are there two virtual 'foliations' given by Q(l>°\T) and Q( 0,1 '(.F).
The definition of WU, reflects this fact.
The Bott vanishing theorem implies that if M is a smooth manifold
equipped with a transversely holomorphic foliation T, then we have a ho-
momorphism xc from H*(W\Jq) to H*R(M;C). A homomorphism XR
from H*(W02q) to H*R(M; R) is also defined by using the Bott vanishing
theorem. It is well-known that XR a n d Xc depend only on the foliation.
We denote the image of an element u> of H*(WXJq) or H*(W02q) by u(T).
Definition 3.7 An element of i7*(WU g ) is called a complex secondary
class if it involves one of the Ui's. Similarly, an element of H*(WC>2q) is
SOME RESULTS ON SECONDARY CHARACTERISTIC CLASSES 9
called a real secondary class if it involves one of the /ij's. Their images by
Xc or XR a r e also called secondary classes.
A set of basis of J ff*(W02 g ) is well-known [14]. T h e author does not
know general description of sets of bases of i 7 * ( W U g ) , but we have an
algorithm to find t h e m [2].
We introduce two important classes.
D e f i n i t i o n 3 . 8 We define respectively the class £Q of H*(W\Jq) and the
class G V 2 ? of ii"*(W0 2 g ) by the following formulae:
GV2, = hxc\q
T h e class GV2 9 is called the Godbillon-Vey class, and the class £q is the
imaginary p a r t of the B o t t class. We denote by Chernj the first Chern class
(v\ + v\)/2 of the complex normal bundle of the foliation.
If Cherni is trivial, then we can define the Bott class as follows. First
we choose a Bott connection V& and a trivialization a of the line bundle
y\ 9 Q( 1>0 )(^") so t h a t dui(Vb,cr) = t>i(Vb), where V\(Vb) denotes the first
Chern form calculated by using Vb and wi(Vb,a) is the differential form
obtained by comparing on f\?Q^1,0\T) the connection V& and the fiat
connection with respect to a. T h e Bott vanishing theorem then implies
t h a t t h e differential form wi(V(,, cr)vj(Vb) is closed if | J | = q. In general
the class defined by this differential form depends on the homotopy class
of a, but if vj —v\, then the resulting class is independent of a.
D e f i n i t i o n 3 . 9 We denote by uiVj[T,a) t h e class defined by
Ui(Vfe,o>j(Vb).
Particularly when vj = v\, then we set Bott 9 (jF) = Ui(Vb, cr)ui(Vb) 9 and
call it the B o t t class.
Remark 3.10 T h e class (,q is in fact a real cohomology class, while the Bott
class is a complex cohomology class. Indeed, it is known t h a t ^ ( . F ) =
— 2 I m B o t t q ( F ) . We refer the readers to [9, 10, 1] for the details. We also
remark t h a t it is the Bott class which was firstly found, not the Godbillon-
Vey class.
T h e definitions which we made have certainly a sense, namely, we have
the following. T h e proof appeared in [4] and we omit it.
T h e o r e m 3 . 1 1 ([4])
3) The r~structures defined by Examples 2.5 and 2.6 are not the same
if the complex codimension is greater than one. These foliations are
Jerent even as real foliations.
where Tt\ is the foliation of S2q+1 given in Example 2.2 and a0 is the
natural trivialization of the bundle f^Q^'^CHx) (see [7] for details).
Given a transversely holomorphic foliation, it is natural t o compare t h e
complex and t h e real secondary classes. This can be done by considering t h e
natural mapping BX from BT^ t o BF^q which corresponds t o forgetting
the transverse holomorphic structure, where BT^ denotes t h e classifying
space of transversely holomorphic foliations of complex codimension q and
BT2q denotes t h e classifying space of foliations of codimension 2q. T h e
mapping BX induces a mapping A from H*(W02q) t o H*(WXJg) which is
characterized by t h e equation xc°X = XR- A mapping, say Ao, from W 0 2 q
to W U , which induces A is given as follows [1]:
D e f i n i t i o n 3 . 1 4 We define a mapping AQ from W 0 2 , t o W U , by t h e for-
S O M E RESULTS ON SECONDARY CHARACTERISTIC CLASSES 11
mulae
k
Xo(ck) = (^l)k^2(-iyvk^jvj,
Remark 3.15 We regard v^s as the Chern classes and Ci's as the Pontryagin
classes, respectively. If we regard them as the Chern and the Pontryagin
characters, the above formulae are slightly modified but essentially remain
the same.
Note that the kernel of the mapping A can be viewed as the obstruc-
tions to foliations being transversely holomorphic. For example in the case
of complex codimension one, the formula \{h\c\) — 2\(h\C2) holds [1].
This shows that if a real foliation of real codimension 2 do not satisfy the
above equation, this foliation cannot be transversely holomorphic. In [2]
we completely determine the kernel, image, cokernel and coimage of the
mapping A in the case where q < 3.
The Bott class and the Godbillon-Vey class are related by the following
theorem.
T h e o r e m 3.16 ([1]) The formula
A(GV29) = M l £ , ( C h e r n i ) '
holds.
Proof. It follows from the fact that Xo(hi) = \J — \u\ and Ao(ci) =
^ ( v i - S i ) . •
This theorem shows that if we consider transversely holomorphic foli-
ations with non-vanishing Godbillon-Vey class, there is a strict restriction
to the cohomology of ambient manifolds, namely, it must be similar to the
cohomology of S2q+1 x CPq. For example, the Godbillon-Vey class of any
transversely holomorphic foliations of S 1 x S 4 is trivial (such an example is
obtained from Example 2.1 by setting p = 3 and q — 1). On the other hand,
it can be shown that there is a family of real foliations of S1 x S4 which is of
real codimension two and whose Godbillon-Vey class varies continuously [1].
We remark also that H*(sl(q + l . C ^ . t 1 ®su(q,C);C) ^ H*{S3 x
2q+1 q
••• xS x CP ; C). This is used in [4] to show the non-triviality of the
Godbillon-Vey class of .FrixSUCg) of Example 2.5.
12 TARO ASUKE
The formula in Theorem 3.16 together with Theorem 3.13 seems to suggest
that the Godbillon-Vey class can vary continuously even in the category
of transversely holomorphic foliations. But this is not the case, namely,
the Godbillon-Vey class is rigid in the category of transversely holomorphic
foliations.
First we introduce the following mapping.
Definition 4.1 We denote by p the homomorphism from W U , + i to WU,
defined by the following formulae:
Ui if i ^ q + 1
P(Ui)
0 ifi = q + l
iii^q +l vt if i ^ q + 1
P{VI P0»
Hi 1 0 \ii = q + l
Here the number in the left column stands for the degree of the elements
in the same row.
SOME RESULTS ON SECONDARY CHARACTERISTIC CLASSES 13
5 A n o t h e r r e l a t i o n b e t w e e n t h e B o t t class a n d t h e
G o d b i l l o n - V e y class
In this section we introduce a result which relates the Bott class and the
Godbillon-Vey class in another way t h a n the formula given in Theorem 3.16.
Let M be a manifold equipped with a transversely holomorphic foliation T
with non-trivial Godbillon-Vey class. As we remarked after Theorem 3.16,
such a manifold is of some specific cohomological type. On the other hand,
among the examples which we introduced, any example of transversely holo-
morphic foliation whose Godbillon-Vey class is non-trivial can be obtained
by taking a quotient of a transversely holomorphic foliation by an 5 1 -action.
Moreover, we can choose the latter foliation so t h a t its Godbillon-Vey class
is trivial.
Recently in [5] we showed t h a t this is true in general. As a preparation,
we introduce the following bundle.
14 TARO ASUKE
1. The first Chern class of the complex normal bundle of the lifted foliation
T of M is trivial. Hence the Godbillon- Vey class of T is trivial.
2. The imaginary part of the Bott class of T is non-trivial and there exists
an element ui of H2q+2(M) such that TT<(U>) = GV 2 ( ? (J").
mXV-lUiUiVjVKiF*,^)) = \Z^TUIVJVK(F)
if \J\ = \K\ = Q> where m denotes the integration along the fibre.
Consequently, TH(y/^1 Bott,(J 7 *) B o t t , ( J 7 * ) ) = GV2g(J7).
Acknowledgment
References
HELLEN COLMAN
Department of Mathematics (m/c 249), University of Illinois at Chicago
851 S. Morgan St., Chicago, IL 60607-7045 USA,
e-mail: [email protected]
1 Introduction
The LS-category was introduced in the course of research into the calculus
of variations in 1930 [17]. The motivation was that it gives a lower bound
for the number of critical points of any smooth function on a compact
manifold. For a survey in LS-category see [14, 15].
There are many extensions of the original concept adapted to various
contexts such as the fibrewise category, introduced by I.M. James and J.
Morris [16] and the equivariant category, by E. Fadell [9].
A good category for foliations should be an invariant of homotopy type,
for some type of homotopy compatible with the foliated structure.
We propose on the one hand the tangential category, cat<(M,T), which
coincides with the category of the leaves when the foliation is a product
and on the other hand the transverse category, cat^ (M, J 7 ), that coincides
with the category of the leaf space if the foliation is a fibration.
In general, we can compare these foliated categories with the ordinary
category of the ambient manifold, the leaf space and the leaves.
Cohomological lower bounds for the tangential and transverse category
can be obtained in terms of leafwise and basic cohomology respectively.
Finally, we give a generalization of Lusternik-Schnirelmann's main re-
sult. Precisely, if (M, J7) is a compact-Hausdorff foliation and / is a basic
17
18 HELLEN COLMAN
function on M then the number of critical leaves is at least cat r f 1 (M, J7).
2 LS-category
3 Fibrewise category
, H*(X)
v ;
c a t R X > nil-
(p*H*(B))
4 Equivariant c a t e g o r y
5 Foliated categories
We denote fl(,(M) the complex of basic forms with the restriction of the
differential on fi(M). Its cohomology H\,{M) is the basic cohomology of
(M,F). If the foliation is by one leaf, the basic cohomology is 0 in positive
degrees.
Proposition 5.8 Let U be a transversely categorical open subset of M.
The map i* : Hb{M) —> Hb(U) induced by the inclusion in basic cohomology
is null.
We define a relative basic cohomology considering the complex [1]:
srb(M,u) = srb(M)®srb-1{u)
with differential d(u>, 9) = (duj,cu\u — dd). In this way we have a long exact
sequence in basic cohomology associated to the pair (M, U).
Theorem 5.9 cat^ (M,.F) > nilk*Hb(M) where k* is the induced by the
inclusion map k: Clb(M) <—> f2(M).
We generalize the classical result of Varadarajan [24] about the cate-
gories of the spaces involved in a fibration.
Theorem 5.10 Let L$ £ T be a leaf such that catLo > catL. Then
catM < catL 0 cat^ (M, T).
Corollary 5.11 For any foliation T in M,
Acknowledgments
I would like to t h a n k for its hospitality and its support, the Stefan Banach
International Mathematical Centre in Warsaw, during the Conference on
L S - C A T E G O R I E S F O R FOLIATED MANIFOLDS 27
References
D Y N A M I C S A N D T H E GODBILLON-VEY CLASS.
A HISTORY A N D SURVEY
STEVEN HURDER
Department of Mathematics (m/c 249), University of Illinois at Chicago
851 S. Morgan St., Chicago, IL 60607-7045 USA,
e-mail: [email protected], Web: http://www.math.uic.edu/~hurder/
We survey thirty years of study of the relations between dynamics and the
Godbillon-Vey invariant of codimension one foliations. We include a section on
open problems.
1 A simple definition
29
30 STEVEN H U R D E R
2 Structure theory
3 Dummy's Theorem
In a brilliant work growing out of the paper [28], G. Duminy [26] introduced
the Godbillon measure gjr on the E-algebra Bo(^F) generated by the open
saturated subsets of a foliation T of codimension one. Dummy's note was
also highly original on two other points: T h e Godbillon measure is one half
of the Godbillon-Vey invariant, constructed from the leaf cohomology class
[77] 6 HX(M,T). T h e second half, the "Vey class" [drj\ € H2{M/T), was
considered as a fixed invariant of T on which the Godbillon measure could
be evaluated to give GV{T\U) for U 6 Bo{T). T h e other innovation, in
a companion manuscript [27], was an estimation of the Godbillon measure
using what are essentially techniques of ergodic theory. Duminy's work
lifted the veil on t h e study of t h e relation between GV(T) and dynamics.
T h e o r e m 3 . 1 ( D u m i n y ) If T is a codimension one, C2-foliation of a
compact manifold M with non-trivial Godbillon measure g?, then T must
have a hyperbolic resilient leaf, and hence there is an open subset of M
consisting of leaves with exponential growth.
While the original manuscripts of Duminy were widely circulated, they
were unfortunately never published. An account of Duminy's method was
DYNAMICS AND THE GODBILLON-VEY CLASS 33
later published by Cantwell and Conlon [12], who extended the theorem to
non-compact manifolds. This extension is not so simple as passing from
cohomology on a compact manifold to t h a t on a non-compact manifold, as
the key estimates Duminy used required the Poincare-Bendixson structure
theory of C 2 -foliations on compact manifolds [9, 49]. Cantwell and Conlon
extended in the Poincare-Bendixson theory to open manifolds in [12].
D u m m y ' s method of proof was t h a t , if there is no resilient leaf for T,
then by Sacksteder's Theorem [100] there are no exceptional minimal sets.
Hence, by t h e Poincare-Bendixson theory, all leaves of J- either lie at finite
level, or lie in "arbitrarily thin" subsets U e Bo(J-)- T h e finite level case
is analyzed analogously to the almost without holonomy case, while the
analysis of the thin sets used the new techniques of [27]. Duminy's new
techniques raised new questions:
T h e more fundamental point of the work [52] was t h a t the measures were
defined on the E-algebra B{T) of all measurable, saturated subsets of M,
and t h a t the leafwise forms used to define the measures XF{VI) need only
be transversally measurable. It may happen t h a t the only open s a t u r a t e d
subsets for a foliation are either empty, or M itself, so the extension of
the Godbillon measure to the algebra of measurable sets B(F) widened
the application of the ideas. On the other hand, the ability to calculate
these new invariants using measurable d a t a had a more important impact.
Dynamical hypotheses on a foliation, combined with asymptotic techniques,
often yields leafwise smooth, but only transversally measurable data, so
t h a t this extension allowed techniques of ergodic theory to be applied in
the evaluation of the Godbillon and Weil measures.
For example, the Godbillon measure g? can be calculated using a trans-
versally measurable, transverse volume form for T. A foliation with all
leaves compact is easily shown to have a transversally measurable, closed
transverse volume form, hence its Godbillon-Vey classes must vanish. This
argument applies in any codimension. Cantwell and Conlon used the modi-
fication of D u m m y ' s approach to give a simpler proof of Dummy's Theorem
[12, 21]. Hurder [55] showed t h a t for a foliation of arbitrary codimension, if
all leaves are compact, then all of the Weil measures must vanish since such
a foliation admits a transversally measurable, holonomy invariant t r a n s -
verse Riemannian metric. This was the first "vanishing theorem" for t h e
other secondary classes of foliations, for codimension greater t h a n one.
Duminy's papers [26, 27] were a demarcation in the study of the dy-
namics of foliations. T h e fundamental conjecture posed in 1974 was solved,
while the reformulation of his ideas transformed the study of the relation
between dynamics of foliations and the Godbillon-Vey and other secondary
classes, into questions of ergodic theory. T h e study of foliation dynamics
was afterwards motivated by results and techniques of the ergodic theory for
smooth maps [103, 71] and group actions [125]. Connections to the theory
of ergodic equivalence relations [29] and cocycles [101] became fundamental.
4 Ergodic theory
key to the proof is that the group Z has subexponential growth, while if
limsup,,^^ v(n,x)/n > a > 0 on a set E C M of positive Lebesgue mea-
sure, then the volume of the iterates fn{E) grows exponentially, and there
is "no room" for all the volume in the space Z x M .
On the other hand, if F is a group with exponential word growth acting
smoothly on M, then the additive Radon-Nikodym cocycle v. T x M —> K
can have exponential growth. This is exactly what happens, for example,
with the action of a surface group on the circle at infinity in the original
examples calculated by Roussarie. This balance between the growth of the
group and of the Radon-Nikodym cocycle underlies the next advance in the
study of the Godbillon-Vey invariants.
We need a digression into the growth rates of leaves. For a finitely
generated group, the limit gr(T) = lim l o g { # r n } / n always exists, where
r „ = {7 | ||7|| < n}, as r is a homogeneous metric space for the word
metric. Given a leaf L C M of T for Riemannian manifold M, and x e L,
we say L has subexponential growth if
\imsuplog{VolL{x,R)}/R = 0,
where Voli(x, R) denotes the volume in the leaf metric of a ball centred at
x e L with leaf radius R. If
liminf \og{VolL{x,R)}/R = 0,
we say that the leaf L has non-exponential growth, while L has exponential
growth if
liminflog{Vo/ L (x,i?)}/R> 0.
R—>oo
A foliation can have leaves which have nonexponential growth but not
subexponential growth [47].
In 1984, Hurder [58] proved that for the pseudogroup of a codimension
q > 1 foliation of a compact manifold, if almost all orbits have subexponen-
tial growth, then the Radon-Nikodym cocycle has subexponential growth.
This gave the first direct relation between the growth of leaves of a foli-
ation and the asymptotic growth rate of the modular class [rj\. However,
subexponential growth of the Radon-Nikodym cocycle does not imply the
modular form has any local growth estimates. A cocycle with subexponen-
tial growth may still oscillate wildly on small scale, and only when averaged
for large "time" does it behave in a subexponential manner.
One consequence of the Heitsch-Hurder reformulation of Dummy's meth-
ods was that it is possible to renormalize the transverse volume form using
36 STEVEN HURDER
hull of the cocycle Dip: Qjr —> GL(M q ) is amenable, then many of its sec-
ondary classes of T vanish. T h e University of Chicago thesis of Stuck [104]
extended these vanishing results. Analysis of the cocycle Dip, combined
with possible additional hypotheses on the transverse geometry of the fo-
liation T, are expected to yield a better understanding of the dynamics of
foliations in higher codimensions. For example, the geometric entropy of
a foliation can be combined with information derived from Dip to produce
new results in all codimensions, as we discuss next.
5 Geometric entropy
the pseudogroup Q? with the norm on maps defined via the shortest leaf-
wise distance of a leafwise p a t h with the same holonomy. T h u s , as proved
in [37], these entropies are either b o t h zero, or non-zero.
T h e paper [59] proposed to reformulate the geometric entropy of T in
terms of t h e entropy relative to the invariant foliation T associated to the
foliation geodesic flow, and then use the restriction of the normal derivative
cocycle Dip: Qjr —> GL(R q ) to this flow to estimate the entropy. This
would allow introduction of many techniques of smooth dynamical systems
for the study of h(!F), and give a uniform approach which applied in all
codimensions along the lines used in [66].
T h e papers [58, 66] used ergodic theory methods to prove vanishing
theorems for secondary classes in terms of the range of the derivative co-
cycle Dip on t h e metric equivalence relation defined by the pseudogroup
Q?. A n a t u r a l question following these works was to find geometric con-
ditions which gave information about the Lyapunov band spectrum of the
transverse derivative cocycle Dip, and use this information to obtain fur-
ther relations between dynamics and the secondary classes. For example,
the paper [57] showed t h a t the characteristic classes must vanish for distal
group actions with some additional hypotheses. A key step in [57] was t o
introduce invariant measures, not for t h e full group action, but associated
to particular elements of the group along which there was hyperbolic ex-
pansion, and consider the Pesin stable manifold for these measures. T h e
corresponding approach for foliations is to consider transversally hyperbolic
invariant measures for the geodesic flow, and their stable manifolds. So,
the techniques of [57, 58, 66] can be applied to the study of the relation
between h{!F) and the dynamics of T.
Two difficulties in applying these ideas to the study of foliation geomet-
ric entropy are immediately encountered: First, the entropy of the geodesic
flow, relative to the invariant foliation, clearly bounds the geometric en-
tropy from below. For foliations whose leaves have subexponential growth,
the relative geodesic flow entropy and the geometric entropy are equiva-
lent. Langevin and Walczak [74] called t h e relative geodesic flow entropy
the transverse entropy, and proved t h a t in codimension one, the geometric
entropy and t h e transverse entropy are always equivalent. B u t it is not
known whether these two entropies always agree for codimension greater
t h a n one.
T h e other difficulty is the definition and applications of a measure en-
tropy for foliations, based on a relative measure entropy for t h e geodesic
flow analogous to a construction well known in the ergodic theory of maps
[78]. T h e (formidable) technical work required has never been written up,
DYNAMICS AND THE GODBILLON-VEY CLASS 41
set of ends.
One can also ask when an exceptional minimal set contains only a finite
number of semi-proper leaves. There exists C1-foliations with exceptional
minimal sets having a countably infinite number of semi-proper leaves, but
it is conjectured that for C2-foliations this is impossible.
In spite of the extensive study of exceptional minimal sets in codimen-
sion one dynamics, all of these questions show a key piece of the puzzle is
still missing. To quote from [13], "Our very incomplete understanding of
the exceptional type constitutes a major gap in the theory."
In 1988, Cantwell and Conlon [13] introduced a class of exceptional
minimal sets, those of Markov type. A Markov minimal set K admits
a finite set of expanding holonomy generators which define the foliation
dynamics on it, and thus the dynamics on K are given by a quotient of a
subshift of finite type. Cantwell and Conlon showed that for an exceptional
minimal set of Markov type, there are only a finite number of semi-proper
leaves, and K has measure zero [13]. They later showed that every leaf in
a Markov minimal set K has a Cantor set of ends [15].
Inaba and Matsumoto [69] showed for transversally projective foliations,
an exceptional minimal set is always Markov. This paper also gave a tech-
nical refinement of the definition of Markov property, which broadens the
definition. Walczak [120] showed in fact that a Markov minimal set has
Hausdorff dimension less than the dimension of M.
7 Extensions of Godbillon-Vey
8 Tricks a n d t r e a t s
While compiling this survey, and from the author's own research in the
subject, several techniques and methods frequently are seen to be b o t h
essential and in some way unique to the study of the Godbillon-Vey classes
and t h e dynamics of codimension one foliations. In this section, we compile
a short sampling and brief description of selected techniques which have
led to a deeper understanding of the themes of this survey. Of course, a
thorough reading of the introductory texts on foliations, such as Godbillon's
book [40] or the recent text by Candel and Conlon [6], reveals a far greater
variety of ideas and techniques t h a n discussed below. Still, it seems useful
(and novel) to offer a list of "Tricks and Treats" for the subject, if only as
an advertisement for the variety of methods which play a role in this field.
T e c h n i q u e 8.1 Naive distortion lemma
This is the most well-known method of 1-dimensional dynamics, except
perhaps the well-ordering of the line. T h e hypothesis "J 7 is C 2 " often
means simply t h a t the elements of the holonomy pseudogroup satisfy this
estimate, which was used in the celebrated theorems of Denjoy [24] and
Sacksteder [100]. Briefly, recall t h a t given a chain of local diffeomorphisms
g = h^ o • • • /ijj and two points UQ and VQ in the domain of g, t h e n
n-l
|iog{s'(«o)}-iog{s>o)}|<0 Y. K-<U
p=0
body, or nucleus, of U, and the At are the arms. The body N is a compact,
connected manifold with boundary and corners, and F\N foliates N. Each
arm Ai is a closed, non-compact submanifold with boundary and corners,
and J-\Ai is a foliated interval bundle. More technical conditions are re-
quired (see pages 130-131, [6]) but this suffices to give the idea. The power
of this result lies in that the structure of foliated interval bundles is well un-
derstood, so this isolates difficulties with the study of T\U to the compact
foliated body T\hf. One imagines the arms of the octopus snaking through
the various exceptional minimal sets of J7, or possibly squeezing between
the proper leaves. The conjecture about whether an exceptional minimal
set K for a C2 foliation can have infinitely many semi-proper leaves is just
asking how many octopi can share the set K\
Technique 8.3 Poincare-Bendixson theory
The theory of levels is one of the most sophisticated tools for the study
of C2-foliations. It was developed by Cantwell and Conlon [9] and Hector
[49], and defines inductively a decomposition (or hierarchy) of a foliation
according to the asymptotics of the leaves. Starting with level 0, the com-
pact minimal sets, the leaves at the next level are the local minimal sets
for the complement of the previous level. The resulting structure and com-
plications can be formidable. Fortunately, there is an introduction to the
theory [14], and Chapter 8 of [6] provides a detailed and patient discus-
sion of all aspects of the theory. One its greatest successes is the structure
theory of real analytic foliations [11], where the hierarchy is finite and the
structure of each stage is very well understood. When this theory is ap-
plied to codimension one foliations of 3-manifolds, one can ask about the
"placement" of the leaves, or local minimal sets at various levels, within
the manifold. For example, if M is Haken it is possible to formulate precise
questions about the leaf placements at increasing levels and the fundamen-
tal group of M. Unfortunately, it is not possible to answer these questions
yet - the ongoing work of Cantwell and Conlon [17, 18, 19, 20] have solved
the placement problem for depth one, while depth two awaits.
Technique 8.4 Micro-expansion, sheaves and quivers
A (^-foliation T with positive geometric entropy has micro-expansion,
a phrase coined to suggest the explosion in the orbits of exponentially close
points that has to occur when h{J-) > 0. A complete transversal T for
T has finite length, so by definition of geometric entropy, for e > 0 small
and i —> oo, there exists a sequence n* —> oo and collections of (e, rii)-
separated points {x\,... ,xlp.} C T where the sequence {p^ has exponen-
tial growth exp(ni/i(j F ))/pi —> 1. By a pigeon-hole principle, there must be
subcollections of exponentially many points exponentially close which are
DYNAMICS AND THE GODBILLON-VEY CLASS 47
If K C M is a closed saturated subset such that X(x) < a for almost all
x e K, then for gr(.F) the word growth rate of T, choose e > a + gr(r) and
define
fc(x) = ^ e x p { - e - ||7||}-<#(7,x).
9 Open questions
"Problem sessions" were held at both the 1976 and 1992 symposia on foli-
ations at Rio de Janeiro, with the discussion and proposed problems com-
piled by Paul Schweitzer [102] for the 1976 meeting, and Remi Langevin
[72] for the 1992 meeting. Some of the problems remain unchanged, while a
comparison between these two reports fourteen years apart illustrates some
of the advances in the field, and changing emphasis in research. The sur-
vey of the Godbillon-Vey invariant by Ghys [31] also includes a number of
problems with discussions about them. Here, we compile a list of questions
concerning the topics of the present survey. It is not meant to be compre-
hensive when compared to the more general problem lists above, but does
attempt to include all of the frequently mentioned problems regarding the
Godbillon-Vey classes and foliation dynamics.
Problems on Godbillon-Vey invariants
Problem 9.1 Give a geometric interpretation of the Godbillon-Vey inva-
riant
The Moussu-Pelletier and Sullivan Conjecture is a one-sided look at
GV(J-), as it only relates to dynamical properties of T which can force
the Godbillon measure to vanish. The other side is the "Vey class" which
depends upon curvature properties of the leaves and normal bundle. The
Reinhart-Wood formula [98] gave a pointwise geometric interpretation of
GV(T) for 3-manifolds. What is needed is a more global geometric property
of T which is measured by GV{T). The helical wobble description by
Thurston [106] is a first attempt at such a result, and the Reinhart-Wood
formula suitably interprets this idea locally. Langevin has suggested that
possibly the Godbillon-Vey invariant can be interpreted in the context of
integral geometry and conformal invariants [3, 73] as a measure in some
suitable sense. The goal for any such an interpretation, is that it should
provide sufficient conditions for GV(F) ^ 0.
Problem 9.2 Topological invariance of the Godbillon-Vey invariant
Given a homeomorphism h: M —> M' mapping the leaves of a C2 foli-
ation f o n M t o the leaves of a C2-foliation T' on M', show h*GV(T') =
GV{T). As discussed in section 7, if h is C 1 , then Raby [94] proved
h*GV{T') = GV{F), and when h and its inverse are absolutely contin-
uous, then Hurder and Katok [67] showed this. An intermediate test case
might be to assume h and its inverse are a Holder C a -continuous for some
a > 0, and then prove h*GV(F) = GV(T), using for example arguments
from regularity theory of hyperbolic systems and an approach similar to
50 STEVEN HURDER
Ghys and Tsuboi [39]. Alternately, a direct proof may be possible, perhaps
based on a solution to Problem 9.1.
P r o b l e m 9.3 The Godbillon-Vey invariant and harmonic measures
T h e vanishing theorems are based on relating the Godbillon measure
to the existence of "almost invariant" smooth transverse measures for T.
A foliation always admits a harmonic measure, but the structure of t h a t
measure depends upon whether T admits transverse invariant measures, or
not. Is it possible to establish relations between the values of the Godbillon-
Vey invariant and the structure of harmonic measures for T1 There are
other similarities in the properties of b o t h of these invariants of T which
suggests t h a t such a relationship is plausible.
P r o b l e m 9.4 What is meaning of thickness?
T h e concept of "thickness" introduced by Duminy [26, 27, 12] was given
in t e r m s of t h e structure theory of C 2 -foliations, yet its application is t o
show t h e foliation admits almost invariant transverse volume forms on an
open s a t u r a t e d subset, which is a purely dynamical consideration. Does the
thickness have an interpretation as a dynamical property of the foliation
geodesic flow, or some other ergodic property of JF?
P r o b l e m 9.5 Suppose that T has codimension q > 1 and there is some
non-zero secondary class (or possibly Weil measure). Does this imply
h{T) > 0?
Hurder [56] showed t h a t for a C 2 -foliation of codimension q > 1, if
there is a leaf L whose linear holonomy m a p Dip: 7i"i(L,x) —> G L ( R q )
has non-amenable image, then T has leaves of exponential growth. T h e
proof actually constructs a modified ping-pong game for J7, using the C2-
hypothesis to show t h a t the orbits of the holonomy pseudogroup shadow
t h e orbits of t h e linear holonomy group which has an actual ping-pong game
by Tits [107]. T h u s , it seems probable t h a t this proof also shows h(F) > 0
with these hypotheses. Since the Weil measures vanish for a foliation whose
transverse derivative cocycle Dip: Q? —> G L ( R q ) has amenable algebraic
hull [66], it should be possible to combine the methods of [56, 66, 63] to
solve this problem.
Acknowledgments
References
SIMILARITY A N D C O N F O R M A L G E O M E T R Y OF
FOLIATIONS
REMI LANGEVIN
Laboratoire de Topologie, Departement de Mathematiques,
Universite de Bourgogne, B.P. 47 870, 21078 Dijon, France,
e-mail: [email protected]
det[Id + t(d-y)](m) = ^ Y • af •
61
62 R E M I LANGEVIN
meS(T\H)
The sign e(m) is, when the dimension of the leaves of T is even, the sign
of the Gauss curvature of Lm at m.
SIMILARITY AND CONFORMAL GEOMETRY OF FOLIATIONS 63
We will call the integral Jw \K\ when the ambient space is M3 (or Jw \k\
when W is of dimension 2) t h e total curvature of J-.
T h e o r e m 3 (Foliated exchange theorem)
I \K\= I \n\{F,H).
IW
Jw JA{3,2)
JA(3.2)
Jw JA(3,2)
To prove this theorem, we need t o define t h e polar curves of t h e foliation
Let us recall the definition here, as we will need to make an analogous
construction comparing a foliation and a family of tangent circles later.
T(T,A) = \Jcrit(pA\L)
Proof. Any affine line intersecting the disc should have at least one
contact with the foliation. The measure of this set of lines is the length of
the boundary circle dD (see [12]). •
Using Cauchy-Crofton's formula in the same way we also get
Proposition 7 Let A = | < r < 1 be the annulus limited by the circle of
center 0 and radius 1 and the circle of center 0 and radius ^. The total
curvature of a foliation T tangent to the boundary satisfies
f \k\>n.
JA
Some results concerning the integral L,2 k2 of the square of the curvature
of the leaves of a foliation of the flat torus T 2 are given in [9], motivated
by energy formulas for liquid crystals.
Let T be a foliation of a domain M2. As the 2-form k2dv is scale invari-
ant (invariant by similarities of the euclidean plane R 2 , if the foliation is
invariant by a similarity, or in particular an homothety 7i, the integral on
a fundamental domain W: Jw k2dv is well-defined on the quotient torus:
R2/H.
Let us consider two examples on the quotient T = R 2 / 7 t i , where Hi
is the homothety of center the origin and ratio 1/2.
The first foliation T\ of T, is the quotient of the foliation of R 2 by
horizontal lines. Notice it has two Reeb components.
As the curvature is identically zero, JRk2 = 0.
The second foliation T2 of T, is the foliation quotient of the foliation
Ti of the plane by concentric circles. The integral of k2 is in that case:
rcles =
I I ~ rdOdr = 2irln(2).
Jl/2 JO T'
bound
Question.
The lower below we found has no reason to be optimal. Is Icircles the
greatest lower bound?
The same type of question can be asked about the energy of two orthog-
onal foliations T\ and JF2, as the energy fw(k2 + k%)dv, where k\ is the
curvature of the leaves of J7!, and /C2 the curvature of the leaves of T2, is
invariant by a similarity. This is the energy | V#| 2 of the section of the unit
tangent bundle (here a trivial bundle) considered by Eells and Sampson [4]
and [5]. This energy is also the energy of the section of T\W = W x S1
defined by any of the two foliation [5].
Some results for singular foliations of R2 \ {0} obtained by A.S. Fawaz
suggest questions for the corresponding foliation of the quotient T [6].
Question.
Do the images of harmonic (pairs of) foliations in R 2 \ 0 in the quotient
T minimize the energy in their isotopy classes?
Examples of such foliations are
— Foliation such that the tangent direction to the leaves makes a constant
angle a with the position z. The leaves are logarithmic spirals.
— Level foliation of TZe(z^n + l))n ^ —1 (the index is (-n)).
— Harmonic Reeb components defined by the line field associated to the
multivalued vector field X{z) = i • z^1+l'"<2>'. The choice of the imag-
inary part of the exponent garantees that the foliation is well defined
on the quotient T.
4 Codimension-one foliation of R 3 , S3 or H 3
the number of negative contacts with the foliation T, i.e. the number of
points of a saddle tangency of E and T (Figure 2). It is clear that the
number N~ (E) is conformally well-defined.
Remark. The sphere E has a saddle tangency with a leaf of the foliation
T if its curvature k is in between the principal curvatures k\ and k2 of the
leaf at the point of contact. It has a center tangency with the leaf if its
curvature is not in the closed interval [hi, k2] •
Then the following theorem holds
Theorem 8 Let J7 be a smooth foliation in a domain W c R 3 . Then
\ I \k1-k2\3dV= /*JV-(E)d/i(E).
o Jw Js
Since the right hand side is conformally well-defined, one obtains the
following
Corollary 9 Let T be a smooth foliation ofWcR3. Then the 3-form
\ki -k2\3dV,
where ki are the principal curvatures of leaves and dV is the volume ele-
ment, is a conformal invariant.
Recall first the coarea formula [7].
Theorem 10 (Coarea formula) Let Ml and Nq (I > q) be Riemannian
manifolds. Let dx and dy be the measure element of M and N associated
to the metrics,let $ : M —> N be a smooth map and let f : M —> R be a
measurable function. Then
where the inner integral in the right hand side is computed with respect to
the (I — q)-dimensional Hausdorff measure induced on $ - 1 ( y ) from M and
68 R E M I LANGEVIN
^-(E)dM(E)=/(/ | ( l - M ) d - M ) | ^ y
S JU J(l-kit)(l-k2t)<0 t
which gives the desired formula. •
5 Bilocal statements
— x a n d y,
— t h e tangents t o t h e foliation a n d t o t h e curve T^tX at y,
— t h e t a n g e n t s t o t h e foliation and t o t h e curve Tjry at x
— t h e curvatures of t h e foliation at t h e two points x and y.
curvature of CxtV.
The jacobian we are looking for is then, as the \cos(8x)\ terms cancel
out
\{kx - fx,y)cos{8y)\,
where fXtV is the curvature of the circle CXtV.
Let us check now some examples.
Let us consider first a limit Reeb component J-\ on a square flat torus
R 2 / Z 2 formed by half circles tangent to the closed leaf M. x {0} (it fails to
be a foliation along the closed leaf R x {O} ).
A circle has a non trivial contact with the foliation T of M2 if and only
if its diameter is larger than 1. The translations in Z 2 act on the set of
circles of R 2 , preserving the measure m. The measure of non trivial circles
is then, using coordinates (x, y) G [0,1] x [0,1] and radius r of a circle
f°° 1 f
TUQ = / —~dr / dx A dy = 2.
r
Ji/2 Ju2/z2
For any foliation T of the torus with a Reeb component, the circles of
radius larger than 1 are non-trivial, therefore
f°° 1 f 1
m(T) > / -5-dr
3 / dx A dy = - .
J1 r y R2/Z 2 2
Question.
Is m 0 the greatest lower bound of the measure m{F\) on foliations of
R 2 / Z 2 admitting at least one Reeb component?
Consider now two foliations of the torus R2/Tt 1 where H i is the homo-
' 2 2
with the set of non trivial circles for T is the zone contained between the
positive cone of great circles tangent to the unit circle and the great circles
tangent to the circle centered in the origin and radius 1/2. The measure
of non-trivial circles (each having exactly one pair of nontrivial tangency
points with the foliation) is
/•oo rtn/[(r-l),l]
i/[(r-l),l] //.27T
-2^ ^j
WIA = / / (1 + x) • —^dOdxdr.
'1/2 JI r
Jl/2 JO
Question.
Is the measure TTIA the minimum of m{T) for foliations of R2/Ti.i ad-
mitting a closed leaf isotopic to the quotient of the unit circle?
The author expects some better results when the conformal integral
geometry of anuli in R 2 and tori in S3 will be better understood. Some
partial results about anuli are obtained by Y. Nikolayevsky and the author
(work in progress).
References
FOLIATIONS A N D CONTACT S T R U C T U R E S ON
3-MANIFOLDS
YOSHIHIKO MITSUMATSU
Department of Mathematics, Chuo University,
1-23-27 Kasuga, Bunkyo-ku, Tokyo, 112-8551, Japan,
e-mail: yoshi@math. chuo-u. ac.jp
This article is a re-presentation of the minicourse in Warsaw which dealt with recent
interactions between the theory of foliations and that of contact structures on 3-
manifolds. In the conference, the author prepared and distributed a rather lengthy
note on 3-dimensional contact topology, which contains introductory expositions
of fundamentals in contact geometry as well as its recent progress. The present
article focuses more on the main themes such as a brief introduction to the theory
of confoliations, contact structures and foliations associated with Anosov flows, and
their generalizations, and contains less about the contact topology itself. In the
final section, some problems which were presented in the problem session during
the conference are raised.
0.1 Introduction
A maximally nonintegrable hyperplane field on an odd dimensional man-
ifold is called a contact structure. The progress of symplectic topology
in recent years, especially in dimension 4, has called attention also to 3-
dimensional contact topology. While a symplectic structure is defined as a
2-form on an even dimensional manifold, a contact structure is defined by 1-
form on odd dimensional manifolds. Therefore the method of its study can
be much more topological. Especially, in 3-dimensional contact topology,
which is now in a very rapid progress, the topological method investigat-
ing submanifolds i.e., knots and surfaces has a great importance. On the
other hand, we can also get strong results by applying global analytic big
machineries, such as Seiberg-Witten theory and J-holomorphic curves, to a
symplectic manifold which has the contact structure on its end or boundary.
75
76 YOSHIHIKO MlTSUMATSU
In this note, we begin with and basically keep ourselves within the
topological framework.
In 90's, the relation between the theory of codimension 1 foliations on
3-manifolds and 3-dimensional contact topology has come to attract atten-
tions. The one is an integrable plane field and the other is even infinites-
imally non integrable. As plane fields they differ by much, like water and
oil. However, since long it has been recognized by several people at least
vaguely that they have some similarities between their methods of study
(e.g., embedding a surface and tracing the vector field defined by their
intersection), as well as their dominant philosophies (e.g., /i-principle). Es-
pecially, the works of Eliashberg, Gromov, and Thurston on both subjects
have been suggesting that there must be something more. Now we know
that it showed at least one of its tail as the theory of Confoliations due to
Eliashberg and Thurston (Section 3).
This exposition aims at reporting the recent development of the inter-
actions between the studies of foliations and contact structures. Especially,
the generations of contact structures and even symplectic structures from
foliations is one of the main topics. A general theory is given as a part of
the theory of confoliations and some important examples are given starting
from Anosov foliations.
However, as contact structures are not yet very familiar to people in the
foliation theory, we begin with a review of the fundamentals of the contact
geometry and topology.
1 n—1 n—1
ai - dz + - ^ (Sid-Vi - Vidxi) or a2 = dz + ^ Xidyi
t=l i=l
which are equivalent to "a(Xa) = 1 and Cxaa = 0". Xa is called the Reeb
vector field associated with the contact 1-form a, and the flow generated
by Xa is called the Reeb flow Sometimes it is also called the contact flow.
78 YOSHIHIKO MlTSUMATSU
ker[a;= dz + rVldQ]
&
Legendrian Curves
on Tori { r = const.}
Figure 2.
s\i5v)
the Liouville
contact structure J;0
of a surface V
Figure 3.
Though the Liouville 1-form and the geodesic flow strongly depend on
the Riemannian metric on V, the Liouville contact structure £o is indepen-
dent of it. Identifying the unit cotangent bundle M = Sn~1(T*V) with
the projectification (T*V \ {0})/]R+ of the cotangent bundle, on each point
p e M on the fibre of q € V we have £ 0p = d7r-x(ker[p : T*V -> R] ),
where IT denotes the projection of the projectified cotangent bundle to V
and dn : r p 5 n _ 1 ( T * y ) -> TqV denotes its differential. This construction
shows that the Liouville contact structure £o is defined independently of
the choice of Riemannian metric.
Each fibre of 7r is a Legendrian submanifold of £o, i.e., the fibres are
tangent to £o- In the case dimV = 2, £o is negative with respect to the
natural orientation of M as an 5'1-bundle. This fact will have an importance
in Section 4. Also in the succeeding examples the readers should be careful
about the positivity and the negativity.
Example 0.3.3 (Quantum mechanical example) Let (N,cJ) be a (2n—
2)-dimensional symplectic manifold whose symplectic form represents an
integral cohomology class [w]. Then N admits a complex line bundle C
with a [/(l)-connection V whose curvature form is 2ityJ— \w. Such (£, V) is
unique up to the action of the Gauge group. C is called the pre-quantization
or pre-quantum bundle of (N,w). The connection 1-form is restricted to
the unit circle bundle M to be a connection 1-form a and defines a contact
manifold (M, a). Each fibre is a closed orbit of the Reeb flow. In the case
where (N,u>) = (CP n-1 ,u>o), the above construction gives us Example 0.3.1.
FOLIATIONS AND CONTACT STRUCTURES ON 3-MANIFOLDS 81
- ( t : > - a - -G:"o)
of psl(2;R), and let h*, £*, k* be its dual basis of psZ(2;R)*. Prom the
bracket relation on the Lie algebra [k, h] = £, {(., k) = h, and [£, h] = k we
have dh* = -I* A k*, dt = -k* A h*, and dk* = h* A I*, which imply
h* fc*
"(•-•)
h* -1
r0 0
0 -l 0
r
k* 0 0 1
FOLIATIONS AND CONTACT STRUCTURES ON 3-MANIPOLDS 83
/w/(2;R)* solv*
Figure 4.
The proof is done in the following way: We first apply the theorem
of Darboux coordinate to the symplectic structure which is locally defined
by da on the quotient space w.r.t. the Reeb flow </>t. Next, we regard a
neighbourhood U of p in M as an open set of the total space of principal It-
bundles that admit a connection form a with the curvature form da. In the
3-dimensional case, as the Darboux theorem for 2-dimensional symplectic
structure is almost trivial, the readers can complete the proof by themselves.
We can also prove this theorem by applying the symplectic Darboux
theorem to the symplectization, which is higher in the dimension by 1.
Theorem 0.4.2 (Gray, [27]) The 1-parameter family t;t of contact struc-
tures on a (2n — 1)-dimensional closed manifold M is chased by the isotopy
$t defined by
These results imply that contact forms do not have any local invariant.
Each contact form induces the Reeb flow and its dynamical properties are
important invariants. Particularly, neighbourhoods of closed orbits have
various invariants. However, contact structures (contact plane fields) do
not have even this kind of invariants. Thus, the study of contact structure
is really a global problem. However, it is again important to study the
topology of contact structure by means of fixing a contact form, like in
studying topology of smooth manifolds by means of fixing a Riemannian
metric.
The following lemma explains how a plane field on a 3-manifold deforms
by a flow generated by a vector field which is tangent to the plane field. This
argument has already appeared in the proof of Gray's theorem. This lemma
plays an important role with relation to foliations later (Section 3, 4).
Lemma 0.4.3 Let £ be a plane field of class C1 on a 3-dimensional mani-
fold and Y be a nonsingular vector field that is tangent to the plane filed £.
1) The plane field £ is invariant under the action of the flow generated
by Y if and only if £ is completely integrable. In this case, the plane field £
defines a codimension-one foliation. If the plane field £ is of class C°, it is
integrable, i.e., for each point there exits an integral surface passing through
it. However, generally speaking, the integral surface is not unique!
2) Let us look at the flow from behind in such a way that each flow
line reduces to a point. (We obtain a 2-dimensional view.) The plane
field £ (which is observed to be a line element on the plane) is a positive
contact structure if and only if the plane field £ rotates with a positive
(anti-clockwise) angular velocity. It is negative if it rotates with a negative
(clockwise) angular velocity.
Proof. Take a local coordinate system {x, y,z),0 < x,y, z < 1 satisfying
the following two conditions.
(1) Every line which is parallel to the x-axis is tangent to £.
(2) On the plane x = 0, £ is tangent to (x, y)-plane.
Under these conditions, we may assume that the plane field £ is defined by
the 1-form a = dz + f(x, y, z)dy (where /(0, y, z) = 0) and Y = ^ . Then
a Ada = ^dxAdyAdz. Thus the plane field £ is a positive [resp. negative]
contact plane field if | £ > 0 [resp. | £ < 0] . •
REPLACE
Proposition 1.1.7 Full Lutz twists do not change the homotopy class of
plane field.
Does full Lutz twist change the global topology of the contact structure?
Especially the following problem is very natural to ask.
Problem 1.1.8 A contact structure (S3,£oFL), which is obtained by oper-
ating a full Lutz twist on a standard contact structure (5 3 ,^o) along some
transverse knot, is diffeomorphic to (S3,t;o) or not?
Bennequin's answer in his famous thesis [6] to this problem is "No!".
Figure 7.
Figure 8.
Figure 9.
his argument. For details, the readers should refer to his original paper [6].
T h e proof of Bennequin's inequality for a transverse knot consists of three
steps.
tion with only introducing the following important theorem without proof.
T h e o r e m 2 . 2 . 7 ( G r o m o v - E l i a s h b e r g , [28],[11]) A fillahle contact
structure is tight.
3 C o n t a c t s t r u c t u r e s a n d foliations: f o c u s e d o n t h e t h e o r y o f
confoliations
People have been aware on some similar features between the theory of
foliations and t h a t of contact structures. In 90's, we have come t o pay
more attentions t o such relationes. In this section, we first review some of
these features which are common to b o t h and next give a brief survey of
the theory of confoliations due to Eliashberg-Thurston [15], t h r o u g h which
we can see t h a t there abundantly exist tillable contact structures. See [63],
[26], and [8] for the basics of the foliation theory.
CONTACT STRUCTURES
FOLIATIONS
Figure 10.
Dictionary 3.1.1
|(e(rn[S9])|<|X(S9)l=2ff-2
Here e("7\F) denotes the euler class of the tangent bundle of T and x(E s )
the euler characteristic of E 9 . This means that compact leaves measure
e{r!F) most effectively in the sense of the genus among embedded closed
surfaces representing the same homology class. We may express this as
\\e{rF)\\Th < 1 by using Thurston's norm \\ • \\Th ([69]) on H2(M;Z).
Theorem 3.1.3 (Bennequin's inequality, [6],[13]) Lett; be a tight con-
tact structure on a closed oriented 3-manifold M For any embedded closed
oriented surface E 9 of genus g > 0 in M,
|(c(rO,[S9]>|<|x(S9)|=25-2
WP)I<IX(S9)|=2<7-2 .
The same result is obtained for general Seifert fibrations. It applies also
to the following G-G-S-T's inequality.
Theorem 3.1.5 (Ghys-Giroux-Sato-Tsuboi's inequality, [61], [25])
The same p : M —» E g as above admits a positive contact structure which
is transverse to each fibre if and only if the following inequality holds.
especially -gL > 0 on U). Then we have da — df Adx. Take a bump function
g(y, z) such that
(so called Tischler fibration). Therefore this case reduces to the case where
infinitely many compact leaves pile on.
Since the genus of leaves are positive now, it is exactly easy to pick up
some sheets of leaves discretely in the part of piling compact leaves and to
perturb the foliation so that there are only finitely many compact leaves
and they have linear holonomies or at least such holonomies as in 2) of
Proposition 3.2.2.
In the case where T has infinitely many EMS's, Sacksteder's theorem
prohibits them to accumulate to another EMS, therefore all but finite of
them are trapped by compact leaves.
By these operations, any foliation except for ( is perturbed so as to
satisfy the condition (F).
Theorem 3.4.3 (Finiteness for homotopy classes, [38]) For any ori-
ented closed 3-manifold M, there exist only finitely many homotopy classes
of plane fields which contain a fillable contact structure.
So far, mainly the foliation theory served for the study of contact struc-
tures. Now a converse is established. Combining this result with the theory
of confoliations, we get the following theorem as a direct corollary.
Theorem 3.4.4 For any oriented closed 3-manifold M, there exist only
finitely many homotopy classes of plane fields which contain the tangent
bundle of a taut foliation.
This is a really new result even in the foliation theory. We do not know
whether the homotopy finiteness is true or not for tight contact structures
nor for foliations without Reeb components.
We set Es=T(f>® Ess {Eu =T4>@ Euu) and call TM = T(j> ® Eu @ Es the
weak Anosov splitting. T h e C r -section theorem ([31]) guarantees t h a t Eu
and Es are plane fields of class C 1 . Therefore Lemma 0.4.3 implies t h a t
they define two foliations Tu and Ts which are called unstable and stable
Anosov foliations respectively. See Figure 11.
T h e o r e m 4 . 1 . 4 ([49]) Let <j>t be an Anosov flow on a closed oriented 3-
manifold M. Then, the 4-manifold W = [—1,1] x M admits a convex
FOLIATIONS AND CONTACT STRUCTURES ON 3-MANIFOLDS 109
symplectic structure, i.e., is a strong filling. On the other hand, W has the
disconnected boundary so that it is not a Grauert domain.
Remark 4-1-5 Stein manifold of dime = n (i.e., dimjj = 2n ) carries a
strictly pluri-subharmonic function whose Morse theory shows that the
manifold has the homotopy type of at most n-dimensional CW complex.
In particular, in the case where dime > 2 the boundary (end) is connected.
This holds even for Grauert domains. See [58].
In order to visualize this theorem, let us introduce the notions of bi-
contact structures and of linear perturbations.
Definition 4.1.6 (Linear perturbation) A 1-parameter family of plane
fields {£t} is called a linear perturbation of the foliation £o if it is defined
by a 1-parameter family of 1-forms {at}-e<t<e which satisfies
ft|W * > 1
TP * )
1 Ess
As indicated in Figure 11, for an Anosov flow 4>t we define plane fields £
and r\ to be those who contain the flow direction T<f> and take the positions
110 YOSHIHIKO MlTSUMATSU
of ±45° against Eu and Es. Then neither £ nor 77 are preserved by the flow
4>t- Actually they look twisted along the flow in the opposite directions.
Therefore we obtain the following by Lemma 0.4.3.
Theorem 4.1.8 ([49]) The pair of plane fields (£,77) thus associated with
an Anosov flow is a bi-contact structure.
Remark 4-1-9 We have a problem of the differentiability of the weak split-
ting, which has already caused a trouble in Theorem 4.1.8. Even in the case
where Euu or Ess are not smooth, in this dimension the CR section theo-
rem [31] guarantees that Eu and Es are of class C 1 . The definition for a
plane field to be a contact structure has still its meaning even for C 1 -plane
fields and the condition is open. For Theorem 4.1.8, it suffices to look at
the projectified normal bundle to the flow and to take a ^-approximations
of £ and 77 by C°°-plane fields as sections of that bundle.
Proof of Theorem 4-1-4 is outlined in the following.
The linear perturbation of the unstable foliation Tu by the stable foli-
ation Ts
t w\ \
Mx{0) ,
(Afx{-I},Ct-i}
1-1),a*l)
[-1.1]
n
A series of works initiated by Handel-Thurston [29] allows us to ob-
tain new Anosov flows by performing Dehn surgeries along closed orbits of
Anosov flows. Therefore, there are so many Anosov flows other than alge-
braic ones. In Particular, most of graph manifolds admits Anosov flows.
However, a theorem of Plante-Thurston [59] (see below) puts a constraint
on the class of manifolds which admit Anosov flows.
Conversely, the class of foliations whose linear perturbation gives the
primitive of a convex symplectic structure looks also quite restrictive and
limited to Anosov foliations. A partial result is given by using a theorem
FOLIATIONS AND CONTACT STRUCTURES ON 3-MANIFOLDS 111
SKTM/-& )
= cos z dx
- sin z dy
Perturb into BC
BC = PA
Weak (Un)Stable ^u
Foliations
caszdx
+ dz/2
ws= cou =
cosz dz + sinz dy sinz dz - cosz dx
coincide with the set of points on which before the perturbation £' and 77
are tangent to each other. Of course weak (un)stable foliation of an Anosov
flow never admit a compact leaf.
To arrange £ and r\ transverse to each other by perturbing £', it is enough
to do it only on the neighbourhood of the points of tangency of £' and r\
(in the case of the above figure, four horizontal T 2 's) by adding certain dz-
component. Especially, we can choose different signs of the coefficients of dz
on each connected component. What thus we get looks like in Figure 14. It
is observed that both foliations Tu and J-s have two compact leaves which
bound so called dead end components. That is to say, we are not allowed to
expect to get taut foliations even assuming the differentiability of the weak
114 YOSHIHIKO MlTSUMATSU
splitting of a PA flow.
Remark 4-2-4 1) The propeller construction is also applicable to produce
bi-contact structures on any T 2 -bundles over S 1 , if we respect the eigen
directions or the twisting angles of the monodromy and adjust the rotation
angle of propeller.
2) Even on S3 an explicit construction of a PA flow (and at the same
time a bi-contact structure (£,77)) is known, which is due to H. Minakawa.
In this example, the weak unstable and stable foliations are isomorphic to
the standard Reeb foliation, however, so is the stable one only topologically.
To arrange two Reeb foliations in a transverse position is not at all difficult,
however, to get PA flow we have to destroy the transverse differentiable
structure of at least one of two. Soon we will see the reason (Theorem 4.3.1).
As an existence result, we get the following Theorem 4.2.6 as a direct
corollary to Hardorp's thesis and the main theorem of confoliations.
Theorem 4.2.5 (Hardorp, [30]) Any closed oriented 3-manifold admits
a total foliation, i.e., a triad of foliations (J-,Q,Tt) whose tangent planes
TT, TQ, and TTL are linearly independent at each point of the manifold.
Theorem 4.2.6 Any closed oriented 3-manifold admits a bi-contact struc-
ture.
Remark 4-2.7 On S 3 , the situation seems quite confusing.
1) (Foliations) Novikov's theorem says that any foliation on S3 admits
a Reeb component. Therefore even if we get foliations from a PA flow, we
can not expect their convexity.
2) (Contact structures) According to the uniqueness theorem (see [12])
of Eliashberg, positive and negative tight contact structures on S 3 are both
unique up to isotopy. Actually, they are given as the left and right invariant
plane fields of the Lie group 5 3 and they differ by 1 as homotopy class of
plane fields, measured by the Hopf invariant. Therefore they can not pair
into a single bi-contact structure because two contact structures of which
a bi-contact structure consists belong to the same homotopy class of plane
fields. Thus a bi-contact structure (£, rj) on 5 3 consists of at least one OT
structure.
3) (Weak Anosov splitting) In general, we can not assume the differen-
tiability on the weak Anosov splitting Eu + Es of PA flows. Even though
they are 'integrable' {i.e., at any point there exists an integral submani-
fold) as Lemma 0.4.3 explains, the integral submanifolds can be branched.
There exist many such examples. There also exist PA flows whose weak
stable and unstable foliations are without branching and still can not have
differentiability. These are related to the above remarks 1) and 2).
FOLIATIONS AND CONTACT STRUCTURES ON 3-MANIFOLDS 115
5 Problems
To close this article, let us raise some open problems which are related to
the interaction of the theory of foliations and that of contact structures.
Some might be nice to attack right now and some others are still in a vague
form.
Acknowledgments
Every figure in this article is taken from the booklet entitled "3-dimen-
sional contact topology" by the same author which is mentioned above and
is written in Japanese, and was published from the Mathematical Society
of Japan.
References
spaces, solid tori and T2 x I, II, Torus bundles which fiber over the
circle, preprints, (1999).
34. T. Inaba and N. Tsuchiya, Expansive foliations, Hokkaido Math. J.,
21 (1992), 39-49.
35. Y. Kanda, On 3-dimensional contact topology, in Japanese, 43rd Topol-
ogy Symposium, (1996), 88-102.
36. Y. Kanda, The classification of tight contact structures on the 3-torus,
Comm. Anal. Geom., 5-3 (1997), 413-438.
37. A. Katok and B. Hasselblatt, Introduction to the modern theory of
dynamical systems, Cambridge University Press, 1995.
38. P.B. Kronheimer and T.S. Mrowka, Monopoles and contact structures,
Invent. Math., 130 (1997), 209-255.
39. F. Laudenbach, Orbites periodiques et courbes pseudo-holomorphes,
application a la conjecture de Weinstein en dimension 3, d'apres
H.Hofer, et al, Seminaire BOURBAKI, n° 786 (1993-94).
40. G. Levitt, Feuilletages des varietes de dimension 3 qui sont des fibres
en cercles, Comment. Math. Helvetici, 53 (1978), 572-594.
41. R. Lutz, Sur quelques proprietes des formes differentielles en dimen-
sion 3, These, Strasbourg, 1971.
42. R. Lutz, Structures de contact sur les fibres principaux en cercle de
dimension 3, Ann. l'lnst. Fourier, 27-3 (1977), 1-15.
43. L.A. Lyusternik and A.I. Fet, Variational problems on closed mani-
folds, Dokl. Akad. Nauk SSSR (NS), 81 (1951), 17-18, (in Russian).
See also W. Klingenberg, Lectures on closed geodesies, Grundlehren
der mathematischen Wissenschaften, 230, Springer Verlag, 1978.
44. J. Martinet, Formes de contact sur les varietes de dimension 3, in
Lecture Notes in Mathematics 209, Springer Verlag, 1971, 142-163.
45. S. Matsumoto and T. Tsuboi, Transverse intersections of foliations in
three-manifolds, preprint, (1999).
46. D. McDuff, Symplectic manifolds with contact type boundaries, Invent.
Math., 103 (1991), 651-671.
47. D. McDuff and D. Salamon, Introduction to symplectic topology,
Oxford Math. Monographs, Oxford U. P., 1995.
48. J. Milnor, On the existence of a connection with curvature zero, Com-
ment. Math. Helvetici, 32 (1958), 215-223.
49. Y. Mitsumatsu, Anosov flows and non-Stein symplectic manifolds,
Ann. Inst. Fourier, 45-5 (1995), 1407-1421.
50. Y. Mitsumatsu, Survey of recent 20 years of contact 3-manifolds, Part
1, in Japanese, Proceedings of the symposium "Links of knot theory
and various mathematics", Osaka City Univ., 1996, ed. by M. Sakuma,
124 YOSHIHIKO MITSUMATSU
(1997), 466-478.
51. Y. Mitsumatsu, Lutz twist and homotopy class of plane field on 3-
manifolds, preprint in preparation.
52. Y. Mitsumatsu, Projectively Anosov flows and bi-contact structures on
3-manifolds, preprint in preparation.
53. T. Noda, Projectively Anosov flows on T3 whose stable and unstable
foliations are differentiable, preprint, (1998).
54. T. Noda and T. Tsuboi, Regular projectively Anosov flows on solv-
manifolds, preprint, (1999).
55. K. Ono, Existence problem of periodic solutions of Hamiltonian systems
and J-holomorphic curves, in Japanese, Abstracts of the symposium
"Contact geometry and related topics", Hokkaido Univ., 1996, (1996),
1-22.
56. K. Ono, Symplectic topology and J-holomorphic curves, in Japanese,
Suugaku, 51-4, 1999.
57. P. Ozsvath and Z. Szabo, The symplectic Thorn conjecture, Ann.
Math., 151-1 (2000), 93-124.
58. Th. Paternell, Pseudoconvexity, the Levi problem and vanishing the-
orems, Encyclopaedia of Mathematical Sciences, 74, Several complex
Variables VII, Chapter VIII, Springer-Verlag, Berlin, 1994.
59. J. Plante and W. Thurston, Anosov flows and the fundamental group,
Topology, 11 (1972), 147-150.
60. R. Sacksteder, Foliations and pseudogroups, Amer. J. Math., 87
(1965), 79-102.
61. A. Sato and T. Tsuboi, Contact structures of closed 3-manifolds fibred
by the circle, Mem. Inst. Sci. Tech. Meiji Univ., 33 (1994), 41-46.
62. D. Sullivan, A homological characterization of foliations consisting of
minimal surfaces, Comment. Math. Helvetici, 54 (1979), 218-223.
63. I. Tamura, Topology of Foliations; an Introduction, Transl. by Kiki
Hudson, Transl. Math. Monographs, 97, Amer. Math. Soc, 1992.
64. I. Tamura and A. Sato, On transverse foliations, Publ. Math. I.H.E.S.,
54 (1981), 205-235.
65. C.H. Taubes, The Seiberg-Witten invariants and symplectic forms,
Math. Res. Lett., 1-6 (1994), 809-822.
66. C.H. Taubes, The Seiberg-Witten and Gromov invariants, Math. Res.
Lett., 2-2 (1995), 221-238.
67. C.H. Taubes SW => Gv.from the Seiberg-Witten equations to pseudo-
holomorphic curves, J. Amer. Math. Soc, 9-3 (1996), 845-918.
68. W.P. Thurston, Foliations of manifolds which are circle bundles, The-
sis, University of California, Berkeley, 1972.
FOLIATIONS AND CONTACT STRUCTURES ON 3-MANIFOLDS 125
HITOSHI MORIYOSHI
Department of Mathematics, Keio University,
Yokohama, 223-8522, Japan,
e-mail: [email protected]
Introduction
127
128 HlTOSHI MORIYOSHI
<P*(7) = ^ ( 7 - 1 ) -
Let Hx denote the Hilbert space of L2-functions on Lx. Now we define a
•-representation 7rx on 7ix such that:
IMI = SUp||7Tx(^)||,
s(x,g)=xg, r(x,g)=x.
{x,g)~l = {xg,g~x).
a + b = J2(ag + bg)Ug,
9
ab = ^2a99(h)Ugh.
g,h
V 9 1 9
P u t Gx = {{y,g) £ X x G | yg — x} for x G X, and denote by Hx t h e
Hilbert space of £ 2 -sequences in Gx. Now we define a *-representation irx
on Hx such t h a t :
GNN = {7 I *(7), r ( 7 ) G TV }.
Then Gj^ is also a topological groupoid with the same source and target
maps. It then turns out that the foliation C*-algebra C*(M,T) is Morita
equivalent to the groupoid C*-algebra C*(Gjy). The equivalence is realized
quite geometrically by using free groupoid actions of G and G $ on GN —
{7 I s( 7 ) 6 TV }.
Here we sketch the idea by exploiting the following simple example.
Let G be a Lie group, and take closed subgroups H and K of G. Let
H and K act on G from the left and right respectively. We then obtain
topological groupoids H tx G/K and H\G xi K. Exploiting the free action
of H and K on G, we can construct the Morita equivalence bimodule over
C0(G/K) » H and C0(H\G) xi K. The bimodule is basically constructed
from CC(G) with the action of H and K. It then follows that C0(G/K) x H
is the to C0(H\G) x K.
Here we observe that the classifying space B{H K G/K) is the universal
space for a i^-bundle whose G-extension admits an if-reduction. That is
nothing but a G-bundle with both of H and A'-reductions. In the same way
B(H\G xi K) also classifies a G-bundle with both of H and K-reductions.
Therefore the spaces B(H K G/K) and B{H\G x K) are homotopy equiv-
alent to each other. That explains a geometrical significance of the Morita
equivalence for topological groupoids.
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 133
We then denote by M^A) the direct limit of Mk{A) with the above in-
clusions. Let P(A) denote the set of idempotents e G M00(A), i.e., e2 = e.
Then P(A) admits the direct-sum operation given by
eo
®ei =
(o0e°1)-
We then introduce an equivalence relation on P(A). Given eo, e\ G P(A),
they are equivalent to each other if eo is connected with e\ by a continuous
path in P(A). Note that direct sum is well defined on the quotient space
P{A)/ ~ .
Let GLk{A) denote the group of all invertible elements in Mk(A). here
exists a natural inclusion into GLk+n(A) such that:
•~(s9-
Here we denote the identity matrix by 1.
Let GL00(A) be the direct limit of GLk(A) with the above inclusions.
We then introduce the direct-sum operation for GL00(A) by
»««-(?«)•
Given go, gi € GLoo(A), they are equivalent to each other if go is connected
with gi by a continuous path in GLoo(A). Note also that direct sum is well
defined on the quotient space GLoo(A)/ ~.
Definition 1.6 Let A be a C*-algebra with unit.
1) The group K<${A) is the Grothendieck group of the semigroup P(A)/ ~.
The addition is given by the direct-sum operation defined above.
2) The group Ki(A) is the quotient space GL^A)/ ~. The addition
is also given by the direct-sum operation defined above.
134 HlTOSHI MORIYOSHI
for sufficiently large n. Chosen a metric on the trivial bundle, we can asso-
ciate an idempotent e € Mn(C(X)) to E taking the orthogonal projection
onto E. Here we identify an element in Mn(C(X)) with a function on X
with values in M n (C). Thus e is a family of the orthogonal projections
onto the fibre Ex at each x E X. We observe that the construction de-
pends on the choice of the embedding into the trivial bundle. However, the
corresponding class is independent of the choice when we pass over to the
if-group. It is further known that the corresponding is an isomorphism
between the .RT-group for C(X) and the topological if-group.
Theorem 1.7 (Swan) Let X be a compact Hausdorff space and C(X)
denote the algebra of continuous functions on X. There is a natural iso-
morphism between K*(C(X)) and K*(X).
The above theorem claims that K*(C(X)) is identified with K*(M)
and that the K-theory for C*-algebras contains the theory of topological
AT-group. For foliated manifolds (M,!F), the topological K-group of the
leaf space MjT is not defined directly. Instead we can exploit the X-group
K*(C*(M, T)) of C*-algebra as the K-group for MjT.
Let X be a locally compact Hausdorff space and G a compact Lie group
that acts on X. Also in this case we can construct the crossed product
C0(X) x G and consider the K-group of C0(X) x G. On the other hand
there exists a equivariant K-theory for the space with G-action. Due to P.
Green [25], it is known that these theories are equivalent to each other:
Theorem 1.8 (P. Green) Let X be a locally compact Hausdorff space
and G a compact Lie group that acts on X. There exists a natural iso-
morphisms between K*(C0(X) x G) and the equivariant K-group KQ{X).
Therefore the K-theory for C*-algebras contains also the equivariant
-ftT-theory.
||A||=ess.sup||ALJ,
x€M
where ||-Az,.J| is the operator norm. The foliation von Neumann algebra
W* (M, T) is then defined to be the weak completion of bounded random
operators with respect to the above norm.
It is well known the von Neumann algebras are classified into three
classes: type I, II and III. A von Neumann algebra M is called a factor if
the center Z(M) consists of the scalar multiplies of the identity operator.
A factor plays an important role in the theory of von Neumann algebras.
For instance it is known that von Neumann algebras on separable Hilbert
spaces are decomposable into direct integrals of factors. With foliation von
Neumann algebras W* (M, T) factors are characterized by quite geometrical
properties.
Proposition 1.9 Let (M,ZF) be a foliated manifold. The foliation von
Neumann algebra W*(M, T) is a factor if and only if all bounded measur-
able functions on the leaf space MjJ- are constant functions, that is, the
foliation is ergodic.
Any von Neumann algebra M is canonically decomposed to the direct
sum Mi ®MH®MIH of von Neumann algebras, where Mi, Mu, Mm
are of type I, II, III, respectively. The type classification is also translated
into geometrical properties.
Theorem 1.10 Let (M,!F) be a foliated manifold. The foliation von Neu-
mann algebra W*{M,J-) is of:
1) Type I if and only if the leaf space M/F is isomorphic to the standard
Borel measure space;
2) Type II if and only if there exists an invariant transverse measure and
it is not of type I;
3) Type III if there exists no invariant transverse measure.
Example 1.11 The foliation von Neumann algebra of fibre foliation is of
type I. Also with the Reeb foliation on T2, it is of type I.
For the Kronecker foliation To (0 € K \ Q) on T2 the foliation von
Neumann algebra W*{T2,J:e) is of type II, and it is isomorphic to the
unique hyperfinite factor of type HOQ.
Let X be a closed Riemann surface of genus > 2 with hyperbolic met-
ric. Let M denote the unit sphere bundle of TX. Then M admits a weakly
stable foliation T of codimension 1 from the geodesic flow. Then the folia-
tion von Neumann algebra W* (M, J7) is of type III. In fact it is the unique
hyperfinite factor of type IIIi.
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 137
T(U*XU) — T(X), x £ M+
r{tp) = I (p\Mdndv.
JM
G=(IxIxJV)/ %
for <p € CC(G). Although ip is not an element of W*(M, J7), the element
iplt(p%l)~lt belongs to W*(M, T), and we can verify that the above formula
defines the modular automorphisms on W*(M, T). In §3 we shall dis-
cuss the close relationship between the modular automorphisms and the
Godbillon-Vey class.
Then we can consider the crossed product W*(M, T) xCTR. The Tomita-
Takesaki theory tells us the property of the crossed product. It follows that
W* (M, J") x a R is a type II von Neumann algebra and hence there exist
a trace r on it. On the other hand it is easy to verify that there is the
dual action a of M on W*(M, J-) xCT R. The trace T is not invariant with
<T, however, it satisfies the relative invariance under a:
We further construct the crossed product W*(M, J7) xCT R x^ R. Due to the
Takesaki duality theorem it follows that W* (M, T) x a R x ^ R is isomorphic
to W*(M,J-) ® C, where C denotes the algebra of all bounded operators
on the Hilbert space. Therefore, we can reduce the investigation of type
III von Neumann algebras to that of type II von Neumann algebras, which
are easier to handle due to the existence of trace.
Thus the crossed product W* (M, T) x a M is the first clue to study
type III von Neumann algebras. We claim here that it is still realized as
a foliation von Neumann algebra. Let TMjT be the normal bundle of the
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 139
f(D) = [ f(t)eitDdt
JR
is a smoothing operator and admits a C°°-kernel function k : M x M —> C;
2) The above construction extends to a homomorphism
p : C 0 (R) -» /C
so that p(f) = f(D). Here K. is the C*-algebra of compact operators on H.
Proposition 2.1 holds also for complete manifolds with bounded geom-
etry. We refer the reader to [40, p. 63], [45] with the details.
Given an elliptic differential operator D and an involution e such that
eD + De = 0. The Dirac operators on even-dimensional manifolds satisfies
the condition. Let Z2 be the cyclic group of order 2 and Z2 act on R by
the reflection e{x) = — x (x e R). Let a = foUe + f\U€ be an element of
the crossed product C 0 (R) xi Z2. Here Ue and Ut are the formal unitary
elements corresponding to the identity e and the generator e G Z2. We
often suppress the formal unitaries and denote them by 1 and e. We then
obtain a homomorphism:
p : C 0 (R) x Z 2 ^ K
such that
p(foUe + hUe) = f0(D) + f1(D)e.
Definition 2.2 We call the homomorphisms
p : C 0 (R) -» K
and
p : C 0 (R) xi Z 2 -»/C
the index homomorphism determined by the elliptic differential operator D.
Exploiting the index homomorphism p, we can generalize the index for
longitudinal elliptic operator on foliated manifolds. But before proceed-
ing further we explain the relation between the Fredholm index and the
homomorphism p.
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 141
(1+x)2 1-x2 _ _ 1
eI-e1eif0(Co(K)xZ2)=Z, e x = ^ , ; 22 . ++ - n , 22>e, ei =
2(l+z ) 2(l+2 )f
Also recall that the generator of Ki(C0(R)) = Z is given by :
x—i
u-l€#i(C 0 v „,
x +1
Definition 2.3 1) For an elliptic differential operator D with an involution
epsilon such that eD + De = 0, the (even) index of D is:
Ind D = p(ex) - p(ei) € KQ(K) = Z. (1)
m
A = < I , e C „ ( R ) ® M 2 ( C ) : a, d-even, c, d-odd functions
CT CT £
(/) = [fodd fev J . () = (0 _1
ii) 0 < <f(x) < l ( i e R), ip(0) = 0, <p(±oo) = 1, ip2 = tp(l - if) .
= =
p(po) (o l) P(P^
Therefore the Fredholm index is recaptured from our definition of the index.
Next we shall explain the cyclic cohomology theory, which plays the role
of the de R h a m theory to the ordinary manifolds. We t h e n introduce t h e
pairing between the if-group and the cyclic cohomology group. T h e pairing
t u r n s out to be a quite strong method to detect the index of operators in
the i<T-group.
Let A be an algebra over C with unit. Define C™(A) to be the space
of (n + l)-multilinear maps r on A into C satisfying the following cyclic
condition:
r ( a 0 , a i , • • • , a„) = ( - l ) n r ( a n , a 0 , • • • , a n _ i ) (a t e A).
-1
We have t h e coboundary m a p b : C™ („4) —> C*(A) such t h a t
n-l
br(a0,ai,--- ,an) = ^ ( - l ) / c T ( a 0 , • • • ,akak+i,--- ,an)
+ (-l)™r(ana0,ai,-• • ,a„_i).
It is easy to see t h a t b2 = 0.
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 143
r ( a 0 , a i , a 2 ) = / 2 a0daida2
JT
dxdy[ao(dxai)(dYa2) - ao(dYai)(dxa2)}
JTr2<
JT
on C ° ° ( T 2 ) .
E x a m p l e 2.7 Put A = CC°°(E x R). Let fc G .A act on L2(1R) with k a
kernel function. Let x and — act on L 2 (K) such that a; is the multiplication
dx
by x and that — is the differentiation in x. We then define derivations d\
dx
and 02 on .4 such that
(<9ifc)£=[x,/c]£ = (zfc-fcx^
i dx i dx i dx
2
where k e A and £ e L (R). Note that di and 9 2 commute with each
other. We then have a cyclic 2-cocycle
r ( a 0 , a i , a 2 ) = Tr (a0(diai)(d2a2) - a0{d2a1)(dia2)) •
Here Tr is given by
Tr(fc) = / k(x,x)dx.
144 HlTOSHI MORIYOSHI
= [ dxdyTx(e(Xe-eX)(Ye-eY)-e(Ye-eY)(Xe-eX))
JT2
= dxdyTr([eXe,eYe] -e[X,Y}e).
JT2
= f2 dxdyTi(RXtY),
JT
where R denotes the curvature tensor with respect to the covariant differen-
tiation V = ede on the vector bundle E on T2 which is given by the image
of e. Recall that the first Chern class c\(E) is represented by Tr (^-R).
Thus, the above equality amounts to
E x a m p l e 2.10 Let A and r be the algebra and the cyclic cocycle in Ex-
ample 2.7. Let e be a projection in A of finite rank. Recall that T is given
by
/ , _ /. Id . I d .
r(e, e, e) = Tr \exe, e-—e\ — e\x, - — \e
V i dx i dx
C R S - . ^ ^ ^ R
for the complex fi(^-") of longitudinal differential forms. It also satisfies that
CRs(d'u>) = 0, where d' denotes the exterior differential along the leaves.
Suppose that (M, !F) admits an invariant transverse measure v. We then
obtain the trace T : C*{M,F) -> C on C*{M,T) exploiting the Ruelle-
Sullivan current CRS and the leafwise measure dp,:
r du
(</?) =^2 / PUfdvjr.
i JTi JVixit]
G = ( l x l x R/Z)/Z.
r(fc) = / dt I k(x,x,t)dx.
Jm/z Jo
Take a closed foliated manifold (M, J-) of even-dimensional leaves. Sup-
pose that there exists a family of longitudinal Dirac operators on (M, J7).
Let D = {Di)LeM/jr denote the family of longitudinal Dirac operators
Di that is lifted to the holonomy covering L from each leaf L. Then we
can apply the construction in Proposition 2.1 to D to obtain the index
homomorphism
p:C0(R) xZ2-^C*(M,f).
Hence we define the index of the longitudinal Dirac operator D to be
i dx
on the holonomy covering R x {i}. Furthermore, we define a family F = (Ft)
such that Ft is the Hilbert transformation on each L 2 (R x {£}):
ay) dy.
£—0 IT J x-y
|x-y|>£
' 1 + Ft
Thus F is constant in t e R/Z. Let P — ( — - — ) be a family of projec-
tions. Here we take a C°°-function
if : M = (R x R / Z ) / Z -> C \ {0}.
Then we make the pullback of ip to R x R/Z and let <p act on L 2 (R x {£})
Thus the operator T^ = y~xPtp is defined, which is called the Toeplitz
operator given by <p. It then turns out that the operator
ip~1Pip- P
T^Ptp - P) = —- / ip~ldipdt
2iri Jrp2
[(^PV-P)flOO = lim£ / ^ « ( M ) 4
\x-y\>e
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 149
dipdt = 9.
2ni JT2
Strictly speaking, the element (p~lPip — P belongs to not C*(T2, Tg) but
the foliation von Neumann algebra W*(T2,J:e)- However, we can modify
the argument and construct an element in C*(T2,Te) that yields the index
of Toeplitz operator Tv.
3.1 The Godbillon- Vey cyclic cocycle and the modular automorphisms
Let X be a closed Riemann surface _of genus > 2. We consider X as the
quotient of the universal covering X that is the hyperbolic space. Put
T = m(X). Then the group T acts on X isometrically. Let T also act on
S 1 via orientation preserving diffeomorphisms. The diagonal action of T on
X x S1 then define a foliated bundle
M = (X x 5 1 ) / r .
The holonomy groupoid is given by
G = {X x X x Sl)/Y.
Recall that the foliation C*-algebra C*(M,J-) can be constructed from
functions k : X x X x S1 —>C such that:
i) k : X x X x Sl —> C is continuous;
ii) k(x-y,yy,t-y) = k(x,y,t) for 7 6 T ;
150 HlTOSHI MORIYOSHl
}{k) = /
w{ k{x,x,t)dtdx.
JM(V)
lM(V)
Here M(T) denotes the fundamental domain with respect to the T-action
o n X x S 1 . Then we choose the hyperbolic volume form dfi on X and the
standard volume form dt on Sl. We also choose a volume form on M and
take the pullback to X x TV. It is denoted by dX. We then obtain a function
dfx x dt
(e,r) = — / gv,
**Jx
where (e, T) is the pairing between the K-theory and the cyclic cohomology
group.
O P E R A T O R ALGEBRAS AND THE INDEX THEOREM 151
2 „ /i7a = a7
a a + \x 77 = 1 ^7* a = aj* (4)
a*a + 7*7 = 1
7*7 = 77*
for - 1 < \x < 1. When fi = 1, C(S^U{2)) is exactly isomorphic to the
function algebra C(SU(2)). There is another way to construct C{SfJJ{2)).
Let C(T) be the function algebra of 1-dimensional torus T and K. denote
the C*-algebra of compact operators. It is then obtained as an extension
given by the following exact sequence:
0 • C{T)®K, > C{SllU{2)) > C(T) • 0. (5)
According to Sheu [43] the C*-algebra C(5Mf7(2)) is considered as a defor-
mation quantization whose infinitesimal deformation is the Poisson struc-
ture on SU{2). He also understand the structure of C(5 M f/(2)) from the
viewpoint of singular foliation induced by the Poisson structure. Roughly
speaking it is stated as follows. We first consider SU{2) as S 3 , and the join
of S1:
S3 = (5 X x [0,1] x S 1 ) / - ,
where (x,0,y) ~ (x',0,y') if y = y', and {x,l,y) ~ (x',l,y') if x = x'.
There is no equivalence relations otherwise. Let D be the unit disk {z €
C : \z\ < 1}. Then 5 3 is also realized as the quotient of
(D x S1)/ ~,
152 HlTOSHI MORIYOSHI
References
D I S T R I B U T I O N A L B E T T I N U M B E R S OF T R A N S I T I V E
FOLIATIONS OF CODIMENSION ONE
J E S U S A. ALVAREZ L O P E Z
Departamento de Xeometria e Topoloxia, Facultade de Matemdticas,
Universidade de Santiago de Compostela, 15706 Santiago de Compostela, Spain,
e-mail: [email protected]
Y U R I A. K O R D Y U K O V
Department of Mathematics, Ufa State Aviation Technical University
12 K. Marx str., 450025 Ufa, Russia,
e-mail: [email protected]
1 Introduction
159
160 J.A. ALVAREZ L O P E Z AND Y.A. KORDYUKOV
Af = n o f x; • f{t)dtou,
Jw
and let Aj denote its restriction to Q,l(T). Our first main result is the
following.
T h e o r e m 1.1 For any function f G C£°(R), the operator Af is of trace
class, and the functional f ^Tr [Af j defines a distribution /3^is(T) on R
for each i.
The distributions Pdis{F) depend only on T and the class of X in
X(M, T)IX{!F) (Lemma 2.3); thus, when the leaves are dense, they depend
only on T up to linear isomorphisms of R by (1).
The usual dimension of the spaces H (T) can be infinite even when
the leaves are dense [1, 2, 3]. So the Euler characteristic of H(F) can
not be denned, and thus a leafwise Gauss-Bonnet theorem makes no sense
in the usual way. This is surely a reason of the poor role played by the
reduced leafwise cohomology in foliation theory, which should be similar to
the important role played by de Rham cohomology of closed manifolds.
To have finite leafwise Betti numbers, they must be defined in another
way, by using the another kind of dimension ("exotic dimension"). A solu-
tion was given by Connes for foliations with a holonomy invariant transverse
measure A [8, 9]. In our case, A is the transverse Riemannian volume el-
ement, which corresponds to dt on R. This A is used to make kind of an
average on M of the "local dimension" of the space of square integrable
harmonic forms on the leaves at each degree i, giving the finite A-Betti
numbers /3 A (^), and thus a A-Euler characteristic XA (•?"")• The technical
difficulties of this idea are solved by using the noncommutative integration
theory of Connes. But, if the leaves are not compact, the forms of our space
~H(J-) are not square integrable on the leaves because they are smooth on
M. So, a priori, the A-Betti numbers are not directly related with the
reduced leafwise cohomology.
Now we give another "exotic" solution to the above problem. Observe
that, for / € C£°(R) supported around 0, the operator Af is kind of a
162 J.A. ALVAREZ L O P E Z AND Y.A. KORDYUKOV
xdis(^) = E t - i y / ^ m •
i
on M.+ , where c runs over all primitive closed orbits of the flow Xt, 1(c)
denotes the length of c, and x is an arbitrary point of c.
Of course, in Theorem 1.3, a symmetric formula for Xdis(-^r) also holds
inK_.
Observe that, if dimW i (.F) = &(?) < oo, then /3^S(J") is a smooth
measure whose value at 0 is 0l(F) dt. On the other hand, when Tt(!F) is of
finite dimension, its Euler characteristic can be defined :
DISTRIBUTIONAL B E T T I NUMBERS OF TRANSITIVE FOLIATIONS 163
where c runs over all closed orbits of the flow Xt of period I, /J,(C) denotes
the multiplicity of c, and x £ c is an arbitrary point.
When the dimension of T is two and the leaves are dense, it is possible
to relate directly each distributional Betti number with the corresponding
A-Betti number because we obviously have
Pi(F) = P\{F) = 0 , dimW°(J-) = l , dimW2(J-)<l.
So Theorem 1.2 has the following consequence.
Corollary 1.6 Assume that T is of dimension two with dense leaves. Then
the singular part o//3j is (.F) around 0 is PXiF) • <5o for each degree i.
It is possible that the statement of Corollary 1.6 holds in general. In-
deed, a proof could be given by finding appropriate heat kernel estimates
on the leaves. So we propose the following.
Question 1.7 For each degree i, is it true that the singular part o//3^is(^r)
around 0 is /3\(7") • 60?
If this question has an affirmative answer, then dim'W(Jc) = oo when-
ever j3\{T) ^ 0. This would mean that the existence of non-trivial square
integrable harmonic i-forms on the leaves implies the existence of non-trivial
harmonic i-forms on the leaves that are smooth on M. Similar results were
shown in [1, 3], where integrable harmonic i-forms on the leaves are used
instead of square integrable ones, which are much easier to find.
Let RL be the curvature of the leafwise metric, and Pf(i?/,/27r) £ QP(J-)
the leafwise Euler form, p = dim J?7. The product Pf(i?£,/27r) A A is a
differential form of top degree on M. In particular,
around 0.
Corollary 1.8 seems to be a powerful tool to produce examples of folia-
tions with dense leaves on closed Riemannian manifolds with dimH l (J-) =
oo; specially, if Question 1.7 has an affirmative answer.
There are obvious versions of these results with general coefficients,
which were not considered here for the sake of simplicity.
This type of foliations are just Lie foliations of codimension one. So this
is a particular case of our work on distributional Betti numbers for arbitrary
Lie foliations [4]. It is worth to explain this particular case here because the
arguments are much easier to understand, and moreover the codimension
one case is relevant for Deninger's approach to Riemann Hypothesis [10,11].
Finally, let us mention that our results are somehow related with the
study of transversely elliptic operators for Lie group actions [6, 23, 20, 9,
15, 17].
/ * - / ' * = k o dT + d? o k. (3)
DISTRIBUTIONAL B E T T I NUMBERS OF TRANSITIVE FOLIATIONS 165
T r P = / trk(x,x)u>M(x) , (5)
£(n(T)',n(T))^C°°(/\TT*M/\TT^ ,
P= f Z{-f{Z)dZ
Jv
on tt(J-) is smoothing, and its smoothing kernel depends continuously on f
(with respect to the C°° topologies).
On the other hand, it was proved by the authors in [3] that II : Q(F) —>
f2(J7) is continuous, and has an extension to a bounded linear operator on
every Sobolev space of leafwise differential forms, and thus to Q(^ 7 )'. So,
by Lemma 2.1, the operator Af = II o Bf o II is smoothing. Moreover
its smoothing kernel depends continuously on Af, and thus on Bf. In
turn, Bf depends continuously on its smoothing kernel, and thus on / .
So the smoothing kernel of Af depends continuously on / . It follows that
Af is a trace class operator, as well as each A, , and their traces depend
continuously on / by (5). Therefore each /3^is is a distribution.
by (4).
Take another bundle-like metric on M so that Y is of norm one and
orthogonal to the leaves, and let II' : Q(J-) —> Ti'(J-) be the correspond-
ing orthogonal projection onto the corresponding leafwise harmonic forms.
Then
by (2).
For any / e CC°°(R), let
and let B? denote its restriction to ^(T). Then the distributional Betti
numbers /%lis, determined by J-, Y and the new bundle-like metric, are given
by </?£„/) = T r ( B f ) .
168 J.A. ALVAREZ L O P E Z AND Y.A. KORDYUKOV
= Tr(s}i)) .
Therefore /3^is = /%\s as desired. •
any a e ^(.F) and any x e M, the value (Ba)(x) depends only on the
germ of a at x, and thus B defines an operator B\u in Q,{T\u) for any
open subset U C M. Recall that a leafwise differential operator B in £l(T)
is a local operator in fi(.F) such that, for arbitrary foliation coordinates
x\,..., xp, 2/1,..., yq on any foliation patch U, with respect to the C°°(U)-
base dxj of fl (J-\u), the restriction B\u is given by a matrix whose entries
are linear combinations, with coefficients in C°°(U), of the leafwise partial
derivatives
Qk Qk
dxK kl
dx ... dxpp '
for multiindices K = (fci,..., kp) e N p , where k = k\ + ... + kp. Now, a
family {Bt | t £ R} of leafwise differential operators is called smooth when,
for any foliation patch U with foliation coordinates x i , . . . , xp, y i , . . . , yq, in
the corresponding expression of Bt\u, the above coefficients of the partial
derivatives dk/dxK depend smoothly on t (they are C°° functions on!7xR).
The support of such a family is the closure in R of the set of points t with
B= (jx*toBtdt\o4>(DT)
Bt,/= [ X*s-f(s)dsoe-tAr
the operator
±'
dt
s
-Tr C ^t f = 2Trs(fx*- f(s) ds o A ^ o $\tA^) or/>(tAj:)\
On the other hand, since the function x \—> ip'(x2) is in .4, we have
where we have used the well known fact that, if A is a trace class operator
and B is bounded, then AB and BA are trace class operators with the
same trace. Therefore ^ T V C * ^ , / = 0 as desired. •
The following result follows directly from Lemmas 3.2 and 3.3.
Corollary 3.4 We have
TrsBti/ = (Xdis(n/)
for anyt>0 and f G C~(R).
Like in [21, p. 463], choose a sequence of smooth even functions </>m £ A,
which we write as <j>m{x) — ipm(x2), with </>m(0) = 1, and whose Fourier
172 J.A. ALVAREZ L O P E Z AND Y.A. KORDYUKOV
transforms (f>m are compactly supported and tend to the function <p(x) =
e~x I"1 as m —* oo (in the topology of the Schwartz space <S(R)). Without
loss of generality, we can also assume that, for each N and C,
on Q(jc-).
L e m m a 3.5 For any t > 0 and f € C^°(K), we have
Tr s C t , m ,/ - TrsBtJ = (xdi.(^),/)
as m ^ oo.
Proof. Combining (9) and (8), we get that
Ct,mj — Btj —» 0
in ^ ( ^ ( J 7 ) ' , Q(!F)) as t —> oo. By Lemma 2.1, it follows that the smoothing
kernel of Cttmj converges uniformly to the smoothing kernel of Btj, and
the result follows. •
Moreover, it follows from the proof of Assertion 1 in [21, p.461] that, for
any function h in the Schwartz space <S(R) with supp/i C [—R, R], the
operator h(Djr) on £l(T) is represented by a leafwise smoothing kernel on
Q supported in the ^-neighbourhood of the diagonal M = A C §._ _
The map 7r x 7r : Q —> Q^ restricts to a diffeomorphism TT X TX : L x L —>
Z- x L for any leaf L of T (L = ir(L)). Hence, the lift of the leafwise
smoothing kernel of h{Djr) to Q is supported in the .R-neighbourhood of
the diagonal M = A C Q, and thus defines an operator h (-D^.) on UQ, [T).
It is clear that the diagram
USI(T\ ^ l u n (*)
(7TXX)* (7TX7r)*
Q(T) ^^ n( •n
commutes.
Since <fim is compactly supported, the operator i/)m(iA^-)2 is represented
by a leafwise smoothing kernel
km,t e C ~ ( s , r* / \ T . T ® s* /\ TT) .
The action of kmj on fi(jF) defines the operator ipm(tAjr)2 in fi(jF): For
any a G 0(J r ), we have
2
(Vm ( ^ ) /?) (i) = / fcm,t(x, y) /3(j/) w^(ji) , x e M .
DISTRIBUTIONAL B E T T I NUMBERS OF TRANSITIVE FOLIATIONS 175
ct,mj({x, u), {y, v)) = X*__u o fem,t((x, v), (y, v)) • f(v - u) (10)
(Ct,mja) (x, u)
via the map n. The sum in (11) is finite because Ct,m,f is supported in an
.R-neighbourhood of the diagonal i n M x M for some R > 0.
176 J.A. ALVAREZ LOPEZ AND Y.A. KORDYUKOV
where F denotes the Fourier transform. So, since supp (F (x H-> (f>m (z 2 )))
is compact, it follows that
R R
supp (F (x i-> ipm (tx2))) C
2"'"2~
if t is small enough, for each m. Thus the leafwise smoothing kernel of
rpm (*A^) is supported in the ^-neighbourhood of the diagonal A c Q,
and the leafwise smoothing kernel of tpm (tA^) is supported in the R-
neighbourhood of the diagonal A C Q- From Lemma 3.6, we get
supp(c t i m i / ((x,u),-)) C {(y,v) | (y,u) € B^((x,u),R) , v - u e U)
for any (x, u) € M if t is small enough, and the result follows by Lemma 4.1.
•
By noncommutative integration theory [8], the holonomy invariant
transverse measure A defines a trace on the von Neumann algebra of T',
which can be shortly described as follows. The twisted convolution algebra
TrsCt,mi/= / trs(cttmj([x,u},[x,u])ujM([x,u\)
JM
JM
•
Now we recall some facts on Connes' Betti numbers. The family
{Pi,L | L is a leaf of T} ,
where each Piti is the orthogonal projection onto the space of square in-
tegrable harmonic i-forms on L, defines a projection Pt in the twisted fo-
liation von Neumann algebra W* {T, [\TT*). As in [8], one can define
A-Betti numbers /3A(.F) as
P\{F) = Tr A Pi .
Then the A-Euler characteristic of T is
i
Using the corresponding supertrace notion, this formula can be rewritten
as
XKif) = Tr s A P ,
TrA(^m(tA^)2)^XA(^) (14)
Fix any e > 0. From Lemmas 3.5 and 3.3, it follows that
|TrsCt,m,/-Tr8flt,/|<e
for any t > 0 if m is large enough. But
1rs5t,/ = (Xdis(n/>
for any t > 0 by Corollary 3.4. So
\TrsCttrnj-(Xdis(F)J)\<e (16)
for any t > 0 if m is large enough.
From (15) and (16), it follows that
|(Xdis(n/)-/(0)-XA(^)|<£
foranye > 0, yielding Xdis(^) = XA(F)-5O on U sincee > 0 and / € C%°(U)
are arbitrary. D
5 Localization theorem
or
for some 7 G rn(C/ + so)- In the latter case, such a 7 is uniquely determined
by (x,u).
Take s0 G V and some neighbourhood [/ of 0 as above, satisfying also
U + SQ C V. Since so is an arbitrary point of V, it is enough to show
180 J.A. ALVAREZ L O P E Z AND Y.A. KORDYUKOV
that (xdis,/) = 0 for any / e C°°(U + s0)- Then, by Lemma 3.5 and
Corollary 3.4, it is enough to show that Tr s Ct,m,/ — 0 for each m and t
small enough (depending on m).
We have
TrsCt,mi/= / tTs(ct,mj([x,u],[x,u]))u>M({x,u\)
JM
-L JM
tr s (ct,m,f((x, u), (x--y,u + 7))) UJ^(X, u)
TrsCtim,/= / trscttmJ([x,u},[x,u})ivM([x,u})
JM
asymptotically as t —> 0, it is enough to integrate over small neighbourhoods
of closed orbits.
As in the proof of Theorem 5.1, take a neighbourhood U of 0 in K such
that, for any s o € K and for each m, if / e C£°(U + so), then IT is injective
in the support of ct,m,f{(x,u), •) for all (x,u) € M if t is small enough.
Let s 0 be the period of some closed orbit of X. There exist finitely
many closed orbits with the period in U + SQ. Hence, the neighbourhood
DISTRIBUTIONAL B E T T I NUMBERS OF TRANSITIVE FOLIATIONS 181
where u>w,v is the restriction of LJ^ to W x {v} = W, and we use the identity
converges as t J, 0 to
signdet (id - Xku : T{x,v)(W x {v}) -» T(XtV)(W x {v})) ,
which is independent of v, and the proof is finished. •
182 J.A. ALVAREZ L O P E Z AND Y.A. KORDYUKOV
References
SAMUIL ARANSON
Department of Applied Mathematics, Nizhny Novgorod
State Technical University
24 Minina Str., Nizhny Novgorod 603600, Russia,
e-mail: [email protected]
EVGENY ZHUZHOMA
Department of Applied Mathematics, Nizhny Novgorod
State Technical University
24 Minina Str., Nizhny Novgorod 603600, Russia,
e-mail: zhuzhomaQfocus.nnov.ru
Introduction
185
186 S. ARANSON AND E. ZHUZHOMA
Note that due to the papers [2] and [10], given any point of Ug =
U{IJolh{M)), there is a C^-flow /* which satisfies theorem 2.1 (see also [3],
where a C°°-flow /* with a preassigned smooth invariant measure was con-
structed) .
1 Preliminaries
2 P r o o f of t h e m a i n t h e o r e m
Due to [12], [ / ( / ^ ( M ) ) ^ .
T h e o r e m 2 . 1 Let M be a closed surface of negative Euler characteristic
and SQO be the circle at infinity of the universal covering space A of M.
Then there exists a continual set U{l7ol h{M)) C Afi with the following
properties. Suppose a flow fl on M has a semitrajectory l^ such that a lift
I has an asymptotic direction defined by a point of U{I7olh{M)); then
/ * is not analytic and has a continual set of fixed points. Furthermore, /'
has neither nontrivially recurrent semitrajectories nor closed transversals
nonhomotopic to zero. The set U(IJol h(M)) is dense and has zero Lebesgue
measure on S^.
Proof. W i t h o u t loss of generality one can assume t h a t M is a closed
orientable surface M% of genus g > 2, otherwise we pass to a double (non-
branched) cover. To simplify m a t t e r s denote U{IJol h{M)) = Ug. For t h e
reader's convenience, we divide t h e proof into steps. T h e end of proof of a
step will be denoted by o. We keep t h e notation of Section 1.
S t e p 2 . 1 Take T € IJol h{M^) and let G{T) be a geodesic framework of
the foliation T. Then G(J-) has at least two ideal polygons with odd number
of sides.
Proof of Step 2.1 Since T has at least two singularities with a half-
integer index, it immediately follows t h a t there are a t least two saddles,
say s\ a n d S2, with odd number of separatrices each. Let s i and S2 be
lifts of s\ a n d S2 respectively. Then t h e corresponding lifts of separatrices
define t h e ideal vertices of t h e ideal polygons with odd number of sides, o
S t e p 2 . 2 Let G{!F) be the geodesic framework of a foliation T G IJol h{Mg)
and £ a geodesic segment which is transversal to G f (^ r ), int E n G(JF) ^ 0.
We consider £ to be a segment endowed with some normal orientation.
Then given any geodesic g £ G{T) endowed with a natural parametrization
9 : R —> g, there is a sequence of parameters U € R such that ti —> oo as
i —> oo, 0(ti) n S / 0 , and the index of intersection g D E at the point 9(ti)
equals (-1)*, i £ N.
Proof of Step 2.2 By Step 2.1, there is an ideal polygon P C G(.F)
with o d d number of sides. By Lemma 1.2, any positive ray g+ of g is
dense in G{T), and thus dP C clos g = G(^"). Taking into account t h a t
number of sides of P is odd, it follows t h a t there is a cutting segment E12
intersecting two adjacent sides 51, 52 G dP of P a t t h e points m i e <7in£i2,
77i2 € 52 n £12 respectively such t h a t
1. int PC\ ( m i , m 2 ) = 0.
2. There is a sequence of parameters t\ € R with 0 ( ^ ) —• m\ U m.2 as
CIRCLE AT INFINITY 191
i —> oo.
3. The index of intersection g n S 1 2 at the point 9^) equals (-1)*, % € N
(see Figure 2).
points. It is well known (see, e.g., [5]) that an w-limit set of any positive
semitrajectory is a connected set. Combining this with our assumption, we
get that co(l+) contains a one-dimensional trajectory, say l\.
Let S\ be a transversal segment through a point a € h, a £ int S\. Then
l+ intersects S\ infinitely many times because o £ w ( I + ) . As a consequence,
there is a closed simple transversal T intersecting Z+, Corollary 1.1.2 [5].
Since I has an asymptotic direction, T is not homotopic to zero. This
contradiction with Step 2.3 concludes the proof, o
Step 2.5 Suppose a flow / ' on M^ has a semitrajectory l+ such that a lift
I of l+ has an asymptotic direction defined by a point ail ) £ Ug; then / '
is not analytic.
Proof of Step 2.5 Assume the contrary. Denote by Fix{ft) the set
of fixed points of / ' . According to [1], pp. 38-39, Fix(ft) contains a
finite number of isolated points, a finite number of non-isolated points S,
which are endpoints of curves formed by fixed points, and closed curves,
and nonclosed curves with endpoints in S. Outside of S, these curves of
Fix(ft) are analytic, pairwise disjoint, and have no self-intersections. As a
consequence of this description, Fix(fl) is a compact set.
By Step 2.4, the w-limit set of l+ is a compact subset of Fix(ft). The
description above of Fix(fi) shows that l+ tends spirally to a closed contour
nonhomotopic to zero because I has an asymptotic direction. Hence, a{l )
is a rational point. This contradicts Lemma 1.2. o
To conclude the proof it remains to show that Ug has zero Lebesgue
measure. Following [11], we shall call a geodesic g c A transitive if given
any intervals U\ and Ui C 5 ^ , there is a map 7 6 T such that one ideal
endpoint of 7(5) belongs to Ui and the other ideal endpoint of 7(5) belongs
to 1/2- Denote by TR(T) C S^o the set of the points a € 5oo with the
following property: given any other distinct point b € Sooi the geodesic
joining a, b and directed from b to a is transitive. Myrberg [14] proved that
the Lebesgue measure of TR(F) is equal to the Lebesgue measure of Soo.
In particular, Soo — TR(T) has zero Lebesgue measure.
Step 2.6 Ug C Soo —TR(T). In particular, Ug has zero Lebesgue measure.
Proof. In fact, it was proved by Hedlund [11] that any geodesic with
an endpoint in TR(T) is transitive. So, if we assume that there is a point
a € Ug n TR(T), then a is an endpoint of a lift g~ of some geodesic g €
G{T), where T £ 77o( h(Mg) is an irrational foliation. Obviously, g has
self-intersections because 7j is transitive. This contradicts the fact that a
geodesic lamination consists of geodesic with no self-intersections. •
194 S. ARANSON AND E. ZHUZHOMA
Acknowledgments
References
E N T R O P I E S OF H Y P E R B O L I C G R O U P S A N D SOME
FOLIATED SPACES
ANDRZEJ BIS
Wydzial Matematyki, Uniwersytet Lodzki,
ul. Banacha 22, 90-238 Lodz, Poland,
e-mail: [email protected]
PAWEL G. WALCZAK
Wydzial Matematyki, Uniwersytet Lodzki,
ul. Banacha 22, 90-238 Lodz, Poland,
e-mail: pawelwalSmath. uni. lodz. pi
1 Introduction
Hyperbolic groups in the Gromov's [9] sense play an important role in geo-
metric group theory (see Grigorchuk and de la Harpe [8] and the references
there). In particular, any non-elementary hyperbolic group has exponential
growth and the compact boundary of positive finite Hausdorff dimension
(see, Ghys and de la Harpe [6], pp. 126 and 157). Also, a hyperbolic
group G (generated by a finite symmetric set S) acts on the boundary of
its Cayley graph X = C(G, S) via Lipschitz quasi-conformal maps (ibidem,
p. 127). Roughly speaking, if (xn) is a sequence of elements of G repre-
senting a point £ of dX and g £ G, then g(£) is a point of dX represented
by the sequence (g • xn). The dynamics of this action is of great interest.
For instance, it has been shown (see Coornaert and Papadopoulos [3]) that
this action is finitely presented, i.e. it is semiconjugate to a subshift of
finite type in such a way that the fibres of the conjugating map are finite of
bounded length and the equivalence relation determined by this map (two
points are related whenever their images are equal) is another subshift of
finite type. Also, one can consider the topological entropy h(G, S) of this
action in the sense of Ghys, Langevin and Walczak [7]. Let us recall at this
197
198 A. Bis AND P.G. WALCZAK
point that the entropy of a group action, as well as the related geometric
entropy of a foliation, generalizes the topological entropy of a continuous
transformation in the sense of Bowen [1]. For readers' convenience, suitable
definitions are given in Section 2.
Given a finitely generated group G and a finite symmetric generating
set S, one can consider its rate of growth gr(G, S) defined as the rate of
growth of the cardinality of the families of these elements of G which can be
expressed as words of given length in the alphabet S (see Section 3 for more
details). It seems that the numbers h(G, S) and gr(G, S) should be closely
related. In fact, we expect that they should be equal as it happens in the
case of free groups (compare Section 5) when the Cayley graph is just a tree.
The graph of an arbitrary hyperbolic group, even for a good generating
set, is not a tree and has some "unwanted" links. These links provided
technical difficulties which did not allow us to get the expected equality
in general. However, their role becomes less and less significant when the
scale is enlarging. This drove us to introduce a technically complicated
notion of the rate of growth gr rel (G, 5; fi, r) relative to some bounds [i and
T depending on the geometry of G. For free groups, this relative rate of
growth coincides with the standard one and this is in fact the reason for
which the equality mentioned above holds in this case (see Section 5 again).
The use of these bounds allowed us to overcome difficulties mentioned above
and to prove the following.
Theorem 1 The topological entropy h(G, S) (with respect to a finite sym-
metric generating set S) of a hyperbolic group G acting on its ideal boundary
lies between the exponential rate gr rel (G, S ; / / , T ) of growth of G relative to
suitable bounds fi and T, and the exponential rate gr(G, S) of growth of G
(with respect to the same generating set):
2 Entropy
If all the maps of G are Lipschitz and X has finite Hausdorff dimension,
then h(G,S,X) is finite for any S (compare, Ghys et al. [7], Prop.2.7).
Also, if h(G,S,X) = 0 for some S, then h(G,S',X) = 0 for any other
generating set S'. Therefore, one can distinguish between groups of positive
and vanishing entropy without referring to generating sets.
The same construction can be applied to finitely generated pseudogroups
of local transformations of a metric space X.
Also, the entropy of a foliation T of any compact Riemannian manifold
M can be defined. We shall follow Langevin et al. [11]. The definition
there is slightly different than that of Ghys e al. [7] but provides us with
the same notion of entropy (called geometric).
Let us consider a good covering U of M by charts distinguished by T,
and a corresponding complete transversal T (compare, for instance, Candel
and Conlon's book [2]). Given e > 0 sufficiently small and R > 0, let us
say that two points x and y of T are (R, e)-separated whenever there exists
a leaf curve 7 : [0,1] —> Lx originated at one of them (here, x) of length
'(7) < R a n d such that its orthogonal projection 7 : [0,1] —> Ly to the
other leaf (this time, Ly, the leaf through y) satisfies the inequality
d(7(l),7(l))>£
whenever its origin 7(0) belongs to the plaque through y of a chart of U
which contains both x and y. (Here, d denotes the Riemannian distance on
M.)
Denote by N(R, e,J-) the maximal cardinality of a subset A of T such
that any two its points are (R, e)-separated in the above sense. Let
and call h(T) the geometric entropy of T. Note that h{T) depends only on
the Riemannian structure on M. The covering U involved in the definition
plays only an auxilliary role. The value of h{T) does not depend on the
choice of U.
The geometric entropy of a foliation T can be compared to entropies of
its holonomy pseudogroups corresponding to all good coverings by distin-
guished charts. If U is such a covering, Tiu is the corresponding holonomy
pseudogroup, and Su is the set of all elementary holonomy maps corre-
sponding to overlapping charts of U, then Tin acts on a suitable (built of
connected transversals T\j C U, U G U) complete transversal Tu equipped
with the Riemannian structure inherited from M, Tu carries the Rieman-
nian distance, and the entropy h(Hu, Su,Tu) can be considered. With this
ENTROPIES OF HYPERBOLIC GROUPS AND SOME FOLIATED SPACES 201
where U ranges over the family of all good coverings of M and A(U) denotes
the maximal diameter of plaques of charts of U, holds (see Ghys et al. [7]).
Since the notion of holonomy extends directly to arbitrary foliated spaces,
Candel and Conlon [2] proposed to use the last equality as the definition of
a geometric entropy of any foliated space.
3 Growth
Let us keep the notation of the previous section and recall that the expo-
nential rate of growth of G (with respect to S) is defined as
y
S(km) 'S((k+l)m) S(nm)
Figure 1.
and d(xk+i, Vk+i) > e when k is the maximal index for which Xk = yk-
To define our relative growth we shall modify (*) by introducing an
additional factor A in (3):
Let us fix m € N, e > 0 and A e]0,1[, and denote by No(n;m,e,A)
t h e maximal cardinality of a subset A of S(mn) satisfying t h e following
condition:
(**) If x and y lie in A, then there exist sequences ( x o , x i , . . . i „ ) and
(yo,J/i, • • • ,yn) of elements of G such t h a t Xk, yk £ S{km), XQ = j/o = e ,
xn :rr x, yn = y,
d{xj,Xj+i),d{yj,yj+i) <T = m + \e
for all j and (/(xfc+i^fe+i) > e when A: is the maximal index for which
Xk = Vk (Figure 1).
T h e number
g r r e l ( G , S ; m , e , A) = l i m s u p logNo(n;m,e, A)
n—>oo TYITI
Obviously,
grrel(G,5;M,r)>grrel(G,5;m,€,A)
grrel(G,5;M,r)<gr(G,5)
ENTROPIES OF HYPERBOLIC GROUPS AND SOME FOLIATED SPACES 203
for all JJL and r as above. For the free group Fk generated by the set Sk of
k free generators we have always
gr rel (F fc ,S fc ;M,T)=gr(F fe ,5 fe ),
where Sk = Sk U S^1 U {e}. This is because F/. has no "dead ends" (see
Grigorchuk and de la Harpe [8] for the definition and some information
about some related problems) and in this case one can arrange e-separated
subsets An of the spheres S(mn) in such a way that dist(x,An) — m for
any x G An+\. In general, one can expect that a relative rate of growth is
strictly less than the "true" rate of growth. However, the above observation
about free groups and inequality (1) imply that the boundary entropy of
several hyperbolic groups is strictly positive (see Section 4).
is a geodesic triangle with vertices Xi. The triangle A is r\-thin (r\ > 0)
when the canonical isometry / A mapping A onto a tripod (i.e. the union
of three segments with common origin) TA satisfies the condition
d(x,y) <d(fA(x),fA(y))+V
for all x and y of A.
In the proof of the Theorem we shall use the following.
Lemma 1 (Ghys and de la Harpe [6], p.41) Let X be a geodesic met-
ric space. IfX is S-hyperbolic, then all the geodesic triangles of X are 45-
thin. Conversely, if all the geodesic triangles of X are if thin, then X is
2r/-hyperbolic.
To construct the boundary dX of a hyperbolic space X let us fix a base
point xo and say that a sequence (xn) diverges to infinity whenever
where (-|-) denotes the Gromov product based at XQ. TWO such sequences
(x„) and (ym) are equivalent whenever
dH(l,cT)<D.
E N T R O P I E S O F HYPERBOLIC GROUPS AND SOME FOLIATED SPACES 205
The set dX can be equipped with the metric structure as follows. First,
for any £ and £ of dX put
(£|C) = sup liminf (xm\yn),
m,n—>oo
where (xm) and (yn) run over the set of all diverging to infinity sequences
representing, respectively, £ and £. Note that if X is <5-hyperbolic, then
(£|C)-25< liminf(im|yn)<(^|0
m,n—>oo
for all sequences (xm) and (i/m) representing £ and £. Next, choose r? > 0
and put
^(?,C)=exp(-r ? -(£|C)).
Finally, let
A:
d„(£,C) = inf{^/}„(&,&+!);& € <9X,£0 = £ and £fc+1 = ( , * ; € » } .
i=0
If 77 > 0 is small enough, then d^ is a distance function on dX and (dX, dv)
becomes a compact metric space of finite Hausdorff dimension (Ghys and
de la Harpe [6], pp. 122 - 126). Moreover, the inequalities
(1 - 277>„(£,0 < ^ ( £ , C ) < P„(£,C), £,C e dX,
hold with
rj = exp(r;5) — 1.
Finally, let us recall that a hyperbolic group G is called elementary if
either it is finite or contains a cyclic group of finite index. In this case,
the boundary dG is either empty or finite (consisting of exactly two el-
ements) and the entropy h(G, S, dG) vanishes. If G is ^-hyperbolic and
non-elementary, then dG is infinite and G itself contains a free subgroup
H of two generators. If the inclusion t : H —> G is (a, c)-quasi-isometric,
then L induces a map (denoted by t again) of dH into dG which is Holder
with a constant a — a(5, a, c). It follows that the image u{A) of any (n, e)-
saturated subset A of dH becomes (kn, Ce)-separated in dG, where k is a
natural number depending on the choices of generating sets SH of H and
So of G, while C is a positive constant depending on S, a, c and rj, a con-
stant involved in the definition of the distance functions on dH and dG.
This implies the inequalities
g
-h V
Y<*
S(n)
Figure 2.
and
2(h~1yi\h~1xj) >{i-n) + (j - n) - (i + j) + 2(n + k) = 2k,
where Xj = a(j) and t/i = -y(i) for all i and j sufficiently large (Figure 2).
Therefore,
dv{Lh-it,Lh-i£g) < Pv{Lh-i(,Lh-i£g) < e~k71 < 6.
This shows the inequalities
N'(n, 6; dG) < #A < #S{n + k) < N{n + k)
which imply immediately the required inequality in (1).
The proof of the first inequality in (1) is a bit more complicated.
Fix A e]0,1[, e > r(A) and m > /j,(\,e). Choose n G N and a maximal
subset A of S(mn) satisfying condition (**) of Section 3. For any x G A set
xn = x, choose a point xn-\ G S(m(n — 1)) such that d(x, x n - i ) < m + Xe,
then a point x n _2 G S(m(n — 2)) for which d{xn--\., ^n-2) < m + Ae and so
on. Finally, put XQ = e. The map
{0, m,..., ran} 3 j >-• xj/m
is c-quasi-isometric with c = (m + Xe)/m < CQ.
Each map considered above can be extended to a Co-quasi-isometric map
j x : N 3 j H-> x'j e G
such that x'im = Xi for i = 0 , 1 , . . . , n and the sequence (XJ) converges to a
point £x of dG. We are going to show that the set
{£x;xeA}
is (n, #)-separated under the action of G for some 9 independent of n.
To this end, let us take arbitrary points x and y of A, x ^ y, choose
sequences (XQ,X\,..., xn) and (yo, 1/1,..., yn) satisfying all the conditions
of (**) and let k be the maximal element of { 0 , 1 , . . . , n) for which Xk = yk-
208 A. Bis AND P.G. WALCZAK
Denote this common value of x^ and j/fc by g and consider the quasi-geodesic
rays j x and *yy obtained from -yx and 7 y by restricting their domains to
{mk,mk + 1,...}. Then, 7X and 7V originate at g and converge to £a and
£„, respectively. By Lemma 2, there exist geodesic rays % and 7^ originated
at e and within the Hausdorff distance D from L g -i o 7X and L s -i o 7^,
respectively. Then, for any j € N there exist positive real numbers Sj and
tj such that
(7i(Sm),7y(*m)) < d ( / A ( 7 z ( S m ) ) , / A ( % ( t m ) ) ) + 45
= | s m - tm| + 45 < 2D 4 Ae 4- 45 < e - 2D.
Comparing the inequalities above we obtain a contradiction which shows
that
(%(sj)\%itj)) <m + D + t\
for all j e N . This inequality proves that
which holds for all n. Passing to suitable limits when n —> oo yields the
required inequality in (1).
Friedland [5] denned the minimal entropy hm\n(G) of a finitely generated
group G of homeomorphisms of a compact metric space X:
hmin(G)=mih(G,S),
where 5 ranges over all finite symmetric sets generating G. Similarly, the
minimal rate of growth gr min (G) of any finitely generated group G can be
defined as follows (compare Grigorchuk and de la Harpe [8]):
gr m i n (G) = infgr(G,S).
The reader can define the minimal relative rate of growth grJ^}n(G) appro-
priately.
If G is hyperbolic, then idc induces a Holder homeomorphism of bound-
aries of G obtained from different generating sets (Ghys and de la Harpe [6],
page 128). Therefore, the boundary entropy of such G (w.r.t. a given finite
symmetric generating set S) does not depend on the choice of a generating
set used in the construction of dG and our Theorem implies immediately
the following.
Corollary 2 For any hyperbolic group G the equalities
gf±{G)<hmm{G,dG)<gxmin{G)
hold.
This answers partially the following question asked by Friedland [5j:
Find a geometric interpretation of the minimal entropy of a Kleinian group
acting on the ideal boundary of a hyperbolic space H".
For the free group Fk with k generators the above discussion and an
argument of Gromov et al. [10] (p. 70) imply the equality
hmin(Fk,dFk) = gr min (F fc ) = gr™{n(Ffc) = log(2fc - 1).
In fact, if S is any finite symmetric set generating Fk, then the elements
of S represent members of a set S' generating Zfc, the abelianization of
Fk. S' contains a symmetric set R' such that # i ? ' = 2k and the subgroup
of Zk generated by R' has finite index. The corresponding subset R of S
consists also of 2fc elements and generates the free group isomorphic to Fk.
Therefore,
h(Fk, S; dFk) > h(Fk,R; 0Fk) = h(Fk,Sk; 8Fk)
> gr rel (F fc , Sk) = gv(Fk, Sk) = log(2fc - 1).
The opposite inequality is obvious.
210 A. Bis AND P.G. WALCZAK
6 Suspensions
X = (dG x M)/G.
Acknowledgments
The second author was supported by the KBN grants P03A 066 10 and
P03A 033 18.
ENTROPIES OF HYPERBOLIC GROUPS AND SOME FOLIATED SPACES 211
References
Received June 7, 2000, revised November 22, 2000 and September 25, 2001.
This page is intentionally left blank
Proceedings of
FOLIATIONS: GEOMETRY AND DYNAMICS
held in Warsaw, May 29-June 9, 2000
ed. by Pawel WALCZAK et al.
World Scientific, Singapore, 2002
pp. 213-224
MARK BRITTENHAM
Department of Mathematics and Statistics,
University of Nebraska, Lincoln, NE 68588-0323,
e-mail: [email protected]
1 Introduction
213
214 MARK BRITTENHAM
In this section we show that in all but a very few instances, an R-covered
foliation must be taut. We divide the proof into two parts; first we show
that a Reebless R-covered foliation is taut, and then describe the manifolds
that admit R-covered foliations with Reeb components.
Recall that a Reeb component is a solid torus whose interior is foliated
by planes transverse to the core of the solid torus, each leaf limiting on
the boundary torus, which is also a leaf. (There is a non-orientable version
of a Reeb component, foliating a solid Klein bottle, which we will largely
ignore in this discussion. It can be dealt with by taking a suitable double
cover of our 3-manifold.) We follow standard practice and refer to both
the solid torus and its foliation as a Reeb component. A foliation that has
no Reeb components is called Reebless. A foliation is taut if for every leaf
there is a loop transverse to the foliation which passes through that leaf.
Taut foliations are Reebless.
Lemma 1 If a closed, irreducible 3-manifold M admits a Reebless, R-
covered foliation T containing a compact leaf F, then every component of
M\F, the manifold obtained by splitting M open along F, is an I-bundle
TAUTLY FOLIATED 3-MANIFOLDS WITH NO R - C O V E R E D FOLIATIONS 215
to a finite cover) the foliation contains a pair of parallel tori with a Reeb
annulus in between. It is then straightforward to see that the resulting
lifted foliation T cannot be R-covered, since this torus xl will lift to R2 x. I
whose induced foliation has space of leaves R together with two points (the
two boundary components) that are both the limit of the positive (say) ray
of the line. In particular, the space of leaves of J- would not be Hausdorff.
Therefore
Corollary 2 A Reebless, R-covered foliation is taut.
We now turn our attention to R-covered foliations with Reeb compo-
nents. Such foliations do exist, for example, the foliation of S2 x S1 as a
pair of Reeb components glued along their boundaries; the lift to S2 x R
consists of a pair of solid cylinders, each having space of leaves a closed half-
line. Gluing the solid cylinders together results in gluing the two half-lines
together, giving space of leaves R. We show, however, that, in some sense,
this is the only such example. Recall that the Poincare associate P(M) of
M consists of the connected sum of the non-simply-connected components
of the prime decomposition of M, i.e., M = P(M)# (a counterexample to
the Poincare Conjecture).
Lemma 3 If J7 is an R-covered foliation of the orientable 3-manifold M,
which has a Reeb component, then P(M) = S2 x S1.
Proof. The core loop 7 of the Reeb component must have infinite order
in the fundamental group of M, otherwise the Reeb component lifts to a
Reeb component of T\ but since the interior of a Reeb component has space
of leaves S1, this would imply that S1 embeds in R, a contradiction.
The Reeb solid torus therefore lifts to a family of infinite solid cylinders
in M, foliated by planes. The induced foliation of each closed solid cylinder
has space_of leaves a closed half-line properly embedded in the space of
leaves of T. Each such half-line is disjoint from the others; but since R has
only two ends, this implies that the Reeb component has at most two lifts
to M. This means that the inverse image of the core loop 7 of the Reeb
solid torus, in the universal cover M, consists of at most two lines, and so
the (infinite) cyclic group generated by 7 has index at most 2 in TTI(M).
Because M is orientable, it's fundamental group is torsion-free, and so by
[15], Theorem 10.7, 7Ti(M) is free, hence isomorphic to Z, and so ([15],
Exercise 5.3) P{M) is an S 2 -bundle over S1. Since M is orientable, this
gives the conclusion. •
Note that the space of leaves in the universal cover does not change
by passing to finite covers (there is only one universal cover), and so we
can lose the orientability hypothesis by weakening the conclusion slightly.
Putting the lemmas together, we get
TAUTLY FOLIATED 3-MANIFOLDS WITH NO R - C O V E R E D FOLIATIONS 217
replacing points with closed intervals), this will not affect our argument.
By [6], each of the induced foliations Ti of Mj has either a vertical
or horizontal sublamination. Every horizontal lamination in Mj can be
extended to a foliation transverse to the fibres of Mj, and so meets <9Mj
in curves whose slope lies in (—1,1). If Ti has a vertical sublamination, it
either meets 9Mj in curves of slope oo (i.e., in curves homologous to (1,0))
or is disjoint from the boundary.
It is this last possibility, a vertical sublamination disjoint from T, that
we wish to require, and so we will now impose conditions on the gluing
map A to rule out the other possibilities. If both T\ and Ti have either a
horizontal sublamination or a vertical sublamination meeting T, then for
both M\ and M2, the induced foliations meet T in curves with slope in
(—1,1) U {00}. Therefore, the gluing map
Figure 1.
Work of Luecke and Wu [16] implies that (nearly) every connected graph
manifold is finitely covered by a graph manifold that admits an R-covered
foliation. In particular, for any graph manifold M whose Seifert fibered
pieces all have base surfaces having negative (orbifold) Euler characteristic,
they find a finite cover M' (which is also a graph manifold) admitting a
foliation T transverse to the circle fibres of each Seifert fibered piece of M',
and which restricts on each piece to a fibration over the circle. Note that
this implies that every leaf of T meets every torus which splits M' into
Seifert-fibered pieces.
Even more, every leaf of the lift, to the universal cover of M, of !F meets
every lift Pi, P?, of the splitting tori. This can be verified by induction on
the number of lifts of the tori that we must pass through to get from
a lift we know the leaf hits, to our chosen target lift. The initial step
follows by picking a path 7 between two 'adjacent' lifts P\ and P2, whose
interior misses every lift of the splitting tori, and projecting down to M;
this gives a path 7 in a single Seifert fibered piece of M'. This path can be
made piecewise vertical (in fibres) and horizontal (in leaves of J 7 ), missing,
without loss of generality, the multiple fibres of M' (just do this locally, in a
foliation chart for T; the Seifert fibering can be used as the vertical direction
for the chart). Each vertical piece can then be dragged to the boundary
tori, since the saturation by fibres of an edgemost horizontal piece of 7 is
a (singular) annulus with induced foliation by horizontal line segments; see
Figure 2. [This is where the fact that T is everywhere transverse to the
fibers is really used.] The end result of this process is a loop 7', homotopic
rel endpoints to 7, which consists of two paths each lying in a circle fibre in
the boundary tori, with a single path in a leaf of T lying in between. This
lifts to a path homotopic rel endpoints to 7, consisting of paths in the two
lifted tori, and a path in some lifted leaf. This middle path demonstrates
that some lifted leaf L hits both Pi and P2.
By choosing a point where any other lifted leaf V hits a lift P of a
TAUTLY FOLIATED 3-MANIFOLDS WITH NO R-COVERED FOLIATIONS 221
Figure 2.
P'E-
L'
?••••• •
Figure 3.
T h e inductive step is nearly identical; assuming our two leaves L\ and L2
b o t h hit P i , . . . , P n - i , and P n can be reached from P „ _ i without passing
t h r o u g h any other lift of a splitting torus, the above argument implies t h a t
two leaves, in the lift of the relevant Seifert fibered piece, and contained in
L\ and L2, hit b o t h L n _ i and Ln, implying t h a t L\ and Li also b o t h hit P n .
B u t this in t u r n implies t h a t the lifted foliation T has space of leaves R .
This is because t h e foliation induced by T on any lift P of a splitting
torus is a foliation transverse to (either of the) foliations by lifts of circle
222 M A R K BRITTENHAM
fibres, and so has space of leaves R, which can be identified with one of
the lifts of a circle fibre. [This is probably most easily seen in stages:
first pass to a cylindrical cover of the torus, for which the circle fibers
lift homeomorpically. The induced foliation from T is by lines transverse
to this fibering, and so has space of leaves one of the circle fibers. The
universal cover P is a cyclic covering of this, whose induced foliation has
space of leaves the universal cover of the circle fiber.] The argument above
implies that every leaf of T hits P at least once. But no leaf of T can
hit a lift of a circle fibre more than once; by standard arguments, using
transverse orientability, a path in the leaf joining two such points could
be used to build a (null-homotopic) loop transverse to T, contradicting
tautness of T, via Novikov's Theorem [18]. We therefore have a one-to-one
correspondence between the leaves of T and (any!) lift of a circle fibre in
any of the Seifert-fibered pieces, giving our conclusion
Proposition 7 Any foliation of a graph manifold M, which restricts to
a foliation transverse to the fibres of every Seifert-fibered piece of M, is
~R-covered.
Combining this with the result of Luecke and Wu, we obtain
Corollary 8 Every graph manifold, whose Seifert-fibered pieces all have
hyperbolic base orbifold, is finitely covered by a manifold admitting an R-
covered foliation.
Combining the proposition with our main result, we obtain:
Corollary 9 There exist graph manifolds, admitting no R-covered folia-
tions, which are finitely covered by manifolds admitting R- covered folia-
tions.
5 Concluding remarks
References
E N D S E T S OF E X C E P T I O N A L LEAVES;
A T H E O R E M OF G. D U M I N Y
JOHN CANTWELL
Department of Mathematics, St. Louis University
St. Louis, MO 63103,
e-mail: [email protected]
LAWRENCE CONLON
Department of Mathematics, Washington University,
St. Louis, MO 63130,
e-mail: [email protected]
1 Dummy's theorems
225
226 J. CANTWELL AND L. CONLON
the generic leaf of an exceptional minimal set X have a Cantor set of ends.
Here generic can be taken either in the sense of [5] or [7]. It is not hard to
show that the generic leaf has one end or a Cantor set of ends.
In Section 8 we ask some other questions. Section 9 gives a general
construction of examples of Markov minimal sets. The construction is gen-
eral in the sense that it provides examples of any subshift of finite type
occurring as holonomy of a codimension-one foliation.
Remark. Duminy deserves full credit for Theorem 1.1. The proof given
here is essentially one that we worked out about 15 years ago and we take
responsibility for whatever shortcomings it may have.
yt:Ul-^R
and, on overlaps UiHUj, the coordinate changes are of the form
=
x% Xi(Xj ,yj), (*J
Vi = ViiVj)- (**)
We can and do assume that the images j/i([/i) are bounded intervals in
R with disjoint closures. As is standard, the set of transverse coordinate
changes (**) is interpreted as a symmetric generating set {hi,... , hm} of
a pseudogroup T of local C 2 diffeomorphisms in R, called the "holonomy
pseudogroup of T'. To relate this pseudogroup to the geometry of J , it
is useful to fix imbeddings of the intervals yi(Ui) C Ui as disjoint trans-
verse curves to 3\ The union W of these transversals is then a complete
transversal and the holonomy pseudogroup maps open subsets of W onto
open subsets of W simply by sliding along the leaves.
One also requires a certain "regularity" property of the foliated at-
las, namely that each {Ui,Xi,y{) is actually a subchart of a foliated chart
(Vi,Xi,yi) and that the closure Ui is a compact subset of Vi. Again, it is
useful to fix imbeddings of the intervals yi(Vi) C Vi as disjoint transverse
curves to 1. The union T D W of these transversals is then a complete
transversal and the holonomy pseudogroup maps open subsets of T onto
open subsets of T simply by sliding along the leaves. Again, the set of trans-
verse coordinate changes (**) is interpreted as a symmetric generating set
{hi,... , hm} of a pseudogroup T, of local C2 diffeomorphisms in 1R.
228 J. CANTWELL AND L. CONLON
3 Unbounded holonomy
In this section we use some notation and Lemma 4.6 from Section 4.
Lemma 4.6 is the "key lemma" of [1, p. 170].
Let L and F be semiproper leaves of 1 and assume that F accumulates
on L. We emphasize that the important case in which L — F is allowed.
In that case L is exceptional. Fix a choice of transverse orientation and
of basepoint 0 e L so that the leaf of J x through 0 has compact subarcs
Jo = [yo, 0] and IQ = [0, xo], with Jo contained in a gap of the set Z = Lf]W
and with A • |/o|/|^o| < 1 (A as in [1, p. 170] or Lemma 4.6).
Definition 3.1 The holonomy of L is unbounded in IQ (respectively, in Jo)
if there does not exist a sequence {xn}'i^L1 C IQ (respectively, Jo) such that
xn converges monotonically to 0 and, Vn > 1, TL(xn) is the singleton {xn}.
Here TL is the holonomy pseudogroup on transverse, open arcs containing
0 consisting of g £ T such that gj(0) € L, 1 < j < p, gp(0) = 0.
Our goal in this section is to prove the following easy but important
step in the proof of Theorem 1.3.
Theorem 3.2 The holonomy of L is unbounded on any side that is ap-
proached by F.
Remark. By the semi-stability theorem of Dippolito [6, Theorem 3], un-
232 J. CANTWELL AND L. CONLON
For this fundamental estimate see [10] or [1, p. 168]. Here is an easy
consequence.
Lemma 4.5 Let g e T and J C -D(<7) 6e a compact, nondegenerate inter-
val. Suppose g is a simple chain of length p at J. Then
^<exp(0|W|), \/u,veJ.
1. | 5 ( / 0 ) | < | < ? W | /
^M<exp(..g K -,,|).
Furthermore, \UJ — Vj\ < \Ij\ + \Jj\ < 2|Jj| and, as in the proof of Lemma 4.6
(see [1, p. 170]), it follows that
p-i
This proves (1). Finally, if g is a basic loop, find v e Jo with g'(v) = 1 and
apply (1) to prove (2). •
Corollary 4.8 Let 0 < r < 1 < s. If the octopus decomposition of U has
large enough nucleus, if IQ U JO is as in Lemma 4-7, and if g is a simple
chain or basic loop at j/o in -A, then r < g'{u)/g'{v) < s, Vu, v £ IQU JO- If
g is a basic loop, then r < g'(u) < s, Vu £ IQ U JO-
Proof. By making K large enough, we guarantee that
exp(6(9|3|) < min{s, 1/r}.
An application of Lemma 4.7 completes the proof. D
Fix a boundary orbit § C X on the positive side of U, as above, together
with an exhaustion
K = Ka C Kx c • • • C Kk C . . .
of U by nucleii of octopus decompositions. For a fixed A; = 0 , 1 , 2 , . . . , define
Ak, dQk, and C^ as in Subsection 4.2. In particular, each Cfc is T-connected.
ENDSETS OF EXCEPTIONAL LEAVES 237
The set T# will serve as a set of generators for the germinal holonomy of
L at 0, there exists an £o > 0 such that every element of T# is defined on
the interval [—£o,£o], and we have very delicate control of the maps 7 for
every 7 6 T#.
Definition 4.9 The set To C TL consists of basic loops at 0 in Co. If
Ffc c TL has been defined, some k > 0, then TL D T^+I D Tk is constructed
as follows. The complement Tk+i \ Tfc is to be the set of basic loops at 0 of
the form h~1 ogoh, where g is a basic loop in Cfc+i \ int Cfc at h(0) G 9Cfc
and where ft is a simple chain at 0 in Cfc of length (say) p such that for
1 < j < k, 31 < ii < ... ij <•••< ik = p, satisfying:
/ij(0) G int Cj, i < ij] htj(0) G dGj\ /i»(0) £ int Gj,i> ij
Finally T# = Ufelo^fe- ^ n e P r °duct 7 = h~x o g o h is called the k-
representation of 7.
L e m m a 4.10 Let L be semiproper. If the holonomy of L is unbounded on
a given side of L, then T# has no fixed points arbitrarily close to L on
that side.
Indeed, in a standard fashion, each plaque-loop a on L at 0 is "factored"
into a product of loops, each of which corresponds to an element of T#. This
requires that a be modified by inserting finitely many plaque-chains of the
form T*T~X (where * denotes the adjunction of plaque chains). It follows
that, if T# has fixed points xn j 0, then ha(xn) = xn, Vn. Details are left
to the reader.
The following is an application of Lemma 4.7.
Lemma 4.11 For some s0 > 0, [—£o,£o] C ^ ( 7 ) , V7 G T#. Further, for
any such eo, one can choose 0 < e\ < £0 such that 7[—£i,£i] C [—£o,£o];
V7GIV
Proof. Choose 6 sufficiently small that [—5,8} C .0(7) for the finitely
many basic loops 7 G To. We can also assume that the finitely many
simple chains in Co from 0 to points of <9Co are defined on [—5,(5]. Every
7 G T# \ TQ is of the form 7 = h~l o g o h where g is a basic loop in
238 J. CANTWELL AND L. CONLON
Thus
By Lemma 4.4,
p-i
9'{u)
< exp( 922 \uj ~ vj\ ) < exp(0|u - v\).
g'(v)
3=0
a
Definition 4.14 A pseudogroup element 7 = gm o gm_y o • • • o glt where
gi E r # , 1 < i < m is called a r#-chain of length m. Let 7 be such a chain
and let A C D(7) be a compact interval. For 1 < p < m, set 7 P = <?P°- • -°5i
and let g0 = id. Set Ap = 7 P (A), 0 < p < m. If int A 0 ,int A i , . . . ,int A m
are disjoint, then 7 is said to be a simple r#-chain at A. Simple r#-loops
and basic r#-loops at A could be defined, but they will not be needed.
The following lemma is an analog of Lemma 4.5. The difference is that
simple chains are constructed from the finite generating set {h\,... , hm}
of the pseudogroup T, while the simple r#-chains are constructed from the
generally infinite set T# which provides a set of generators for the germinal
holonomy group at 0.
Lemma 4.15 Let A c IQ U JO be a compact interval and 7 = gm o • • • o gi
be a simple Y^-chain of length m at A. Then
-y'(n)
- ^ - T < exp(e|W|), Vtt,«eA.
7 '(v)
Proof. Let Uj = jj(u) and Vj = Jj(v), 0 < j < m — 1. Then
7'M = 9m("m-i) gi("o)
l'(v) v
9'm( m-l) '" 9i(v0)'
^ ^ e x p ^ G ^ K - ^ f ) <exp(6|^|).
D
Remark. In Lemma 4.15, it is sufficient that 7 m _i be a simple r#-chain
at A.
The following will be useful in Section 7.
Corollary 4.16 Let f G F# be a contraction of [0,e) c Jo U Jo to 0. Let
xo € [0,e) and Xk = / fc (xo), Vfc > 0. Then, for all integers p, k > 1 and
allu,ve[xp,x0}, (fky(u)/(fk)>(v)<exp(pG\W\).
Proof. Choose u = uo,u\,... ,up = v in [xp,xo] so that, for suitable
choices of z, e [xp,x0], {ui,Ui_i} C A; = [f(zi),Zi], 1 < i < P- This
240 J. CANTWELL AND L. CONLON
l-r<exp(-Q\W\)-\Q\/\A\.
<7(6)-7(a) ^7(b)-g(7(b))
~ 7(6) — x ~~ 7(6) — x
Therefore
By the mean value theorem, there exists t 6 7(A) such that g'(t) < r. O
Remark. A simpler version of Lemma 4.17 can be given with 0 replaced
by 0. In the proof of the simple version, the use of Lemma 4.15 is replaced
by a use of Lemma 4.5. Otherwise the proof is identical. We need the
stronger lemma.
ENDSETS OF EXCEPTIONAL LEAVES 241
and each of the finitely many functions h' is continuous. By making e small
enough, we guarantee that
h
r '(u) r / /
/i'(7(u))
hence
r < 7'(u) < s, —s<u<e.
There remain the elements 7, e Tfc, 1 < i < n. By the assumption on
these, we see that 7t'(0) = 1, 1 < i < n. Thus, making e possibly smaller,
we complete the proof. •
Lemma 4.19 Let£\ be as above andO < P < E\. Then k > 0 can be chosen
so large that for 7 6 T# \ Fk, the inequalities 1/(2A) < 7'(u) < 2A hold for
-Ei < u < £1. Further for this choice of k, [0,/3/(2A)] C j[0,(3] C [0,2A/?],
v7Gr#\rfe.
Proof. By Corollary 4.8, we choose k > 0 such that, V7 G T# \ Tfc with
fc-representation 7 = ^, _1 o g o /i, we have
1/2 < g'(h(u)) < 2, -£i<u<£i.
By elementary calculus,
7 (u) =
' ^H)'5'(/l(u))' -£^«*ei-
242 J. CANTWELL AND L. CONLON
By the mean-value theorem, |[0,/?/(2A)]| < |-y[0, /?] | = |[0,/3]| • -y'(£) <
|[0,2A/?]| n
5 I n t h e a b s e n c e of a c o n t r a c t i o n
K 7 < V G F
10 ' ^ 10' ^ # ' - £ < £ < £ (#)
9
Remark. In the proofs t h a t follow, it is enough t h a t the constants — <
Xl
E- :
xi ;
2/i
E 1 — -3
X3 '. 32(2/2) 2/2
E i 3
33(2/3) 2/3
. 1 a
94(2/4) 2/4
Figure 1.
Proof. In the rather technical argument, the reader may find the visual
schema in Figure 1 helpful. By (ii) and Lemma 4.10, there is an a > 0 so
small that the elements of r # | ( 0 , a ) have no common fixed point. On the
other hand, by (i), none of these are germinally contractions to 0. Thus,
given z G (0, a) C (0,e), choose gz e T# and [xz,bz) C (0, a) such that
z G (xz,bz) and gz\[xz,bz) is a contraction to xz. We consider two cases.
Case 1. Assume that a > 0 can be chosen so that there is a set of points
z £ [0,a), clustering at 0, for each of which one can choose bz = a. Choose
a sequence {gi,[xi,a)}^2=1 with g^ = gZi, Xi — xZi, and Xj J, 0. Choose
xi so that 2\x± < a. In general the choice of ajj+j is to be made so that
2Xxi+i < Xi. If i ^ j , then it is clear that gt ^ gj. If i is sufficiently large,
Lemma 4.19 implies that g^l(x\) < a, so renumber gi as 52, %% as £2, and
set yi = a and 2/2 = 32~1(xi)- Again, for j sufficiently large, gj1(x2) < xi,
so renumber gj as 53, Xj as X3, and set 2/3 = ff3~1(a;2). Iteration of this
procedure yields a sequence {gi, [3^,7^)}°^ with all the desired properties.
Case 2. Alternatively, a > 0 cannot be chosen as in Case 1. Thus,
for some (0,??) and every z S (0,77), gz and [xz,bz) can be chosen as above
with the additional property that gz{bz) = bz < a.
By the local compactness of (0,77/2], choose a sequence
{9i = gZl,[xi,bi] = [z Z i ,6 z J}£i
such that 0 = {(xi,bi)}°l1 covers (0,77/2] and Xi J, 0. We claim that
lim bi = 0. Otherwise, {6;}°^ would have a cluster point 5 > 0 and we
i—>oo
could rechoose a = 5/2, contradicting the hypothesis that no choice of
a > 0 places us in Case 1. Therefore, 0 is a locally finite cover of (0,77/2].
Also, wlog, we can assume that every component of 0 meets (0,77/2]. In
244 J. CANTWELL AND L. CONLON
E 3
X2 * bl
E— — 3
X3 I bl
E 3
63
. 3
#» 64
Figure 2.
The application of Lemma 4.19 can be made to ensure that g\ and gi satisfy
ya = 52 _1 (zi) < 2Axi < 6/(2A) < gi(b) <b<Vl.
In Case 2, iterated applications of g± J to a point of F n (xi, j/i) produces
a point 6 as desired. •
Definition 5.3 Afe = (xk,yk+i), V/c > 1.
Fix a choice of A = [gi(b), b] c (t/2,2/1) as in Lemma 5.2. Let A' =
[91(b), b). We will consider elements 7 6 F i of the form 7 = gip o g i p l o
• • • o g^ where ti = 1 and either ij = i,_i or i,- = 1 + ij-i, 2 < j < p, and
such that A C D(7). Set
7o = id
Ij = 9ij °9ij-i °---°9h
Aj=lj(A), 0<j<P.
Definition 5.4 An element 7 G TL as above is admissible if, whenever
ij = 1 + ij-i then
Aj-inAj,.., ^ 0 .
Also, 7 = 70 = id will be called admissible.
Lemma 5.5 Let x G (0,6). Then there exists an admissible 7 G TL such
that x G 7(A').
Proof. If x G (xi,6), we take 7 to be a suitable iterate g\, k > 0. If
x G (0,xi], there is a unique integer n > 2 such that x G (x„,x n _i]. A
suitable iterate of g^1 moves x to gnk(x) G (xn-i, Vn] = A n _ i . If n = 2,
A„_i c (xi,6), while, if n > 3, then A n _ i C (xn-i,xn-2\- Finite iteration
of this process leads to A _1 (x) G (x\, 6), hence to g^r o A _1 (x) G A'. Then
7 = A o g\ is admissible and x G 7 (A'). •
Lemma 5.6 If "f = gi ° • • • ° g^ is admissible, then Ao, A i , . . . , Ap have
disjoint interiors.
Proof. For 0 < i,j < p write Ai < Aj, if x G int Ai and y G int Aj
implies x < y. For 0 < n < p, we show inductively that A„ < A„_i. This
will prove the lemma.
For n = 1, A0 = [91(b), b] and Ai = 31 (A0) = [gf(b),gi(b)}, so Ai < A 0 .
Inductively, assume that, for some 0 < n < p, An < A„_i. There are three
cases to consider.
Case 1. Suppose that in+i = in- This together with the inductive
hypothesis, gives
A n +i = s? (A n _i) = 9in(An) < gin(An-i) = An.
246 J. CANTWELL AND L. CONLON
hence A n + i < A n .
C a s e 3 . Suppose t h a t in+i = 1 + in a n d A n % Ain. Set in = k,
An = [u,v], and consider the overlapping of Afc and A n as indicated in
Figure 3. By the inductive hypothesis, [u,v] < g^fav], so v < g^ (u).
An
Xk Vk+i
Figure 3.
V Xk
0 < ~ < 9k1(u)-9k1(xl')
Vk+i ~ Xk 2/fc+i - Xk
9kl{yk+\) -gkl{xk) _ , -iw>x . n
< Gfc T(0 < w
Uk+i - Xk
Similarly
1 .. .
0 < Vk+i -u < — • |Afc| **)
ENDSETS OF EXCEPTIONAL LEAVES 247
so (*) implies t h a t
T h a t is,
1 1
. A I
u < X k + fc
loo ' ' '
and so
11 ,A , 11 ,A ,
v u> v x >yk+1 Xk
~ ~ k~ Yoo '' ' ~ ~ Too
89 . . , 1 .. ,
=
• A t > - • A*. ,
100 ' kl 5 ' '
contradicting (* * *) •
C o r o l l a r y 5.7 Given k > 1, i/iere exists an admissible 7 s-uc/i that Xk £
7(A') and 7(6) G (xk,yk).
Proof. By lemma 5.5, choose 7 so t h a t Xk 6 7(A'). FVom t h e proof of
Lemma 5.5, it is evident t h a t 7 = gk+i ° gk0! and t h a t [u, v] = gk o 7(A)
is as in Case 3 of the proof of Lemma 5.6. T h u s ,
and
<x
7(6) = gk+i{v) k + jQQ- \Ak\ < y/c+i < Vk-
T h e proof is complete. •
248 J. CANTWELL AND L. CONLON
We make the same hypotheses as in Section 3 and use the same notation
and conventions as we used there. In particular, the semiproper leaf F is
asymptotic to L on the positive side of L.
Theorem 6.1 There is f £ T# and rj > 0 such that [0,77) C D(f) and
f : [0,77) —> [0,77) is a contraction to 0.
Proof. Assume that there is no such contraction. Then, by Theorem 3.2,
(i) and (ii) of Section 5 hold. We work in [0,e) chosen as in Section 5.
We assume, wlog, that F is proper on its negative side. By Lemma 5.5,
Fn (xi,yi) 7^ 0, hence Lemma 5.2 allows us to choose 6 £ Fn (£1,1/1) such
that A = [gi(b),b] c (y 2 ,yi)_As before, let A' = [c?i(6),6). If Q = [a,b]
is the component of (0, e) \ F with upper endpoint b, then Q C A. Let
J = [0, b] and 0 be as in Subsection 4.4. Choose r < 1 so close to 1 that
l-r<exp(-e|W|)|Q|/|A|.
By Lemma 4.18, all but finitely many g £ T# satisfy g'{x) > r, Vx £ [0,e).
Case 1. In Lemma 5.1, assume that infinitely many distinct elements
of r # occur in the list {gi}^Zi- Select gk such that g'k(x) > r, 0 < x < e.
By Corollary 5.7, let 7 £ TL be admissible such that xk £ 7(A') and
7(6) G (xj^yk). Thus gk{xk) = xk and xk < gkh(b)) < l(b). Since [a,b] is
a gap of F n W, it follows that gk{l{b)) < 7(a)- By Lemma 4.17, there is
t £ [rr/fc,7(6)] C [0,e) such that r > g'k(t), a contradiction.
Case 2. Assume that only finitely many distinct elements of T# occur
in the list {gi}^Zi- Let g £ r # be an element that occurs infinitely often in
the list. By assumption, there is no value rj £ (0,e) such that g\[0,rj) is a
contraction to 0, so g'(0) = 1. It follows that there is an integer k > 1 such
that g = gk and <J'|[0, yk) > r. It is now possible to argue exactly as in Case
1 so as to obtain the contradiction that r > g'(t), some t £ 7(A) C [0,yk)-
a
l - r < e X p ( - e | W | ) - ^ ^ .
60 - o i
b
exp(-e|Wl). °~"° 0<i<q.
bo ~ 9i{bo)
bk ~ 9(bk) ~
250 J. CANTWELL AND L. CONLON
Lemma 7.6 There is T £ (0,1) such that, whenever h € T L and h'(0) < 1,
then h'{0) < 1 - r .
Proof. If this were false, then, Vr € (0,1), there exists h € TL with
1 — T < /i'(0) = p < 1. Set a = g'(O). Choose such r and /i with
4r
< D.
Express
g(t) = (a + s(t))t
h{t) = (p + r(t))t,
1 -a
\ - a - s(bk) > 2
l-p-r(bk)<2{l-p).
Consequently,
Proof. (1) Suppose the assertion false. Then, liirin^oo l(n) = oo. Con-
sider
bn_- h(bn) bn - &„+/(„)_!
K - g{bn) bn - bn+1
_
bn - bn+l bn+i - bn+2 ^n+/(n)-2 ^n+J(")-l
— _|_ _|_ . . . -|_
bn ~ bn+i bn — bn+i bn — bn+i
= x , 9(b n ) ~ g(b n+1) | { 9l{n)-2(bn) - 9l^-2(bn+1)
bn — bn+i bn — bn+\
2 lin) 2
= l + ff'(6) + (5 )'(C2) + • • • + (g - y(tHn)-2),
where all & e (6„+i,M-
Given r e (0,1), take n so large that <?'(£) > r, V£ G [0,b„]. This is
possible since <7'(0) = 1. Then
( ^ ) ' ( O = <7V' _ 1 (0) • g'(9j-2(0) • • -g'(0 > rj.
Therefore,
bn-h(bn) .,„, l-r'f")"1
— ^-^ > 1 + r + r22 + • • • + rl{n)2~2 -
bn ~ g(bn) 1
Since l(n) —> oo, we can choose n so large that
bn-g{bn) - 2(1-r)
But the number r can be taken as close to 1 as desired, forcing n to be chosen
sufficiently large. Therefore, given an arbitrarily large positive number R,
we can choose an integer N > 0 such that
±^M>R, Vn>N.
bn - g{bn)
(2) let R > 0 be given and choose N as in (1). Let n > N and let
x £ [fen+ii ^n]- Let y e [&i, bo] be the point with x = gn(y) and let
M =
,ma£. (y-9(y))-
bi<y<b0
Then
x - g ( x ) = gn(y) - gn(g(y)) _ (g")'(fl y - g ( y )
^ - g(M 9n(bo) - gn(bi) (gn)'(ri) ' 6 0 - 6 1 '
for suitable £, 77 6 [62, bo]- By Lemma 4.16,
x-g(x) exp(29|W|) • M
bn - g(bn) b0 - 61
ENDSETS O F EXCEPTIONAL LEAVES 253
7(6 m ) < bm
l(bm+l) > bm+l-
8 Problems
References
S O M E R E M A R K S O N PARTIALLY HOLOMORPHIC
FOLIATIONS
MARIUSZ FRYDRYCH
Wydzial Matematyki Uniwersytetu Lodzkiego,
ul. Banacha 22, 90-238 Lodz, Poland,
e-mail: [email protected]
JERZY KALINA
Instytut Matematyki Politechniki Lodzkiej,
Al. Politechniki 11, 93-590 Lodz, Poland,
e-mail: [email protected]
The aim of this paper is to introduce the concept of Nijenhuis tensor on the sub-
module of sections of the normal bundle to the foliation endowed with the complex
structure and its relationship to the formal integrability of canonically associated
subbundle of complexified tangent bundle of the given foliated manifold.
263
264 M. FRYDRYCH AND J. KALINA
which proves (ii). We have used the fact that endomorphism acting on
V<8)RC is complexification of an endomorphism on V if and only if it com-
mutes with a. Assuming (ii) put W = imager Then W = crW. We check
that
W C\W = image r n image(crr) = image r n image(er — ra)
= imager n image(l — r)a = imager n image(l — r)
= imager n kerr = 0.
From the assumption it follows the identity r + OTO = 1 which together
with the above gives desired decomposition W © W = V(8>RC which proves
(iii). Assume (ii). Let J = i(2r — 1). We easily check that
J 2 = i 2 (4r 2 - 4r + 1) = - ( 4 r - 4r + 1) = - 1 .
Moreover,
aJ = cri(2r - 1) = -i<r(2r - 1) - i{2(-ra + a) - a)
= -i(2(-r + 1) - l)o" = i(2r - l)a = Jcr.
From the above we see that J = J <8>R 1 for a unique complex structure
J : V —» V which proves (i). Assume (iii). Let r be a projection onto W
along W. From this we get that 1 — r is a projection onto W along W so
1 — r = OTO which ends the proof. •
Note that the projection r restricted to the V ® R 1 determines a C-linear
isomorphism from complex space (V, J) to W. Similarly, the projection
(1 — T)\V <8>R 1 is a C-isomorphism from (V, —J) to W.
where
j,k = l,...,q; a = l,...,p.
266 M. FRYDRYCH AND J. KALINA
(i) Y is foliated
(ii) [Y,X] € T(TF) for all X £ T(TT)
(Hi) In every distinguished chart with the coordinates (x0,?/-7), Y has the
form,
V: r > J O -^>T(T*F®vT)
in a normal bundle vT given by
S7xu = 7r[X,Y]
for X e r(7\F), u e T{vF) and any Y € T{TM), such that TT(Y) = u.
S O M E REMARKS ON PARTIALLY HOLOMORPHIC FOLIATIONS 267
From the Jacobi's identity it follows that this partial connection is flat
i.e. RXlX2 = 0, for XUX2 e T(TF).
Let C^? be the sheaf of germs of functions which are locally constant
along the leaves of T.
o
In the usual way we can define the sheaf Y{yT} of germs of local sections
of the normal bundle vT which are covariantly constant with respect to the
o
partial Bott connection. It is evident that V(yT~) forms a sheaf of modules
over the sheaf C^p of rings.
o
Proposition 2.5 Every lift in T(TM) of any section Y{vT) is a foliated
vector field .
o
Proof. Take a local section u e ^{vT) in a neighbourhood of m € M.
Let (U, ip) be a distinguished chart around m. Let Y be any lift of u over
U. Thus in that chart Y = aa(x, y)-^s + W{x, y)-£jr- Therefore we have,
d , dbj{x,y) d
0 = V.
dx^' dxP '' dyj
Since 'K(-^T), • •., TT(g^-) form a local basis of u!F\U, the coefficients Q^P
= 0 which proves that the vector field Y is foliated.
We say that the normal bundle vT is complex if it is endowed with
a bundle endomorphism J : v —> v which is a complex structure over the
fibres. Suppose that V J = 0 i.e. V x J u = J ( V x w ) for all X £ TT
and u e T(v!F). Such a connection will be called C-linear. Assuming vT
is complex, we introduce the concept of the Nijenhuis tensor J\f on the
o
TV : A 2 f (vF) —* T(vT).
Let u, v be arbitrary germs of sections of r(^jF) at a point. Choose any
lifts u, v, Ju, Jv of u, v, Ju, Jv respectively. Define
which means t h a t
V Ul 7r(r; 2 ) = V U l ( - J ( 7 r ( « 2 ) ) ) = - J ( v u i 7 r ( u 2 ) ) .
o
This proves t h a t V J = 0.
o . o
Let H , t e r(i/.F) and u\ = J u , u 2 = Jv, v\ = u, v2 = u. Since V J = 0,
we see t h a t u i + ivi,u2 + iv2 G r ( V ) , so substituting t h e m into (4) we get
Af(u, v) = 0 which proves the necessity.
To prove the sufficiency, let (U, </>) be a distinguished chart for T with
local coordinates (xa,yi). T h e local sections ^(-^jj),j — 1,...,<? form a
l
local basis of vT'. Let further, J k(x, y), k,l — l,...,q, be the m a t r i x com-
o
ponents of J with respect to the above basis. By the assumption, V J = 0
we infer t h a t gfs-•/£(£, y) = 0, a = l , . . . , p , which means t h a t Jlk(x,y),
k,l = 1 , . . .,q don't depend on leaf coordinates. It is easy to see t h a t t h e
vector fields gf^, gf? ~ iJj(y)w^> a = 1,. . .,p, j = I,.. .,q, form a set of
generators of V(V\U). To prove the formal integrability of V it is enough
to check t h a t space spanned over the last q fields is closed under the Lie
bracket, which is equivalent to the vanishing of the Nijenhuis tensor. This
ends t h e proof. •
From t h a t proof we can see t h a t our foliation is given by the local sub-
mersions on pieces of complex manifolds in such a manner t h a t the transi-
tion diffeomorphisms are biholomorphisms, which means t h a t our foliation
is transversely holomorphic.
Conversely, if a foliation is transversely holomorphic then the normal
bundle is canonically endowed with the integrable complex structure and,
by Proposition 2.7, t h e bundle V is formally integrable. We summarize t h e
above conclusion as
C o r o l l a r y 2.8 The subbundle V is formally integrable if and only if T is
transversely holomorphic.
Remark. In t h e dual description we consider the annihilator
Q = V± C T*M®RC
270 M. FRYDRYCH AND J. KALINA
Using Proposition 2.7 from the previous section we are able to prove the
following theorems.
Theorem A Let M be a complex manifold of dimension m and T a
smooth foliation of M by complex submanifolds of dimension p. Let further
T M ® K C = U ®V and TT®n.C = F © F , F c U be the decompositions in
the sense of Proposition 1.1. For the subbundle V = U © F the following
conditions are equivalent:
(i) [r(v),r(v)]cr(n
(ii) T is holomorphic,
(iii) Bott connection is C linear.
(i =dzi+\(w,zyadwa, j = l,...,q
such that
ice1,-
so dC,3 S ideal ,(q) implies
= 0,
dzl
and
Ti dK dK
dw0
which means that functions
H „ #<8>RC V + V V V
References
FOLIATIONS A N D COMPACTLY G E N E R A T E D
PSEUDOGROUPS
ANDRE HAEFLIGER
Section de mathematiques, 2-4 Rue du Lievre, Geneve, Switzerland,
e-mail: [email protected]. ch
275
276 ANDRE HAEFLIGER
1) if h,h' £ 7i, then the composition0, hh' and the inverse h~l belong
to 7i,
a
T h e composition hh' of the homeomorphism h : U —> V with the homeomorphism
h' :U' -> V is the homeomorphism h'~1(Ur\V) -> h(Ur\V) denned by x <-> h(h'(x)).
FOLIATIONS AND COMPACTLY GENERATED PSEUDOGROUPS 277
2) t h e identity m a p of T belongs to H,
3) if a homeomorphism from an open set of T to an open set of T is locally
in H, then it is in H.
If T is a differentiable or a Riemannian manifold, then H is called a
pseudogroup of differentiable or isometric transformations if all its elements
are differentiable or are Riemannian isometries.
T h e restriction of H to an open subset To of T is the set of elements of
H with source (or domain) and target (or range) in To.
T h e orbit H.x of a point x 6 T is the set of t h e images of x under
the elements of H. T h e space of orbits, with the quotient topology, is
noted H\T.
For x e T , the isotropy group Hx is the group of germs at x of the
elements h e H such t h a t h{x) = x.
Two pseudogroups (Ho, To) and (Hi,T\) are equivalent if there is a
pseudogroup (H,T) and homeomorphisms fi from T, onto open sets T[
of T , i = 0 , 1 , such t h a t
1) T'i meets all the orbits of W,
2) fi induces an isomorphism from Hi onto the restriction H\T' of H to T[.
If Hi and H are pseudogroups of differentiable transformations, then
Ho is differentiably equivalent to H\ if /o and f\ are diffeomorphisms.
Remarks. Let (Ho, To) and (Hi,T\) be two equivalent pseudogroups. Then
the spaces Ho\To and H\\Ti are homeomorphic.
If T 0 carries an 'Ho-invariant measure finite on compact subsets, t h e n
there is a corresponding Hi-invariant measure on T\.
Examples.
1) Let To be an open subset of T meeting all the orbits of H. T h e n the
restriction of H to T 0 is equivalent to H.
2) Let T 0 be t h e real line R and Ti be the circle R / Z . T h e pseudogroup of
transformations Ho of R generated by the translation x >—> x+1 is equivalent
to t h e pseudogroup of transformations Hi of R / Z generated by the identity
m a p . To see this, consider t h e pseudogroup H of transformations of the
union T of T 0 = R and Ti = R / Z generated by the integral translations of
R and the restrictions of the projection R —> R / Z t o small open sets of R.
T h e n a t u r a l inclusions fi of Ti in T induce isomorphisms from Hi to H\T{ •
onto open subsets Tj of Rq, with connected fibers, satisfying the following
Compatibility condition: for every x £ C/j n Uj, there is an open neighbour-
hood U*j C Ui D Uj of x and a homeomorphism hfj from Pj(U^) to p»(C/y)
such that pi = pj o /i?. on C/g.
Note that hfj is uniquely denned and that for y £ t/£, we have h^ = /i^-
(see the remark below). The leaves of T are the connected components of M
endowed with the topology having as a basis of open subsets the intersection
of the fibers of the pi with the open subsets of M.
A foliated cocycle {p'k}keK over another open cover W — {U'k}keK
defines the same foliation T if the above compatibility condition is satisfied
for the union of the two foliated cocycles.
Let T be the disjoint union of the open sets T,; to simplify the notations
we identify Tt with the corresponding open set of T. The holonomy pseu-
dogroup of J- (with respect to the foliated cocycle {pi} ) is the pseudogroup
of transformations (H, T) of T generated by the elements h*j.
The holonomy pseudogroup of T associated to another compatible co-
cycle is equivalent to (TC,T). Therefore the holonomy pseudogroup of T
is well defined only up to equivalence. By "the" holonomy pseudogroup
of J7, we mean any pseudogroup equivalent to the holonomy pseudogroup
associated to a foliated cocycle defining T.
Note that if M is a differentiable manifold of class Cr and if the sub-
mersions Pi are of class Cr, the elements of the holonomy pseudogroup of
T are differentiable of class Cr.
Remark. It is well known that one can construct a foliated cocycle defining
T such that the fibers of the submersions p, (called the plaques) are con-
nected, that one plaque in Ui intersects at most one plaque in Uj and that
the intersection of any two plaques is connected if it is non empty. In that
case there is a unique homeomorphism hij : Pj(Ui C\Uj) —> Pi(Ui D Uj) such
that pi = h^ opj on Ui n Uj. The holonomy pseudogroup of T is generated
by the h^.
There is a bijective natural correspondence between leaves of T and
orbits of H, holonomy group of a leaf and isotropy subgroup of the corre-
sponding orbit, closed minimal subsets of M saturated by leaves and closed
minimal sets of T invariant by H, etc... There is a natural homeomorphism
from the space of leaves to the space of orbits H\T.
As the holonomy pseudogroup of a foliation is defined only up to equiv-
alence, we shall respect the following rule.
General Principle. We shall consider only notions or properties of a
pseudogroup (H,T) which depend only on its equivalence class.
FOLIATIONS AND COMPACTLY GENERATED PSEUDOGROUPS 279
We use compact in the Bourbaki sense, i.e. for us a compact space is always assumed
to be Hausdorff. In general the union of two compact subsets is compact if and only if
this union is Hausdorff.
FOLIATIONS AND COMPACTLY GENERATED PSEUDOGROUPS 285
2.3 G sheaves
0 - c ° ( g , A ) £ c \ g , A ) ^c2(g,A)^ ...
Hk(g,A) = \imHk(gu,Au)
where the limit is taken over the open covers U of T.
In particular H°(G,A) = H°(g,A) is the group H°(g,A) of invariant
sections of A.
Note that, when the etale groupoid is the trivial groupoid equal to its
space of units T, then our definition agrees with the usual definition of the
Cech cohomology Hk(T,A). The proof of the following facts is like their
proof in the particular case of the classical Cech cohomology.
Facts.
1) A short exact sequence 0—> A ^> B —1 C —* 0 induces an exact sequence
We prove only the last part of 2). We want to prove that, for every
open cover U — {Ui}ieI of T, the homomorphism Hl{G,A) —> H1(Gu,Au)
is surjective.
Let z G Cl{Qu,Au) be a 1-cocycle; the value of z on {i,g,j) is of the
form (i,a(i,g,j)), where a(i,g,j) e Ap(gy The cocycle condition means
that, for composable elements (i,g,j),(j,g',k) € Qy, we have
a(i, gg', k) = g.a(j, g', k) + a(i, g,j).
We can consider a(i,lx,j) as a Cech 1-cocycle in Cl(U,A). By hy-
pothesis it is a coboundary (because Hl{U,A) —> H1(T,A) = 0 is infec-
tive). Therefore for each i € / , there is a section li of A above Ui such
that, for x £ Ui n Uj, we have a(i,lx,j) — U(x) — lj{x). The 1-cocycle
z
i(h9d)) = (ha{i,g,j)) - h{P(g)) + lj(a{g))) is cohomologous to z. For
g = lx we have Z((i,lx,j)) = 0. We claim that Z((i,g,j)) depends only
on g; this will imply that Z is the image of a 1-cocycle in Cl(Q,A). To
check the claim, we note that, if a{g) G Uj n Uj> and [3(g) £ Ui<T\ Ui>, the
cocycle condition implies
Z((i',g,j')) = Z((i',l0{g),i)) + Z((i,g,j)) + g.Z((j,la{g),j')) = Z((i,g,j)).
a
Remark. There is a natural homomorphism from H*(G,A) to H*(Q,A),
the cohomology groups defined in Haefliger [12] (isomorphic to the groups
defined in Kumjian [16] and called Grothendieck cohomology groups). Like
in the case of usual Cech cohomology for topological spaces, this homomor-
phism is bijective for * = 0,1 and injective for * = 2
Proof. Using the facts mentioned above, the proof is the same as the
classical proof of the finiteness of the first cohomology group of a compact
288 ANDRE HAEFLIGER
complex manifold with coefficient in a locally free sheaf (see for instance
paragraph 29 and Appendix B in the book of Foster [7] and the references
therein).
After localization, we can assume that T is the disjoint union of balls in
C™. This implies that Hl{T, A) = 0. We can also assume that the vector
bundle over T is trivial.
Let To be an open relatively compact subset meeting all the orbits of Q,
and choose an open set S in Q contained in the union of a finite number of
compact subsets and generating G\T0 ( s e e the definition in 2.2).
On the vector spaces C*(Q, A) or C*(G\To, A\T0), we consider the topol-
ogy of the convergence on compact sets (they are Frechet spaces). The
subspace of cocycles Z*(Q,A) is closed.
Note that a 1-cocycle z € Z1(G^To, A\T0) is determined by its restriction
to S, because
z(9i92) = gi.z{g2) + z{gx).
We have the following commutative diagram where the horizontal arrows
are induced by the inclusion:
c°(g,A)^c°(glTo,AlTo)
i i
Z\g,A) - ^ Z\glTo,AlTo)
i I
HHG,A)^H1(glT0,AlTo)
I I
0 0
The second horizontal arrow p is a compact operator due to Montel
theorem and the remark above. The last one is an isomorphism by the
fact 2) proved in 2.4. Therefore
p®d0:c0(glTo,AlTo)®z1(g,A)^z1(glTo,AlT0)
is surjective. A theorem of Schwartz implies that 6° = {p + 6°) - p has
finite codimension, i.e H1(g,A) = Hl{{g\T0, -4|T 0 ) i s finite dimensional. •
Remarks. 1) Let T be a transversely holomorphic foliation on a manifold
M and let {H,T) be the groupoid of germs of its holonomy pseudogroup.
Consider on M the sheaf Of of germs of transversely holomorphic vector
fields on M and let 0 be the 7Y-sheaf of germs of holomorphic vector fields
on T. It follows from 3.2 below that the group Hl(Ji.,Q) is naturally
isomorphic to a subgroup of HX{M, 0 ^ ) .
2) Let (g, T) be a compactly generated holomorphic etale groupoid; this
means that T is a complex manifold and that the associated pseudogroup
FOLIATIONS AND COMPACTLY GENERATED PSEUDOGROUPS 289
that the fibers (plaques) of each Pi are simply connected and that there is
an embedding Qj : Tj —> Ui such that piqi is the identity of Tj and such
that the qi(Ti) are disjoint. Recall that there is a unique homeomorphism
hij from Pj(U n Uj) to Pi(Ui n C/j) such that Pi(x) = hij(pj(x)) for each
x G UiPiUj. To simplify the notations, we identify Tj to its image <7i(Tj) so
that Pi can be considered as a retraction from Ui to Tj and the union T of
the Tj as a total transversal to T.
Let (G, T) be the fundamental groupoid of J- with respect to the trans-
versal T. We now describe a set S of generators gij(y) G Q for (5,T) ,
where i,j G 7 and y G pj-(C/s D Uj). The element ^(2/) is the homotopy
class of a path in the simply connected subset p~1(y) U p"1(hji(y)) of the
leaf through y from hij(y) to y.
Each element of Q can be expressed as a composition of elements of S.
For x G UitlUj C\Uk, we have the relation
9ik(Pk{x)) = gij{pj(x))gjk{pk{x)).
The set i? of all such relations is complete, i.e. two words in the elements of
S represent the same element of Q if and only one can pass from one to the
other by using the relations in R (see Higgins [15]). This follows from the
fact that the nerve of the open cover of a leaf L by the plaques contained
in it has the same 1-homotopy type as L.
For a general discussion on presentations of etale groupoids, see 3.3.
We define
z(g) = ai 0 ii(Pu(zi)) + . . . + gloil(Pii(xi))
• • • 9ik-2ik-i (Pik-! (xk)).aik_ltk (pik ( x f c ) ) .
an etale groupoid (Qs,T), called the free etale groupoid over S. Any etale
map <f> from S to an etale groupoid (G,T) such that a(f> = a and P4> = P
extends uniquely to a continuous homomorphism from (Gs,T) to (G,T)
projecting on the identity of T. If $(S) generates Q and if the kernel of $
is the normal subgroupoid N generated by R, then Q is isomorphic to the
quotient Gs/N and (S,4>,R) is called a presentation of G- Note that the
quotient Gs/N is naturally an etale groupoid because N is open in G; it
will also be noted {S;R}.
We indicate a tentative definition of the notion of compact presentation
for an etale groupoid.
Compact presentation. An etale groupoid (G, T) is said to be compactly
presented if:
a) T is Hausdorff locally compact and contains a relatively compact open
set To meeting all the (/-orbits.
b) There is an open subset S C G generating the restriction G\T0 °f G t °
T0 and contained in the union of a finite number of compact subsets.
Let S be an open set containing this union.
c) In the space W$ of words in the alphabet S, identified to an open
subset of Wg, there is an open set R which is contained in the union
of a finite number of compact sets in Wg, and such that (G,T) is
isomorphic to (S;R).
One checks as in 1.3 that the fundamental groupoid of a foliation on a
compact manifold is compactly presented, and that the notion of compact
presentation depends only on the equivalence class.
A test for this definition would be to prove the analogue of the global
stability theorem of Reeb for compactly presented groupoid of dimension
one.
References
J A M E S L. H E I T S C H
Mathematics, Statistics, and Computer Science,
University of Illinois at Chicago, 851 S. Morgan Street (M/C 249),
Chicago, Illinois 60607-7045, USA, e-mail: [email protected]
1 Introduction
297
298 JAMES L. HEITSCH
(**/)(E0 = /(^(CO).
Set
Ch(M) = C°(r)/Wr,
where Tir is the sup norm closure of Hr- Denote the class of / in Ch{M)
by [/]. Then [/] — 0 provided that for all e > 0 there is a representative
/ i G [/] so that sup \fi(U)\ < e.
uer
Note that if f(U) = ~f{rr{U)) for all U € f C T, and f n i r ( f ) = 0, then
we may set f(U) = 0 for all U e T U 7r(r) without changing the Haefliger
class of the function / . To see this, define g(U) = f(U) for U £ T and
#(£/) = 0 otherwise. Then [g — n*g] = 0, and / i = / — (g — it*g) satisfies
fi(U) = 0 for all U e f U 7r(f), and /i(C7) = /([/) otherwise.
A priori, Ch{M) depends on the choice of lattice T. However, this is
not the case.
T h e o r e m 1 Ch{M) does not depend on Y.
300 JAMES L. HEITSCH
J d){U)= j^u(x)g(x)dx
Tr(fc) |tr(/c)
(ks)(x) = / k(xJy)s{y)dy,
M
and the Haefliger trace of k is the usual trace of k as in this case, Ch(M)= H)
Denote by Cf>{E <g> E*) the set of k € C°°(E <g> E*) so that there is
s > 0 with k(x, y) = 0 for all (x, y) with d(x, y) > s. In addition we require
that k and all its derivatives be bounded on M x M. Any k e Cf(E®E*)
T R A C E S AND INVARIANTS FOR NON-COMPACT MANIFOLDS 301
hi(x,y) = Y^ V'l/(a;)V'7ri,j(t/)(y)fc(a;.2/)-
asf ;
Then each kij is basic and k = J2i, ^i,j • ^
Let fci(x,y) G C{E <g> £*), and k2(x,y) G Cf{E <g> E*), and define
ki°k2£ C{E ® E*) by
We now come to the central result of the paper, namely the fact that
TV satisfies the following trace property. It is this property which allows us
to extend classical results from compact manifolds to complete manifolds
of bounded geometry.
Theorem 4 Suppose h(x,y) G C(E ® E*), and k2{x,y) G C™(E <g) E*).
Then
Tr(ki ok2) = Tr(k2oki).
Proof. By Proposition 2 we may assume that k2 is basic with corre-
sponding 7r,r. Choose a partition of unity {ipv} subordinate to F so that
for all U £ f, W x W E / ) I sup(fc2)n(t/x7r(C/)) = 1- Then the Haefliger func-
tion Tr(ki o k2) is represented by the function / € C°(T) whose value at
C/GTis
= / tv(k2(y,x)ki(x,y))dxdy
TT(U) M
ipn(U)(y) / ti{k2(y,x)ki(x,y))dxdy.
•n(U) M
This last integral is the value at TT(U) of the function g € C°(T) which
represents Tr(k2oki), i.e. it is (Tr~1)*(g)(U). But g and (7r_1)*(g) represent
the same Haefliger function. Thus Tr(fci o k2) = Tr(A;2 o k\). D
The Haefliger trace adapts extremely well to any situation where the heat
equation method is used. As an example of this, we will outline a proof of
T R A C E S AND INVARIANTS FOR NON-COMPACT MANIFOLDS 303
All the classical complexes (de Rham, Signature, Dolbeault, and Spin)
give rise to Dirac complexes on M provided M supports the necessary
geometric structures for these complexes to be defined.
Denote the space of L2 sections of Ei by L2(Ei). The operators di and
d*_t extend to densely defined unbounded operators
dk : L2(Ei) - L2(Ei+l) and d*_x : L2(Ei) - • L2(E%.X).
As usual with possibly non-compact manifolds, we define
H\M,d) = ker(d l )/(imd i _i ndomdj).
304 J A M E S L. HEITSCH
It is necessary to mod out by imdj_i D dom di, the closure of the image
of di-i in the domain of di, as imdj_i n domdj is in general not a closed
subspace.
Define
A, = di.! d*_, + d* di : CF(Ei) - C?(Ei).
The operator D = ©(d, © d*_x) is a Dirac operator and the fact that M is
complete implies that D is essentially self adjoint [9]. Thus D2 = ©Aj is
also essentially self adjoint, and we can apply the spectral mapping theorem
to each of the A*.
Hodge Theory extends to complete manifolds and we have the following
facts:
That this is a reasonable definition is a result of the fact that the diagram
ker Aj * - ker A*
Hl{E,d) - H^E^d)
commutes.
In this section, we describe the restrictions we place on the fixed point set
N oi f and state our Lefschetz theorem.
We assume that AT is a disjoint union of closed submanifolds ./V = UiVj
of M. As they are disjoint and closed, each Ni admits a positive function
ti{x) so that
i
NiHU
The fact that only a finite number of Ni n U ^ 0 follows from the facts that
U is compact, /|AT = IN and that the Ni are disjoint and closed.
Theorem 6 (Lefschetz Theorem) Let M, (E, d),f,A andT be as above.
Associated to N is a smooth volume form a which depends only on f, A, the
symbols of the Aj, the metrics and their derivatives to a finite order only
on N, so that in Ch.(M)
L(T) = J a.
N
J2(-V)tvAitX
i=0
| det(/ x - dfx
For the classical complexes with T = f* and Ni = {x}, the a^ may be
further identified. For this see [2] and [3].
If / = IM, then N = M and we define 1(D), the index of D by 1(D) =
L(IM). AS an example of the theorems available in this case, we state only
the following.
Theorem 7 Let M be an even dimensional complete Riemannian Spin
manifold of bounded geometry. Let p^, be the generalized Atiyah-Singer
operator, [15], associated to the complex vector bundle E. Then in Ch(M)
I(p+E)= j ch(E)A(M)
5 An example
d 0
a Od-1
is independent oft.
Proof. We use Quillen's formalism of the supertrace [17]. Let E = ®Ei
and E+ = ®E2i and E~ = @E2l+l. An operator A on E which preserves
this splitting is called even and one that reverses it is called odd. The super
trace applied to an even operator A is defined to be
Trs(A)=Tr(A|E+)-Tr(^|E-).
T R A C E S AND INVARIANTS FOR NON-COMPACT MANIFOLDS 309
Note that if A and B are both even operators, then Tr s (AB) = Trs(BA),
while if both are odd, Tr a (AB) = -Trs(BA).
Set
and
Set ViO) = {\/2)4>{x/2) and ip2{x) = e~txl2 + e~sxl2. Then V i > 2 re-
stricted to R+ are in S(R+), and ip = ipifa- Choose sequences ipi,n £
S(R+) converging to tpi with xpi^n E CQ°(R). Then
= lim T r , ( ^ , n ( A ) d T d > i , n ( A ) )
by Theorem 4 (so it is here that we use the trace property of Tr). But
lim Tr.(^ 2 ,n(A)dTd , ^i, n (A)) = - lim Tr s (Tcf Vi,„(A)V>2,n(A)d),
n—»oo n—»oo
since both V2,n(A)d and Td*tp\%n(&) are odd operators. This last term
equals
- lim Tr s (Td*# 1 , r i (A)V 2 ,n(A)) = - lim Tr s (Td*d(Vi,„V2,n)(A))
n~*oo n—>oo
= -Tr s (Td*d^(A))
which completes the proof of Theorem 12. •
4
Corollary 13 L{T) = lim t ^ 0 ^ ( - I J ^ f f ' e - ' ' )
To finish the proof of our Lefschetz theorem, we have
Theorem 14 Associated to N is a smooth volume form a which depends
only on / , A, the symbols of the Aj, the metrics and their derivatives to a
finite order only on N so that in Ch(M)
\hnJ2(--LYTr(T;e-^)= / a.
7 Functionals on Ch(M)
(
A([f]) = lim „°, \..
P r o p o s i t i o n 16 A : Ck(M) —> R is well defined.
Proof. We first show that
F(s)
vol(B(x0,s))
converges as s —> oo. Since the centres of the Us are uniformly separated
and M has bounded geometry, there is a constant C so that for any dif-
ference of two concentric balls, B = B(xo,s + t) - B(x0, t), the number of
elements of T with centres in B is bounded by Cvol(B). If | / | is bounded
by Cj, it follows immediately that
Note that t may vary with s, but it is a bounded function of s. Given any
set B C M, denote by f(B) the sum
f(B) = J2 f(U)
xu&B
312 JAMES L. HEITSCH
and write B(s) for B(XQ,S) and vB(s) for vol(B(xo,s)). Then
f(B(s + t)) f(B(s))
F(s + t)-F(s)\
vB(s + t) vB(s)
f{B(s)) f(B(s)) f(B(s + t)-B(s))
< +
vB(s + t) vB{s) vB(s + t)
1 1 vB(s + t) -vB(s)
< CfCvB(s) + CfC
vB{s+t) vB(s vB(s + t)
,vB{s f t ) - u B ( s ) vB{s)
2C/C- 2CfC(l
vB(s + t) vB(s + t)
which by our assumption goes to zero as s —> oo.
To show that ^4([/]) is independent of the choice of / , we need only
show that for any / e C°(T) and 7r e G,
lim
Y,T.[W)-**f{u)]
0.
vB{s)
Let Cf be a bound for / (and so also for n*/), and let t be a bound on the
distance that n moves elements of I\ i.e. for all U 6 T, d(xu,xn^)) < t.
Then
Er.[/(^)-*V(tO] /(B(s))-7r*/(B(s))
u5(s) u£(s)
Since 7r moves elements of V at most a distance t, each element in f(B(s — t))
occurs in w*f(B(s)). Thus f(B(s)) and ir*f(B(s)) differ on at most the
number of points in B(s) — B(s — t). Thus
/(B(S))-7r*/(B(3)) [vB(s) - vB(s - t)}
< 2CfC
vB(s) vB(s)
As above, this last goes to zero as s —> oo. •
Recall that the manifold M of our example above supports the four clas-
sical complexes. It is not difficult to see that M also satisfies Condition 15.
For the classical complexes, the operators Aj commute with the action of
the covering group of M over E4. The diffeomorphism / also commutes
with this action, so we are in the situation considered by Atiyah in [1]. It
follows easily that for the operators in Theorem 11, the linear functional A
is the Atiyah trace (given by integration over a single fundamental domain,
which is a compact set) divided by the volume of the fundamental domain.
As the Schwartz kernel of the Tie~tAi is uniformly bounded and converges
pointwise to the Schwartz kernel of T* and A is integration over a compact
set, A does commute with the limit in Theorem 11. Thus we have the
following.
T R A C E S AND INVARIANTS FOR NON-COMPACT MANIFOLDS 313
References
1. M.F. Atiyah, Elliptic operators, discrete groups and von Neumann al-
gebras, Asterisque, 3 2 / 3 3 (1976), 43-72.
2. M.F. Atiyah and R. Bott, A Lefschetz fixed point formula for elliptic
complexes I, Ann. of Math., 86 (1967), 374-407.
3. M.F. Atiyah and R. Bott, A Lefschetz fixed point formula for elliptic
complexes II, Ann. of Math., 88 (1968), 451-491.
4. M.F. Atiyah and G.B. Segal, The index of elliptic operators: II, Ann.
of Math., 87 (1968), 531-545.
5. M.F. Atiyah and I.M. Singer, The index of elliptic operators: I, Ann.
of Math., 87 (1968), 484-530.
6. O. Attie and S. Hurder, Manifolds which cannot be leaves of foliations,
Topology, 35 (1996), 335-353.
7. J. Block and S. Weinberger, Aperiodic tilings, positive scalar curvature,
and amenability, Journal AMS, 5 (1992), 907-918.
8. J. Block and S. Weinberger, Large scale homology theories and geom-
etry, in Geometric Topology, ed. W.H. Kazez, Amer. Math. Soc,
Providence, R.I., 1997.
9. P. Chernoff, Essential self adjointness of powers of generators of hy-
perbolic equations, J. Func. Anal, 12 (1973), 401-404.
10. A. Connes, Geometrie Non-Commutative, InterEditions, Paris, 1990.
11. D. Guido and T. Isola, Noncommutative Riemann integration and
Novikov-Shubin invariants for open manifolds, J. Func. Anal., 176
(2000), 115-152.
314 JAMES L. HEITSCH
12. J.L. Heitsch, Bismut Superconnections and the Chem Character for
Dirac Operators on Foliated Manifolds, K-Theory, 9 (1995), 507-528.
13. J.L. Heitsch and C. Lazarov, A Lefschetz theorem for foliated mani-
folds, Topology, 29 (1990), 127-162.
14. J.L. Heitsch and C. Lazarov, A general families index theorem, K-
Theory, 18 (1999), 181-202.
15. H.B. Lawson and M.-L. Michelsohn, Spin Geometry Princeton Univer-
sity Press, Princeton, N.J., 1989.
16. A. Phillips and D. Sullivan, Geometry of leaves, Topology, 20 (1981),
209-218.
17. D. Quillen, Superconnections and the Chem Character, Topology, 24
(1985), 89-95.
18. J. Roe, An index theorem on open manifolds I, J. Diff. Geo., 27 (1988),
87-113.
19. J. Roe, An index theorem on open manifolds II, J. Diff. Geo., 27
(1988), 115-136.
Received July 31, 2000, revised November 17, 2000 and February 14, 2001.
Proceedings of
FOLIATIONS: GEOMETRY AND DYNAMICS
held in Warsaw, May 29-June 9, 2000
ed. by Pawel WALCZAK et al.
World Scientific, Singapore, 2002
pp. 315-332
MICHEL HILSUM
Institut de Mathematiques, C.N.R.S., 175,
rue du Chevaleret, 75 013 Paris,
e-mail: [email protected]
We define in this article the notion of boundary Hilbert module over a C*-algebra B
and show that the class in K*(B) defined by such a module is null. This generalizes
the bordism invariance of the index of elliptic operators. Some consequences on
foliated manifolds are derived, such as obstructions on the existence of a riemannian
metric with longitudinal positive scalar curvature
1 Introduction
The bordism invariance of the index of the Dirac operator on smooth spin
manifolds has been established by M.F. Atiyah and I.M. Singer, and play
an important role in the first proof of the index theorem for elliptic op-
erators [17]. It has been generalized in various geometric situations: for
smooth families of Dirac operators by W. Shih [20], for coverings of a man-
ifold with principal countable discrete groups by J. Rosenberg [19]; for
correspondences between smooth manifolds, using bivariant K-theory, by
A. Connes and G. Skandalis [4]; alternative analytical proofs where given
of [20] by R. Melrose and P. Piazza [14] and by L. Nicolaescu [16], and of
[19] by E. Leichtnam and P. Piazza [12]. In each of these situations, the
corresponding index is a class in the K-theory group of a C*-algebra.
Here we wish to settle an general result in the context of Hilbert modules
over C*-algebras. We introduce a notion of Hilbert module with boundary
over some C*-algebra B. We also define partitioned Hilbert module over B.
These objects behave well with respect to processes of pasting and cutting,
similarly as cutting a partitioned manifold along the separating manifold
gives two manifolds with boundary.
315
316 MICHEL HILSUM
The main result of this article states that the index class in K*(B) de-
fined by the boundary of such an Hilbert module is null (Theorem 4.3).
There are in fact two cases, the even-dimensional case, in which the bound-
ary module is Z/Z 2 -graded, and the index has value in K0(B), and the
odd-dimensional, with no grading, where K\{B) is concerned. We have
treated here only the odd case.
For proving this, we develop an idea due to N. Higson which relates
this problem to Callias or Dirac-Shrodinger type operator on partitioned
manifolds [6], [18]. These operators have been first studied by C. Callias,
and have been since the subject of several works by N. Anghel, J. Bruning,
H. Moscovici, U. Bunke and M. Lesch (cf ref. in monograph [13]).
Given an even partitioned module, Theorem 4.2 states the equality be-
tween the index class in K\(B) of the Callias type operator and the index
class of the operator on the partitioning module.
These notions are quite general and it appears that index bordism in-
variance is a rather analytical property.
We specialize then these results to Hilbert modules arising from foliated
manifolds.
Let (W, F) be a spin foliated closed manifold of class C 0 , o °. We use the
longitudinal Dirac operator A acting on some Hilbert module £ over the C*-
algebra of the foliation C*(W, F), defined by A. Connes [3] (cf. minicourse
in these proceedings by H. Moriyoshi [15]).
We obtain then a bordism invariance property of the longitudinal index
class [£, A] e K*(C*(W,F)) (Theorem 5.2).
Let (Woo,g) be a smooth Riemannian manifold, and K : W^ —> R the
scalar curvature of g, which is a smooth function. One important problem
in Riemannian geometry is to determine topological obstructions to the
existence on Woo of a Riemannian structure with positive scalar curvature
(cf. [11] for a survey). Recall A. Lichnerowicz's Theorem stating that if
Woo is closed and spin with K > 0, then
(AiWoo), [Woo]} = 0, (1.1)
where A(W) is the A-genus of the tangent bundle of the manifold.
Then Theorems 4.2 and 4.3 gives as corollaries obstructions for a mani-
fold (W, F) to be equivalent by a transverse bordism to a foliated manifold
with strictly positive scalar curvature (Proposition 6.2), which straightens
an earlier result of J. Rosenberg [19]. Similar conditions occur when (W, F)
separates a foliation with strictly positive scalar curvature and Proposi-
tion 6.3 generalizes a theorem of J. Roe [18]. When the foliation is of class
C°°'°°, using the fundamental class of A. Connes sect. III.7 [3], we derive, in
Section 7, cohomological obstructions, among them A. Lichnerowicz's (1.1).
H l L B E R T MODULES O F FOLIATED MANIFOLDS W I T H BOUNDARY 317
2 Preliminaries
We define now an operator useful for the sequel. Let (£, T) be an unbounded
module over B, with T = T*. Let Tj, i = 0,1, be the unitary on C 2 , given by
D
We introduce now the notion of partitioned module. Let
Suppose that there exist projections q~, p and q+ in C{£) such that
1 = q~ + p + q+ and
imp~£ 6 ®L 2 ([0,l])<g>C 2 .
Assume that the involution T commutes with q± and restricts on imp to
1 <g> 1 ® T 0 TI. For any ip £ C([0,1]), let a(ip) G C(£) be the operator given
by the formula
a(ip) = ip(0)q~ + m(ip) + ip(l)q+•
Definition 3.2 With these hypothesis, the unbounded module (£, D, T) is
partitioned by (£b,T) if the following properties hold
From this definition, we see that the operator D is well known on imp
and condition b) gives a kind of locality property of this operator. There
is no interplay of the action of D on imq~, imp, and imq+.
Example 3.3 The simplest construction is given by £ = £b <8> L2(R) <g> C 2
with D = ^' 0 0 (T), with obvious formulae for p and 9*.
Lemma 3.4 For any v? G C°°([0,1]) , we have a(y?) G £(£>). 7 / X ° ) =
<p(l) = 0, tfien a(y?)(£> + i)~l G £ ( £ ) .
HlLBERT MODULES OF FOLIATED MANIFOLDS WITH BOUNDARY 321
£ i ! ± ^ W{D) J^U Wo • £•
By Lemma 2.3, t h e m a p £ —> a(</>)£ from W ( D ) to Wo is adjointable,
and t h e injection Wo —> £ is compact. •
We come now to t h e main notion of this article. Let
- (£, S,T) be an even symmetric module over B.
- (£b,T) a closed module over B.
Suppose that there exist projections q, p in £(£) such that 1 = q + p
and
imp~£ b <g)L 2 ([0,l])<g>C 2 .
Assume that the involution r commutes with q and restricts on imp to
1 <8> 1 ® TQT\. For any ip G C([0,1]), let b(ip) G £(£) be the operator given
by the formula
6(V>) = m(ip) + ip(l)q.
Definition 3.5 With these notations, the closed module (£a,T) is the
boundary of (£, S, r) if the following properties hold
a. For every ip G C~([0,1]), with <p(0) = 0, one has 6(</?)(dom S*) C d o m 5 ,
and S*6(p) = Sb(ip).
b. If </> G C c °°(]0,1[), and if £ G d o m S or £ G d o m ¥ ( T ) , then
S<p£ = * ( T ) ^ .
322 MICHEL HILSUM
c. For every ip G C°°([0,1]) with supportip f~l support </? = 0, one has
b{<p)S*b(ip) = 0.
Example 3.6 We can take £ = £b® L2([0, +oo[) <g> C 2 with S the closure
on Cc(]0, +oo[) of the matrix given by the formula (3.1), in which case the
boundary is given by (£b,T).
Remark 3.7 Suppose (£, S, r) and (£;,, T) satisfies the preceding conditions,
but with b(ip) replaced by b(ip) = m(ip)+ip(l)q and the condition a replaced
by the analogous condition a with </?(l) = 0. The one says that (£b,T) is
a right boundary. The two definition are related as follows: we see that
under the unitary U of £b <8> L2(R, C) implemented by the map
MU)J V-&(i-«).
from L ([0,1]) <g> C to L ([0,1]) ® C 2 , the operator * ( - T ) becomes
2 2 2
/ 0 - £a + T N
--£-
U**(-T)U = fa." "
\ «
3u i - o
We see then that if (£b, —T) is the boundary of {£, S, r) in the sens of
the definition 3.8, then replacing b(ip) by b(ip) = (q + pU)b(tp)(q + pU),
the closed module (£b,T) becomes the right boundary of (£,S,T) (and
inversely).
Lemma 3.8 Let {£, S, r) be an unbounded module with boundary as in the
definition above. Then for any (f G C°°([0,1]) ; one has b(<p) € £(S) and
b(<p) e £(S*).
Proof. The proof of b(ip) G £(S) is the same as in Lemma 3.4. The last
assertion follows then from Lemma 2.1. •
We relate now the two notions of partition and boundary. Let (£, D, r)
be an unbounded module partitioned by (£b,T) with projections q~,p,q+
and satisfying to the definition 3.2. We can form the Hilbert module
£ = imp + q+ and set b{ip) = (p + q+)a(tp) for <p G C([0,1]). Let S
the operator obtained by taking the closure of the restriction of D to the
subspace linearly spanned by £ G dom£> such that a(<^)£ = 0 for some
<pecc(]0,i]).
Proposition 3.9 The triple (£,S,T) is a symmetric module which admits
(£b,T) as boundary. Moreover, ifq~(l + D2)~l G )€((£)), then one has
(l + S*Sy1 eJC(£).
Proof. For the first assertion, the only point to check is the regularity
of S. Let 9 G Cc°°([0,1[) such that 6 = 1 in a neighbourhood of 0. Then for
H l L B E R T MODULES O F FOLIATED MANIFOLDS WITH BOUNDARY 323
From Lemma 2.3, we see that that the map (£,77) —> (o(l — 0)£, 6(0)77)
from W(D)ffiW(*(T)) to W(5) is a surjective and adjointable and the for-
mally same map to £ is adjointable too. By a classical result of Mishchenko,
there exists a right inverse to this map, and thus the canonical injection
W(5) —> £ which factors through a product of adjointable maps, is in
£(W(S),£).
For the second assertion, let W C W(D) be the closed subspace gener-
ated by the elements £ G domZ) such that q+£ = 0. The hypothesis implies
that the natural injection W —> £ is compact but as W = W(S), this is
equivalent to suppose that the natural injection W —> £ is compact. •
Inversely, let (£,S,T) a symmetric module with boundary (£b,T) and
projectors p,q satisfying to the definition 3.5. Let (£i,Si) another sym-
metric module with right boundary (£{,,— T), pi,Qi the projectors, as in
the remark above. We can form the Hilbert module £ = imqi © £b £S>
L 2 ([0,1],C 2 ) ffiimq. Let 0 £ C°°([0,1]) such that 0 EE 1 in a neigh-
bourhood of 1, and 0 = 0 near 0, and set D the operator with domO =
61 (9) dom Si + 6(1 - 9) dom S and for f <E dom S and C e dom Si
D
This lemma shows that under these conditions the couple (£, F(a)) de-
termines a class in K\(B) [21]. Recall that to the unbounded module
(£b,T) with T = T* and (i + T ) " 1 G K.(£) is also associated a class in
Ki(B) as follows: the operator F = T(l + T 2 ) " 1 satisfies F - F* G K(£b)
and F2 — 1 G IC(£b), and the class of (£b,T) is by definition the one of the
couple (£b, F) in KX(B). For any V € C°°([0,1]) such that ip(l) = - 1 and
V>(0) = 1, y/(°) = V'(l) = 0. w e set ify = F(a(rp)). From the Lemma 4.1,
the couple (£, F^) determines also a class in K\(B).
H l L B E R T MODULES O F FOLIATED MANIFOLDS W I T H BOUNDARY 325
For the general case, one can suppose that £ = £b ® £ 2 (R) <8> C 2 . In-
deed,let £\ = £ © £o where £0 = B <g> L 2 (R) <8> C 2 , n = T ® T0 and
Di = D ® 1 ® L where L = -^ ® r i . By the first step the module (5o, 1 <8>L)
gives the null class in Ki(B), and the classes defined by D and D\ in K\(B)
are then equal. By the stabilisation theorem of G. Kasparov ([21], Theorem
6.2), the modules ker(ri ± 1) are stabilized, and isomorphic to £b <8> L 2 (R).
Let now for t e]0,1] the Hilbert module given by
£t = imq~ ®(£b®L2(l-r\t-l},C2))®imq+,
and £0 = £b ® L 2 (R, C 2 ). By using the Propositions 3.10 and 3.9, one gets
an evident selfadjoint operator Dt on £t- Let Do = ^oo{T). Then with
obvious notations the family Ft = (Dt+at('ip))(D2 + l)~2 gives a homotopy
between F0 and Fi in KKl{C, B), and thus [Fi] = [F0] = [£b, T}. D
T h e o r e m 4.3 If the closed module (£b,T) is the boundary of a symmetric
module (£,S,T) such that (1 + S*S)~1 £ K.(£), then one has [£b,T] = 0 in
the group K\(B).
Proof. Let £ be the partitioned Hilbert module obtained by adding
£b ® L2(] - oo,0]) ® C 2 and let D the corresponding operator. For any
ip G C°°[0,1] with V(0) = 1, V(l) = - 1 and V'(°) = V>'(1) = 0, we
have a ( » - 1 G /C(D), and thus F(a(V>)) - F ( l ) £ /C(5), where F(o) =
(D 2 +1)~ 2 (D + ra) is defined as before. As F ( l ) is invertible, by Theorem
4.2, we have [£b,T] = [£,F(1)\ = 0 in K^B). D
326 MICHEL HILSUM
5 B o r d i s m of foliations
D2 = V*V + R,
where A(F) is the A-genus of the tangent bundle of the manifold, a universal
polynomial in the Pontryagyn classes of F.
Proposition 7.1 Let (W,F) be a foliated manifold of classe C00'00 which
is a faithful tranverse boundary component of a compact foliated manifold
of class C0'00. If there exists u e 11 such that (A(F) A w, [W]) ^ 0, then
QifrAVjLOinKWiHft)).
Proof. Form the construction of the fundamental class [3], Section III.7,
as Hyy is itself a groupoid of local tranverse diffeomorphisms of (W, F), each
u> G 1Z defines similarly a map <D* : K,,{C*{Hy^)) —> C such uJ*([£b,A\) =
(A(F) Aw, [W]). The assertion follows now from relation (5.2). •
Thus if (W, F) satisfies conditions of Theorem 5.2, or of Proposition 6.3,
the longitudinal index class implies the annulation of all the caracteristic
numbers in the r.h.s. of Equation (7.1).
There always exists w G H*(W, R) such that A(F)Acu = A(W) ; in par-
ticular, if $([£, A]) = 0, then one recovers Lichnerowicz's condition (1.1).
Remark 7.2 In the case where W is the boundary of V, the construction
works if we only suppose that the foliations are oriented, by using the
signature operator alongs the leaves instead of the Dirac operator. The
condition in the last proposition becomes (L(W) A ui, [W]) =£ 0, where
L(W) is the L-genus of the bundle F.
Furthermore, if (V, E) is assumed to be a class C°°'°° then Stokes' The-
orem gives directly (A(F) A u>, [W]) = 0 for every ui £ H.
HlLBERT MODULES OF FOLIATED MANIFOLDS WITH BOUNDARY 331
References
N O N - E U C L I D E A N A F F I N E LAMINATIONS
VADIM A. KAIMANOVICH
CNRS UMR-6625, IRMAR,
Universite Rennes-1, France,
e-mail: [email protected]
The purpose of the present paper is to discuss examples of affine Riemann surface
laminations which do not admit a leafwise Euclidean structure. The first example
of such a lamination was constructed by Ghys [5]. Our discussion is based on the
geometric methods developed by Lyubich, Minsky and the author [13], [12], which
rely on the observation that any affine surface A gives rise in a natural way to a
hyperbolic 3-manifold SjA with a distinguished point at infinity. In particular, we
give a new interpretation and a generalization of the example of Ghys.
In this Section we recall the basic facts on the relationship between affine
and hyperbolic laminations. Although our exposition is self-contained,
more details on this relationship can be found in [12].
(i) an affine Riemann surface, if C is the group of all complex affine maps
z H-> az + b, a , i ) 6 C , a / 0 ;
(ii) a Euclidean surface, if C is the group of all maps z <—> az + b, a,b 6
C, \a\ = 1 (so that the transitions are Euclidean motions).
333
334 VADIM A. KAIMANOVICH
MM =**$$• (1-5)
K - ^ , (1.7)
336 VADIM A. KAIMANOVICH
<7 = CO
Hor(/t) h
V^C
(»
Figure 1.
so that (V,Eh) is a Euclidean plane. Further, by (1.5) the structures £/> for
different h are all proportional, and
Eft!
exp[/?(/n,/i 2 )]- (1-8)
£/i 2
•
Conversely, let us show that any affine surface gives rise to a pointed at
infinity hyperbolic 3-manifold.
Definition 1.9 Let 5 be a Riemann surface. The elements of the scaling
bundle
p:SjS-^S
over S are conformal circles in the tangent spaces TZS, z £ S. Any circle
h G SjS can be considered as the unit circle of the associated conformal
Euclidean metric Sh on T p ^5. Below we shall often identify h and Eh, and
consider SjS as the bundle of conformal Euclidean metrics on tangent spaces
TZS, zeS.
We can use formula (1.8) to define (3(h\, /12) for any two points hi, /12 €
SjS from the same fibre. Therefore, any fibre of p is endowed with the
metric
with f(h) = (3(<j o p(/i), h). Therefore, the graph of the section a coincides
with the level set / _ 1 ( 0 ) .
NON-EUCLIDEAN AFFINE LAMINATIONS 339
2 F o l i a t i o n s a n d l a m i n a t i o n s a s s o c i a t e d 'with t h e h y p e r b o l i c
space
2. A Tautological foliations
H 3 x <9H3 = ( J H 3 x {q}
qedH3
p : f/H 3 -+ H 3 ,
and let 7 = {"fT}Tem be the geodesic flow on UH3. The endpoints of the
geodesic determined by a tangent vector v 6 UH are denoted -y±00(v) G
dH 3 . By
we denote the horosphere centred at the point 7°°(t;) and passing through
the point p(v). Clearly,
determines an action of the geodesic flow on the space Hor(H 3 ). There are
7°°(tO=<7+ = T,
7-°°(w)=9-
Figure 2.
v^{p(v)n°°(v)) (2-5)
3 3 3
from UH to the space H x 9 H is a dijfeomorphism. For any (h,q+) G
H 3 x 9 H 3 the associated vector v G C/H3 is the directing vector of the
geodesic ray issued from the point h in the direction q+.
Proposition 2.6 The map
v^(y-°°(v),Ror{v)) (2.7)
Ax = [J Vg x {q}
qex
is endowed with a lamination structure (this is not a foliation unless X is
a submanifold of 9H 3 ).
Definition 2.18 ([12]) Let G be a Kleinian group. The lamination AG —
3
-4A(G) > where A(G) C 9 H is the limit set of G, is called the affine lamina-
tion associated with the group G. The corresponding hyperbolic lamination
NON-EUCLIDEAN AFFINE LAMINATIONS 343
(ii) If U denotes the Bernoulli shift (51,32, • • •) *-* (<?2,93, • • •) hi the space
(G 0 0 ,^ 0 0 ), then
hoo(Ug) = g^hooig) .
(iii) There exists a number I = 1{JJ) > 0 (the same for a.e. g € G°°) such
that
-d(o,hn) —> I .
71 n—>oo
(iv) The distance between hn and the geodesic ray joining the points o £ H 3
and hoo e <9H3 is o(n).
Combination of (iii) and (iv) implies that /i°°-a.e.
-Phx(ho,hn)^l. (2.21)
n
Assuming that the Busemann cocycle on M.'G is trivial, i.e. there exists
a G-invariant Borel function / on H.'G such that
0q(huh2) = f(h2,q)-f(h1,q). (2.22)
put
F(g) = f(o,h00).
As it follows from (i) above, i^(Ao) = 0, so that the function F is /z°°-a.e.
well-defined. Then
/3/joo (o, hn) = f(hn, /loo) - / ( O , /loo) = / ( 5 1 5 2 • • • 3 n » , /loo) - / ( O , /loo)
1
= f(o,g- ... fljV^oo) - /(o-^oo) = ^(f/ n 9) - ^ ( 9 ) •
Since U preserves the measure n°°, (2.21) would be then impossible by
the Poincare recurrence theorem, which gives the sought for contradiction.
•
Corollary 2.23 There is no Borel G-equivariant map assigning to every
point q G A(G) \ Ao(G) a horosphere centred at q.
The first example of an affine foliation A which is not Euclidean was given
by Ghys [5] (also see [6]) on the base of a construction of non-standard
deformations, of Fuchsian groups due to Goldman [7] and Ghys [4] (note
that a completely different example is given in [12]). Here we shall recast
the example of Ghys by making more transparent its connection with the
NON-EUCLIDEAN AFFINE LAMINATIONS 345
3. A Twisted action
where 7 now stands for the action (2.3) of the geodesic flow on Hor(H 3 )
Then in the coordinates (q, T) (2.7) on C/H3
TS(q,T) = (gq.TST) .
Figure 3.
11X11 = sup ^
gea Kg)
NON-EUCLIDEAN AFFINE LAMINATIONS 347
where
1(g) = min{d(h,gh) : h € H3} , ge G,
denotes the length of the closed geodesic on H associated with the conju-
gacy class of g in the group G.
Proposition 3.6 The action Tx is admissible iff \\x\\ < 1.
Remark 3.7 As a motivation for this result note that if \(g) = ~K9) f° r a
certain element g € G, then T£v = v for any vector v G C/H3 tangent to
the axis of g.
Therefore, using (3.11) and the fact that (7TT)oo = Too for any r £ l and
T € Hor(H 3 ), we obtain
f(T°(h, T)) = f(gh,T9T) = tp{T°T) + 0groo(T°r,gh)
References
REMI LANGEVIN
Laboratoire de Topologie, Departement de Mathematiques,
Universite de Bourgogne, B.P. 47 870, SI 078 Dijon, France,
e-mail: [email protected]
PAWEL G. WALCZAK
Wydzial Matematyki, Uniwersytet Lodzki,
ul. Banacha 22, 90-238 Lodz, Poland,
e-mail: pawelwal@math. uni. lodz.pl
351
352 R. LANGEVIN AND P.G. WALCZAK
djr(yn,xsJ>A,neN, (2)
where A > 0 is a constant which depends on the choice of the foliated chart
only. (See Figure 1, where t — sn for a large n.)
L
U
Figure 1.
On the other hand, the leaf curves 7 t and j t , 7t(s) = hltQ|[0is](xt), have
the same origin xj, stay in the same leaf and - for t sufficiently close to to -
project to curves in L. From the uniform continuity of H\jt0 ([0,1]) x [0,1] it
TRANSVERSE LUSTERNIK-SCHNIRELMANN CATEGORY 353
Figure 2.
354 R. LANGEVIN AND P.G. WALCZAK
Acknowledgments
While preparing this article the second author was supported by the Uni-
versite de Bourgogne and by the Polish KBN grant P03A 033 18.
References
VLADISLAV MEDVEDEV
Department of Applied Mathematics, Nizhny Novgorod
State Technical University
24 Minina Str., Nizhny Novgorod 603600, Russia,
e-mail: [email protected]
EVGENY ZHUZHOMA
Department of Applied Mathematics, Nizhny Novgorod
State Technical University
24 Minina Str., Nizhny Novgorod 603600, Russia,
e-mail: [email protected]
Introduction
355
356 V. MEDVEDEV AND E. ZHUZHOMA
Note that due to the orientability of ft, the accessible boundary of any
component of T™ - ft from within T™ - ft consists of pairs of codimension
one unstable manifolds, so-called 2-bunches (see definitions in Section 1).
A first example of a codimension one non-orientable expanding attractor
was constructed by Plykin [19] on a two-sphere S2. A feature of Plykin's
structurally stable diffeomorphism / : S2 —» S2 is the existence of so-called
1-bunches. To be precise, if ft is a non-orientable codimension one (i.e., one-
dimensional) expanding attractor of / , then there exists a component of
S2 - ft with an accessible boundary consisting of a unique one-dimensional
unstable manifold. In [21], Plykin constructed a codimension one non-
orientable attractors with 1-bunches on open n-manifolds, n > 3 (in the
same paper, he classified, up to conjugacy, diffeomorphisms restricted on
some neighbourhoods of attractors). Bearing in mind these examples, we
call that a codimension one expanding attractor ft is a codimension one
Plykin attractor whenever ft has 1-bunches.
Let us give the sketch of Plykin's construction. Denote by J : T™ - • Tn
the involution x —> —x (mod 1) which has 2™ fixed points v\,... , «2" • Take
the DA-diffeomorphism g :Tn -» Tn with the codimension one orientable
expanding attractor ft9 such that g commutes with J and has the fixed
points vi, . . . ,i>2"- Due to Theorem 2.3 [21] (see the careful construction
in [11], [23] for n = 2 and [5] for n = 3 as well), such g exists. Denote by
q : Tn —> Tn IJ the natural projection which is a double branched covering
with the branch points v\, . . . , v2^• It is not hard to see that the quotient
space T2/J is a 2-sphere. Since g{—x) — —g(x), we obtain an induced
diffeomorphism f : S2 -^ S2 with the one-dimensional Plykin attractor
g(ft s ). As to n > 3, the branch points must be removed to get a codimension
one Plykin attractor on a smooth manifold. Thus, M = q(Tn — U2=1i>i) is an
open smooth n-manifold, n > 3, which admits an induced diffeomorphism
with the codimension one Plykin attractor g(ftg).
As to closed n-manifolds, n > 3, up to now, there are no examples
of diffeomorphisms with codimension one Plykin attractors. Nevertheless,
such diffeomorphisms were investigated. In [12], one proved that if a closed
n-manifold Mn, n > 3, admits a codimension one expanding attractor (ori-
entable or non-orientable), then Mn has a nontrivial fundamental group.
In particular, there no diffeomorphisms of n-sphere Sn, n > 3, with codi-
mension one Plykin attractors. The more precise result was obtained in
[21], where one proved that ^ ( M " ) contains a subgroup isomorphic to the
integer lattice Z n . In [17], Plante proved that an orientable codimension
one expanding attractor defines a nontrivial element of homology group. In
particular, a closed manifold Mn has a nontrivial homology group Hi ( M n ) .
STRUCTURALLY STABLE DIFFEOMORPHISMS 357
1 Main definitions
Ply kin [21] proved that if n = dim M > 3, then any bunch of £} is either
a 1-bunch or 2-bunch. It is not difficult to see that if Cl is orientable, then
every bunch of 0 is a 2-bunch (see the beginning of the proof of Lemma
2.2). So the boundary periodic points of orientable fi split into disjoint
pairs of associated points.
A codimension one expanding attractor ft is called a codimension one
Plykin attractor if fi has 1-bunches.
2 Preliminaries
C\fim(DP)=P, f)fjm(Dq) = q.
j<0 j<0
Due to (1),
V o fjm(Dp -p)= Pm o V{Dp -p) = fjm(Dq - q).
Similarly, tp o fJm(Dq — q) = fjm(Dp — p). Hence, ip extends to the home-
omorphism Wu{p) U Wu{q) ->• Wu{p) U Wu{q) if we put <p(p) = q and
<p(q) = p. a
The following theorem is the crucial step to prove the main theorem.
Theorem 2.1 Let f : M3 -> M 3 be an A-diffeomorphism of a closed 3-
manifold M3. If f has a codimension one Plykin attractor Ct, then M3 is
non-orientable.
Proof. Because of Q, is a Plykin attractor, fi has 1-bunches. Let
Wu(mo) C Q be the unstable manifold forming a 1-bunch of ft, where
mo is a boundary periodic point. Without loss of generality we can assume
that mo is a fixed point of / .
According to Lemma 2.1, there is the homeomorphism tp : Wu(m0) —>
u
W (m0) such that:
Such a family of the disks Da exists because the unstable manifold Wu(mo)
is homeomorphic to the Euclidean plane R 2 and XQ ^ ip(xo)-
9(D S )
is one basic set or clos 0{xi), clos 0{x2) are different basic sets. In both
cases, we denote clos 0(£i) by Cl.
Because 0 is a codimension one expanding attractor, Cl is locally home-
omorphic to the product of a Cantor set and the plane R 2 . Hence, 0 is
locally homeomorphic to the product of a Cantor set and the plane R2 as
well. It follows that the topological dimension of Cl is equal to the dimension
of the unstable splitting restricted on Cl. Since p is a local diffeomorphism,
dimE% = 2, i 6 fi. As a consequence, 0 is an expanding attractor of
codimension one.
Recall that the manifold M 3 is orientable. Due to Theorem 2.1, the
expanding attractor fi has no 1-bunches. Plykin [21] proved that for the
manifold dimensions dim M™ > 3 any codimension one expanding attractor
can contain 1-bunches and 2-bunches. Hence, H contains only 2-bunches.
Let fh\ G fi be a lift under p of the point mo. Because p is a double
covering, rhi is a boundary periodic point of the codimension one attractor
368 V. MEDVEDEV AND E. ZHUZHOMA
Cl. Since every bunch of fi is a 2-bunch, it follows that there is the bound-
ary periodic point m 2 £ 0, m 2 ^ rhi, associated with rhi. Let W^(rhi)
(1 = 1,2) be the component of Ws{fhi) —rrii such that flr\W^(rhi) = 0. In
[8], it was shown that W^(rhi) and W^rh-z) belong to the unstable man-
ifolds Wu{a.\) and Wu(ak+i) respectively of the repelling periodic points
d i , dfc+i (note that the proof of this result uses the fact that M3 is closed),
Figure 4. Moreover, there are repelling periodic points d i , . . . ,&k+i and
saddle periodic points Pi, . . . , Pt of index 2 such that the following condi-
tions hold:
1. The set
M ( * n > y n ) 0 ) = (P(^n),P(jfn))0-
# | W ) =p(Wi(fh2)),p(a1) =p(ak+1),
STRUCTURALLY STABLE DIFFEOMORPHISMS 369
Acknowledgments
The research was partially supported by the INTAS grant 97-1843 and
RFBR grant 99-01-00230. The authors are grateful to D. Anosov, S. Aran-
son, V. Grines and M. Malkin for useful discussions. We thank a referee
for useful remarks.
References
TADAYOSHI MIZUTANI
Department of Mathematics, Faculty of Science,
Saitama University, 255 Shimo-Ookubo Urawa, Saitama 338-8570, Japan,
e-mail: [email protected]
A Poisson manifold is called " exact" if its Poisson bi-vector field represents a triv-
ial element in the Poisson cohomology. We investigate some topological properties
of the foliation which is associated with an exact Poisson manifold and construct
explicit examples of exact Poisson structures on closed 3-manifolds which are dif-
ferent from homogeneous ones.
1 Introduction
which is given by
Ix{ax) = Ux(ax, •) = i Q x n , ax € T*M,
at each point x G M. Here, we used the notation of interior product to
express a contraction of tensors.
The rank of the linear map Ix is called the rank of H at x and it is
denoted by rank Hx. If the rank Il x is constant on the whole manifold,
(M, II) is called regular. In this paper, we are mainly concerned with regular
Poisson manifolds.
One of the geometric aspects of a Poisson manifold (M, II) is the fact
that the distribution (plane field) given by
Image/ X <ZTXM
is integrable ([9]), and hence it defines a smooth foliation when (M, II)
is regular. We denote this foliation (=integrable distribution) by T —
T-R. It is called the characteristic foliation of (M,II), and its leaves are
called symplectic leaves, since II restricted to each leaf naturally defines a
symplectic structure on it.
It is natural to ask to what extent J-JJ reflects the properties of II.
In Section 2, we review basic facts on the Schouten bracket, especially
its relationship with the generalized divergence. We also give a condition
for a plane field defined by a regular 2-vector field to be integrable. It is
expressed in terms of the Schouten bracket and the generalized divergence
of II. In Sections 3, 4, 5, we consider exact Poisson manifolds. A Pois-
son manifold (M, II) is called an exact Poisson manifold, if there exists a
vector field Z such that [Z, II] = —II ([1], [9]). From the view point of
Poisson cohomology, this means that a Poisson 2-cocycle denned by II is a
coboundary of a 1-cochain. We ask ourselves if this condition imposes any
topological conditions on the characteristic foliation and try to understand
which codimension one foliation of a closed 3-manifold has such an exact
Poisson structure. In Section 3, we will give homogeneous examples of such
structure and characterize them in terms of the homothetic vector field Z.
In Section 4, we investigate the properties of the homothetic vector field
Z and prove it is tangent to the foliation under a mild condition. In Sec-
tion 5, we will carefully construct an example of an exact Poisson structure
which is different from homogeneous ones. Its characteristic foliation is the
one known as a Hirsch foliation and it enables us to get examples with
exceptional leaves.
In this paper, we tried to use vector field description where possible
rather than differential forms since the Poisson structure itself is of vector
field nature. All the manifolds are assumed to be C°°. KPTM denotes
ON EXACT POISSON MANIFOLDS OF DIMENSION 3 373
the p-th exterior space bundle of the tangent bundle of M and T(APTM)
denotes the set of smooth section of it, that is, the space of p-vector fields.
Then we have
n ( o , , - ) = 0, j = l,...,q.
Taking the covariant derivative, we have
(Vn)(ai,.) + n(VaJ-)-)=0.
By contraction, we obtain
(DivU)(aj)+U(daj) =0. (6)
Thus, if { a i . . . a , } satisfies the Frobenius integrability condition, H(dotj) =
0 and we have
DivII(aj) = 0.
This shows that DivII is a vector field tangent to Tn and DivII A XI' = 0 ,
since rankll = 21.
Conversely, if DivIlAlT' = 0, fromO = (c^,DivIlAll') = (Divn)(a.,)An'
we can see (Divn)(a.,) = 0 and hence by (6), we get H(daj) = 0 for each
j . This means that each dotj should be of the form
Q
^2 ak A pkj
fc=i
for some 1-forms {Pkj}- This shows {a\,... ,aq} satisfies the Frobenius
integrability condition. •
We get the following well-known fact
376 TADAYOSHI MIZUTANI
(du)(X,-) = Lxoj-d(uj(X,-))
This means
[n(A,-),n] = -n.
T h u s , (T*M, n , I I ( A , •)) is an exact Poisson manifold.
E x a m p l e 2 ( L i e P o i s s o n s t r u c t u r e ) Let (fl*,n) be t h e Lie Poisson struc-
ture on t h e dual space of a Lie algebra g. T h e Poisson bi-vector field II is
defined as follows. We have an identification T*g* « g* x g " = g* x g by
O N E X A C T POISSON MANIFOLDS OF DIMENSION 3 377
Lz{U{p, q)) = Lz(a({x, y])) = ^ | 4 =o(e'a([x, y})) = a([x, y]) = U(p, q).
Since II is nowhere vanishing, this shows that Z and DivII are two vector
fields tangent to the leaves of Txi, and are linearly independent at each
point of M. Taking Div of both sides of [Z, II] = - I I (see Section 2), we
have
This shows that on M there exists an locally free action of the 2-dimensional
affine group GA. Since divZ = 0 and div(DivII) = Div 2 II = 0, we have
Lz$l — 1/Divn^ — 0. This means that the action of GA preserves the
volume fi. Now a theorem of Ghys ([2]) concerning the rigidity of the
action of GA on 3-manifolds says that this action is smoothly conjugate to
one of the standard ones. That is, it is equivalent to a natural action of GA
which is the action on one of the quotient manifolds G/T in the examples
of this section. This means that there is a diffeomorphism tp : M —• G/T
sending Z to Xi and DivII to X^.. •
380 TADAYOSHI MIZUTANI
L Si
Q = TT.
I H= ( v'
= I rf+j i+f r,'
J Co J C\ J C2
= - ( 1 / 2 ) f 1 d0+ f 1 dd = TT.
Js Js
Put
Tj = r]' + <q".
iz0ti = V-
Since LZoQ = diZoQ = dij = $7, we have
o = LZO(CI,TI0) = (L Zo fi,n 0 ) + (n,LZon0)
= (diZon,u0) + {n,LZou0) = I + (n,Lz o n 0 ).
This shows that
LZOIIQ — -IIo.
References
YASUHARU NAKAE
Graduate School of Mathematical Sciences, University of Tokyo,
Komaba Meguro, Tokyo 153, Japan,
e-mail: [email protected]
1 Introduction
387
388 YASUHARU NAKAE
2 Computing examples
foliation cones, the procedure of calculation for a foliation cone and some
notations, the readers are referred to the paper of Cantwell-Conlon [2]. We
work under the hypotheses of [2]. If a sutured manifold M is completely
disk decomposable then by a theorem of Gabai [7] we obtain a depth one,
taut foliation JF and its structure is well understood. In particular for a
pretzel link K with n + 1 components, the manifold MS(K) obtained by
cutting off a complement space E(K) of n along a Seifert surface S becomes
a handle body with genus n and MS(K) is completely disk decomposable.
We consider its taut depth one foliation T, a non-compact leaf L of T and
the element h of an isotopy class for the first return map of the transverse
flow with respect to L. Let {R\, • • • , Rn} be a Markov partition for Z n L
and h, here Z is a set of orbits of the transverse flow which do not intersect
8MS(K).
_fl h{Ri) n Rj ^ 0 ,
fltJ
~ jo h{Rl)nRj=$,
and then
T,A = {(... ,Jfc,ifc+i,. • .)|a»fcifc+1 = 1 Vfc € Z}
is the allowable set defined in section 4 of [2]. If i G S^ is a periodic element
of YJA then the homology class I \ of the corresponding closed orbit of the
390 YASUHARU N A K A E
using disks {+Di, —.D2}. Then its core K becomes as in Figure 2. We see
by these figures how the laminations T± behaves. We express the Markov
partition {R\, R2, • • • ,Rs} in a form
[ rectangle : labels of stable boundaries on disk ],
as follows.
Rx : AC R2 : BC R3 : AB R4 : DE
R5 : EF R6 : DF R7 : FG Rs : DG
Then the matrix A = (ay) is obtained as follows
/0 0 0 1 0 0 0 0\
0000 1000
00000100
01000000
00 1000 10
10000010
0000000 1
\l 0 0 0 0 1 0 0/
Thus the minimal loops defined by this symbolic dynamics are
T(...1425361...) = 3 ( Q l - 0:2),
(...678...) -Oil
and then the cone to which \T\ belongs is defined by the inequalities
The corresponding bases of the cone in H2{M, dM) is the segment [ei, eo]
as in Figure 3.
By symmetry one only has to consider the additional cases {—D\, +D2}
and {+DQ, — D\), then obtains foliation cones corresponding to the pretzel
link K = (2, 4,4) as in Figure 3.
E x a m p l e 2.2 Secondly we compute the foliation cones corresponding to
the pretzel link K = (6, 6,6). This link n, its Seifert surfaces and the sutured
manifold Mg{n) obtained from the link complements by cutting along the
Seifert surfaces are drawn in Figure 4.
minimal loops
r(...ij 1 R 2 fi 3 R 4 ...) = 4 ( - a i )
3Q
?(...RwRiiRi2...) = 2-
T h e n t h e cones t o which T belongs is defined by the inequalities
{ai<0},{a2>0},
and a base for this cone in H2(M, dM) is the segment [—ei, e2]. By symme-
try, without calculating other decompositions we obtain t h e foliation cones
corresponding t o t h e pretzel link K — ( 6 , 6 , 6 ) as in Figure 5.
<ei,e2l... ,en),
( e i , e 2 , . . • , e i _ i , e o , e i + i , . . . ,e„) (i = 1,2, • • • , n ) .
Figure 6. Labels
Di D2 h(x,)
h(x2)
J L
h(yn) 3" y* yn h(xn)
Case 2. For some i, we decompose by using the negative disk — Di and all
other decomposition is by positive disks +Dj, i.e.
{+£>i, +D2, ••• , + A - 1 , ~Di, + A + 1 , • • • , +Dn}.
The core K corresponding to this decomposition is as in the Figure 9 and
the corresponding matrix A = (a,ki) is given by
1 k = i or I = i ,
a-ki
0 otherwise .
Hyi)
N-,
h(xi)
Hy«)
Myi-2) h(yi-l) hixi-i) h(xi-2)
Dn-I Dm Hyi)
Hx„)
apart from the link complement along this S is as in Figure 11. As in the
previous section, in Figure 11 we take the labels on the components of the
intersection of the decomposing disks Di and the copy S+ of the Seifert
surface S.
:*X-X'' A
XI fflflllliiltRI
r itw"'" * fc^%
Vm
T"*!*!*!**"
n?.*.**
Zn
ym
Di Di
XI
: : :
x, "' •ill y> z
'
'' X : : -*:s!\;o
We divide the proof into three cases. Case 1 is the case when all of
I, m and n are greater t h a n 1. Case 2 is when two of t h e m are 1 and
the rest is greater t h a n 1. T h e last Case 3 is when one of t h e m is 1 and
t h e others are greater t h a n 1. In each case we perform six disk decomposi-
tions {+£>!, -D2}, {-Du +D2}, {+D0, - Z M , { - D o , +£>i}, { + D 0 , - D 2 } ,
{—Do, + D 2 } , and we prove t h a t the foliation cone for a disk decomposition
depends only on the choice of decomposition disks but does not depend on
(l,m,n). For each decomposition, let T be the t a u t depth one foliation
constructed by Gabai's method [7].
C a s e 1. First we perform t h e disk decomposition by { + D i , —D2}. T h e n
t h e figure of the core for this decomposition is as in Figure 12.
Using these labels on t h e figure, we see t h a t we can take a Markov
partition as follows:
P : Dz\ Q : DC R : x\ym S : Xxx2
Pi : z\z2 Q\ : Dyi Rx : x\B S\ : x2x3
• : R2 • xiyi :
: : : 5;_i : xxA
Pn : znC Qm : Dym Rm : X i y m _ i Si : x\A,
where we express the relation between an rectangle and labels as
: : R2 —> S, Qi :
{a2<0},{ai>0},
400 YASUHARU N A K A E
Figure 13. The diagram of relation of the symbolic dynamics in the Case 1-a
and the bases of the cone in H2(M, dM) corresponding to it is the segment
[ei,-e2].
It is not necessary to calculate cones for the other decompositions be-
cause there are orientation preserving homeomorphism of M3 giving ar-
bitrary permutations of the components of K and these same homeomor-
phisms give arbitrary permutations of basis ei, e 2 and eo, hence calculations
for another decompositions is essentially the same by symmetry.
The proofs in the two special cases, Case 2 and Case 3 are minor mod-
ifications of the proof in Case 1. The details are left to the reader. •
References
R E G U L A R PROJECTIVELY A N O S O V FLOWS W I T H O U T
COMPACT LEAVES
TAKEO NODA
Graduate School of Mathematical Sciences, University of Tokyo,
Komaba Meguro, Tokyo 153, Japan,
e-mail: [email protected]
TAKASHI TSUBOI
Graduate School of Mathematical Sciences, University of Tokyo,
Komaba Meguro, Tokyo 153, Japan,
e-mail [email protected]
This paper concerns projectively Anosov flows ipt with smooth stable and unstable
foliations Ts and Tu on a 3 dimensional manifold M. We assume that the manifold
M is either a torus bundle over the circle or the unit tangent bundle over the closed
surface of genus greater than 1. These manifolds are known to be the only manifolds
(up to finite cover) which admits an Anosov flow with smooth stable and unstable
foliations. We show that if the foliations T3 and Tu do not have compact leaves,
then the flow is isotopic to an Anosov flow. For projectively Anosov flows with
smooth stable and unstable foliations on the torus bundles over the circle, since
the case where the Ts or ^Fu has a compact leaf is already settled by the first
author, we obtain the complete classification of them.
leaves. Then after changing the parameter of the flow (reversing the pa-
rameter if necessary) ipt is isotopic to a quasi-Fuchsian flow.
Together with the result in [14], Theorem 1.1 completes the classification
for t h e regular projectively Anosov flows on torus bundles over the circle.
On the other hand, we know no examples of regular projectively Anosov
flows with compact leaves on the unit tangent bundle M of a closed surface
£ of genus greater t h a n 1.
As we mentioned, the foliations Tu and fs are known to be those of
the Anosov flow, hence our problem is whether the fact t h a t t h e flow is
regular projectively Anosov implies t h a t t h e intersection of Tu and Ts is
the same as the intersection of the Anosov flows. (In the recent paper [12],
t h e uniqueness of the transverse intersection of Tu and Ts for t h e torus
bundles over t h e circle is shown. Hence our Theorem 1.1 follows from our
L e m m a 3.3 a n d t h e uniqueness of t h e intersection. T h e proof is not so
simple and it would be worth giving our proof valid only for our situation.
In fact in [12], it is also shown t h a t the transverse intersection of Tu and Ts
for the unit tangent bundle of the hyperbolic surface is not unique. Hence
the assumption t h a t the flow is regular projectively Anosov is necessary.)
To_show our results, we look at the leaf spaces of t h e lifted foliations Tu
and J P ^ a n d t h e orbit space of t h e lifted flow <pt on the universal covering
space M with the action of wi(M). T h e key observation (which was difficult
to find b u t is easy to prove) is t h a t , in our case, the orbit foliation !p of M
is Hausdorff. We give the discussion on this in Section 2.
T h e n we look at the action on the orbit space M/<p. This enable us to
follow the argument of Ghys [6] to conclude t h a t our flow is isotopic the
Anosov flow after changing the parameter. In this way, we show Theorems
1.1 and 1.2 in Sections 3 and 4, respectively.
In Section 5, we give an alternative proof of Theorem 1.1, which gives t h e
section of t h e flow by using the result of Schwartzman [16] in a way similar
to t h a t in a paper by Plante [15] and it may give a better understanding of
t h e situation.
We t h a n k Shigenori M a t s u m o t o for pointing out the similarity of our
original proof of Theorem 1.1 to the paper [15] by Plante also the members
of T I T Saturday Seminar for valuable comments. T h e authors t h a n k Remi
Langevin and Yakov Eliashberg for their hospitality during their stays.
2 I n d u c e d flow a n d f o l i a t i o n s in t h e u n i v e r s a l c o v e r i n g
(ft, -^"_a n d Fs be the induced flow and foliations on the universal covering
space M of M.
Using the result of Tamura-Sato [17], we see that the foliations Tu and
T do not have Reeb components and this implies that all leaves of Tu and
s
The map p to the plane is a TT\ (M) equivariant submersion and it determines
the structure of the orbit foliation <p of the flow <pt.
^ Now the problem is whether the orbit foliation ip of the lifted flow on
M is Hausdorff. We have the following proposition.
P r o p o s i t i o n 2.1 Let <pt be a regular projectively Anosov flow on a 3-
manifold M. Assume that the lifted stable foliation Ts of the universal
covering space M is diffeomorphic to the product foliation of R 3 . Then
the lifted orbit foliation ip restricted to each leaf Lu of the lifted unstable
foliation Tu is Hausdorff.
Proof. Suppose that there a£e 2 orbits £ and £' of ip on Lu such that a
sequence {£{) of orbits of ip on Lu converges to them simultaneously. Let
LI denote the unstable leaf passing ^ . Then by the assumption that J-s is
the product foliation, The leaf L\ converges to a leaf Ls. Thus £ and £' are
components of the intersection of Lu and Ls.
Now we take points x and x' on £ and £', respectively. Then we take
a foliated rectangles T and T" at x and x' transverse to ipt, respectively.
There are curves 7" and 7 s on Lu and Ls joining x and x'. Then we obtain
holonomies /i"„ and hs s for the foliations Tu and Ts, respectively. Since
Lu and Ls are contractible, the holonomies do not depend on the paths on
the leaves.
Now take a Riemannian metric on M adapted for the projectively
Anosov flow ip. We lift it to the universal covering space M. We look at
REGULAR PROJECTIVELY ANOSOV FLOWS WITHOUT COMPACT LEAVES 407
ft • Since the resulted diffeomorphism sends the fibre of the torus bundle
to an isotopic torus, it is isotopic to the identity.
Let Tu and Ts denote the unstable foliation and the stable foliation of a
regular projectively Anosov flow without compact leaves on the unit tangent
bundle M of a closed surface E of genus greater than 1.
To prove Theorem 1.2, we use the following strong theorem by Ghys [7].
Theorem 4.1 (Ghys [7]) Let T be a foliation of class C3 of the unit
tangent bundle M of a closed surface E of genus greater than 1. Suppose
that T has no compact leaves, then there is a hyperbolic metric g on E
such that T is isotopic to the stable foliation Fg for the geodesic flow for
the metric g.
Note that the stable foliation Fg and the unstable foliation Fg for the
geodesic flow for the same metric g are isotopic.
As Anosov flows with smooth stable and unstable foliations, Ghys de-
fined the quasi-Fuchsian flow (j)gi i92 in [6] and proved the following theorem.
Theorem 4.2 (Ghys [6, 7]) Let<pt be an Anosov flow on the unit tangent
bundle M of a closed surface E of genus greater than 1. Suppose that the
stable foliation Ts and the unstable foliation Tu are of class C3, then there
are two hyperbolic metrics g\ and g% on E such that ft is isotopic to the
quasi-Fuchsian flow <j>gi S2 whose stable and unstable foliations are isotopic
to Fgx and Fg2, respectively.
For the quasi-Fuchsian flow <j>gi i92 , the map p : M —> Qu x Qs is not a
surjective map.
Now in our situation, by Theorem 4.1, Ts and Tu are isotopic to F^ and
F " for some hyperbolic metrics gi and g^ on E. The question is whether
the intersection of Ts and Tu is isotopic to <j>gi,g2-
We know that Tu and Ts are the product foliations of R 3 . (This follows
from the earlier work by Thurston [18] (see also Levitt [10]) which says that
foliations without compact leaves are isotopic to the foliations transverse
to the fibres.) Hence by Lemma 2.2, the map p : M —• Qu x Qs is a
fibration to its image. The intersection of the image p{M) and a horizontal
line Qu x {*} or a vertical line {*} x Qs is diffeomorphic to a real line.
Theorem 4.1 also gives the information of the action of ni(M) on Qu
and Qs. The generator of the centre of 7Ti (M) represented by the fibre of
the circle bundle acts as translation by 1. Hence any element a of TTI(M)
acts Z periodically on Qu and Qs. If a has a fixed point on Qu, its fixed
REGULAR PROJECTIVELY ANOSOV FLOWS WITHOUT COMPACT LEAVES 411
point set is the union of the attracting fixed points {xs + m}, (m € Z)
and the repelling fixed points {xu + n } , ( n e Z ) . Moreover, a also has the
fixed point set which is the union of the attracting fixed points {ys + m},
(m £ Z) and the repelling fixed points {yu + n}, ( n £ Z).
It is also important to note the following facts. The action of IT\{M) on
Qu or Qs is minimal, i.e., every 7Ti(M) orbit is dense. The union of fixed
point sets of the action of elements of lri(M) is dense in Qu or Qs. On Qu
and Qs the notion of the length of the interval being an integer has meaning
which is invariant under the action. Hence the notion of the length of the
interval being greater than 1 also has meaning.
L e m m a 4.3 The length of the intersection of the image p{M) and a hori-
zontal line Qu x {*} or a vertical line {*} x Qs is at most 1.
Proof. Assume that the length of intersection of p{M) and Qu x {y}
is greater than 1. Since the image p(M) is an open set and the union
of fixed point sets is dense in Qs, by replacing y by a nearby point, we
may assume that y € Qs is a fixed point under the action of an element
a € 7ri(M). We may assume that this is an attracting fixed point ys, for
otherwise we take a - 1 . Let yu denote the repelling fixed point for a such
that ys - 1 < yu < ys. ___
Since the length of intersection of p(M) and Qu x {ys} is greater than
1, there are at least 2 fixed points, one attracting and one repelling, on
the intersection. Assume that the fixed points (xu,ys), (xs,ys), (xu <
s u
x < x + 1) are on the intersection. (The argument is similar for the case
Xs < xu < xs + 1).
We first show that the image p{M) contains neither [z",a;s] x {ys} U
{x } x [ys,yu + l] nor [xu,xs] x {ys}U{xs}
s
x \yu,ys\.
(xs,yu + l) (xs,yu + l)
Assume that p(M) contains [xu,xs] x {ys} U {xs} x [ys,yu + 1]. (The
other case is similar.) Let Ls be the leaf of Ta which has a lift (p")~1{ys) in
M. On L3, we have two closed orbits corresponding to (xu,ys) and (xs, ys)
and these two closed orbits bound an annulus with the flow which is the
suspension of the action of a on the interval [x",:r s ] x {ys}.
In the same way, Let Lu be the leaf of Tu which has a lift (pu)~1(xs)
in M. On Lu, we have two closed orbits corresponding to (xs,ys) and
{xs,yu + 1) and these two closed orbits bound an annulus with the flow
which is the suspension of the action of a on the interval {xs} x [ys,yu + 1].
Note that since there are annuli in Ls and in Lu bounded by the closed
orbits, the directions of the flow on these three closed orbits are paral-
lel. In other words, the action of a on p~1(xu,ys), on p~1{xs,ys) and on
1 s s
p~ (x , y + 1) is either simultaneously in the same direction as the flow or
simultaneously in the opposite direction to the flow. (Compare the situa-
tion with that of usual geodesic flows.) Then either the action of the flow on
the normal bundle TM/Tip along the closed orbit corresponding to (xu, ys)
or that along the closed orbit corresponding to (xs, yu + 1) contradicts that
the flow is projectively Anosov.
Now we show that the image p(M) contains either [a:",! 5 ] x {y3} U
{x }x [ys,yu + l}oT J I " , I S ] x{y3}U{xs}x
3
[yu,ys].
Since the image p(M) is invariant under the action of a and the an open
interval containing [x u ,x s ] x {y8} is in the image, the image p(M) contains
(xs — l,xu + 1) x {ys}. By the same reason, since the image contains a
neighbourhood of (xs,ys), the image p(M) contains its attracting basin
(xu,xu + 1) x (yu,yu + 1). The image also contains a neighbourhood of
{xu}x(yu,yu + l).
Then by the invariance under the action of the centre of 7i"i(M), the
imagep{M) contains (xs-2, xu) x {ys-1} as well as (xu-1, xu) x (yu-l,yu)
and a neighbourhood of {xu — 1} x (yu — 1,2/").
Since the intersection of the image p{M) and a vertical line {x} x Qs is
diffeomorphic to the real line, the image p{M) contains (xs — l,xu) x [ys —
1,2/*]. _
Thus we see that only the intersection of the image p(M) and Qu x
{yu + n) might be of length not greater than 1. However, since the action
of the 7Ti(M) on Qs is minimal, there is an element /? € ni(M) which sends
yu out of {yu + n} and this means that the length of the intersection of
p(M) and Qu x {yu} is greater than 1.
Since the intersection oip(M) and Qu x {yu} contains (x3 — 1, xu) x {yu},
it contains either (xs - 1,2/") or (xs,yu).
REGULAR PROJECTIVELY ANOSOV FLOWS WITHOUT COMPACT LEAVES 413
,(xs,yu + l)
xu + l,ys
{ys - 1}U (xu - 1, xu) x (yu - 1, yu) and a neighbourhood of {xu - 1} x (yu - 1, yu)
as well.
If the image p(M) contains (xs — l,yu), then it contains (xs,yu + 1),
hence it contains [ x u , x s ] x {ys} U {xs} x [ys,yu + 1]. If t h e image p(M)
contains (xs,yu), then it contains [a; u ,a; s ] x {ys} U {x3} x [yu,ys]-
Thus, by t h e contradiction, we have shown the lemma.
Let M denote the covering corresponding to the fundamental group
of the fibre. M fibres over the Poincare disk D. Since the foliations Ts
and Tu are isotopic t o the foliations transverse to the fibres, Tu and Ts
arejiiffeomorphic to t h e product foliation of D x jS 1 . ^We obtain t h e m a p
p : M —> Qu x Qs, where Qu = MjTu and Qs = M/?s. By Theorem 4.1,
t h e circles Qu and Qs are with projective structures and 7 r i ( M ) / Z = 7ri(i7)
acts on t h e m as projective transformations.
In the case of t h e quasi-Fuchsian flow on M, as is explained in detail
in [6], p is a fibration onto S1 x S1 — {(x,h(x));x G S1}, where h is a
homeomorphism of the circle.
In our case, we do not assume the existence of the invariant splitting of
TM and we do not know t h e existence of the affine structure on of t h e orbit
space of t h e (p restricted to a leaf of Tu oi Ts. However, t h e transverse
414 T. NODA AND T. TSUBOI
5 Asymptotic cycles
vu € Eu and v3 e Es:
\\Tft{vu)\\ KrctP
u
W
\\T<Pt{v»)\\ ~ \\v'W
We take the pullback^metric on M and the lifted flow (pt, then for the
induced splitting of TM/Tip, we have the same in equality as above.
Now we take account of the foliations Tu and Ts.
For a curve 7 on a leaf of Tu, we look at the linear holonomy /i" of the
foliation Tu along 7. Since Tu is isotopic to Fu, for the induced metric
on TM/TTU, it is contracting. It is easier to describe this fact for the
curve 7_on a leaf of the pullback foliation Tu = p*Tu of the cyclic covering
space M.
Lemma 5.1 Let e ± A (\ > 0) denote the absolute value of the eigenvalues
of the monodromy matrix A. Let p : M —> M be the cyclic covering. We
consider a Riemannian metric on M, and on M the pullback Riemannian
metric. LetT° = p*Ta (a = s,u) denote the pullback foliation. For a curve
7 : [0,1] —> JP7 on a leaf of T", let hZ, denote the holonomy along 7 from
the germ of transverse arc at 7(0) to the germ of transverse arc at 7(1).
Then there is a positive real number K such that the following inequalities
hold:
K -l e -A{g(7(D)-?(7(0))}|| t; a|| < llft^^H < Ke -Mp(7(D)-p(7(0))}|| vS || ;
Let £ be the vector field associated with tpt- For a signed measure on
M invariant under ipt, put Alfi(fi)(uj) = / (£,w)d/u for any closed form
JM
bj. The asymptotic cycle is the image in Hi(M\H) of Av of the invariant
probability measures.
1 fT
A quasi-regular point x is a point such that the limit lim — / f(<pt(x))dt
T Jo
exists for any continuous function / . For a quasi-regular point x, Ax =
~Q~
lim — exists, where Ct is the homology class of the orbit from x to <ft(x)
joined with a bounded path from <ft(x) to x. Note that, for a quasi-regular
point x, Ax is in the image of A^.
T h e o r e m 5.2 (Schwartzman [16]) 1. For any invariant probability mea-
sure fi, the set of quasi-regular points is measure 1, andAv(fj,)= Axdfi(x).
JM
2. If there exists C € H1 (M; R) such that (A^fj,), C) > 0 for any invariant
probability measure, then ipt has a section.
Hence, for C e i J 1 ( M ; R ) , if we show that there exist a positive real
number e such that (AX,C) > e for any quasi-regular point x, then ipt has
a section.
Now we prove our main theorem.
Proof of Theorem 1.1. For an orbit of (pt on M, by Lemma 5.1,
vU vU
r-2c2Mp(9t(x))-p(x)}\\ W < 11^(^)11 < r2c2\m$t(x))-p(x))W W
\\Tyt(vu)\\ Kpct\vn
\\T$t{v°)\\ - \\V\\
for t > 0, vu € Eu and vs G Es. Hence we have
Ktf't < K 2 e 2A{p((? t (2))-p(x)}
Acknowledgments
References
TAKASHI TSUBOI
Graduate School of Mathematical Sciences, University of Tokyo,
Komaba Meguro, Tokyo 153, Japan,
e-mail: [email protected]
1 Introduction
Put
Gi = Y[Ghk, h1 = l[hltk, G2 = l[G2,k, h2 = l[h2tk.
fc fC f£ fc
Then these are well defined homeomorphisms of the interval [—1,1], and we
have h = [Gi,/ii] = G i / n G i " 1 / ! ! - 1 and f2 = [G2,h2\ = G2h2G2~lh2-1
Thus / = / i / 2 is a product of two commutators.
This shows that Homeo([-l, 1]) is uniformly perfect. •
as before and these are Lipschitz homeomorphisms of the interval [0,1] with
Lipschitz constants bounded by D. Thus
f = fif2 = [Gi,hi][G2,h2],
and we proved that HomeoL([0,1]) is uniformly perfect. •
Let Diff ([0,1]) denote the group of C 1 diffeomorphisms of the interval. For
an element / of Diff ([0,1]), sup | l o g / ' | measures the distance between /
and the identity. This is equivalent to max{sup | ( / —id)'|, sup | ( / - 1 — id)'|}.
These would be referred to as C 1 norm of / . These give rise to a left
invariant metric on Diff ([0,1]).
There is a natural homomorphism t o R x R which is the evaluation of
the logarithms of the slopes at the endpoints. That is, the homomorphism
maps / e Diff^fO, 1]) to (log/'(0),log/'(l)) 6 R x R. Let Diff{([0,1])
denote the kernel of this homomorphism.
In this section, we show that Diff {([0,1]) is a perfect group.
T h e o r e m 4.1 Let Diff1([0,1]) denote the group of the C1 diffeomorphisms
of the interval which are tangent to the identity at the end points. The group
Diff^jO, 1]) is a perfect group.
We will use a version of fragmentation lemma ([5], [18], [27], [7]).
Let rj be a smooth monotone increasing function on [0,1] such that
428 TAKASHI TSUBOI
r)(x) = 0 f o r x G [0,1/2],
r)(x) = 1 for x G [3/4,1] and
r)'(x) < 8 for x£ [0,1].
Let v denote the smooth function on the half open interval (0,1] such that
v(x) = r)(22kx) for x G [2- 2 f e -\2- 2 f c ] (k > 0, k G Z) and
I/(I) = 1 - 77(22fc+1:r) for x € [2- 2 f c - 2 , 2" 2/c - 1 ] (fc > 0, k E Z).
The support of i/ is contained in \JkLo[2~2k~1> 2 _2fc_1 3] and that of 1 - v
is contained in \J^L0[2~2k~2,2~2k~23]. Since the absolute value of dvjdx
on [2~k~1, 2~k] is estimated by 2k+3, we have the estimate \dv/dx\ < 2s/x.
In a similar way, since the absolute value of dlvjdxl (t — 1,2,...) on
[2~k~1,2~k] is estimated by C(2U for some constant Q, we have the estimate
\d?v/dxt\ <ce/xe (£ = 1,2,...).
Let H : [0, 2] x (0,1] —> [0,1] x (0,1] be a continuous map defined by
H(t, x) = O ( x ) , x) for t € [0,1] and H(t, x) = {{t - 1)(1 - ^(x)) + j/(z), i )
for t G [1,2]. This is written as H(t,x) = ((t - [t])ut_[t](x) + [t]vi(x),x) for
t G [1,2), where i>i = v and v^ = 1 — v.
For an element / G Diff}([0,1]), consider a foliation F of [0,1] x (0,1]
whose leaves are line segments {(t, f(x) + t(x — f(x))) ; ( € [0,1]} joining
(0,/(a:)) and (l,x). This is the isotopy ft(x) = f(x) +t(x — f(x)) between
/ and the identity. The slope of the leaves are estimated by \f(x) — x\. Let
Z(t, x) be the slope of the leaf of F at (t, x). Then
=(i
- £ ) ( / r l ( a ; ) ) / { i + ( i - t]tc{!t~1{x)))-
Z(t,x) is C°° with respect to t and C 1 with respect to x and Z(t,0) = 0.
Since / is tangent to the identity at 0, (dZ/dx)(t,0) = 0.
Since Z(t,x) is C 1 with respect to x, we fix the modulus of continuity
e(5) for (dZ/dx)(t,x) which satisfies 6(61+62) < e(6\)+e(62) and e(6) —> 0
as 6 —» 0. In particular, \(8Z/dx)(t,x)\ < s(x).
We look at the pull back H*F of F by H.
L e m m a 4.2 If Z is small and flat along x = 0, then the pull back foliation
H*F is a C1 foliation on [i - 1, i] x [0,1] (i = 1,2).
O N THE PERFECTNESS OF GROUPS OF DIFFEOMORPHISMS OF THE INTERVAL 429
at ax i v 0 1
Let X(t,x) denote the slope of H*F. Then
dt dx / V / \
Hence
dX_ f f ^ +Z*^
a* i-z((t-[t])*3£fci + [t]*£)
-Zv[t]
- f Q - [*])%* + M%) -*((*- M ) ^ + Mfe)
( i _ z ( ( t - [ t ] ) ^ + [t]^))a
If x is small, then the denominators are near to 1. The numerator of the
first term is estimated by s(x) + e(x)x(23/x) and that of the second term
is estimated by s(x)x(s(x)(23/x) 4- e{x)x(c2/x2)). Hence X is C 1 with
respect to x. •
Proof of Theorem 4.1. By Lemma 4.2 H*Fis a C 1 foliation of p - 1, i] x
[0,1] (i = 1, 2). Let /i (i = 1, 2) denote the holonomy of H*F from
{i} x [0,1] to {i - 1} x [0,1]. Then we see that / = /1/2, and f\ and fi are
C 1 diffeomorphisms with support contained in the closures of the unions
of disjoint intervals U£l 0 [ 2 ~ 2 , c ~ 1 ' 2 ~ 2 f c ~ l 3 ] a n d U l 0 [ 2 ~ 2 f c - 2 > 2~2k~23], re-
spectively.
430 TAKASHI TSUBOI
{(t,f{x)+t(x-f(x))); te[0,l}}
joining (0,/(x)) and (l,x). Then Z(t,x) is C°° in t and x, and Z(t,x) is
infinitely flat at x = 0.
We use the same partition of unity v\ = u, vi = 1 — v on (0,1] as in
Section 4, and define the map H : [0, 2] x (0,1] —> [0,1] x (0,1].
We look at the pull back H*F of F by H. We show that this is a C°°
foliation on each [i — 1, i] x [0,1].
L e m m a 5.2 If Z is small and infinitely flat along x = 0, then the pull back
foliation H*F is a C°° foliation on [i — 1, i] x [0,1] (i = 1, 2).
Then we apply the following theorem on the small commutators for
Difff((0,l)).
Theorem 5.3 ([26], Theorem(8.1)) Let f be a C°° diffeomorphism of
[0,1] with support in (1/8,7/8). For any positive integer m, there exist
a positive integer n and a positive real number c such that if sup | (/ —
id)(")| < c then f is written as a composition of 4 commutators of elements
of Diff£°((0,1)); / = [hi,h2}[h3,hi][h5,he][h7,hs], where for a constant
depending only on m and n,
l/(m+2)
8UP|(/li-id)^|<^m.n(sup|(/-id)W|)
Then we have
y 0 + YiX = X.
Ck/xk, for 0 < £ < m, YQ and Yi, we have the following estimates.
d Yxe e de'kZ dk
dxe
<
E
k=0
dx ~ dxk
e k (t
'^T^w
K„ „m-kr)ck+l „m—l
2 ^ < 2'+ict+1Kmx
k=0 kj (m — k)\
In particular, since Y0 + YXX = X and |Yi| < 2c1Kmxm-1 < 2 " 1 for
5 m 1 m m
2 Kmx - < 1, we have \X\ < 2Kmx < ClKmx , where a = 2 3 . This
5 m 1
shows that if 2 Kmx - < 1, X is C*°° on [i -l,i]x (0,1] (z = 1, 2).
We look at the behavior of X along x = 0. We show that
'fc+i
a fc x <2k [Yicj] K x"
9a; fc m
.3=1
<2e+i Kmcex™ + £ Q
sup|(/i-id)<n>|< K
" ~~
fa - n)\
sup \(Ak(f1\[2-2k-1,2-2k-13])Ak-1-id)^\
< (22fe-1)1-"sup|(/1-id)^|
K'
~ (2 ]
fa^)!( }
K'
fa - n)\
and
Hence if p — 1 > (m — l)(m + 2), then this tends to 0 as A; tends to oo. Put
G
i,i =Y[Ak-1hhltkAk (j = l,...,8).
k
/ l = ]J_[G r 2j-l,l,G2j,l]-
(i) l / i ^ j .
(ii) $2(A)(£/fc) for A G Zk x {0} 2 ~ fc are disjoint (k = 1, 2).
(iii) For A G {0} x Z2~k, the support o/$2(A) is contained in the closure
o/U$2(A')(C/fc), where the union is taken over A' G Zfc x {0} 2 _ f c .
(iv) For A G Z 2 , the restriction $2(\)\U2 : U2 —> <&2W{U2) is of class
C°°.
(v) There exists a positive real number C2 such that, for any A G Z 2 and
any vector field £ of class C1 with support in U2, we have |<i>2(A)*£|i <
C21 CI 17 where | |i denotes the Cl-norm.
Since
N-l
log(a a (/))'(x) = \og((Tf)N)'(x) = £ log f'«Tmx)),
i=0
Since
N-l
log((Ag)N(Af)-Ny(x) = ^log/'((T/)-l(x))
i=0
+ J2logg'((AgY(A)^^((Af)-N(x)),
i=0
Acknowledgments
The author would like to thank Kojun Abe and Kazuhiko Fukui for their
interest taken for this work. He also thanks Yakov Eliashberg for his warm
hospitality during his stay at Stanford University in 1999.
References
ROBERT A. WOLAK
Instytut Matematyki, Uniwersytet Jagiellonski,
Wl. Reymonta 4, 30-059 Krakow, Poland,
e-mail: [email protected]
2 Basic functions
leaves of dimension rmin. After a finite number of such blow ups we obtain
a compact manifold foliated by a regular Riemannian foliation, cf. [5].
Let 5 be a compact submanifold of M foliated by T, S can be with
the nonempty boundary provided that the boundary is a foliated subman-
ifold as well. Let N(S) be the normal bundle of S in M. The expo-
nential mapping exps defined by the Riemannian metric defines a tubular
neighbourhood N$ of 5. The foliation T on Ns is invariant by homoth-
eties defined by orthogonal geodesies, cf. [2]. Let denote by Be(S) the
subbundle {v e N(S): \\v\\ < e} of N(S) and by Spe{S) the subbundle
{v e N(S): \\v\\ — e}. The exponential mapping defined by orthogonal
geodesies is a diffeomorphism onto the image when restricted to Be(S) for
some e > 0. Its image we denote B(S,e). The image of the corresponding
sphere bundle we denote by Sp(S, e). Leaves of T are contained in Sp(S, S)
(5 < e) and the natural projection B(S,e) —> S maps leaves of T onto
leaves of T and therefore the closures of leaves onto the closures . Using
the exponential mapping it is quite easy to prove a following lemma.
Lemma 2 For any 0 < <5i < J 2 < e there exists a basic smooth function
X(S1:S2):B(S,e)^ [0,1]
such that supp\(5\,52) C B(S, 62) and A(<5i, 52)\B(S, 6\) = 1.
Proposition 1 Let S be foliated compact submanifold of (M,!F). Any ba-
sic function on (S,J-) can be extended to a basic function on (M,J-).
Proof. The natural projection p: Ns —> S maps leaves of T into leaves
of T. Therefore for any basic function / on (5, T) fp is a basic function
for T on the saturated neighbourhood Ns of S. We have to extend the
function fp to the whole manifold M. Multiplying the function fp by a
suitable function from Lemma 2 we obtain a function we have been looking
for. •
Remark. Proposition 1 can be used to extend any basic function from
the minimal stratum to the whole manifold. Unfortunately other strata are
not compact submanifolds.
Our next task is to extend basic functions from other strata to the whole
manifold. The next lemma provide us with a sufficient tool.
Lemma 3 Let f be a basic function on an open foliated subset U of a stra-
tum S. Then for any point xofU there exist an open foliated neighbourhood
V C U and a global basic function f such that f\V = f\V.
Proof. Using a function from Lemma 2 we obtain a basic function / '
defined on the whole stratum and equal to / on a tubular neighbourhood of
the leaf L{x) passing through the point x. Its support is compact, contained
446 R O B E R T A. W O L A K
At the very beginning let us recall the facts about the basic sheaf B(M, J7).
The basic sheaf is a sheaf of Lie algebras, the basic distribution is tan-
gent to the closures of leaves. For any regular Riemannian foliation the
basic distribution is completely integrable and its leaves are the closures of
leaves of the foliation T. In particular, for any stratum E the basic distri-
bution S(E, J7) of the foliated manifold (E, J7) is completely integrable and
its leaves are the closures of leaves of J7. We have to elucidate the relations
between the sheaves B(M,J7) and B^.J7).
The restriction of any vector field X of the sheaf B(M, F) to the stratum
E is a vector field of the basic sheaf <B(E, J7). It is a simple consequence of
Lemma 3. We would like to know whether this restriction is surjective.
Let S be the closure of a leaf L of the foliation T. S is foliated regularly
by J7, therefore, according to [2] the foliation has the same transverse model
along S. For any point a; of 5 there exist open neighbourhoods U and V
of x in M and in E, respectively, such that U is diffeomorphic to V x Rp
(p = codirriMS ) and the restriction of T is the product foliation of !F\V
and a singular foliation of RP with just one 0-dimensional leaf. If X is a
basic vector field on V then its trivial extension to U is a basic vector field
BASIC DISTRIBUTION FOR SINGULAR RIEMANNIAN FOLIATIONS 447
cf. [1], have these two properties. Therefore we can formulate the following
theorem.
T h e o r e m 3 Let T be an OLF of a compact manifold M, then the basic
distribution of (M, J-) is completely integrable and its leaves are the closures
of leaves of the foliation T.
References
449
This page is intentionally left blank
PROGRAM
May 29 (Monday)
Opening meeting.
T. Tsuboi: Transverse intersection of foliations in 3-manifolds
S. Hurder: Dynamics of C1 -foliations
S. Fenley: Topology and geometry of foliations in 3-manifolds (Part 1)
May 30 (Tuesday)
L. Conlon: Foliation cones and the Thurston norm
T. Inaba and H. Nakayama: Invariant fibre measures of angular flows and the Ruelle
invariant
R. Roberts: Essential laminations in 3-manifolds (Part 1)
B. Scardua: Complex foliations having polynomial or non-exponential growth
M. Badura: Prescribing growth types
E. Zhuzhoma: On Anosov-Weil problem for surface foliations
May 31 (Wednesday)
A. Haefliger: Foliations and compactly generated pseudogroups
M. Brittenham: Sutured handlebodies and depth of knots
S. Fenley: Topology and geometry of foliations in 3-manifolds (Part 2)
M. Czarnecki: Hadamard foliations
N. Glazunov: Application of algebraic geometry and ergodic theory to dynamics of foli-
ations
F. Brito: Volume of vector fields and plane fields on unit spheres
June 1 (Thursday)
D. Calegari: Foliations, circles and hyperbolic geometry
P. Schweitzer: Codimension-one foliations, Reeb components and an extension of Novikov 's
Theorem
S. Fenley: Topology and geometry of foliations in 3-manifolds (Part 3)
V. Kaimanovich: Conformal measures on laminations associated with rational maps
J. Shive: Regularity of Hirsch foliations
T. Rybicki: The leaf preserving diffeomorphisms group as a Lie group
M. Hilsum: Riemannian foliations with positive longitudinal scalar curvature
A. Bufetov: Topological entropy for free semigroup and group actions
June 2 (Friday)
A. Zeghib: Global linearizations of group actions
E. Vogt: Tangential Lusternik-Scnirelmann category of foliations
R. Roberts: Essential laminations in 3-manifolds (Part 2)
H. Colman: LS-category of compact Hausdorff foliations
A. Aranson and E. Zhuzhoma: Geometry and topology of foliations and 2-webs on closed
surfaces
T. Dobrowolski: Failure of Sard's Theorem and existence of strange bump functions in
infinite dimensions
June 3 (Saturday)
E. Leichtnam: A local formula for the index of a contact transformation
R. Roberts: Essential laminations in 3-manifolds (Part 3)
451
452
June 5 (Monday)
J. Heitsch: Traces and invariants for non-compact manifolds
H. Moriyoshi: Operator algebras and the index theorem on foliated manifolds (Part 1)
Y. Mitsumatsu: Foliations and contact structures in dimension 3 (Part 1)
A. Goetz: New results in dynamics of piecewise isometries
A. Pierzchalski: U(n)-invariant differential operators
D. Bolotov and A. Borisenko: Submanifolds and foliations
R. Wolak: A few remarks on singular foliations
T. Noda: Regular projectively Anosov flows on 3-manifolds
Z. Turakulov: Simplest foliations of Minkowski space-time and their applications
June 6 (Tuesday)
P. Walczak: Prescribing mean curvature for foliations of codimension > 1
S. Matsumoto: Leafwise cohomology and rigidity of certain Lie group actions
H. Moriyoshi: Operator algebras and the index theorem on foliated manifolds (Part 2)
J. Alvarez Lopez: Distributional Betti numbers of Riemannian foliations
G. Baditoiu: Semi-Riemannian submersions from real and complex pseudo-hyperbolic
spaces
Problem session (organized by P. Schweitzer)
June 7 (Wednesday)
J. Rebelo: On global behaviour of polynomial ODE's
R. Langevin: Some integral geometric results on foliations
H. Moriyoshi: Operator algebras and the index theorem on foliated manifolds (Part 3)
K. Honda: Tight contact structures and taut foliations
H. Kodama: Holomorphic contact structures and Legendrian flows
A. Bartoszek: Conformal compactification and non-linear wave equations
V. Grines: Codimension-one laminations and classification of A-diffeomorphisms
A. Bis: Entropies of a semigroup of mappings
June 8 (Thursday)
T. Asuke: Secondary characteristic classes of transversely holomorphic foliations
T. Mizutani: Foliations associated with Nambu structures
Y. Mitsumatsu: Foliations and contact structures in dimension 3 (Part 2)
A. Borisenko: Foliations with extrinsic negative curvatures
M. Frydrych: Partially holomorphic foliations
Y. Nakae: Foliation cones associated to some pretzel links
H. Movasati: On the space of holomorphic foliations with a centre singularity
V. Medvedev, E. Zhuzhoma: On codimension-one Plykin's attractors on 3-manifolds
June 9 (Friday)
L. Plachta: The study of incompressible surfaces in link components via the natural
foliations on them
T. Kiissner: Efficient fundamental cycles and foliations of cusped hyperbolic manifoldss
Y. Mitsumatsu: Foliations and contact structures in dimension 3 (Part 3)
Closing meeting