Page 1
arXiv:math/0505675v2 [math.DG] 19 Nov 2005
Tautness for riemannian foliations
on non-compact manifolds
Jos´ e Ignacio Royo Prieto∗
Universidad del Pa´ ıs Vasco.
Martintxo Saralegi-Aranguren†
Universit´ e d’Artois
Robert Wolak‡
Uniwersytet Jagiellonski
1 F´ evrier 2008
Abstract
For a riemannian foliation F on a closed manifold M, it is known that F is taut (i.e.
the leaves are minimal submanifolds) if and only if the (tautness) class defined by the mean
curvature form κµ (relatively to a suitable riemannian metric µ) is zero (cf. [1]). In the
transversally orientable case, tautness is equivalent to the non-vanishing of the top basic
cohomology group H
[9]) this last condition is equivalent to the non-vanishing of the basic twisted cohomology
group H
When M is not compact, the tautness class is not even defined in general. In this work,
we recover the previous study and results for a particular case of riemannian foliations on
non compact manifolds: the regular part of a singular riemannian foliation on a compact
manifold (CERF).
n(M/F), where n = codim F (cf. [10]). By the Poincar´ e Duality (cf.
0
κµ(M/F), when M is oriented.
The study of taut foliations (foliations where all the leaves are minimal submanifolds for
some riemannian metric) has been an important part of the research in regular foliations on
riemannian manifolds: F. Kamber and Ph. Tondeur (cf. [8]), H. Rummler (cf. [15]), as well as
D. Sullivan (cf. [20]) were the first ones to present algebraical or variational characterizations of
such foliations. A. Haefliger’s paper [7] proved to be an important step in the development of the
theory. He showed that “being taut” is a transverse property, i.e. it depends only on the holonomy
pseudogroup of the foliation F. This led Y. Carri` ere (cf. [3]) to propose a characterization of taut
riemannian foliations on a compact manifold M as those foliations for which the top dimensional
basic cohomology group H
concise presentation of the history of the basic cohomology and tautness we refer to V. Sergiescu’s
appendix [18] in [14], which shows a close relation between the finiteness of basic cohomology,
Poincar´ e Duality Property in basic cohomology and tautness.
n(M/F) is non-trivial, i.e. isomorphic to R, being n = codim F. For a
∗Departamento de Matem´ atica Aplicada. Escuela Superior de Ingenier´ ıa. Universidad del Pa´ ıs Vasco. Alameda
de Urquijo s/n. 48013 Bilbao. Espa˜ na. joseignacio.royo@ehu.es. Partially supported by the UPV - EHU grant
127.310-E-14790/2002 by a PostGrant from the Gobierno Vasco - Eusko Jaurlaritza and by the MCyT of the
Spanish Government.
†UPRES-EA 2462 LML. Facult´ e Jean Perrin. Universit´ e d’Artois. Rue Jean Souvraz SP 18. 62 307 Lens Cedex
- France. saralegi@euler.univ-artois.fr. Partially supported by the UPV - EHU grant 127.310-E-14790/2002
‡Instytut Matematyki. Uniwersytet Jagiellonski. Wl. Reymonta4, 30 059 Krakow - Poland. wolak@im.uj.edu.pl
Partially supported by the KBN grant 2 PO3A 021 25.
1
Page 2
Tautness for riemannian foliations on ... 1 F´ evrier 2008
2
The problem was positively solved by X. Masa in [10], in the following way: if M is compact
and oriented and F is riemannian and transversally oriented, then
(1)
F is taut if and only if H
n(M/F) = R.
The work of A.´Alvarez (cf. [1]) removes the orientability condition on M and gives another
characterization of taut riemannian foliations on a compact manifold. He constructs a cohomo-
logical class κ ∈ H
F. This class is defined from the mean curvature form κµof a bundle-like metric µ, which we can
suppose to be basic due to D. Dom´ ınguez (cf. [5]).
We have a third cohomological characterization of the tautness of F. The Poincar´ e Duality of
[9] implies that this property is equivalent to the non-vanishing of the basic twisted cohomology
group H
1(M/F), the tautness class, whose vanishing is equivalent to the tautness of
0
κ(M/F) when M is orientable.
The situation is more complicated when the manifold M is not compact. For example, the
mean curvature form κµmay be a basic form without being closed (cf. [4]).
We consider in this work a particular case of a riemannian foliation F on a non-compact
manifold M: the Compactly Embeddable Riemannian Foliations or CERFs. In this context, we
have a compact manifold N endowed with a singular riemannian foliation H (in the sense of
[14]) in such a way that M is the regular stratum of N with F = H|M. We consider a class of
bundle-like metrics on M for which we construct a tautness class κ = [κµ] ∈ H
is independent of the choice of µ. We prove that the tautness of F is equivalent to any of the
following three properties:
1(M/F) which
- κ = 0,
- H
0
κµ(M/F) ?= 0,
- H
n
c(M/F) = R, where n = codim F, when F is transversally oriented.
Notice that in the second characterization we have eliminated the orientation hypothesis. We also
prove that the cohomology groups H
The standard method to prove the equivalence of the second and third conditions is to use
the Poincar´ e Duality Property (PDP in short). However, although reasonable, the PDP for the
basic cohomology has been proved neither for (M,F) nor for (N,H). So, we shall proceed by
proving that the first condition is equivalent to either of the two remaining ones. The proof of the
equivalence of the first and second condition is purely algebraic. To obtain the second equivalence
we use Molino’s desingularisation (? N,? H) of (N,H). The key point is the following.
F is taut ⇐⇒? H is taut.
Note that this equivalence cannot be extended to the singular riemannian foliation H itself, since
the existence of leaves with different dimensions implies the non-existence of “minimal metrics.”
Then the comparison of the corresponding basic cohomology groups completes the proof. In this
way we have avoided in the proof any reference to the PDP of the basic cohomology of the foliated
manifolds we are studying.
0
κ(M/F) and H
n
c(M/F) are 0 or R.
In the sequel M and N are connected, second countable, Haussdorff, without boundary and
smooth (of class C∞) manifolds of dimension m. All the maps considered are smooth unless
something else is indicated.
Page 3
Tautness for riemannian foliations on ... 1 F´ evrier 2008
3
1Riemannian foliations1
The framework category of this work is that of CERFs. They are riemannian foliations embedded
in singular riemannian foliations on compact manifolds. Before introducing this notion, we need
to recall some important facts about singular riemannian foliations.
1.1
partition H by connected immersed submanifolds, called leaves, verifying the following properties:
The SRFs . A Singular Riemannian Foliation2(SRF for short) on a manifold N is a
I- The module of smooth vector fields tangent to the leaves is transitive on each leaf.
II- There exists a riemannian metric µ on N, called adapted metric, such that each geodesic
that is perpendicular at one point to a leaf remains perpendicular to every leaf it meets.
The first condition implies that (N,H) is a singular foliation in the sense of [19] and [21]. Notice
that the restriction of H to a saturated open subset produces an SRF. Each (regular) Riemannian
Foliation (RF for short) is an SRF, but the first interesting examples are the following:
- The orbits of the action by isometries of a Lie group.
- The closures of the leaves of a regular riemannian foliation.
1.2
a stratification SHof N whose elements are called strata. The restriction of H to a stratum S
is a RF HS. The strata are ordered by: S1 ? S2 ⇔ S1 ⊂ S2. The minimal (resp. maximal)
strata are the closed strata (resp. open strata). Since N is connected, there is just one open
stratum, denoted RH. It is a dense subset. This is the regular stratum, the other strata are the
singular strata. The family of singular strata is written S
the dimension of the biggest leaves of H.
The depth of SH, written depth SH, is defined to be the largest i for which there exists a chain
of strata S0≺ S1≺ ··· ≺ Si. So, depth SH= 0 if and only if the foliation H is regular.
The depth of a stratum S ∈ SH, written depthHS, is defined to be the largest i for which there
exists a chain of strata S0≺ S1≺ ··· ≺ Si= S. So, depthHS = 0 (resp. depthHS = depth SH)
if and only if the stratum S is minimal (resp. regular). For each i ∈ Z we write
Stratification. Classifying the points of N following the dimension of the leaves one gets
sin
H. The dimension of the foliation H is
Σi= Σi(N) = ∪{S ∈ SH| depthHS ≤ i}.
We have Σ<0 = ∅, Σdepth SH−1= N\RH and Σi = N if i ≥ depth SH. The union of closed
(minimal) strata is Σ0.
1.3
Compactly Embeddable Riemannian Foliation (or CERF) if there exists a connected compact
manifold N, endowed with an SRF H, and a foliated imbedding (M,F) ⊂ (N,H) such that M is
the regular stratum of SH, that is, M = RH. We shall say that (N,H) is a zipper of (M,F). Both
manifolds, M and N, are connected or not at the same time.
When M is compact and F is regular then (M,F) is a CERF and (M,F) the zipper. But in the
general case, the zipper may not be unique. The foliated manifold (M,F) = (S3×]0,1[,Hopf×I)),
with Hopf the Hopf foliation of S3and I the foliation of ]0,1[ by points, is a CERF possessing
two natural zippers (Ni,Hi), i = 1,2:
The CERFs. Consider a riemannian foliation F on a manifold M. We say that F is a
1For the notions related to riemannian foliations we refer the reader to [14, 23].
2For the notions related to singular riemannian foliations we refer the reader to [2, 13, 14, ?].
Page 4
Tautness for riemannian foliations on ... 1 F´ evrier 2008
4
- N1= S4and H1is given by the orbits of the S
S4= {(z1,z2,t) ∈ C × C × R/|/|z1|2+ |z2|2+ t2= 1}.
1-action: z ·(z1,z2,t) = (z ·z1,z ·z2,t), where
- N2= CP2and H2is given by the orbits of the S
1-action: z · [z1,z2,z3] = [z · z1,z · z2,z3].
We consider in the sequel a manifold M endowed with a CERF F and we fix (N,H) a zipper.
We present the Molino’s desingularisation of (N,H) in several steps.
1.4
of the riemannian manifold (N,H,µ). So it possesses a tubular neighborhood (TS,τS,S). Recall
that associated with this neighborhood we have the following smooth maps:
Foliated tubular neighborhood. A singular stratum S ∈ S
sin
H is a proper submanifold
+ The radius map ρS: TS → [0,1[, which is defined fiberwise by z ?→ |z|. Each t ?= 0 is a
regular value of the ρS. The pre-image ρ−1
S(0) is S.
+ The contraction HS: TS× [0,1] → TS, which is defined fiberwise by (z,r) ?→ r · z. The
restriction (HS)t: TS→ TSis an imbedding for each t ?= 0 and (HS)0≡ τS.
These maps verify ρS(r · u) = r · ρS(u) and τS(r · u) = τS(u). This tubular neighborhood can be
chosen so that the two following important properties are verified (cf. [14]):
(a) Each (ρ−1
S(t),H) is a SRF, and
(b) Each (HS)t: (TS,F) → (TS,F) is a foliated map.
When this happens, we shall say that (TS,τS,S) is a foliated tubular neighborhood of S. The
hypersurface DS = ρ−1
depth SHTS.
There is a particular type of singular stratum we shall use in this work. A stratum S is a
boundary stratum if codimNH = codimSHS− 1. The reason for this name is well illustrated
by the following example. The usual S
foliation H with two singular leaves, two fixed points of the action. These points are the boundary
strata and we have N/H = [0,1]. The boundary ∂(N/H) is given by the boundary strata. In fact,
the link of a boundary stratum is a sphere with the one leaf foliation (see, for example, [16] for
the notion of link).
S(1/2) is the core of the tubular neighborhood. We have depth SHD<
1-action on S2by rotations defines a singular riemannian
In the sequel, we shall use the partial blow up
LS: (DS× [0,1[,H × I) → (TS,H),
which is the foliated smooth map defined by LS(z,t) = 2t · z. Here, I denotes the pointwise
foliation. The restriction
(2)
LS: (DS×]0,1[,H × I) → (TS\S,H)
is a foliated diffeomorphism.
Page 5
Tautness for riemannian foliations on ... 1 F´ evrier 2008
5
1.5
endowed with two tubular neighborhoods TS1and TS2. We shall need TS2\TS1to be a tubular
neighborhood of S2\TS1, but this is not always achieved. To guarantee this property, we introduce
the following notion, which is inspired in the abstract stratified objects of [11, 22].
A family of foliated tubular neighborhoods {TS| S ∈ S
of (N,H) if, for each pair of singular strata S1,S2with S1? S2, we have
Foliated Thom-Mather system. In the proof of Lemma 2.3.1 we find two strata S1? S2
sin
F} is a foliated Thom-Mather system
(3)ρS1= ρS1◦τS2
onTS1∩ TS2= τ−1
S2(TS1∩ S2).
In these conditions we have the property:
(4)ρS1(r · z)
? ?? ?
HS2(z,r)
= ρS1(z),
for each r ∈ [0,1] and u ∈ TS1∩ TS2. We conclude that the restriction
?
is a foliated tubular neighborhood of S2\ρ−1(I) on N\ρ−1
The foliated diffeomorphism (2) becomes
(5)τS2:TS2\ρ−1
S1(I) ≡ τ−1
S2(S2\ρ−1
S1(I))
?
−→?S2\ρ−1
S1(I), where I ⊂ [0,1[ is a closed subset.
S1(I)?
(6)
LS2: (DS2\ρ−1
S1(I))×]0,1[,H × I) → ((TS2\S2)\ρ−1
S1(I),H)
Proposition 1.5.1 Each compact manifold endowed with an SRF possesses a foliated Thom-
Mather system.
Proof. See Appendix.
♣
1.6
kind but with smaller depth (see [13] and also [17]). The main idea is to replace each point of the
closed strata by a sphere.
We suppose that depth SH> 0. The union of closed (minimal) strata we denote by Σ0. We
choose T0a disjoint family of foliated tubular neighborhoods of the closed strata. The union of
the associated cores is denoted by D0. Let L0: (D0× [0,1[,H × I) → (T0,H) be the associated
partial blow up. The blow up of (N,H,µ) is
Blow up. The Molino’s blow up of the foliation H produces a new foliation? H of the same
L: (? N,? H, ? µ) −→ (N,H,µ)
where
- The manifold? N is
? N =
??
D0×] − 1,1[
???
(N\Σ0) × {−1,1}
???
∼,
where (z,t) ∼ (L0(z,|t|),t/|t|). Notice that D0×] − 1,1[ and (N\Σ0) × {−1,1} are open
subsets of? N with
(D0×] − 1,1[) ∩ ((N\Σ0) × {−1,1}) = D0× (] − 1,0[∪]0,1[).
Page 6
Tautness for riemannian foliations on ... 1 F´ evrier 2008
6
- The foliation? H is determined by
Here, I denotes the 0-dimensional foliation of ] − 1,1[.
? H|D0×]−1,1[= H|D0× I and
? H|(N\Σ0)×{−1,1}= H|N\Σ0× I.
- The riemannian metric ? µ is
where f :? N → [0,1] is the smooth map defined by
f(v) =
f · (µ|D0+ dt2) + (1 − f) · µ|N\Σ0,
?
ξ(|t|) if v = (z,t) ∈ D0×] − 1,1[
if v = (z,j) ∈ (N\ρ−1
0
0([0,3/4]) × {−1,1},
with ξ: [0,1] → [0,1] a smooth map verifying ξ ≡ 1 on [0,1/4] and ξ ≡ 0 on [3/4,1[.
- The map L is defined by
L(v) =
?
L0(z,|t|) if v = (z,t) ∈ D0×] − 1,1[
z if v = (z,j) ∈ (N\Σ0) × {−1,1},
Notice that the blow up of (N,H,µ) depends just on the choice of ξ. So, we fix from now on such
a ξ.
1.6.1 Remarks.
(a) The blow up of (N × R,H × I,µ + dt2) is just L × Identity : (? N × R,? H × I, ? µ + dt2) −→
(b) The manifold? N is connected and compact, the foliation? H is an SRF and ? µ is an adapted
(c) The map L is a foliated continuous map whose restriction to (? N\L−1(Σ0),? H) ≡ ((N\Σ0)×
(d) We shall denote by M1the regular stratum R? Hand F1the restriction of? H to M1. In
inclusion L−1(M) = M × {−1,1} ⊂ M1. We choose S1: M → M1a smooth foliated imbedding
with L◦S1= Identity. There are two of them.
(e) The stratification S? H. For each non-minimal stratum S ∈ SHthere exists a unique stratum
S?∈ S? H, with L−1(S) ⊂ S?, in fact, S?=
gives S? H= {S?| S ∈ SHand non-minimal}. We have the following important properties
- depthHS − 1 = depth? HS?, for each non-minimal stratum S ∈ SH,
- L−1(Σi\Σ0) = Σi−1(? N)\L−1(Σ0)) for each i ∈ Z, and
(f) We shall use the diffeomorphism σ:? N →? N defined by
σ(v) =
(z,−j) if v = (z,j) ∈ (N\Σ0) × {−1,1}.
(N × R,H × I,µ + dt2).
metric.
{−1,1},H × I) is the canonical projection on the first factor.
fact, the foliation F1is a CERF on M1and a zipper is given by (? N,? H). Notice that we have the
??
(D0∩ S)×] − 1,1[
???
S × {−1,1}
???
∼ . This
- depth S? H< depth SH.
?
(z,−t) if v = (z,t) ∈ D0×] − 1,1[
In fact, the diffeomorphism σ is a foliated isometry verifying L◦σ = L. It induces the smooth
foliated action Φ: Z2× M1→ M1defined by ζ · v = σ(v), where ζ is the generator of Z2.
Page 7
Tautness for riemannian foliations on ... 1 F´ evrier 2008
7
1.7
(cf. 1.6.1 (b)). In the end, we have a riemannian foliated manifold (? N,? H, ? µ) and a foliated
bundle (cf. 1.6.1 (d)). Notice that? N is connected and compact. This type of construction is a
We choose S: M →? N a smooth foliated imbedding verifying N◦S = Identity. It always
Molino’s desingularisation. If the depth of S? His not 0 then the blow up can be continued
continuous map N: (? N,? H) → (N,H), whose restriction N: N−1(M) → M is a smooth trivial
Molino’s desingularisation of (N,H,µ) (cf. [13]).
exists.
2 Tautness
The tautness of a RF on a compact manifold can be detected by using the basic cohomology.
This is not the case when the manifold is not compact. In this section we recover this result for
a CERF.
We consider in the sequel a manifold M endowed with a CERF F and we fix a zipper (N,H).
We also consider a Molino’s desingularisation N: (? N,? H) → (N,H). We shall write n = codim F.
2.1Basic cohomology. Recall that the basic cohomology H
complex Ω
vector field X tangent to F.
An open covering {U,V } of M by saturated open subsets possesses a subordinated partition
of the unity made up of basic functions (see Lemma below). For such a covering we have the
Mayer-Vietoris short sequence
We fix S: M →? N a smooth foliated imbedding verifying N◦S = Identity.
∗(M/F) of basic forms. A differential form ω is basic when iXω = iXdω = 0 for every
∗(M/F) is the cohomology of the
(7)0 → Ω
∗(M/F) → Ω
∗(U/F) ⊕ Ω
∗(V/F) → Ω
∗((U ∩ V )/F) → 0,
where the maps are defined by restriction. The third map is onto since the elements of the partition
of the unity are basic functions. Thus, the sequence is exact.
The compactly supported basic cohomology H
plex Ω
The twisted basic cohomology H
ogy of the basic complex Ω
does not depend on the choice of the cycle: we have H
isomorphism: [ω] ?→ [efω].
Given V , a Z2-invariant saturated open subset of M, we shall write
?H
= {ω ∈ H
∗
c(M/F) is the cohomology of the basic subcom-
∗(M/F) | the support of ω is compact}.
∗
κ(M/F), relatively to the cycle κ ∈ Ω
∗(M/F) relatively to the differential ω ?→ dω−κ∧ω. This cohomology
∗
κ(M/F)∼= H
∗
c(M/F) = {ω ∈ Ω
1(M/F), is the cohomol-
∗
κ+d f(M/F) through the
∗(V/F)?Z2
= {ω ∈ H
∗(V/F) | σ∗ω = ω}
?H
∗(V/F)?−Z2
∗(V/F) | σ∗ω = −ω}.
For the existence of the Mayer-Vietoris sequence (7) we need the following folk result, well-
known for compact Lie group actions and regular riemannian foliations.
Lemma 2.1.1 Any covering of M by saturated open subsets possesses a subordinated partition of
the unity made up of basic functions.
Page 8
Tautness for riemannian foliations on ... 1 F´ evrier 2008
8
Proof. The closure L of a leaf L ∈ F is a saturated submanifold of M whose leaves are dense (cf.
[14]). So, the open subsets U and V are in fact F-saturated subsets.
The closure L of a leaf L ∈ F possesses a tubular neighborhood as in 1.4 (cf. [14]). Since the
family of these tubular neighborhoods is a basis for the family of saturated open subsets then it
suffices to construct the partition of unity relatively to the tubular neighborhoods. This is done
by using the radius maps.
♣
2.2
curvature form κµ ∈ Ω
fundamental form of the leaves and W the corresponding Weingarten map. Then,
?trace W(X) if X is orthogonal to the foliation F
0
Tautness reminder (compact case). Given a bundle-like metric µ on (M,F), the mean
1(M) is defined as follows (see for example [23]). Consider the second
κµ(X) =
if X is tangent to the foliation F.
When the manifold is compact (and then (N,H) = (M,F)), the following properties of κµare
well-known:
(a) The form κµcan be supposed to be basic, i.e., there exists a a bundle-like metric µ such
that its mean curvature form is basic (see [5]).
(b) If κµis basic, then κµis a closed form (see [23]). The Example 2.4 of [4] shows that the
compactness assumption cannot be removed: there, the mean curvature form is basic, but not
closed.
(c) The class κ = [κµ] ∈ H
This is the tautness class of F.
The mean curvature form contains some geometric information about F. Recall that the
foliation F is taut if there exists a riemannian metric µ on M such that every leaf is a minimal
submanifold of M. It is known (see [23]) that
1(M/F) does not depend on the metric, but just on F (see [1]).
F is taut ⇐⇒ the tautness class κ vanishes.
We also have the following cohomological characterizations for the tautness of F:
F is taut ⇐⇒ H
n(M/F) ?= 0,
when F is transversally oriented. We also have that
F is taut ⇐⇒ H
0
κµ(M/F) ?= 0,
when M is oriented and F is transversally oriented.
Immediate examples of taut foliations are isometric flows (i.e. 1-foliations induced by the
orbits of a nonvanishing Killing vector field), isometric actions on compact manifolds and compact
foliations with locally bounded volume of leaves (foliations where every leaf is compact, see [6],[15]).
In the example of [4] referred above, we find a non-compact manifold where the tautness class
may not exist.
These results are not directly extendable to the framework of singular riemannian foliations,
as we can see in the following example: the usual S
riemannian foliation H with two singular leaves, two fixed points. Notice that H
there cannot exist a metric on S2such that the one dimensional orbits are geodesics (in dimension
1-action on S2by rotations defines a singular
1(N/H) = 0. But
Page 9
Tautness for riemannian foliations on ... 1 F´ evrier 2008
9
1, “minimal” implies “geodesic”). To see this, it suffices to consider a totally convex neighborhood
U of one of the fixed points: it would contain as geodesics some orbits (full circles, indeed), apart
from rays, which would contradict uniqueness of geodesics connecting any two points of U. In
higher dimensions (i.e. the cone of a sphere), one may consider the volume of every leaf. It should
be constant by minimality, which would give a positive volume to the vertex (for more details see
[12]).
2.3
would play a rˆ ole similar to that of the tautness class of a regular riemannian foliation on a regular
manifold. First, we introduce the notion of D-metric. A bundle-like metric metric µ on (M,F)
is a D-metric if the mean curvature form κµ is a basic cycle. The tautness class of F is the
cohomological class κ = [κµ] ∈ H
defined and independent of the D-metric.
Construction of κ. We would like to define a cohomological class κ ∈ H
1(M/F) which
1(M/F). The next Proposition proves that this class is well
Lemma 2.3.1 There exists a saturated open subset U ⊂ M such that
(a) the inclusion υ: U ֒→ M induces the isomorphism υ∗: H
∗(M/F) → H
∗(U/F), and
(b) the closure U (in N) is included in M.
Proof. We consider {TS | S ∈ SF} a foliated Thom-Mather system of (N,H) (cf. Proposition
1.5.1). For each i ∈ Z we write:
- τi: Ti→ Σi\Σi−1the associated foliated tubular neighborhood of Σi\Σi−1.
- ρi: Ti→ [0,1[ its radius function, and
- Dithe core of Ti.
The family {M∩T0,M\ρ−1
sion ((M ∩T0)\ρ−1
since it is foliated diffeomorphic to the inclusion
0([0,7/8])} is a saturated open covering of M. Notice that the inclu-
0([0,7/8]),F) ֒→ (M ∩T0,F) induces an isomorphism for the basic cohomology
((M ∩ D0)×]7/8,1[,F × I) ֒→ ((M ∩ D0)×]0,1[,F × I)
(cf. (2)). From the Mayer-Vietoris sequence we conclude that the inclusion M\ρ−1
induces the isomorphism
H
0([0,7/8]) ֒→ M
∗(M/F) = H
∗?M\ρ−1
0([0,7/8])/F?
(cf. (7)).
Notice now that M\ρ−1
family
0([0,7/8]) is the regular part of (N\ρ−1
0([0,7/8]),H). Moreover, the
{TS\ρ−1
0([0,7/8]) | S ∈ SF,dimS > 0}
is a foliated Thom-Mather system of (N\ρ−1
(using the foliated diffeomorphism (6) instead of that of (2)) gives
0([0,7/8]),H) (cf. (5)). The same previous argument
H
∗?M\ρ−1
0([0,7/8])/F?= H
∗?M\(ρ−1
0([0,7/8]) ∪ ρ−1
1([0,7/8]))/F?.
So, one gets the isomorphisms
H
∗(M/F) = ··· = H
∗?M\(ρ−1
0([0,7/8]) ∪ ··· ∪ ρ−1
p−1([0,7/8]))/F?,
Page 10
Tautness for riemannian foliations on ... 1 F´ evrier 2008
10
where p = depth SH. Take U = M\(ρ−1
subset of F included on M. This gives (a).
Consider K = M\(ρ−1
We compute its closure on N:
0([0,7/8])∪···∪ρ−1
p−1([0,7/8])), which is an open saturated
0([0,6/8[) ∪ ··· ∪ ρ−1
p−1([0,6/8[)), which is a subset of M containing U.
K= M\(ρ−1
= N\?ρ−1
since N\M = Σp−1= ρ−1
therefore compact. This gives (b).
0([0,6/8]) ∪ ··· ∪ ρ−1
p−1([0,6/8])) ⊂ M\
p−1([0,6/8[)?= M\(ρ−1
0({0})∪···∪ρ−1
?
(ρ−1
0([0,6/8[))
◦∪ ··· ∪ (ρ−1
p−1([0,6/8[))
◦?
0([0,6/8[) ∪ ··· ∪ ρ−1
0([0,6/8[) ∪ ··· ∪ ρ−1
p−1([0,6/8[)),
p−1({0}). This implies that K is a closed subset of N and
♣
Proposition 2.3.2 The tautness class of a CERF exists and it does not depend on the choice of
the D-metric.
Proof. We proceed in two steps.
(i) - Existence of D-metrics. Since? N is compact then there exists a D-metric ν on? N. The
(ii) - Uniqueness of κ. Consider µ a D-metric on M and let ? κ be the tautness class of? H.
partition of unity associated to the covering {M,N\U} made up of basic functions (cf. Lemma
2.1.1). Notice that f ≡ 1 on U. So, it suffices to prove
metric S∗ν is a bundle-like metric on M. Since κS∗ν= S∗κνthen S∗ν is a D-metric on M.
It suffices to prove [κµ] = S∗? κ. Take U as in the previous Lemma and {f,g} a subordinated
(8)υ∗[κµ] = υ∗S∗? κ
(cf Lemma 2.3.1 (a)). Consider the following diagram:
UM
N,
N−1(U)
N−1(M)
? N
--
--
??????
ι′
*
?
6
S′′
?
6
S′
?
υ
υ′
ι
N′′
N′
S
N
where υ′, ι, ι′are the natural inclusions, N′, N′′are the restrictions of N and S′, S′′are the
restrictions of S. Notice the equalities S◦υ = ι◦υ′◦S′′and υ = N′◦υ′◦S′′.
The maps υ′, N′are foliated local diffeomorphism so κυ′∗N′∗µ= υ′∗N′∗κµ. This differential form
is a cycle since µ is a D-metric. Take on? N the riemannian metric
λ = N∗f · N′∗µ + (1 − N∗f) · ν
It is a bundle-like metric since f is basic and the support of f is included on M. Notice the
equality: υ′∗ι∗λ = υ′∗N′∗µ.
We can use this metric for the computation of ? κ in the following way. Let (κλ)bbe the
Ω
? N/? H
the proof of Lemma 2.1.1). From the definition of the basic component (κλ)bwe get that the
basic part of the mean curvature form κλ, relatively to the λ-orthogonal decomposition Ω
∗?
Since N−1(U) is? H-saturated open subset of? N then it is also a? H-saturated subset of? N (see
∗?? N
?
=
?
⊕ Ω
∗?? N/? H
?⊥. It is a basic cycle and we have ? κ = [(κλ)b] (see [1]).
Page 11
Tautness for riemannian foliations on ... 1 F´ evrier 2008
11
restriction υ′∗ι∗(κλ)bis defined by using just (N−1(U),υ′∗ι∗? H,υ′∗ι∗λ). As a consequence, we have
Finally, we get
υ′∗ι∗((κλ)b) = κυ′∗ι∗λ= κυ′∗N′∗µ= υ′∗N′∗κµ.
υ∗S∗? κ = S′′∗υ′∗ι∗? κ = S′′∗υ′∗ι∗[(κλ)b] = S′′∗[υ′∗N′∗κµ] = S′′∗υ′∗N′∗[κµ] = υ∗[κµ].
This gives (8).
♣
2.3.3Remarks.
(a) The tautness class κ of (M,F) and the tautness class ? κ of a Molino’s desingularisation
verifying N◦S = Identity.
(b) Let κ1be the tautness class of (M1,F1). This class is Z2-invariant (cf. 1.6). This comes
from the fact that the diffeomorphism σ preserves H1and therefore κσ∗µ= σ∗κµfor a D-metric µ
on M1. Thus, the metric σ∗µ is also a D-metric and we obtain: σ∗κ1= [σ∗κµ] = [κσ∗µ] = κ1.
(? N,? H) are related by the formula κ = S∗? κ, where S: M →? N is any smooth foliated embedding
2.4First characterization of tautness: vanishing of κ.
We give the first characterization of the tautness of F through the vanishing of κ. We lift the
question to the Molino’s desingularisation (? N,? H).
Lemma 2.4.1 The map S1: M → M1(cf. 1.6) induces the isomorphism:
?H
Proof. The open covering {(D0∩ M)×] − 1,1[,M × {−1,1}} of M1is a Z2-equivariant one (cf.
1.6.1 (f)). So, from Mayer-Vietoris (cf. (7)) we get the long exact sequence
?
→
H
?
where I denotes the restriction map (i.e. induced by the inclusion). Since the natural projection
(D0∩ M)×] − 1,1[→ (D0∩ M) is Z2-invariant, then we get isomorphisms
?H
H
∗(M1/F1)?Z2∼= H
∗(M/F).
··· →
H
j((D0∩ M)×] − 1,1[/F × I)
?Z2⊕
?
H
j(M × {−1,1}/F × I)
?Z2→
?
?Z2
I
−→
?
j((D0∩ M) × (] − 1,0[∪]0,1[)/F × I)
?
H
j+1(M1/F1)
?Z2
I
−→
?Z2→ ··· ,
→
H
j+1((D0∩ M)×] − 1,1[/F × I)
?Z2⊕
H
j+1(M × {−1,1}/F × I)
H
∗((D0∩ M)/F)∼=
∗((D0∩ M)×] − 1,1[/F × I)?Z2
∗((D0∩ M)/F)∼=
?H
∗((D0∩ M) × (] − 1,0[∪]0,1[)/F × I)?Z2.
We conclude that the inclusion M × {−1,1} ֒→ M1induces the isomorphism
?H
Since the natural projection P : M × {−1,1} → M is Z2-invariant, then we get isomorphism
?H
∗(M1/F1)?Z2∼=?H
∗(M × {−1,1}/F × I)?Z2.
H
∗(M/F)∼=
∗(M × {−1,1}/F × I)?Z2.
Since P◦S1= Identity then S1induces the isomorphism?H
The main result of this section is the following.
∗(M1/F)?Z2∼= H
∗(M/F).
♣
Page 12
Tautness for riemannian foliations on ... 1 F´ evrier 2008
12
Theorem 2.4.2 Let M be a manifold endowed with a CERF F. Then, the following two state-
ments are equivalent:
(a) The foliation F is taut.
(b) The tautness class κ ∈ H
1(M/F) vanishes.
Proof. We prove the two implications.
(a) ⇒ (b). There exists a D-metric µ on M with κµ= 0. Then κ = [κµ] = 0.
(b) ⇒ (a). We proceed by induction on depth S
case of [1]. When this depth is not 0 then we can consider the Molino’s desingularisation N =
L◦N1: (? N,? H) → (N,H) of (N,H), where N1: (? N,? H) → (? N,? H) is a Molino’s desingularisation
Write S1: M1→? N a smooth foliated imbedding verifying N1◦S1= Identity. The composition
Remark 2.3.3 we get that S∗
H
By induction hypothesis (depth S? H< depth SH) we get that H1is taut. So, the restriction of H1
sin
H. When this depth is 0 we have the regular
of (? N,? H) (cf. 1.6 and 1.7).
S = S1◦S1: M →? N is a smooth foliated imbedding verifying N◦S = Identity (cf. 1.6). From
1κ1= κ with κ1∈
?
1(M1/F1)
?Z2. The above Lemma gives κ1= 0.
to L−1(M) = M × {−1,1} is also taut. We conclude that F is also taut (cf. 1.6).
♣
2.4.3
related. In fact,
Remark. The proof of the above Theorem shows that the tautness of F and? H are closely
The foliation F is taut ⇐⇒ The foliation? H is taut.
The tautness class κ ∈ H
??
1(M/F) vanishes ⇐⇒
The tautness class ? κ ∈ H
1?? N/? H
?
vanishes.
2.5 Second characterization of tautness: the bottom group H
We give a characterization of the tautness of F using H
case, this result comes directly from (1) and the Poincar´ e Duality of [8, 9] when M is oriented
and F is transversally oriented. In fact, we shall not need these orientability conditions.
0
κ(M/F).
0
κ(M/F). Notice that, in the compact
Theorem 2.5.1 Let M be a manifold endowed with a CERF F. Consider µ a D-metric on M.
Then, the following two statements are equivalent:
(a) The foliation F is taut.
(b) The cohomology group H
0
κµ(M/F) is R (cf. 2.1).
Otherwise, H
0
κµ(M/F) = 0.
Proof. We proceed in two steps.
(a) ⇒ (b). If F is taut then κ = [κµ] = 0. So, H
0
κµ(M/F)∼= H
0(M/F) = R.
(b) ⇒ (a). If H
The set Z(f) = f−1(0) is clearly a closed subset of M. Let us see that it is also an open subset.
0
κµ(M/F) ?= 0 then there exists a function 0 ?= f ∈ Ω
0(M/F) with df = fκµ.
Page 13
Tautness for riemannian foliations on ... 1 F´ evrier 2008
13
Take x ∈ Z(f) and consider a contractible open subset U ⊂ M containing x. So, there exists a
smooth map g: U → R with κµ= dg on U. The calculation
d(fe−g) = e−gdf − fe−gdg = e−gfκµ− e−gfκµ= 0
shows that fe−gis constant on U. Since x ∈ Z(f) then f ≡ 0 on U and therefore x ∈ U ⊂ Z(f).
We get that Z(f) is an open subset.
By connectedness we have that Z(f) = ∅ and |f| is a smooth function. From the equality
d(log|f|) =1
fdf = κµwe conclude that κ = 0 and then F is taut.
Notice that we have also proved: H
0
κµ(M/F) ?= 0 ⇒ H
0
κµ(M/F) = R. This ends the proof. ♣
2.6Third characterization of tautness: the top group H
We give a characterization of the tautness of F by using H
to a Molino’s desingularisation of F, where the result is known. But we need to formulate an
orientability condition on F.
n
c(M/F).
n
c(M/F). We lift the question
Lemma 2.6.1
The foliation F is transversally orientable ⇐⇒ The foliation? H is transversally orientable.
Proof. Since S: M → M1is a smooth foliated imbedding then we get “⇐”.
Consider O a transverse orientation on (M,F). The tubular neighborhood (T0∩M,F) inherits
the transverse orientation O. Since ((D0∩M)×]0,1[,F×I) is foliated diffeomorphic to (T0∩M,F)
then it inherits a transverse orientation, written O. This transverse orientation induces on the
product ((D0∩M)×]−1,1[,F ×I) a transverse orientation, written O. Notice that the involution
(x,t) ?→ (x,−t) reverses the orientation O.
Since
M1=(D0∩ M)×] − 1,1[
?????
M × {−1,1}
???
∼,
where (z,t) ∼ (2|t| · z,t/|t|), then it suffices to define on M1the transverse orientation O1by:
*
O on (D0∩ M)×] − 1,1[,
*
O on M × {1}, and
* −O on M × {−1}.
This gives “⇒”.
♣
Before passing to the third characterization, we need two computational Lemmas.
Lemma 2.6.2 The inclusion
Ω
∗
c(((D0∩ M)×]0,1[)/F × I) ֒→ Ω
∗
c(((D0∩ M)×] − 1,1[)/F × I)
induces an isomorphism in cohomology.
Page 14
Tautness for riemannian foliations on ... 1 F´ evrier 2008
14
Proof. For the sake of simplicity, we write E = (D0∩ M). Let f ∈ Ω
with f ≡ 0 on ] − 1,1/3] and f ≡ 1 on [2/3,1[. So, df ∈ Ω
proved if we show that the assignment [γ] ?→ [df ∧ γ] establishes the isomorphisms of degree +1
0
c(] − 1,1[) be a function
c(] − 1,1[). Lemma will be
1
c(]0,1[) ⊂ Ω
1
H
∗
c(E/F)∼= H
∗
c((E×]0,1[)/F × I) andH
∗
c(E/F)∼= H
∗
c((E×] − 1,1[)/F × I).
Let us prove the first one (the second one is proved in the same way). Consider the following
differential complexes:
?
?
?
Proceeding as in (7) we get the short exact sequence
- A
∗(]0,3/4[) =ω ∈ Ω
∗(E×]0,3/4[/F × I)
??
??
supp ω ⊂ K × [c,3/4[
for a compact K ⊂ E and 0 < c < 3/4
?
?
.
- A
∗(]1/4,1[) =ω ∈ Ω
∗(E×]1/4,1[/F × I)
supp ω ⊂ K×]1/4,c]
for a compact K ⊂ E and 1/4 < c < 1
??supp ω ⊂ K×]1/4,3/4[
.
- A
∗(]1/4,3/4[) =ω ∈ Ω
∗(E×]1/4,3/4[/F × I)
for a compact K ⊂ E
?
.
0 −→ Ω
∗
c(E×]0,1[/F × I) −→ A
∗(]0,3/4[) ⊕ A
∗(]1/4,1[) −→ A
∗(]1/4,3/4[) −→ 0.
The associated long exact sequence is
··· → H
i−1?A
∗(]1/4,3/4[)?
δ→ H
I?A
i
c(E×]0,1[/F × I) → H
∗(]1/4,3/4[)?→ ··· ,
i?A
∗(]0,3/4[)?⊕
⊕
H
i?A
∗(]1/4,1[)?→ H
where the connecting morphism is δ([ω]) = [df ∧ ω].
Before executing the calculation let us introduce some notation. Let β be a differential
form on Ω
i(DS×]a,b[) which does not include the dt factor. By
? c
−
β(s) ∧ ds and
? −
c
β(s) ∧
ds we denote the forms on Ω
?? c
?? −
and (? v1,...,? vi) ∈ T(x,t)(DS×]a,b[) .
i(DS×]a,b[) obtained from β by integration with respect to s,
? c
? t
that is,
−
β(s) ∧ ds
?
?
(x,t)(? v1,...,? vi) =
t
(β(x,s)(? v1,...,? vi)) ds and on the other hand
c
β(s) ∧ ds(x,t)(? v1,...,? vi)) =
c
(β(x,s)(? v1,...,? vi))ds where c ∈]a,b[, (x,t) ∈ DS×]a,b[
(i) Computing δ.
Each differential form ω ∈ A
contain dt.
Consider a cycle ω = α + β ∧ dt ∈ A
∗(Interval) can be written ω = α + β ∧ dt where α and β do not
i(]0,3/4[) with supp ω ⊂ K × [c,3/4[ for a compact
?? c/2
∗?A
K ⊂ E and 0 < c < 3/4. We have ω = α(c/2) − d
−
β(s) ∧ ds
?
= −d
?? c/2
−
β(s) ∧ ds
?
.
Since supp
? c/2
−
β(s) ∧ ds ⊂ K × [c,3/4[ then we get H
·(]1/4,1[)?= 0.
We conclude that δ is an isomorphism.
·(]0,3/4[)?= 0. In the same way, we
get H
∗?A
Page 15
Tautness for riemannian foliations on ... 1 F´ evrier 2008
15
(i) Computing H
∗
c((E×]0,1[)/F × I).
Consider a cycle ω = α + β ∧ dt ∈ A
∗(]1/4,3/4[). We have ω = α(1/2) + d
?? −
1/2
β(s) ∧ ds
?
.
Notice that supp
? −
1/2
β(s) ∧ ds ⊂ K×]1/4,3/4[ and supp α(1/2) ⊂ K. A standard procedure
shows that the operator ∆: H
an isomorphism. The inverse is ∆−1([γ]) = [γ].
So, the composition δ◦∆−1: H
exactly the operator: [γ] ?→ [df ∧ γ].
∗?A
·(]1/4,3/4[)?→ H
∗−1
c
(E/F) → H
∗−1
c
(E/F), defined by ∆([ω]) = [α(1/2)], is
∗
c((E×]0,1[)/F × I) is an isomorphism. It is
♣
The reason why we use the (−Z2)-invariant classes in the next Lemma instead of the more natu-
ral Z2-invariant classes is the following: we have?H
∗
c(]−1,0[∪]0,1[/I)?−Z2∼=
?H
∗
c(]−1,1[)/I)?−Z2
but also?H
Lemma 2.6.3 The inclusion
∗
c(] − 1,0[∪]0,1[/I)?Z2?∼=
?H
∗
c(] − 1,1[)/I)?Z2.
Ω
∗
c(((D0∩ M) × (] − 1,0[∪]0,1[))/F × I) ֒→ Ω
∗
c(((D0∩ M)×] − 1,1[)/F × I)
induces the isomorphism
?H
∗
c(((D0∩ M) × (] − 1,0[∪]0,1[))/F × I)?−Z2∼=?H
Proof. For the sake of simplicity, we write E = (D0∩ M). Consider f : ] − 1,1[→ R a smooth
function with f ≡ 0 on ] − 1,1/3] and f ≡ 1 on [2/3,1[. The function f◦σ + f − 1: ] − 1,1[→ R
is a smooth function whose support is in [−2/3,2/3]. So, [df] = −[d(f◦σ)] ∈ H
above Lemma gives
∗
c(((D0∩ M)×] − 1,1[)/F × I)?−Z2.
∗
c(] − 1,1[). The
- H
∗
c(E/F)∼= H
∗
c((E×] − 1,1[)/F × I) by [γ] ?→ [df] ∧ [γ],
- H
∗
c(E/F)⊕H
[df] ∧ γ2.
∗
c(E/F)∼= H
∗
c((E × (] − 1,0[∪]0,1[))/F × I) by ([γ1],[γ2]) ?→ [d(f◦σ)]∧[γ1]+
Notice that ζ ·df = −σ∗df = −d(f◦σ) on ]−1,1[ and ]−1,0[∪]0,1[. This gives the isomorphisms
of degree +1:
- H
∗
c(E/F)∼=?H
∗
c((E×] − 1,1[)/F × I)?−Z2by [γ] ?→ [df] ∧ [γ],
- H
∗
c(E/F)∼=?H
∗
c((E × (] − 1,0[∪]0,1[))/F × I)?−Z2by [γ] ?→ −1
We obtain the result, since on ] − 1,1[ we have −1
2[d(f◦σ)]∧[γ]+1
2[df]∧[γ].
2[d(f◦σ)] +1
2[df] =1
2[df] +1
2[df] = [df].
♣
The way to lift the question to the Molino’s desingularisation is the following.
Lemma 2.6.4
H
n
c(M1/F1) ?= 0 ⇐⇒ H
n
c(M/F) ?= 0.
Page 16
Tautness for riemannian foliations on ... 1 F´ evrier 2008
16
Proof. We prove the two implications.
⇐ From the open covering {(D0∩ M)×] − 1,1[,M × {−1,1}} of M1 we obtain the short
exact sequence
0 → Ω
∗
c((D0∩ M) × (] − 1,0[∪]0,1[)/F × I) →
→ Ω
∗
c((D0∩ M)×] − 1,1[/F × I) ⊕ Ω
(same argument as in (7)). The associated long exact sequence is
∗
c((M × {−1,1})/F × I) → Ω
∗
c(M1/F1) → 0
··· → H
j
c((D0∩ M) × (] − 1,0[∪]0,1[)/F × I)
(I,J)
−→ H
j
c((D0∩ M)×] − 1,1[/F × I)⊕
H
j
c((M × {−1,1})/F × I) → H
Lemma 2.6.2 gives that I is an onto map. We also have
j
c(M1/F1) → H
j+1
c
((D0∩ M) × (] − 1,0[∪]0,1[)/F × I) → ···
H
n+1
c
((D0∩ M) × (] − 1,0[∪]0,1[)/F × I) = 0
for degree reasons. Therefore
H
n
c(M/F) ⊕ H
n
c(M/F) = H
n
c((M × {−1,1})/F × I) → H
n
c(M1/F1)
is a surjective map. This gives the result.
⇒ The above short exact sequence is Z2-equivariant. So, we get the long exact sequence
?
→
H
?
Lemma 2.6.3 ensures that I is an isomorphism. We conclude that
?H
which ends the proof.
··· →
H
j
c((D0∩ M) × (] − 1,0[∪]0,1[)/F × I)
?−Z2(I,J)
H
−→
?
j
c((D0∩ M)×] − 1,1[/F × I)
?−Z2→
?−Z2⊕
?
j
c((M × {−1,1})/F × I)
?−Z2→
?−Z2→ ···
?−Z2∼=H
→
H
j
c(M1/F1)
?
H
j+1
c
((D0∩ M) × (] − 1,0[∪]0,1[)/F × I)
∗
c(M1/F1)?−Z2∼=?H
∗
c((M × {−1,1})/F × I)?−Z2∼=H
∗
c(M/F)⊗
?
H
0(−1,1)
∗
c(M/F),
♣
The main result of this section is the following.
Theorem 2.6.5 Let M be a manifold endowed with a CERF F. Let us suppose that F is transver-
sally orientable. Put n = codim F. Then, the two following statements are equivalent:
(a) The foliation F is taut.
(b) The cohomology group H
n
c(M/F) is R.
Otherwise, H
n
c(M/F) = 0.
Proof. We proceed by induction on depth SH. When depth SH = 0 then we have a regular
foliation and the result comes from [1, Theorem 6.4]. For the induction step, we can suppose that
the result is true for S? H, since depth S? H< depth SH. We have in particular H
H
n
c(M1/F1) = R or
0. So, Lemma 2.6.4 ensures that
n
c(M1/F1) = R (resp. 0) ⇐⇒ H
n
c(M/F) = R (resp. 0).
By Lemma 2.6.1 the foliation? H is transversally orientable. Since (?H,? H) is a Molino’s desin-
F is taut
⇐⇒? H is taut
gularisation of (N1,H1) then the foliation H1is also transversally orientable. So, we have
2.4.32.4.3
⇐⇒ F1is taut
Induc
⇐⇒ H
n
c(M1/F1) = R ⇐⇒ H
n
c(M/F) = R,
which ends the proof.
♣
Page 17
Tautness for riemannian foliations on ... 1 F´ evrier 2008
17
2.7
We have already seen
Reading the tautness of F on N and? N. The tautness of F and? H are closely related.
H
n
c(M/F) = R ⇐⇒ H
n?? N/? H
?
= R.
The situation at the zipper level is more complicated. In fact, we don’t have the expected equiv-
alence3H
and H
to prove that it is the only obstruction.
n
c(M/F) = R ⇔ H
n(N/H) = 0). This situation comes from the existence of boundary strata but we are going
n(N/H) = R (for instance, in Example 1.4 we have H
n
c(M/F) = R
Lemma 2.7.1 Consider (TS,τ,S) a foliated tubular neighborhood of a singular stratum S ∈
S
H. If S is not a boundary stratum then the inclusion (TS\S) ֒→ TS induces the isomorphism
ι: H
sin
n
c((TS\S)/H) → H
n
c(TS/H).
Proof. We proceed in two steps.
(a) Approaching H
n
c(TS/F). Consider the complexes
S([0,3/4[)/H???
ω ∈ Ω
- A
∗([0,3/4[) =
?
?
ω ∈ Ω
∗?ρ−1
∗?ρ−1
∗?ρ−1
supp ω ⊂ τ−1(K)
for a compact K ⊂ S.
?
.
- A
∗(]1/4,1[) =
S(]1/4,1[)/H???
supp ω ⊂ τ−1(K) ∩ ρ−1
for a compact K ⊂ S and 1/4 < ǫ < 1.
S(]1/4,3/4[)/H???
S(]1/4,ǫ])
?
.
- A
∗(]1/4,3/4[) =
?
ω ∈ Ω
supp ω ⊂ τ−1(K)
for a compact K ⊂ S.
?
.
The short exact sequence
0 −→ Ω
∗
c(TS/H) −→ A
∗([0,3/4[) ⊕ A
∗(]1/4,1[) −→ A
∗(]1/4,3/4[) −→ 0
produces the long exact sequence
H
n−1?A
∗([0,3/4[)?⊕ H
n−1?A
∗(]1/4,1[)?
−→ H
n−1?A
∗(]1/4,3/4[)?
δ
−→ H
n?A
n
c(TS/H) −→
∗(]1/4,1[)?
−→ H
n?A
∗([0,3/4[)?⊕ H
where the connecting morphism is δ([ω] ) = [df ∧ω] for a smooth map f : [0,1[→ [0,1] with f ≡ 0
on [0,3/8] and f ≡ 1 on [5/8,1[.
∗?A
β do not contain dt. We have ω = −d
β(s) ∧ ds
(b) Computing H
·(Interval)?. Consider a cycle ω = α+β∧dt ∈ A
∗(]1/4,1[), where α and
?? 1
−
?
. Since supp
? 1
−
β(s)∧ds ⊂ τ−1(K)×]1/4,ǫ]
we get H
The contraction HS: ρ−1
between ρ−1
H
Then, by degree reasons, we get H
Since ρ−1
the isomorphism H
∗?A
S([0,3/4[) and S. This homotopy preserves the fibers of τ. Then H
c(S/HS). Since the stratum S is a not boundary stratum, then codimSHS< n − 1 (cf. 1.4).
n−1?A
∗
·(]1/4,1[)?= 0.
S([0,3/4[)×[0,1] → ρ−1
S([0,3/4[) (cf. 1.4) is a foliated proper homotopy
∗?A
·([0,3/4[))?∼=
∗
∗([0,3/4[))?= H
n?A
∗([0,3/4[))?= 0.
S(]1/4,3/4[) = DS×]1/4,3/4[, then we have that the assignment [γ] ?→ [γ∧df] induces
c(DS/H)∼= H
∗?A
·(]1/4,3/4[)?(cf. proof of the Lemma 2.6.2).
3The basic cohomology of an SRF is defined as in 2.1.
Page 18
Tautness for riemannian foliations on ... 1 F´ evrier 2008
18
(c) Last step. The above exact sequence gives that δ: H
by δ([ω]) = [df ∧ ω], is an isomorphism. We have completed the proof as δ: H
H
n−1
c
(DS/H) → H
n
c(TS/H), defined
n−1
(DS/H) →
c
n
c((TS\S/H) ≡ (DS×]0,1[)/H × I) is an isomorphism (cf. proof of the Lemma 2.6.2).
♣
The tautness of F can be read on a zipper as follows.
Theorem 2.7.2 Let M be a manifold endowed with a CERF F, which is transversally oriented.
Consider (N,H) a zipper of F. Let us suppose that SHdoes not possess any boundary stratum.
Put n = codim F. Then, the following two statements are equivalent:
(a) The foliation F is taut.
(b) The cohomology group H
n(N/H) is R.
Otherwise, H
n(N/H) = 0.
Proof. It suffices to prove that H
2.3.1. We have N\Σ−1= N and N\Σm−1= M, where m = dimM. We will get the result if we
prove that H
?
dimS=i
?
Now, the Lemma 2.7.1 gives the result.
n(N/H) = H
n
c(M/F) (cf. Theorem 2.6.5). Consider Σias in
n
c((N\Σi)/H)∼= H
n
c((N\Σi−1)/H), for i ∈ {0,...,m − 1}.
?
?
From the open coveringN\Σi,TS
?
of N\Σi−1, we obtain the Mayer-Vietoris sequence
dimS=i
H
n
c((TS\S)/H) −→ H
n
c((N\Σi)/H) ⊕
dimS=i
H
n
c(TS/H) −→ H
n
c((N\Σi−1)/H) → 0.
♣
When boundary strata appear, it can be shown that this Theorem still holds considering
n(N/H,∂(N/H)) in (b). Here, ∂(N/H) = ∪{S | S ? S′for a boundary stratum S′} and the
relative basic cohomology must be understood in a suitable way.
H
3 Appendix
We prove the existence of foliated Thom-Mather systems for an SRF H defined on a compact
manifold N announced in Proposition 1.5.1. First of all, we need a more accurate presentation of
the Molino’s desingularisation of 1.7. We fix an adapted metric µ on N.
3.1
sequence N of blow ups (cf. 1.6):
Molino’s desingularisation. A Molino’s desingularisation of (N,H,µ) (see [13]) is a
(9)(Np,Hp,µp)
Lp
−→ (Np−1,Hp−1,µp−1) −→ ··· −→ (N1,H1,µ1)
L1
−→ (N0,H0,µ0)
with (N0,H0,µ0) = (N,F,µ) and (Ni,Hi,µi) ≡ (?
p = depth SF. The triple (? N,? H, ? µ) ≡ (Np,Hp,µp) is a regular riemannian foliated manifold.
(Np×R,Hp×I,µp+dt2)
−→ (Np−1×R,Hp−1×I,µp−1+dt2) −→ ···
Ni−1,?
Hi−1, ?
µi−1), for i ∈ {1,...,p}4. Here,
Notice that the blow up of (N × R,F × I,µ + dt2) is just
Lp
L1
−→ (N0×R,H0×I,µ0+dt2)
(cf. 1.6.1 (a)).
4The map ξ necessary for the construction of the blow up (cf. 1.6) is supposed to be the same for each i.
Page 19
Tautness for riemannian foliations on ... 1 F´ evrier 2008
19
3.2
neighborhood of each singular stratum and then, we prove that these neighborhoods are satisfy
the compatibility condition (3).
Construction of the foliated Thom-Mather system. We first construct a tubular
3.2.1
sation Ni= L1◦L2◦···◦Li: (Ni,Hi,µi) → (N,F,µ). Notice that each restriction
Ni: N−1
is a trivial foliated smooth bundle (cf. 1.6.1 (c),(e)). We fix si: N\Σi−1→ N−1
foliated section of (10). For i = 0 we put Ni= si= Identity : N → N.
The stratum S is a proper submanifold of the foliated riemannian manifold (N\Σi−1,Hi,s∗
Let (TS,τS,S) be a foliated tubular neighborhood of S constructed as in 1.4. It is also a foliated
tubular neighborhood of S in (N,H). We need to shrink it in order to assure the Thom-Mather
compatibility of these neighborhoods.
Following 1.6.1 (e), there exists a family of strata {Sj∈ SHj| j ∈ {0,...i}} such that:
+ S0= S,
Take S ∈ SHa singular stratum and let i ∈ N be its depth. Take the partial desingulari-
(10)
i(N\Σi−1) → N\Σi−1
i(N\Σi−1) a smooth
iµi).
+ (Sj)?= Sj+1for j ∈ {0,...,i − 1} and
+ Siis a minimal stratum of SHi.
Notice that si(S) ⊂ Si. By construction, there exists a foliated tubular neighborhood (USi,νSi,Si)
of Sion (Ni,Hi) such that its restriction to Siis isomorphic to (TS,τS,S) through si. We can
take these neighborhoods small enough such that:
?L−1
where DSi is the core of (USi,νSi,Si) (cf. 1.6).
(11)
i+1(USi),Hi+1,µi+1
?=?DSi×] − 1,1[,Hi+1× I,µi|DSi+ dt2?,
3.2.2
Thom-Mather system of (N,H). Now, we consider two singular strata S,S′∈ S
and we prove the property (3), which will lead to (4).
Without loss of generality we can suppose that S is a minimal stratum. The Thom-Mather
conditions involve just TSand not the whole manifold N. So, we can suppose N = TS. The blow
up L: (? N,? H, ? µ) → (N,H,µ) becomes the map L: (DS×]−1,1[,H×I,µ|DS+dt2) −→ (TS,H,µ),
L: (DS× (] − 1,1[\{0}),H × I) −→ ((TS\S),H)
We prove now that the family {TS | S ∈ S
sin
F} which we have constructed is a foliated
sin
F with S ≺ S′
defined by L(u,t) = 2|t| · u. Recall that the restriction
is a foliated diffeomorphism. We check the property (3) at the (DS× (] − 1,1[\{0}))-level. This
makes sense since S ∩ TS∩ TS′ = ∅.
The foliated tubular neighborhood (TS′,τS′,S′) can be described as follows. There exists a
foliated tubular neighborhood (TS′′,τS′′,S′′) of the stratum S′′= DS∩ S′∈ SHDSsuch that
(TS′,τS′,S′) can be identified with (TS′′ × (] − 1,1[\{0}),τS′′ × Identity,S′′× (] − 1,1[\{0}))
through L (cf. 3.1). By using the foliated diffeomorphism L, the condition (3) is clear since:
+ TS∩ S′becomes S′′× (] − 1,1[\{0}),
+ TS∩ TS′ becomes TS′′ × (] − 1,1[\{0}),
+ τS′ becomes the map (z,t) ?→ (τS′′(z),t), and
+ ρSbecomes the map (z,t) ?→ |t|.
♣
Page 20
Tautness for riemannian foliations on ... 1 F´ evrier 2008
20
References
[1] J.A.´Alvarez: The basic component of the mean curvature form for a riemannian foliation. -
Ann. Global Anal. and Geom. 10(1992), 179–194.
[2] H. Boualem and P. Molino: Mod` eles locaux satur´ es de feuilletages riemanniens singuliers. -
C. R. Acad. Sci. Paris 316(1993), 913-916.
[3] Y. Carri` ere: Flots riemanniens. - Ast´ erisque 116(1984), 31-52.
[4] G. Cairns and R. Escobales: Further geometry of the mean curvature one-form and the normal
plane field one-form on a foliated riemannian manifold - J. Austral. Math. Soc. 62(1997),
46–63.
[5] D. Dom´ ınguez: Finiteness and tenseness theorems for riemannian foliations - Amer.J. Math.
120(1998), 1237–1276.
[6] R. Edwars, K. Millet and D. Sullivan: Foliations with all leaves compact - Topology 16(1977),
13-32.
[7] A. Haefliger: Some remarks on foliations with minimal leaves - J. Diff. Geom. 15(1980),
269-284.
[8] F.W. Kamber et Ph. Tondeur: Harmonic foliations. - Springer LN in Math. 949(1982),
87-121.
[9] F.W. Kamber et Ph. Tondeur: Duality theorems for foliations. - Ast´ erisque 18(1984), 458-471.
[10] X. Masa:
67(1992), 17-27.
Duality and minimality in Riemannian Foliations. - Comment. Math. Helv.
[11] J. Mather: Notes on topological stability - Harvard 1970.
[12] V. Miguel and R. Wolak: Minimal singular riemannian foliations. - Preprint.
[13] P. Molino: Feuilletages riemanniens r´ eguliers et singuliers - Colloque G´ eom´ etrie et Physique,
Paris 1986. Travaux en cours 33(1988), 173-201.
[14] P. Molino: Riemannian Foliations - Progress in Math. 73. Birkh¨ auser, 1988.
[15] H. Rummler: Quelques notions simples en g´ eom´ etrie riemannienne et leurs applications aux
feuilletages compacts. - Comment. Math. Helv. 54(1979), 224-239.
[16] M. Saralegi-Aranguren and R. Wolak: The BIC of a conical fibration. - Math. Notes 77(2005),
213-231.
[17] M. Saralegi-Aranguren and R. Wolak: The BIC of a defined by an abelian group of isometries.
- http://arxiv.org/abs/arXiv.mathDG/0401407.
[18] V. Sergiescu: Basic cohomology and tautness of riemannian foliations. Appendix B in P.
Molino, Riemannian Foliations. - Progress in Math. 73, Birkh¨ auser, 1988.
[19] P. Stefan: Accesible sets, orbits, and foliations with singularities - Proc. London Math. Soc.
29(1974), 699-713.
Page 21
Tautness for riemannian foliations on ... 1 F´ evrier 2008
21
[20] D. Sullivan: A homological characterization of foliations consisting of minimal surfaces. -
Comment. Math. Helv. 54(1979), 218-223.
[21] H.J. Sussmann: Orbit of families of vector fields and integrability of distributions - Trans.
Amer. Math. J. 180(1973), 171-188.
[22] R. Thom: Ensembles et morphismes stratifi´ es - Bull. Amer. Math. Soc., 75(1969), 240-284.
[23] Ph. Tondeur: Geometry of Foliations - Mon. in Math., 90, Birkh¨ auser 1997.
Download full-text