This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
=, we get (24)
f (a I ) d7 In =
x
J x
QA *,3.
2.3 Sobolev Spaces of Forms Let X be an n-dimensional compact submanifold of u : X ---f R which are 7-ln L X-measurable and with
J Iulsd7-InLX
s>1
I[Yn+N. The class of functions
2.3 Sobolev Spaces of Forms
537
is denoted by LS (X) . LS (X) is clearly a Banach space, and for s = 2, L2(X) is an Hilbert space with the obvious scalar product. If (Vi, (pi), Vi : V -> X is
a system of charts for X, we define the class Wl,'(X), s > 1 as the class of u E LS(X) such that u o Wi E Wl,s(V), and we set II u ll wl,s (X) := 11 U 111s(X) + E f I D(u O Wi) IS dx.
(1)
Vi
It is readily seen that the definition of Wl,s(X) is independent of the system of charts, while the norm does depend. However different system of charts give rise to equivalent norms on W""s(X). An intrinsic norm on Wl,s(X) can be defined in terms of approximate tangential derivatives DX to X : one easily verifies that IIUIILS(X)+1
1
1/S
f IDXulsdHnLX)
is a norm equivalent to (1). Properties of the standard Sobolev spaces on open sets of Euclidean spaces are immediately transferred to analogous properties of W1"2(X), we in particular state (i) W"2(X) is a Hilbert space with the scalar product /
(u I V)Wi,2(X) := (u I v)L2(X) +
f(DXU I DXV)TX dfn LX.
LS(X) is compact (ii) The inclusion Wl,s(X) (iii) C°°(X) is dense in W""s(X).
A differential p-form w on X is said to be measurable if <w(y),v(y)> is 7-ln-measurable for any smooth vector field v, equivalently if for any local chart cp2 : Vi -> X, cp#w is L'-measurable, i.e., all coefficients of cp#w are measurable.
Definition 1. Let s > 1. The space of measurable p -forms on X such that
f IwlsdfnLXAPT,,X = <7r#w,7r#77>APRn+N
a scalar product on L22 (X) is given by (w,71)L;
f <w(y), 77(y) >APT,,X /Ln =
V w,7) E A°TyX,
/
<7r#W, rr#17 >npRn+N dH-.
538
5. Cartesian Currents in Riemannian Manifolds
Definition 2. The class of p -forms w in L4(X) such that cp#w have coefficients in W1'1 (V,1[2) for every coordinate chart (V,cp) are denoted by WI,"(X). (X) can be defined by choosing a coordinate system of charts A norm on (Vi, fpi) and setting II W II W;'s(X)
II W II LP(X)
+
#wI WP's(Vi).
Though the definition of WP' (X) is independent of the coordinate system, the norm does depend on it, but one easily verifies that different coordinate systems produce equivalent norms. Again properties of WP"°s(X) are inferred from properties of standard Sobolev spaces; we state
(i) W l ,' (X) is a Hilbert space.
L'(X) is compact. (ii) The immersion WP ,3 (X) (iii) Smooth forms are dense inWP(X). Finally we remark that similarly one can introduce the spaces Wp'3(X) and more generally WW ,r (X ), but we shall not dwell any further on this point.
2.4 Harmonic Forms Let X be a smooth compact n-dimensional submanifold of 1[in+k possibly with boundary. We assume that X is a CO° submanifold even if the claims on this subsection hold for Cl,l submanifolds with trivial changes. Let d be the differential operator on forms.
d : C°°(X,APTX) -+ C°°(X,AP+ITX). Definition 1. The codifferential operator
b : C' (X, APTX) ---> C' (X, AP-'TX) is the (formal) adjoint of d, i.e., is the operator defined for all a E CO° (X, APTX)
and p E C,- (X \ 9X, AP-'TX) by (Sa I )3)L2(X,AP-1TX) :=-(a I d,3)L2(X,AP-1TX).
Clearly b2 = 0, and S extends to all
WP,' forms.
Proposition 1. 8 : C°°(X,APTX) -+ C°°(X,AP-1TX) is a differential operator. If x1, ... , x'n are local coordinates and G = (gij) the metric tensor of X, then for w = (1)
aI =P wa
(6w). =
dxa we have Sw = E ,,I=P(Sw). dx-I where
E E E g7ao,(i,
Ial=p-1 i¢a 1QI=p
(a+2)wR)-
2.4 Harmonic Forms
539
Proof. Let 7) E C°° (X \ 8X, AP-'TX) be a (p - 1)-form with support in coordinate chart. We have
-(w,dr1)APTTx = - = gQ7wa(di1)7 IQI=I7I=P
( IQI=I'YI=P
1
\ a+i=ry
I$I=P Ial=P-1 i0«
Integration by parts on X then yields
-(4' dr7)L2 = - f (w, drl)f dx
-
a)Di(f9p(«+i)«)
0(2,
Igdx,
Ii3I=p i s
«1=p=1
Ial=pY_iOa o-(i, a)Dii.e. (1).
consequently g'Y«(Sw)ry =
Proposition 2. If X is oriented and * is the Hodge operator on X then S = (_1)n(p+1) * d * Proof. For a E COD (X, APTX) and /3 E C°° (X \ 8X, AP-1TX) we have
d/3A * a = d(/3A * a) = d(/3A * a)
-
(-1)P-1,3Ad
*a
(-1)p-1(-1)[n-(n-P+1)](n-p+l)/3n * *d * a
= d(/3A * a) - (-1)n(p+1)OA * *d * a. Therefore, by Stokes theorem and (24) in Sec. 5.2.2, we get
(Sa1/3) _ -(aId3)=-J d/3A*a (-1)n(p+l) f /3A * *d * a =
(-1)n.(p+l)(*d
* a 1)3).
Definition 2. The Laplace-Beltrami operator on Coo (X, APTX) is the operator
a=dS+Sd : COO(X,APTX) a form w is called harmonic if Zw = 0. The following claims follow at once
C°°(X,APTX);
540
5. Cartesian Currents in Riemannian Manifolds
Proposition 3. We have (i) A is formally self-adjoint, i.e., (La 1,3) _ (a Ai3) for a, 3 E Cc-(X \ 3X, APTX). (ii) If w E CC°(X \8X,A2TX) then Aw = 0 ifdw = bw = 0, in fact (w dw) _ J8wJ2
+ dwI2 (iii) A is well defined onW2'2(X,APTX). Definition 3. The Dirichlet integral associated to a p-form is D(w) := f(dwI2 + Ibw12) d7-ln
x 1 The Laplace-Beltrami operator on functions. First we compute b on 1-forms. In a chart U, if cp E C° ° (U) and w = > wi dxi we have
f f -
(6w I 0) =
(w, dcc) dy = -
f
-gUwi 28x
U
Dj(V,-gg2'wi)Wf dx
U
where (gij) is the metric tensor on X, gig Sw =
Dj
(gij)-1, and g := det (gij). Hence (-,fg-g2'wi)
and for any function f E C°°(X) A f = (bd + d8) f = bdf =
D; Voij -Lf
axi
Also in local coordinates, i.e., for f E C' (X) with compact support in a coordinate chart we have
D(f) = f Idf12dW2 = f X
8f of dx. /g2j 8xi axi
Notice that, by the maximum principle, any harmonic function on a compact and boundaryless manifold must be constant.
0 The Laplace-Beltrami operator on p-forms in IRn. Given w = E wadxa 1c1=p
we have dw
and, from (1)
=
E wa>z o-(2, a) dxa+i lal=p i a
2.4 Harmonic Forms
Sw = (-1)n(P+1) * d * w =
(2)
Q(i )w(j+i i
1
I01=p-1
541
J dxO.
i j3
We now compute the Laplace-Beltrami operator. Of course
d5w = E(dSw)a dxa, a
and, according to the above
(dbw)a =
/
o(i, ) (dw)a,i =
T Q(i, a)o,(j, Q)wa+j,ji
= E E o(i, a - i)o(j, a - i)wa-i+j,ij ; iE« jva-i now we split the sum in j as
>
joa-i
_ j=i
j$a
to get
o(i, a - i)o(i, a - i)wa,ii
(dbw)a = iEa
o(i, a - i)a(j, a - i)wa+j-i,ij.
+
(3)
iEa
j0a Also 8dw = E(Sdw)a dxa, and (Sdw)a =
o(j, a)(dw)a+j>j =
E a(j, a)o(i, )3)w0,ij j 0a (j+i=a+j
i 0a joaiEa+j
Similarly we split the sum in i as the sum of terms in which i E a and terms in which i = j to get (Sdw)« _
(4)
o(j, a)o(j, a)wa,jj j4za
o(j, a)o(i, a+ j - i)wa+j-i,ij
+ iEa
Summing (3) and (4) we then get (zlw)a = (dbw + Sdw)a = Lwa
+
[o (i, a - i)o(j, a - i) + a(j, a)o(i, a + j - i)]wa+j-i,ij iEa
ja
542
5. Cartesian Currents in Riemannian Manifolds
As fori<j (5)
u(i, a - i) = Q(i, a - i + j)
o-(j, a, - i) = -o-(j, a),
while for i > j (6)
o(i,a-i)+j)
o(j, a-i)=o(j,a),
we see that the term in square brackets in (5) vanish, therefore we conclude
L1w = E (Qwa) dxa
(7)
lal=p
i.e., a p-form in the flat manifold R n is harmonic if and only if its coefficients are harmonic functions. Obviously 1dwj2
+
lawl2
=
IDwal2 + L(w) lal=p
L(w) being a non-zero quadratic form of the derivatives of wa. Since the Euler equations of the two integrals Do(w, U) :=
fI&2 + 82) dx and
Dwa U
2
,
lal=p
as we have seen agree with Awfa = 0, we infer that (8)
Do(w, U) =
JU
IDwa12 dx
V WE W01,2 (U)
Moreover L(w) is a null Lagrangian; in particular fu L(w) dx depends only on
the values of w (wa) at the boundary 8U of U and vanishes if w E C' (U), compare e.g. Giaquinta and Hildebrandt [275]. Of course one can compute bw, L,w, I dw 12 + I dw 2 explicitly in terms of the metric tensor and of its derivative, but, since we do not need it in full generality, we postpone this topic to Sec. 5.2.7 and here we confine ourselves to the following remark. From (1) one sees that (dw).y has the form (9)
(8w).y(x) = api(G)wQ,i + bp(G, DG)wo
where aQi(G) and bp(G, DG) are smooth functions which pointwise depend re-
spectively on the metric tensor and on the metric tensor and its derivatives. Indeed api(G(x)) are Lipschitz functions and bp(G(x), DG(x)) are L°°-functions on X if the metric tensor G is Lipschitz. Moreover we notice that, in case G is the Euclidean metric,
2.5 Hodge and Hodge-Kodaira-Morrey Theorems
543
(8w)7 = E E o (i,,Q)DjwQ+i IQI=p-1 i0Q
consequently b Q (Id , 0) = 0. On account of the previous considerations it is then easy seen that in local coordinates the integrand of the Dirichlet integral has the form (10)
(IdwI2+ 5wI2)/dx = A«Qw«,iwQ,.7 +Bapiwa,iw,+C«QWaWQ
A" (G(x)), BaRi(x) = BaQi(G(x), DG(x)), CCQ(x) _ Cap(G(x),DG(x)) and
where
Aaa(Id)
BaQi(Id, 0) _ C«Q(Id, 0) = 0.
2.5 Representing Cohomology Classes by Harmonic Forms: Hodge and Hodge-Kodaira-Morrey Theorems We are now ready to prove the celebrated theorem of Hodge which states that every cohomology class of a compact smooth manifold without boundary contains exactly one harmonic form. More generally we shall prove a decomposition theorem for forms, Hodge-Kodaira-Morrey theorem, from which Hodge result follows. The proof, based on variational methods and more precisely on Dirichlet principle, shows the entire theory of linear elliptic partial differential equations at work.
In this subsection X is a compact, possibly non orientable, boundaryless Riemannian manifold of dimension n that is thought without loss in generality as isometrically embedded in some RN. We assume that X is a CO° manifold even if one can work on C""l manifolds with trivial changes. One of the key ingredients of the variational proof we are going to present is the following simple but important lemma
Lemma 1 (Gaffney). There is a constant C such that for each point y E X there exist a ball B(0, p) C ]R' and a chart (U,,, cp), cp : B(0, p) -+ Uy C X, cp(0) = y, such that
D(w) ?
2
f
I2
Diwa2 dx - C11 w L2(U,)
B(O,p) 2'a
whenever cp#w =
wa dxa has support in U,,.
Proof. Fix a point y E X and choose coordinates so that the metric tensor at y is the identity, gij(0) = bij. Then using the representation (10) in Sec. 5.2.4 for D(w) we infer D(w)
>
f A'Q(0)w«,iwQ,j dx - J[A(0) - f IBaQi(x)I w«,iIIwQldx - J
ICaQIIWal
dx IwQldx.
5. Cartesian Currents in Riemannian Manifolds
544
As
B(0, p)) = L(O,P)
if A,a(0)wa,tiwg,j dx =
IDwl2 dx, i,a
by (8) in Sec. 5.2.4 the result follows at once choosing p sufficiently small so that A'3 (0)1 be small. El A%3Q
Choosing a finite cover of X by charts for which Lemma 1 holds we readily infer that (i) D(w) +cll w lli2(x) is an equivalent norm on W1"2(X, APTX) for a suitable
constant c depending on the covering, and in fact there is a positive constant cl and a non- negative constant c2 such that (1)
2
2
D(w) >- cl 11 w IIw 1,2 - 0211 w IIL2
and, being ll w II L2(x) continuous with respect to the weak convergence in W1,2 by Rellich theorem, (ii)
D(w) is lower semicontinuous with respect to the weak convergence in W1"2 (X, APTX).
Definition 1. We say that a p-form w E W1,2 (X, JIPTX) is harmonic if dw = bw = 0. The linear space of harmonic p forms is denoted by HP.
Theorem 1. HP is finite dimensional. Proof. Otherwise we could find a sequence {wk} C HP which is orthonormal in L2. As ll wk IIL2 = 1 and D(wk) = 0 a subsequence will converge strongly in L2, which is impossible since wk is orthonormal in L2.
Theorem 2. There exists a positive constant c such that (2)
D(w) > cl w I12 2(x,APTx)
for any w E W1,2 (X, APTX) which is orthogonal to HP. Proof. Otherwise we find a sequence Wk E W1,2 (X, APTX) n HPl such that 1) (LOO < kll wk liL2.
If 77k := wk/I1 wk IIL2, we have 11 77k IIL2 = 1, D(77k) < 1/k. Passing to a subse71 weakly in W1'2, Ink - rl strongly in L2, hence 1171 IIL2 = 1, by quence 77k
semicontinuity 71 E HP' and D(77) = 0, i.e., 77 E HP fl HP' or in other words 71 = 0: a contradiction.
2.5 Hodge and Hodge-Kodaira-Morrey Theorems
545
Given a p-form f E L2 (X, APTX) we are now interested in finding a weak solution of the equation
aw = f, that is a p-form w E W1,2 (X, APTX) such that (3)
(
drl)L2 + (8w l'rl)L2 = (f 7)LZ
V 77E W1,2(X, APTX).
We have
Theorem 3. Equation (3) is solvable if and only if f belongs to the orthogonal in L2 (X, APTX) of HP, denoted by HP. Moreover there exists a unique solution wo in W1"2(X,APTX) n HP1 and the linear transformation from f to wo is a bounded linear transformation from L2 (X, APTX) into W I,2 (X, APTX). Proof. Clearly if w satisfies (3) then f is orthogonal to HP. Conversely assume
f E L2 (X, APTX) n HP1 and consider the integral
F(w) := D(w) - 2(f I U;) L2 defined on W1"2(X,APTX) n HP1. Trivially F is lower semicontinuous with W1,2, W1,2 respect to the weak convergence in n HP1 is weakly closed and, by Theorem 2,
F(W)>CIIwIIL2-21If
IL2IIWIIL2? 2IIWIIL2
- III IL2.
Therefore, taking also into account (1) we immediately infer that there exists a minimizer wo E W1"2 (X, APTX) n HP. From the minimality of wo we now infer (4)
0 = dtF(wo + t() _ (dwo I d() + (Swo 15()
- (f I
for all C E Wl°2(X, APTX) n HP' and hence for any E W1"2 (X, APTX) since any such C can be written uniquely in the form ( = h+(o where Co is orthogonal to HP and h E HP. From (4) we also get D(wo) < 11f IIL21IwoIIL2
which together with (1) and (2) proves the boundedness of the map f -+ wo. Finally, if w1 is another solution of (3) we have for (:= wo - wl I<12 + Ij(I2 = 0 i.e. wo - wl E HP, and if w1 also belongs to HP1, wo - wl = 0.
Equation (3) is the Euler equation of the integral D(w) - 2(f I w)L2
therefore on account of the representation (10) in Sec. 5.2.4, we see that in local
coordinates the coefficients of any solution of (3) are in fact solutions of an elliptic system. The regularity theory for elliptic systems then applies, and in particular we can infer
546
5. Cartesian Currents in Riemannian Manifolds
Theorem 4. Let X be of class C1'1 and let wo solves (3). We have (i) If f E L2 (X, APTX), then wo E W2'2(X, APTX).
If f E LP(X,APTX), then wo E W2'P(X,APTX), p > 1. If f E C°'N'(X, APTX), then wo E C2,4 (X, APTX).
Higher regularity follows, if we assume higher regularity of X and f. For instance, if X and f are of class C°° or analytic, then wo is C°° or analytic. (ii) In particular we see that w is weakly harmonic ifw is smooth and harmonic.
For each p set now
Imd = {da Im5 = {8a H = {a E
a E W1'2(X, AP-'TX) } a E Wi'2(X, AP+iTX)} Wi'2(X,AP-iTX) da = 8a = 0}. I
Then we have
Theorem 5 (Hodge-Kodaira-Morrey). The linear subspaces Im d, Im 6, H of L2 (X, APTX) are mutually orthogonal and closed. Moreover
L2 (X, APTX) = H ®Im 8 ®Imd, i.e., any w E L2(X, APTX) decomposes uniquely as
w=h+8a+d,Q
(5)
with a E Wi'2(X, AP+iTX), /3 E W12 (X, AP-'TX) and h E H, and (6)
IIhIIL2+ aIIw1.2+II/0IIw1,2
and in fact, if X is of class CO°, h E C°°, and for all k (7)
II a IIW1,k + IIQ IIW1,k
Proof. Let w E L2(X, APTX). Denote by h its projection on H which is finite dimensional. Then w - h E H -L and by Theorem 3 and Theorem 4 there is wo E W1"2 (X, APTX) such that
. wo=w-h. Writing a := dwo, /3 = 8w°, (5) and (6) follow at once. Let us prove now that the three subspaces Im 5, Imd and H are mutually orthogonal and closed, from which one easily infer that the decomposition (5) is unique. Let w E H, for a E Wi'2(X,AP-iTX) we have
(dalw)=-(a,bw)=0 and for 0 E W1'2 (X, AP+iTX)
2.5 Hodge and Hodge-Kodaira-Morrey Theorems
547
(5aIw)=-(aIdw)=0; while we also have
(da 15/3) = -(d2a /3) = 0 provided a belongs to W2'2. If a belongs to W1"2 we choose a sequence ak E W1,2
such that ak -> a strongly in W1,2 and we get (da 15p)
lim (dak I SO) = 0.
k
00
Finally let us prove that Imb is closed. Let wk := b77k, 17k E W1,2 (X, AP+'TX), and assume that wk -> w in L2. By (5) we have wk = hk + Sak + dQk,
the uniqueness of the decomposition yields Sak = Wk, moreover 11 ak I I W 1.2 <- C11 wk I
I L2 < cont.
Therefore we infer passing to a subsequence that
ak -k a weakly in W"2,
ak -> a strongly in L2,
and a E W"2. Consequently ba = w, which proves that Im S is closed. Similarly one proves that Im d is closed.
Before stating Hodge theorem, let us recall the definition of the De Rham cohomology groups . A smooth p-form a is called closed if da = 0, exact if there
exists 77 with d77 = a. Because of d o d = 0, exact forms are always closed. Two closed forms a,,3 are called cohomologous if a - /j is exact. This property determines an equivalence relation on the space of closed p-forms and the set of equivalence classes is a vector space over R, called the p-th de Rham cohomology group and denoted by HHR(X)
Theorem 6 (Hodge). In every cohomology class in HHR(X) there exists a unique harmonic p-form. Proof. Let wo be a closed differential form representing a cohomology class. All forms homologous to wo have the form
w=wo+d3; as wo E Im b1, we can write by the decomposition theorem wo = ho + d/30
where ho is harmonic, therefore every w cohomologous to wo has the form
w=ho+d(,3+,do).
548
5. Cartesian Currents in Riemannian Manifolds
It is worth noticing again that if w = h + d/3 is the decomposition of a closed form w, h being harmonic, we also have, assuming X of class C°° II 0Ilwk+l,r < Ck11 W Ilwk.r
J1 Q I1Ck+1,µ < CkI W 11C-,µ.
Later we shall be interested in closed forms in the product manifold f2 x X, where Q is an open set of an oriented Riemannian manifold. The product structure in ,(2 x X induces a canonical splitting of the exterior differential operator
din,(2xXas
d=d,+dy
with respect to local coordinates (x, y), x E ,(2 and y E X and the splitting of DP (f2 x X) as direct sum min(p,n)
Dp(,(2xX)_
®
Dp,k(,RxX)
k=max(O,p-n)
where Dp,k (,R x X) denotes the class of p-forms in the product ( x X with exactly k-differentials in y. A simple consequence of the decomposition theorem is the following result which will be used later
Proposition 1. Let w be a compactly supported p-form in 0 x X which has exactly f-differentials in y, w E Dp,e(.(2 x X), and is dy-closed, i.e., dyw = 0. Then w can written as s
w = 1 cps(x)no" (y) + dyrl (x, y) s=1
where i is a compactly supported (p - 1)-form in .(2 x X with at most £ - 1
[as], Qi harmonic, form a basis of
differentials in y, cps E VP-e, and the cohomology group HHR(X).
Proof. Choose an open covering {Ui} of U so that on each Ui there exists a
basis of simple tangent (n - P)-vector fields eay,i. Denote by i the dual form of ea,i and by {iii} a decomposition of unity associated to the covering {Ui}. On each Ui i jw can be seen as ,.Ijiw
77anwa
where w E CO° (Ui, V (X) ). Thinking of x as a parameter, Theorem 5 applied to yields s
(x) _
cpa's (x)os + dy?7a s=1
with cpa's E C:°(UU) and 77i E C°O(Uj,DP-1(X)). The result then follows summing on i and a.
2.6 Relative Cohomology: Hodge-Morrey Decomposition
549
2.6 Relative Cohomology: Hodge-Morrey Decomposition Let X be a smooth compact, possibly non orientable, Riemannian manifold of dimension n with smooth boundary. We think that X is isometrically embedded in an Euclidean space R' +N and we also assume that X is a C°° manifold with a C°° boundary aX even if our presentation extends to C1,1 manifolds with Lipschitz boundary with only trivial changes. For x E aX, let v(x) be the inward normal vector to aX at X, i.e., the unit vector v(x) E TTX orthogonal to TxX at x and pointing inside X. We infer the existence of special charts for X near each point x0 E 9X. For p > 0 set B+(0, p) := {x = ( x , , . .. , x.) I xI < p, x,, > o} F (O, P) :_ {x E R'-' (x', 0) E B(0, p), x' :_ (x1, ... I
I
Each point x0 E aX has then a chart cp : B+(0, po) --f X such that cp(0) = xo, : T(0, po) --> aX is a local chart for aX, and, for x' E F(0, po), Dgo(x', 0)e,,, = v(co(x', 0)) is the inward unit normal vector field to aX. We refer to these charts as to admissible charts. .
Tangential and normal traces of a form. Let us define the tangential and normal parts to an of a form. Denote by t the restriction map
r : C°° (X, APTX) --+ C°° (aX, APTX ) which associate to each w E C°° (X, APTX) its trace rw E C°O (aX, APTX), rw(x) = w(x), x E aX. As aX is a submanifold of X, the Riemannian structure on X yields a canonical decomposition of TxX in two orthogonal components TxX = Tx5X EB l v(x).
Such a decomposition then extends to p-vectors, and we can decompose every p -vector l; E APTXX in a unique way as
6 = i + 62nv,
61 E APTxax, S2 E AP-1TxaX.
Thus, give a form w E C°° (X, APTX) we can define the tangential and the normal parts of the trace of w, respectively tw and nw, as the functions in C°° (aX, APTX) defined by (1)
_
for
= 61 + 6 Av(x). Obviously we have rw = t w + n w and
(2)
IrWI2 =
ItwI2
+ InwI2
Also, if i : aX --> X is the immersion and it : X fl UEo -* aX where U60 is a neighborhood of aX is a smooth right inverse of i, then
550
5. Cartesian Currents in Riemannian Manifolds
tw(x) _ 7#ti#w(x).
(3)
In local coordinates (x', ... , X1, t) around xo E 8X we can write w E Dr (X) as w _ E1a1=P wao (x, t) dxa + E1a1=p-1 w,,,6 dxaAdt, then
t w(x, t) _ E wao (x, 0) dxa,
nw (x, t) =
wao (x, 0) dx' Adt. 1a1=P-1
IaI=P
We recall now that the restriction at the boundary f -> flan of smooth functions f defined on a Lipschitz domain .f2 extends to a continuous linear
operator from W',8(0) to LS (8Q) for s > 1. Based on that it is then easy to see using local coordinates that the trace operator r : C°° (X, APTX ) C°° (aX, APTX) extends to a continuous linear operator, the trace operator
r : Wl,'(X) -> L'(aX)
for anys>1. From (2) we then infer that the tangential and normal operators extend to linear continuous operators
t,n : WW'S(X) -* LP(X)
for all s > 1. In an oriented manifold, the associated Hodge operator * commutes tangential and normal operators. We have
Proposition 1. Let X be an oriented manifold, let * be the Hodge operator on X, and let S be the formal adjoint of d. Then we have (i) Forw E DP(X) *nw = t (*w),
*t w = n (*w),
t (dw) = d(t w),
n (bw) = 8(n w).
(ii) For wEDP (X),rlED4(X),q
which is also orientation preserving. In such a system, if w = wao dxaAdt as above, one easily computes
wao (x, t) dxa +
o(c , a)wao(x, 0) dxandt = n (*w)
*t W = Ia1=P
*nw =
Q(c , a)
O (x, 0) dxa = t (*w).
lal=P-1
Moreover, from (3) we infer
t (dw) = lr#i#dw = d(7r#i#w) = d(tw).
2.6 Relative Cohomology: Hodge-Morrey Decomposition
551
Equality nSw = Snw then follows as 6 = (-1)P("-P) * d*. Finally, again from (3) we infer t (WA * 77) = 7r*i# (wn * 77) = 7r#i#wAlr#i# * 77 = t wAt (*77) = t wA * n77.
Recall that if X is an oriented manifold, then one fixes an orientation on OX by choosing aX (x) as the unit (n - 1)-vector field orienting TXaX in such a way
that (x) = X(x) We then set for y E C°°(0X, A'-'TX) v(x)A
'Y
ax
f
for X E aX.
> dH"'
<'Y,
ax
Proposition 2. Suppose that X is oriented and let * be the associated Hodge operator. We have (i) If w E W,1,'11(X ), then fx dw = fax i#w (ii) If W E Wp,2(X) and 77 E W112 (X), then (
= fax t w.
I 77)Lp}1(X) + (w I S7I)LP(X) _ f twA * n?]. ax
(iii) If W E WP2'2 (X) and C E W 2 (X ), then (
d()L2P}1 (X) + (6w 16C)Lp_1(x)
= -(nw I OLP(y) + f {t(A *n &-,) + t Swn * n (}. ax
Proof. Since x"' LX-a.eT#W(x) =rW(x)IAPT ox and i#W(x) =tWIAPT,aX, (i) follows from a similar claim for smooth w, on account of the continuity of the trace and of the tangential part operators. To prove (ii) we observe that wA * 77 belongs to Wn' 11 (X), and d(wA * 77) = dwA * 77 + (-1)Pwnd(*77) = dwn * 77 + wA * 877.
Integrating we then get on account of (i) (dw 177)Lz + (w I S77)L2 =
d(wA * 77) = ax
f ax
J x
dwA * 77 + J wA * 677
x i# (WA * 77) = f i#wni# ex
* 77.
552
5. Cartesian Currents in Riemannian Manifolds
On the other hand i#w = t w I A,TaX, hence i#wAi# (*7)) = t wAt (*77) I APTX = twA * bn 77I ApTaX .
Finally (iv) follows at once integrating by parts, (zlw I () = (ddw I ()+(8dw I 11
We now observe that Proposition 2 extends to non orientable manifolds. In fact as any non orientable manifold X is nevertheless orientable in the small, the scalar function
(x) := ,
x E 8X
is well defined if either a E C°° (X, APTX) or 0 E Coo (X, AP+'TX) are supported in a coordinate patch U, and is independent on the local orientation on U. Therefore < a, /3 > is a well defined function in CO° (8X) even if X is non orientable.
Proposition 3. We have Wp,2 then t (dw) = d(tw), n (bw) = b(nw). (i) If W E then (ii) If w E WP(X) and 77 E
f
(dw I fl)LP+,(X)+(w I Si)L2(X) =
dHn-1
ax
(iii) If W E Wp'2(X) and r) E WP+2(X), then (dw I b?7)L2P+, (X)
=0
provided either t w = 0 or n7? = 0. (iv) If w c Wp'2(X) and 77 E Wp"2(X), then (dw I dr))LP+,(X) + (8w I drl)Lp_,(X)
_ -(nw I
77)Lp(x) +
J ax
{+ } d7-l'i-1.
Proof. (i) follows from (i) of Proposition 1 as the claim is local. (ii) and (iv) of Proposition 2 proves respectively (ii) and (iv) if we assume moreover that rl is supported in a local chart. The general cases of (ii) and (iv) then follows using a partition of unity. Finally if tw = 0 and 77j ri in W1"2, the r)j being smooth, we have by (ii)
(dwI drlj)_(dwI arli)+(wI
6277j)=
Jd?i'-1=0. ax
(iii) then follows letting j tend to infinity. Similarly one proceeds if nr) = 0 by approximating w.
2.6 Relative Cohomology: Hodge-Morrey Decomposition
553
The Hodge-Morrey decomposition theorem. A key step toward a decomposition theorem similarly to the boundaryless case is a Gaffney type lemma at boundary points. We have
Lemma 1 (Gaffney). For each xo E aX there are constants c, p > 0 and an admissible chart cp : B+(0, p) --p U C X, (0) = xo, such that
f
D(w, U) >
(4)
E JDiwa12 dx - cII w IIL2(U)
B+(O,p)
i,a
whenever cp#W = E wa dxa is compactly supported in B(0, p) and we have either
tw = 0 or nw = 0 on 6X. Proof. Proceeding as in the proof of Gaffney lemma in the interior, we can bound from below the Dirichlet integral D(w, U) by the flat Dirichlet's integral Do(cc#w, B+(0 p)) getting f D(w, U) > lDiwa12 dx - c1l w 11L2(U) p)) 2
J
B+(O,p) i'a
The coercivity inequality (4) then follows at once from the following lemma.
Lemma 2. We have
Do(w, B+(0 p)) = f
IDiwal2 dx,
i'a B+(o,p)
if w = E wa dx' is compactly supported in B (0, p) and moreover either t w = 0
ornw=0 onFp. Proof. From Proposition 2 (iv) we have (5)
Do (w, B+(0, p)) + f (dW I w) = B+(O,p)
r
J
{f wA * n dw + t bwn * n w}.
rv
On the other hand in Rn the Laplacian on forms is just the Laplacian on coefficients, i.e.,
LXW = E / wa dxa, a
consequently, integrating by parts and using Gauss-Green formula
f B+(o,p)
we infer
Digi dx =
f aB+(o,p)
E(-1)x_1gi
i
dxi
V g E C'(B+(O, p)),
5. Cartesian Currents in Riemannian Manifolds
554
(6)
(aw j w) dx
r B+(O,p)
IDw12
I
+
WaWa,n dxlA...
(-1)n-1
B+(O,p)
/ndxn-1.
1p
From (5) and (6) we then get (7)
Do(w,
B+(0, P)) -
IDw12 dx
J
B+ (O,p)
= f{twA *n dw+tbwn *nw+ (-1)n r, wawa n dx1A...
Adxn-1}.
a
rp
We now claim that the right hand side of (7) vanishes if either tw = 0 or nw = 0
on I''. In fact, if tw = 0, then, in I'p we have w = nw =
wa dxa, consequently a3n
t 8w
EE
o (i, a - i)Wa i
dxa-'=(-1)P-1 I
a-i3Jn a3n i
Hence t bwn * nW =
a3n
` 1` wQwa,nu(,a, ) dxa-nAdxQ.
(-1)P-1
3 n, we have dxc
(_i)P-1
twA * nw
wan dxa-n.
a3n
Adxa 54 0 if and only if a = 0, therefore
wawa na(a, a)o(a - n, a) dx1A... a3n
(-1)P-l+n-P
ndxn-1
wawa,n dx1A ... a3n
=
(-1)n-1
E WaWa,n dX1 A ...
ndxn-1
a3n which proves the claim in this case.
Ifnw=0, then in f wehavew=tw=
wadxa, a on
n6w =
E 1: a i, a)wa,i dxa+2 = (-1)P a+i3n aln
Wa,n dxa+n
aon
and
*ndw = (-1)P
Wa,nQ(U + n, a - n) aRfn
Therefore
d?-n.
ndxn-1
2.6 Relative Cohomology: Hodge-Morrey Decomposition
555
t wA * n dw = (-1)P E E wpwa,no-(a + n, a - n) dxandx«-n. )33(n
a
n, we have dxQAdxa-n = 0 unless a
hence
twn * ndw
_ (-1)P E wawa na(a,
a)(-1)n-p-10'(a,
a - n) dx1A... Adxn-1
aon
_
(-1)n-1
EWawa,n
dxlA...
Adxn-1
a5Jn
which concludes the proof.
Gaffney's lemmas in the interior and at the boundary now yield at once
Theorem 1. Let X be a compact Riemannian manifold with boundary. There exist constants cl > 0, c2 > 0 such that D(w) > cl II w IIwp.2(X) - c2II W II2P(X)
for every w E WP,2(X) satisfying one of the boundary conditions
nw = 0 on 8X,
tw = 0 on 8X.
Set now
WPT(X) W12
(X)
HP (X) HPN (X)
{wEWP'2(X) I tw=0} :_ {w E Wp'2(X) I nw = 0} {WEWP"T(X) I dw = 0, dw=0} {W E WP, N (X)
I dw = 0, Sw = 0}.
Then, as in the boundaryless case, one proves
Theorem 2. HT and HN are finite dimensional vector spaces. Theorem 3. There exists a positive constant c such that D(w) > CII W II L2(X) for any w E WP'N(X) which is orthogonal in L2 to HN and for any w E WP'T(X) which is orthogonal in L2 to H. Given a form f E L2 (X), we can now seek a weak solution of the problem
J '6w = f in X (8)
nw=0 onBX
that is we seek a form w E WP,'N (X) such that
5. Cartesian Currents in R.iemannian Manifolds
556
(
(9)
dC)L2 + (SW I SC)L2 = (f I ()
or a weak solution of
V
C E WP,'N(X)
J aw= f inX
(10)
tw=0
on &X
equivalently w E WP 'T (X) such that (11)
(dw I d()L2 + (SW SC)L2 = (f C)LZ
V C E WP'T(X).
As in the boundaryless case, an easy consequence of Theorem 1 and Theorem 3 is the following
Theorem 4 (Hodge-Morrey). We have (i) Problem (8), equivalently equation (9), is solvable if and only if f is orthogonal in LP to HN . Moreover there is a unique solution wo E WP'N (X) n HN
of equation (9), and the linear transformation from f to w° is a bounded linear operator from LP (X) n HN into WP'N(X) n HN . (ii) Problem (10), equivalently equation (11), is solvable if and only if f is orthog-
onal in LP to H. Moreover there is a unique solution w° E WPT(X) n HT of equation (11), and the linear transformation from f to w° is a bounded linear operator from LP(X) n HT into WP'T(X) n HT . Problems (8) and (10) are easily seen to be elliptic boundary value problems, where one has zero Dirichlet data for suitable coefficients of w and zero Neumann
data for the others. Elliptic regularity theory then allows to complement the existence theorem in Theorem 4 with the following Regularity Theorem
Theorem 5. Let w in WP'N (X) or in W' 2 (X) be respectively a solution of (9) or of (11). Then we have (i) w E WP2'2(X) if f E LP(X). (ii) w E WP's(X) n CO, ` (X, APTX), a = 1 - P, if f E L; (X), s > n. (iii) w E C2,- (X, APTX) if f E C°Ia(X, APTX). (iv) Higher regularity of w follows from higher regularity of f, for instance w E C°° or w is analytic if f E C°° or is analytic. (v) In particular harmonic normal forms, i.e., w E HN, or harmonic tangential forms, w E HT, are C°° or analytic up to the boundary if X and aX are of class C°° or analytic. Define now
ImdN := {da ImSN := {Sa then we can state - ---------
a E WP'21,N(X)} ImdT aE
W1,2
N(X)} ImST
{da I a E WP'21,T(X)} {Sa I a E
---------------------------
- - - - ----_
2.6 Relative Cohomology: Hodge-Morrey Decomposition
557
Theorem 6 (Hodge-Morrey decomposition). We have (i) The spaces HN, Im dN and IM SN are mutually orthogonal and closed in
LP(X), and one has the decomposition
L2r(X) = HN ®ImdN ®ImSN, that is, every f E L2 (X) decomposes uniquely as
f =h+da+Sf
(12)
where h E HN, a E Wp 1,N(X), /3 E WP+1,N(X) and IIhIJW,,2+IIaIIw1.2+II13 IIWI,2 <_ cII f IILZ'
(ii)
The spaces HT, Im dT and Im ST are mutually orthogonal and closed in L2r (X), moreover
L22(X) = HT ®ImdT ®ImST, i.e., every f E LP2 (X) uniquely decomposes as
f =h+da+SQ
(13)
where h E HT, a E W l T(X), 3 E
and
IIhIIW1,2 +IIa1W1.2+IIQIIW1,2
Moreover in both cases h E C°° (X, APTX) and also a and Q are of class Cup to the boundary if f is of class C°° up to the boundary. Finally, SQ = 0 if
df =0. Proof. The proof follows the same path of the analogous proof of the decomposition theorem in the boundaryless case: one has only to take into account the formulas of integration by parts in Proposition 6 in Sec. 5.1.3. For the reader's convenience, we only prove (12). Let h be the projection (in L22) of f into HN and let wo E Wp'N (X) n HN be the unique solution of (14)
(dw I d()L2 + (SW I SS)L2 = (f I ()L2
V
E Wp'N(X )
which exists by Theorem 4. By the regularity theorem wo actually belongs to Wp'2, therefore (iv) of Proposition 3 yields (15)
(SW +J{
(dw I dC)L2
+
rr (QW I S)L2
+} dl-C-1
ax
for all C E WP'2(X). From (14), (15) we infer by taking C E C°°(X, APTX) that
5. Cartesian Currents in Riemannian Manifolds
558
Awo=f - h i.e.,
f = h + da + 60 if a := dwo, /3 := Swo E WP+1 (X) . As n a = n Swo = Sn wo = 0, we see that a E Wp'21,N(X). From (14), (15) we also infer where a E WW_21(X ),
J ax
< t C, n dwo > dx" = 0
V C E Wp,'N (X ),
and, being t( arbitrary on X, that n dwo = 0, hence no = it dwo = 0, i.e. 1,2
E WP+1,N(X)-
Remark 1. It is worth remarking that, since Hodge operator transforms pharmonic forms into (n - p)-harmonic forms and
*nw=t(*w)
*tw=n(*w),
actually on oriented manifolds Theorem 4 (ii) follows from Theorem 4 (i) and Theorem 6 (ii) follows from Theorem 6 (i). Remark 2. One might consider other boundary value problems for the LaplaceBeltrami operator and consequently infer other decomposition theorems. However we shall not pursue this topic any further. For k = 0, ... , n, define
Zk(X, aX) :_ {w E Co(X, AkTX) I i#w = 0, dw = 0} to be the vector space of relatively closed k-forms, i.e. the space of closed k-forms which vanish on aQ, and
Bk(X,OX) :_ {w = da I a E CO(X,.AkTX), i#a = 0, or w = 0 if k = 0}. the vector space of relatively exact k-forms. The relative de Rham cohomology groups are then defined by
HHR(X, aX) := Zk(X, aX)1Bk(X, aX). An immediate consequence of Theorem 6 is
Corollary 1. We have (i) Each cohomology class [w] E HHR(X) contains exactly one harmonic form h
with n h = 0. In particular HHR (X) is finite dimensional. (ii) Each relative cohomology class [w] E HHR(X, 9X) contains exactly one harmonic form h with t h = 0. In particular HHR (X, OX) is finite dimensional.
2.7 Weitzenbock Formula
559
2.7 Weitzenbock Formula In this section we derive a more intrinsic expression for the Laplace Beltrami operator on a Riemannian manifold X in terms of the covariant derivatives and of the curvature of X. Denote by r(TX) the smooth vector fields on X and if p : E -* X is a fiber bundle on X, denote by r(E) the space of sections over E. A connection V on E is an operator
denoted by Vxt; for X E V(TX) and
E r(E) which satisfies the following
properties
(i) V X t; is tensorial in X i.e.
Vx+Y = OX6+VYe,
OfXe = fvXe
for x, y E r(TX ), 6 E r(E), f E C°° (X ). (ii) Vx6 is linear in iii) Vxl; satisfies the following chains rule
fVxe
Vx(fe) =
(1)
for X E r(TX), f E C°°(X), 6 E r(E). Notice that (i) implies that Vxl; at a point x E M depends only on the tangent field X at point x and moreover that V can be also seen as an operator
V : r(E) -* r(E) ® r(A'TX). Moreover, (iii) implies that Vxe(x) depends only on t= near x. Given a connection V on a fiber bundle E one defines a connection V * on the dual bundle E* by the formula
w> _
(2)
for e E r(E), w E r(E*), X E r(TX) and also on all exterior algebra of E. In fact sections
E r(11pE) can be represented locally as
6=
S°(x)eai
(x)A...
Ae%(x)
aEI(p,n)
where a c Coo (X) and eat, ... , eaP are smooth sections in E. Consequently, by setting (3)
Vx f (x) :_,
(4)
Vx(t 1A... Abp)
P
i=1
f E C°°(X)
S1^ ... Si-1^OX6ti^Ci+1A ... Al p
560
5. Cartesian Currents in Riemannian Manifolds
E N(E) we define an operator
for
v: N(APE) ®T(TX) --> T(ApE)
which is easily seen to be a connection. Starting with V* on N(E*) a similar construction produces a connection on APE*
APE*
P
Vx(w'A... AW) :_ Ew1A... Awz-1AVxw'Awx+'A... nwP,
(5)
i=1
Proposition 1. Let 6 E N(APE), o E T(AgE), w E N(APE), 77 E N(APE). We have (6) (7)
OxeAo + eAV x o Vx(wAr7) =Vxwnr7+WAVxr7
(8)
<w, Vxe> += , X >.
Vx
Also, if p < q
Vx(e-J 77) _ CJ Vx?7+Vxl;J 17.
(9)
Proof. Let e1i... , e, be a local basis of sections near xo and fl, ... , fn be the dual basis in N(E*) so that < fi (x), ej (x) > = Jij
near x0.
If a E I (p, n), 0 E I (q, n), from (4) we infer Vx (e,,,Aep) = Vxe,,,Ae,3 + e,AVxeo hence (6) follows. Analogously (7) follows from (5). To prove (8) notice that
V*fa(ea) = f«(Vxeo) = 0 if a
,3
while for a = Q P
Oxfa(eo)+f, (Vxe«)
{Oxfck i(eai +fai(Vxe«i)} i=1
,X>=0. Let us prove (9). Using (6) and (8), for o E T(Aq_pE)
V_ 77)(o,) = -eJ 77(V xo) + < d<77, one >, X > = -77(OxoAe) +
X>
= -77(Vx(o-ne))+,X>+
_ C-J V*77(o) + Vxe-J 77(C)
2.7 Weitzenbock Formula
561
A basic result on Riemannian geometry is that there is only one connection V on TX, the Levi-Civita connection , which satisfies the following additional requirements (1) V is metric, i.e.
(VxYIZ)+(YIVxZ) _VX,Y,ZET(TX) (10)
(2) V is torsion free, i. e. for X, Y E T (T, X) (11)
T(x, y) =VxY-VyX - [X, Y] - 0
being [X, Y] the Lie bracket of X and Y. In this case, d
[X, Y] := X3
aXj
ei - Yj axi e2
where X := Xiei, Y := Yiei.
One can compute V in terms of the metric on T (TX ), and one has
(VxxlZ) = 2 {x(X Z) - Z(XJX) + x(XIZ) (12)
-(XI[X,Z])+(ZI[X,Y])+(XI[Z,X])}.
In local coordinates, denoting by Gij the metric tensor of X and by e1, ... , en a local basis for I'(TX), we have n
(13)
>rkj ek
Deyej
k=1
where {T kj} are the Christoffel symbols of the connection in the given basis; (12) is then equivalent to (14)
T = 2Gk1{Gil,j + Gj(,i -
Gij,1}.
The torsion free condition (11) implies
T =rk
di,j,k.
Proposition 2. Let X be a Riemannian manifold. Denote by V the Levi-Civita connection in X and also its extension to the algebra of p-vector fields and forms defined on an open set U c X and let dx...... dxn be the dual frame of p-forms. Then dX AVej W in U. (15) dW If moreover ej are orthonormal at xo E U then at xo (16)
dW = >ejJ Ve, w.
j
5. Cartesian Currents in Riemannian Manifolds
562
Proof. The idea is to prove the invariance of both sides in (15) and (16) with respect to changes of coordinates and then proves (15) and (16) in a suitable frame.
Let us prove (15). First we note the the expression
E dxj AVejw
j is independent of the choice of local frame In fact if fl,... , f., is another frame field, we have f j = A ek for some A E COO (U, ]R). For the corresponding dual frame f 1, ... , f' we then have f j = Bkdxk with B := A-1. Consequently
f3AOfjw =
j
8kdxkAVe=w = dxiAV,,w.
w= j,k,i
i,k
i
Since d is also independent on the frame field, it suffices to check (15) for a special frame field. We select around x0, normal coordinates for which we have Gij(xo) = 5ij, Gij,l (xo) = 0 V i, j,1. Hence for the coordinate frame fields ei,... , en, we have
Veiej(xo) = f (xo)ek(xo) = 0 from (13) (14). Thus, if w = codxa, a E I(p, n), f E C°O(X), we obtain at xo
EdxiAvej(cpdxa) _
dxa = d(c'dxa).
dxjA 9
j
To prove (16) we observe that the right hand side is independent of the chosen of
the normal frame at x0. In fact if fl, ... , fn is another orthonormal frame field, f j = A3 ek, A3 being an orthogonal matrix, A A3 = 5ik. Then we have
eiJ V.
Ve;w =
fi-J V f,w =
j
j,k,i
i
Again we chose normal coordinates at xo. The coordinate orthogonal at x0 and V ej = 0. Consequently
ejj Vet (pdxa) =
(17)
j
en) frame is
a e J dxa.
8xj
On the other hand from (1) in Sec. 5.2.4, taking into account that Gij(xo) _ Gti(xo) = V, Gij,a(xo) = 0 we have at x0 1:(5(Wdxa))7 dxl =
6(Wdxa)
(18)
_
a (i,'y) y+i=a
&p
(xi
aacpxe
dxa = iEa
o(i, a) dxa-i
2.7 Weitzenbock Formula
563
and the claim follows comparing (17) (18) since
ifi0a
0
ej i dxa = iS
o-(i, a)
dxa-2
if i E a. 71
In order to express the Laplace-Beltrami operator in terms of covariant derivatives, we introduce the second covariant derivative defined for w E F(APX) and X, Y E TX by
OXYw :_ VX(VyW) -Vvxyw and the curvature tensor associated with a connection (19)
(20)
R(X, Y) :_ VxVy -VyVX : APTX -4 APTX. is tensorial in X, Y, i.e. that OXY is linear in X
It is easy to check that and Y and for all xo E Y
oXY(W)(xo)
depends only on the values X (xo ), Y(xo) of the vector fields X and Y at xo. In fact, for f, g E C°°, X, Y smooth vector fields,
VfX(V9yw) = fVyw+fgVX(VYw) and
VVfx(9Y)W = V fX+f90xY = f Vyw + fgVvxyw so
v2fX,YW = f(x)g(x)VXYW. We need also the following algebraic lemma.
(21)
Lemma 1. Let e1,. .. , en E Al V, dx', ... , dx" the dual basis in A'V, w E APV. Then (22)
> {eiJ dxjAw +dxjA(eiJ w)} = 0
(23)
eiJ dxinw + dx1A(eiJ w) = w
ij
Proof. Assume first i
V i = 1, ... , n.
j if j E a, if j a, i 0 a 0 -i if j a, i E a. o, (j, a) o, (i, a + j - i) dxa+j
10
eiJ (dxjndxa) =
ifi a,
10 dx3A(eiJdxa)
ifiEa, jEa
0
v(i, a - i)o,(j, a - i)
dxa+j-z
if j
a, i E a.
5. Cartesian Currents in Riemannian Manifolds
564
a + j - i) = -o (i, a - i)o-(j, a - i), compare (5) in Sec. 5.2.4, (6) As v(j, in Sec. 5.2.4, we see that eiJ (dx3Adxa) + dx3A(eii dxa) = 0
`d a E I(p, n), consequently (22) is proved. To prove (23) it suffices to compute
ifiEa,
(0
eii dx"Adxa = {
dxa
if i
dxineiJ dxa =
a,
r dx' ifiEa
Sl
0
if i
,
c
,
thus
eiJ dx2Aw + dxiheiJ w = w.
Theorem 1 (Wietzenbock formula). Let X be a Riemannian manifold and let V be the Levi-Civita connection on forms. If el, ... , en is a local frame on X which is orthonormal at xo and dxl,... , dxn the dual frame on T*X, then
Qw = Deieiw + dxzA(ejl R(ei, ej)w)
(24)
Proof. By definition, Aw is intrinsic to the Riemannian manifold and depends on the Riemannian structure on X. Also we check that both terms in the right hand side of (24) are intrinsic. In fact, if fl, . . . , f, is another orthonormal frame field, then fj = A ek, A (xo) being orthogonal. Thus (21) implies Vfifiw = 1: AkAt Vekehw =
Dehehw. h
j,h,k
i
Also if fj is the dual basis of fj, fj = Bkdxk, B
R(fi, fj) _
A-1
AkA; R(ek, eh) h,k
fj i R(fi, fj) i
hkj,s
AkehJ R(ek, eh)
AsAi Aj esJ R(ek, eh) k,h
Therefore
ftin(fjJ R(fi, f3)) _
BsAkdxsn(ehJ R(ek, eh)) h,k,s,i
dxkn(ehJ R(ek, eh)). h,k
Consequently it suffices to prove (24) for a special frame. Choose normal coordinates around xo, and dual coordinate frames e1, ... , en, and dxl,... , dxn. At xo we have Veiej(xo) = 0, therefore Vei(dxj)(xo) = 0, Deieyw(xo) = VeiVeiw(xo) and R(ei,ej) =Ve;,Vej - VejVei
2.8 Poincare and Poincare-Lefschetz Dualities in Cohomology
565
Consequently, using Proposition 2 at xo (25)
dxin0ei(ejJ Vejw)
dSw =
dxin(ejJ DeyVejw)
i,j
i,j
and also using Lemma 1
Sdw = EejJ Vej(dx'AVeiw) i, j
E ejJ (dx'AVejVeiw)
- 1: dxin(ejJ Dej Veiw) i=j
i,j n
(26)
+ejJ (dxinvejVei.w)+dx2A(eiJ DeiVeiw)} i=1
E dx2A(ej-i Vej Ve, w) +
Dei Vei
i, j
Adding (25) and (26) we get the claim.
11
Remark 1. If p = 0, i.e. if w = f E C°°(X) then R(ei,ej)f = fR(ei,ej)1 = 0 because of the tensorial property of R, consequently for functions
If =Eoeieyf. 2.8 Poincare and Poincare-Lefschetz Dualities in Cohomology Compact manifolds without boundary. Let X be a compact manifold without boundary. Recalling Hodge's theorem Theorem 6 in Sec. 5.2.5 we first notice that Hodge operator * induces naturally an isomorphism between the homology classes HHR (X) and HHR' (X ), in fact since
*w=*,Aw we see that *w is harmonic if w is harmonic, hence the map * : w ---* *w defines an isomorphism
* : HaR(X) --> HHRP(X). However such an isomorphism depends not only on the orientation of X, but on the metric. An algebraic isomorphism independent from the metric between HHR (X) and the dual of H(X) is obtained as follows. Given two closed forms w E W1'2 (X, APTX) and 77 E W"2 (X, An-PTX) it is readily seen that
<w,77> :=
xJ
wnr7
does not change if we replace w and 77 by cohomologous forms, hence < , > defines a bilinear map over HHR (X) x H(X)
5. Cartesian Currents in Riemannian Manifolds
566
Poinc<, >: HaR(X) x HHRP(X) --> J R. We have
Theorem 1 (Poincare duality). The bilinear form Poinc<, > is non degenerate, that is for every non zero cohomology class [w] there is a non zero class [77] such that Poinc< [w], [77] > 54 0,
consequently HHR(X) is isomorphic to the dual (HaRP(X))* of HdRP(X).
Proof. For each non zero cohomology class that we may assume represented by an harmonic form w we see that *w represents a cohomology class in H.R P (X ) for which
J
wA*w=(w,w) #0.
The second part of the claim follows at once from Lemma 1 below as de Rham's cohomology classes are finite dimensional vector spaces.
Lemma 1. Let E, F be Hilbert spaces and let a(.,) : E x F -+ R be a bilinear map satisfying (i) Ia(u,v)I0 such that a(uo, v) > co I v I V v E F
(iii) a(u,v)=0VvEF implies u = 0 Then F ^ E*. Proof. Consider the linear map T : F -> E* defined by TT(u) := a(u, v). By (i) E- < k v IIF; also, by (ii)
T is continuous and T
IIVIIF <
IITV IIE
11uo
It follows that T has closed range, is invertible, and T-1 is continuous. It remains
to show that range T = E*. Assume not, then there is 0 E E*, 0 0 0 such that coo E E we then (OITv)E- = 0 V v E F. Representing 0 as 0(u) = (ulcpo), find 0 = (OIT,,)E` = Tv('po) = a('po,v)
(iii) then implies coo = 0, i.e.,
b v E F,
= 0: a contradiction.
Notice that in particular Theorem 1 yields
Proposition 1. Let w be a closed form in X. If fX wnrl = 0 for all rl with d77 = 0, then w is exact.
2.8 Poincare and Poincare-Lefschetz Dualities in Cohomology
567
Compact manifolds with boundary. Given a smooth compact Riemannian manifold X with boundary, we may define, as we have seen, three sets of cohomology groups depending on k = 0, ... , n: The de Rham cohomology groups k HaR(X) _ closed forms of degree k in X
exact forms of degree k in X '
no boundary condition is imposed; for w E Zk(X), we denote by [w]x the cohomology class of w,
The de Rham cohomology groups of the boundary aX k HaR(aX) _ closed forms of degree k in aX
exact forms of degree k in aX
for w E Zk(8X), we denote by [w]ax the cohomology class of w in HHR(aX),
The relative cohomology group of relative closed forms modulo relative exact forms i.e. HkdR (X
ax)
closed forms of degree k in X which are null on OX exact forms of degree k in X which are null on OX
that we have already defined in Sec. 5.2.6. The relative cohomology class of w E Zk (X, aX) in HHR (X, aX) is denoted by [w] rel.
The inclusion map i : OX -f X clearly induces a map i# : HHR(X) HHR(OX ). As forms in Zk (X, OX) and in Bk (X, DX) are just special closed and exact forms, it is easily seen that an inclusion map j* : HHR (X, OX) -# HR(X) is well defined by 7#([w]rel) = [w]x. Finally, one can define a coboundary operator b : HHR(aX) -, Hk+1(aX) by b([w]eX) _ [dw]rel
where ID is an extension of w in X. In fact, if w extends w to X, we have i#(di.-5) = d(i#w) = dw = 0
on aX,
i.e., dW E Zk+1(X, aX ); moreover, if w is another extension of w, then
and i#(w-w)=0, i.e., [dD]rel is independent of the choice of the extension w of w. Also, if w E Bk (aX ), w = da, a E Dk+l (aX ), and a E Dk+1(X) is an extension of a, we have dw = d(w - da)
and i#(w - da) = w - w = 0.
5. Cartesian Currents in Riemannian Manifolds
568
Recalling now that a sequence of vector spaces
+ Vi --f Vi+l - .. .
Vi-1
is said to be exact if for all i the kernel of fi is equal to the image of its predecessor
fi-1
ker fi = Im fi- 1,
we can state
Theorem 2. The long sequence
... ?#
HaR(X)
2#' HHR(aX) a ' HHR1 (X, aX)
'- Hk+1(X)
is exact.
Proof. For the reader's convenience we give the simple proof. (i) First we show that the composition of two successive maps gives zero. Let [w]re1 E HaR(X, aX). We have 2#(7#([w]re1))
= i#(1w)x) = [i#W]X = 0
as i#w = 0. Let [w]x E Hk(X). We have b(i#[w]x) = 6([i#w]ax) _ [di#w]re1 = [di#w]rel = [2#dw]re1 = 0.
Let [w]ax E Hk(aX). We have j#(8([w]ax)) = j#([dw]rel) = [dw]X = 0 as dw is exact in X (though not relatively exact). (ii) Suppose that i# ([w] x) = 0, we need to construct c:i so that j# ([W]re1) = [LO]X.
From the assumption [i#w]ax = 0, i.e., i#w is exact in OX, i#w = dcp in OX. We extend cp to cp in X, define W = w - cp, and verify ill (Lo
- dip) = 0,
j#([w]re1] = [W -
x = [w].
(iii) Suppose that [w]ax E Hk(DX) and 8([w]ax) = 0. Extend w tow in X, i#iv = w; since [dZ]re] = a([w]ax) = 0, dw is relatively exact, i.e., div = dcp with i#cp = 0. If we define = w - cp we have
dw=di3-dcp=0 i#[W]x = [i#w]ax =
[i#cp]ax = [w]ax.
(iv) Finally, let [w]rel E HHR(X,9X) and j#[W]rel = [w]x = 0, W being relatively
closed, du) = 0 and i#w = 0. Then w is exact in X, w = dep, and [i#coiax E Hk-1(aX), as di#cc = i#w = 0, 8(i#cP]ax) = [dcP]rei = [w]rel
2.8 Poincare and Poincare-Lefschetz Dualities in Cohomology
569
Returning to harmonic forms, we recall Remark 1 in Sec. 5.2.6. i.e., that Hodge * operator yields an isomorphism *:xN-'HTk
we easily infer that HaR(X) and HaR k(X, aX) are isomorphic. However the duality given by
* : HdR(X) - HHRk(X,aX) depends on the metric (and on the orientation) of X. On an oriented manifold, an algebraic isomorphism between HdkR(X) and the dual of HHRk(X,aX) is instead given by the map (w, 71) - JwAm
x It is in fact easily seen that fx (w + d17)A(C + do,) = f x wA if w E Zk (X), ii E Dk-1(X), e E Zn'-k (X, aX), and o, E Bn-k-1(X, aX). Therefore such a map induces a bilinear pairing Poinc< [w], [c] > : HaR(X) X HaR k (X, aX) -+ R
between the k-cohomology and the relative (n - k)-cohomology. We have
Theorem 3 (Poincare-Lefschetz duality). The pairing
Poinc<[],[]>:HHR(X) xHaRk(X,aX) _+R given by Poinc< [w], [l;] > :=
J x
wA
- HaR(X,oX)
'-
is non degenerate. Moreover the diagram i#
HHR(X)
'+
x Poinc b
HHRk(X,aX)
HHR'(OX)
x PoincT
'#
x Poinc i#
HHRk(X)
...
HHRk(aX)
b ...
is commutative. PoincT denotes the transposed duality, PoincT< 1771 r'!1' [w] > Poinc< [W], 1771 ]rel >
The commutativity of Al
xF1 A2
B1
xF2 B2
means F2(f(a,),b2) = F1(a,,g(b2)), Val E A1, Vb2 E B2.
570
5. Cartesian Currents in Riemannian Manifolds
Proof. If [w] is a non trivial cohomology class we can represent it by a non-zero harmonic form h with n h = 0. The form *h is harmonic and t (*h) _ *n h = 0,
consequently *h represents a relative cohomology class [*h] E H ' (X,BX), and we have
r
f
Poinc<[w],[*h]>=J hA*h=J Ih12#0. x
x
Similarly one proves that, if [S]rel ; 0, we can find [w] in HHR(X) such that Poinc< [w], 0. The commutativity of the diagram is trivial.
3 Currents and Real Homology of Compact Manifolds Let X be an oriented compact smooth submanifold of dimension n in Rn+N without boundary. We introduce in Sec. 5.3.2 for k := 0, 1.... the k-homology group Hk (X, R) of a X setting Zk(X) Bk(X)
{TENk(U) I sptTCX, 8T=0} {8S I S E Nk+l(U), spt S C X}
and
Hk(X,R) := Zk(X)/Bk(X) where U is a tubular neighbourhood of X, i.e., compare Sec. 5.3.1, as normal cycles in X modulo boundaries of normal currents on X. Two sets of pairings are naturally associated to homology and cohomology. One is the set of de Rham pairings between currents and forms which factors to homology and cohomology
<,>:Hk(X,lI)xHaR(X) defined by < [T], [w] > := T (w). The others are the pairings (w,71) E Dk(X) x
Dn-k(X) _
fwA7]
x which, by Stokes theorem, induce Poincare pairings in cohomology
Poinc<, >: HHR(X) X HHRk(X) -> R given by Poinc < [w], [ri] > := f wnr7. Classical theorems, respectively de Rham's
and Poincare's duality theorems, state in fact that de Rham and Poincare pairings are non degenerate; consequently there are isomorphisms, Poincare duality isomorphisms P : HHRk(X) -' Hk(X,
3 Currents and Real Homology of Compact Manifolds
571
between HHR k (X) and Hk (X, R). In Sec. 5.3.2 we show that the Poincare' duality
isomorphism is actually induced by the map again denoted by P, P : Z,-k(X) -a Zk (X) given by w -+ fX Aw. Moreover, by regularizing a k-cycle T E Zk (X) Dn+N-k(U), and integrating such a we construct an (n + N - k)-form w E form on the fibers of the projection map -7r, we construct a so-called Poincare
dual of T, PT E Dn-k(X). The cohomology class of PT turns out to depend only on the homology class of T, therefore T --# PT yields an explicit way to describe surjectivity of P. Non degeneracy of Poincare duality, which we already proved in Sec. 5.2.8 as consequence of Hodge decomposition theorem, then yields injectivity of the Poincare' duality isomorphism and also yields non-degeneracy of de Rham pairing, as < [T], [w] > = Poinc < [w], [PT] > =
fAPT,
x compare Sec. 5.3.2. We then deduce the weak closure of the real homology classes, hence in particular the existence of mass minimizing real cycles in each homology class.
A completely parallel theory holds in the case of compact manifolds with boundary. One has to introduce the relative homology groups, compare (1) in Sec. 5.3.3. The Poincare-Lefschetz duality isomorphism this time consists of three sets of maps
P# :HdRk(X,BX) -> Hk(X,lR) P' : HHR -k (X) -> Hk (X, 8X, IR)
P
:Hank-1(8X)
- Hk (BX, IR)
which actually give a morphism between the long exact sequences in cohomology and homology, compare (9) in Sec. 5.3.3. The duality forms-currents_ T(w) induces three sets of de Rham pairings at the homological level
<,>a:Hk(X,IR)xH,R(X) ---+
IR
< , >' : Hk (X, 8X, IR) x HdR(X, 8X) -> 1R < , > : Kk (BX, R) x HdR (8X) --+ 1R
which are related each other by the commutative diagram in de Rham's theorem, Theorem 5 in Sec. 5.3.3. As consequence we deduce the closure of absolute and relative homology classes and consequently the existence of mass minimizing cycles in each homology class. Still another set of pairings is relevant in homology: these are the so-called intersection indices of cycles of complementary dimension.
In Sec. 5.3.4 we shall define Kronecker's index for two'arbitrary currents S E Nk(X) and T E N,,-k(X) for which spt 8S f1 spt T = spt 8T f1 spt S = 0 and see that it induces a pairing Hk(X,1R) X Hn_k(X,8X,1R) -> R.
572
5. Cartesian Currents in Riemannian Manifolds
It turns out that
ix(S,T) = J Ps APT,
x therefore non degeneracy of Poincare duality is equivalent to non-degeneracy of the intersection index.
3.1 Currents on Manifolds Let X be a smooth manifold of dimension m. As already mentioned, by Whitney embedding theorem we may and do assume that X is a smooth (CO°) subman-
ifold of some l1P', X C R'. Moreover we can assume that X has a tubular neighbourhood U D X, U C Rn, and there is a C°° retraction map 7r : U -> X, rr(U)=X,ir(y)=yVyEX.
Definition 1. A k-dimensional current T E Dk(U) is said to be a current in X if T(w) = 0 for any null form w E Dk(U) to X. The class of k-dimensional currents in X is denoted by Dk(X). From the characterization of null forms to X, compare the end of Sec. 5.2.1, we easily infer
Proposition 1. Let T E Vk(U). Then T E Dk(X) if and only if for some E C°°(U) with ( = 1 on X we have T = 7r# (T we have
T=7r#(TLc)
Actually, if T E Dk(X),
b'(EC°°(U), (=1 on X.
Proof. In fact for any w E Dk(U) the form w - (7r#w E Dk(U) is a null form
to X, hence T(w) - T((ir#w) = 0. Conversely if q is a null form to X, then 7r#w = 0, hence T(77) = a# (T L () (y) = T ((7r#77)=0.
Remark 1. Proposition 1 extends to the case of Ck manifolds, k > 1, provided T is a vector valued distribution of order -k. In this case one in fact can assume that the retraction map is Ck hence 7r#(TLC) is well defined. In particular Proposition 1 holds true for flat chains on C' manifolds. Trivially sptT C X if T E Dk (X) . In fact, if w is supported outside X and
w is a null form to X, we have T(w) = 0. But in general it is not true that spt T C X implies T E Dk(X). Consider for instance the 1-dimensional current in R2 integration of 1-forms along the real axis el against the normal vector e2 L(w) :=
J
<w, e2 > dxl.
Clearly spt L C l[8xi, while for example on the null form W(x1) dx2 we have T (,p(xl)dx2) =
f(x1)dx1.
Notice that M(T) < oo, while M(8T) = +oo, compare 10 in Sec. 2.2.4. However we have
3.1 Currents on Manifolds
573
Theorem 1 (Flatness theorem). Let X be a closed submanifold of Pn. If T is a flat chain in U, T E Fk(U), and sptT C X, then T E Dk(X). Proof. Theorem 1 is a consequence of Proposition 7 in Sec. 5.1.3. In fact the X and the identity map id : U -+ U trivially agree on retraction map 7r : U
X, hence on spt T. Proposition 7 in Sec. 5.1.3 then yields T = 'r# (T L () V ( E C°°(U), C = 1 on X, and the conclusion follows from Proposition 1. By Theorem 1 normal currents on a submanifold X on Rn may be identified to currents in the ambient space IRn with support in X. We shall now see that a constancy theorem holds also for currents on submanifolds. Let X be an m-dimensional C°° submanifold of RTh with locally finite area. Suppose that X is oriented by a smooth rn-vector field X. Then the current
Q X := T(X,1,..) is a locally m-rectifiable current in R'.
Theorem 2 (Constancy theorem). Let .fl be an open set in ][MTh such that .flflX is connected and letT E D,(X), m = dim X, be such that sptaTfl,fl = 0. Then there exists a constant c E IR such that T= c Q X
in D'(Q f1 U)
U being a tubular neighbourhood of X. Moreover c is an integer if T is i.m. rectifiable.
X be the retraction map, and let ( E C°° (U), = 1 Proof. As usual let -7r : U ,(l2 C D on X. We cover .fl fl X by a system of coordinates Vi : V -> Di f1 X
so that cj#U = X; the maps cpi have inverses, and more precisely there are smooth maps z/ii : U fl it-' (.Qi fl X) -> V which are onto and such that W o Oi = ir,
Oi o wi = id,.
Therefore the currents Wi# (T L () belong to D,,,, (V) and, as spt aT fl .fl = 0, we
have fti# (T L () = 0 on Vi. It follows from the constancy theorem in the flat case, Theorem 1 in Sec. 4.3.1 that
'bi#(TL() =G;QV on V, hence
T = it#(T LO) =Wi#4Ji#(T L() = ciEX
on ,fli fl U,
since cpi#U = X. As the .(li's overlap on X, we infer that the constant ci are all equal to a c independent of the chart T = c QX ]J
on Dm(.fli fl u),
and the conclusion follows by means of a decomposition of unity associated to the covering {.Qi}.
5. Cartesian Currents in Riemannian Manifolds
574
Remark 2. Theorem 1 holds also for flat chains on Cl manifolds, compare Remark 1. More generally we have
Theorem 3 (Constancy theorem). Let E be an r-dimensional oriented, connected and embedded submanifold of U of class C', where U is an open set in ]Rn, and let T E F;°` (U). If (spt T) \Z is closed relative to U and spt 8T C U\E, then there exists a real number p such that
spt(T-pjZ]) CU\E. Moreover p is an integer if T is locally integer rectifiable.
If f : X --+ Y is a Lipschitz map between C' manifolds, every T E Nk(X) has a Lipschitz image f#T E Nk(Y). Also if fo, f, : X - Y are two maps and h : [0,1] x X - Y is an homotopy map between fo and fl, h(0, x) = fo(x), h(1, x) = f, (x), then the homotopy formula holds (1)
fl#T- fo#T=Bh#(Q0,11 xT)+h#(Q0,1J x8T)
for T E Nk (X) . Also a corresponding homotopy formula for forms holds (2)
fl#w - fo#w = d[h#(w)](o,i) + [h#(dw)] (o,l),
[i7] (o,l) being the integration along the fibers of the components of rl which are not
tangential to X. Also the standard estimates for homotopies hold true, compare Sec. 2.2.3.
3.2 Manifolds Without Boundary: Poincare and de Rham Dualities By Poincare duality isomorphism one usually refers to the duality between the k-homology group and the (n - k)-de Rham cohomology group of an oriented compact smooth manifold without boundary. In this subsection we shall describe such an isomorphism in terms of currents and forms.
Poincare duality isomorphism on open sets. Let U be an open set in R". For 0 < k < n consider the vector spaces of currents
Zk(U, R) = {T E Dk(U) 18T = 0, M(T) < +oo} Bk(U,R) = {8S I S E Dk+l(U), M(S) <+oc} and set Hk(U, R) = Zk(U, R)lBk(U, R) Analogously we define de Rham's cohomology groups in U by HdR(U, R) := Zk(U, R)/Bk(U,
3.2 Poincare and de Rham Dualities
575
where
Zk(U,R) _ {w E L1(U,AkRn) n£k(U) I dw = 0} Bk(U,1R) _ {dr) 177 E L' (U, AkRn) n £k-1(U)}
Then we have
Theorem 1.
HaRk(U,R) and Hk(U,R) are isomorphic.
To prove this we consider the map P : Dk(U) I M(T) < +oo} given by
L1(U,An-kRn)
p(W) :_ (-1)k(n-k)Rn LW = As 0(1Rn L W) _
(-1)k-1Wn
J
n £n-k(U) , {T E
Au.
L dw the map P factorizes to a map still denoted by
P P : H a R k (U, R) --+ H k (U,1 [ 8) .
We shall prove that P is an isomorphism, indeed the isomorphism of Theorem 1. Of course this amount to prove
Proposition 1. We have (2)
Let T be a cycle of finite mass, aT = 0. Then there is a (n - k) form PT E An-kR2) n £n-k(U) such that for some S E Dk+l(U), M(S) < +oo L' (U, we have
T= 1 APT+aS.
(1)
UU
(ii) Let w E L'(U, An-kRn) n £n-k (U) be such that 1R L W = aS for some S E Dk+1(U), M(S) < +oo. Then w = dr7, 77 E L1 (U, An-k-lRn) n £n-k-1(U).
Proof. We prove both claims by regularizing T. (i) is in fact already proved in (-1)k(n-k)f. Proposition 7 in Sec. 5.1.2, by taking PT :_ To prove (ii), we choose a convolution kernel p and a regularized distance
d. For0<E
Wi L wE = (Rn L W)E = (aS)E = as'.
On the other hand by Proposition 6 in Sec. 5.1.2 (3)
SE = IEBn L 17e
i 6, E L'(U,
An-k-'Rn) n £n-k-1(U)
From (2) and (3) we conclude that wE = (_l)n-kdr)E. As w6 and w are also cohomologous to a form L1(U,
An-k-lRn) n £n-k-1(U) the claim follows.
576
5. Cartesian Currents in Riemannian Manifolds
Remark 1. We observe that the same reasoning of Proposition 1 implies the following:
(i) if the current T in (i) of Proposition 1 has compact support in U, then the decomposition (1) holds with spt PT and spt S arbitrarily close to spt T; (ii) if the form w and the current S in (ii) of Proposition 1 have compact support in U, then one finds a potential for w with support arbitrarily to spt w U spt S.
(iii) In particular we infer that de Rham's (n - k)-cohomology group of smooth forms with compact support is isomorphic to the k-homology group of currents with compact supports {T E Dk(U) I OT = 0, sptT CC U}/{ 8S I S E Dk+1(U)}.
From now on we shall refer to the map P : Hd k (U, R) - Hk (U, ]R) as to the Poincare duality isomorphism and to (n - k)-forms PT satisfying (1) as to Poincare's dual forms of T. Poincare's dual forms PT, T E Zk(U) are constructed mollifying T, compare Sec. 5.1.2, in particular there are not unique. However they preserve some of the properties of T, e.g., PT E L' (U, do-kin) if
M(T) < oo, sptPT CC U if sptT CC U. Also (ii) of Proposition 1 states that the cohomology class of any Poincare dual form PT E Zn-k (U) of a given cycle T E Zk(U) is uniquely defined by the homology class of T. Let X be a compact oriented and boundaryless submanifold in U of dimension k. A form w E Zn-k(U) with compact support in U such that Q X (7l) =
f7lAw U
for all closed forms ?] E Zk (U) is classically referred as to a Poincare's dual form of X. In principle therefore our notion of Poincare dual form is slightly stronger,
as we require equality (1). Actually this is not the case, in fact one can show that every classical Poincare form is actually a Poincare form in our sense. This amounts to show that for every (n - k)-form w for which (4)
R' Lw(a) = fwAa = 0
V a E Dk(U), da = 0
U
(in particular w is closed) we can find a current S E Dk+1 (U) such that 1R L w = 8S. This is equivalent to say that the linear functional S' : Bk+1(U) --+ Ifs (5)
S'(,(3) :=
J
was
if 3 =
doe
extends as a linear continuous functional on Dk+1(U). We have in fact
Proposition 2. Let U be a smooth bounded open set in Rn and let w be a form LP(U,An-kJn) n £n-k(U), p > 1, such that in
3.2 Poincare and de Rham Dualities
fwAa=0
577
b a E Dk(U) with da = 0,
U
in particular dw = 0. Then there exists S E Dk+1 (U) such that 11 n L W = 3S. Proof. First assume p > 1, and let w = >2 wa (x)dxa. We solve the problem
dQa = wa O6
.Qa E Wo'p(U).
By the elliptic regularity we find a unique .fla which actually belongs to Coo (U) n W2,P(U). Consequently the form (1 := >2 Qa dxa solves
d8ffl + Sdfl = w,
compare (7) in Sec. 5.2.4, 8 being the adjoint of d with respect to zero values on W. Since dw = 0, we infer SdD E ker d n ker 5 and by the assumption, taking into account Proposition 2 in Sec. 5.2.4, Sdfl = w - dSS? E ker J', hence 8d.fl = 0. Therefore we find w = dij, rl E 6,_k-1(U) n W1,P(U, An-k-lRn), and consequently ][8n LW = IRn L drl = (-1)n-ka(Rn L 77).
If p = 1, we can still solve (6), compare Stampacchia [609], and find a weak solution which belongs to C°°(U) n W1,9 (U) for all q < n/ (n - 1). The proof is then concluded as previously.
Integration along the fibers and the lift of currents. Let X be a C2 compact, oriented n-dimensional manifold without boundary in IEPn+N and denote by X : X -* 11nRn+N and by N : X -> ANIRn+N respectively the unit tangent n-vector field to X and a unit normal vector field to X so that
X/vV has the same orientation of Rn+N. Recall now that X is a tubular neighbourhood retract, and more precisely we can find an Eo > 0 such that each point in
U = {x E Rn+N
I
dist (x, X) < Eo }
has a unique point of least distance ir(x) in X, and that -7r : U -+ X is a retraction. Moreover, we have a system of charts cpa : fla -> Va C X of X, and on each chart a system of N independent vectors via), ... , VNa) in such that via)n...nvN) =N on K,; consequently the maps
Ua x B(0, Eo) C Ua x RN -+ 7r- 1(V,) given by N
(7)
Y a (x, t) _ 0a (x) + E tiv(a) (x) i=1
578
5. Cartesian Currents in Riemannian Manifolds
are diffeomorphisms. Of course, taking into account the special form of 0a and denoting by El, ... , EN the standard basis of RN, we see that ANDca (x, t) (Eln ... AEN) = v1A ... AvN (co(x)) = N(W(x))
for x E .(la, t E B(0, Eo). Also note that 1 ° ga (x), A(x)t),
1(x, b) =
where A(x) E MN x N and det A > 0, or in other words 7r : U --> X is an oriented fiber bundle over X. To any (k+N)-form w E Dk+N(U) we now associate a k-form 7r*w in Dk(X) by "integrating w along the fibers of the fibration it : U --> X". We define 7rw by (8)
<7r*w, v > :=
r
J 7r-'(X)
<w(z), vAN(x) > dH'(z) V v E AkTXX.
Clearly 7r* defines a map from Dk+N (U) into Dk (X). In the special case in which
X = .(l is an open set of R'", U = .(2 x RN introducing coordinates el, . .(2 and El, ... , EN in R", we have
X = e1A... hen
N = E1A... AEN,
and any form w E Dk+N l/ f7 x RN) has the form
E
w«Q(x, y) dxandyQ.
aI+j8I=k+N
Then 7r (x, y) = x and (9)
7c*(w)(x) := >
(fWa(X,S)dS)dXa.
Notice that the formula for a product of currents gives (10)
for T E Dk(fl), W E Dk+N(Q X RN)
T x RN(w) = T(7r*(w))
Proposition 3. We have
11
(i) 7<* d = d7r* . (ii) 7r*(7r#77Aw) = 77A7r*w, d w E Dk+N(U), V 77 E DP(X), p + k < n. (iii) For 77 E D,-k (X) and w E Dk+N (U)
f x
7)^7r*w =
f 7#77nw, U
i.e., 7r# (IRn+N L w) = (-1) N(n-k) Q X L -7r*w.
. .
, e,,, in
3.2 Poincare and de Rham Dualities
579
If Px is a Poincare dual form of X in U then 7r.Px = 1.
(iv)
Proof. The first two claims are local, consequently it suffices to prove them for forms 77 and w respectively with compact support in a chart V and in 7r-1(V), we omit here the index a, compare (7). Also we first prove the claims in the case that V =: S2 is an open set of Rn so that -7r-1(.f2) = S2 x RN. In this case we can write 7r(x, y) = x and
(fWa(X)d) dxa.
7r.w := F, Ial=k
Now each component of w takes the form = a(x, y) dxandyO. Therefore
d = ax, (x, y)dxindxandya + v(i, 0) (-1)ka, (x, y)dxandy,3+a hence
0
(i,
7r.dt; =
Q)(_1)k
( l
\
faye (x, y) dy) dxa = 0
(fax(x)d) dxiAdxa
1/31
2.=1
and we conclude n
7r.dw = E T, (
f
axi (x, y) dy) dxindxa = d7r.w.
i=1 dal=k
Writing 7r#77 = E ,7.y (x) dxy the second claim follows easily as 17I=n
7r* (7r# ('y) Aw) (x)
E U 77-y (x)aao (x, y) dy I dx'yAdxa
171=h
Ial=k 77(x)A7r.w(x).
The general case follows from the flat case because (11)
7r.(O#w) = V#(-7r*w),
and cp being the diffeomorphisms in (7) (index omitted). In fact co#[d7r.w] = dco#7r*w = (by (11)) d7r.O#w
= (by (i) in the flat case) 7r.do#w
= 7r*0#(dw) = (again by (11)) cp#(7r.d(.1)
580
5. Cartesian Currents in R.iemannian Manifolds
which proves that in any coordinate chart d7r* - 7rd = 0. Similarly one proves (9).
Let us prove (11). We have ca#w(x, t) = Ak+NDC,(x, t)w(q5(x, t)), therefore for v E AkRn, < 0#W, vAe1A ... ^EN > = <W (O(x, t) ), Ak+NDO(x, t) (vAe1 A ... /BEN) >.
But on the account of the particular form of 0 AkDc(x, t) (v) = AkDcp(x)(v)
ANDO(x, t)Eln... AEN = I ANDO(x, t) I N(((x, t))
... Err) are orthogonal, hence
AkDO(v), ANDO(ElA
< O#W, vAe1 A ... AEN > = < w (q5(x, t) ), AkD p(x) (v) NV (cp(x, t)) >,
consequently <7r* (0#w), v >
r
_ / <w(o(x,t)),AkDV(x)v/
J
<w(z), AkDW(x)vAN(V(x)) > d7-lN (z)
7-1(rv(x))
_ <7r*w(cp(x)),AkDco(x)v> =. Proof of (iii). We use the general coarea formula
f gIVNfI dH =f dnn f g(z)dxN(z) x
x
7r-1(x)
where f : U --+ X and VN f (x) = projection of V f onto the level line of through x. In this case we have for r) E D,-k(X)
f
71A7r*(W) =
f
f (#Aw) = x
x
x
dH f d7-lr'<7r#7]Aw, ex/vV> 7r-1(x)
= f <7r#7)nw, e1A... /den+N>IVN7rI dz = f 7r#7?Aw U
U
since ON7rI = 1. This proves the claim together with
QXj L7r*(w) = (_I)("-k)k
f
r)n7r*(w)
x
_
(-1)(n-k)k f#()Aw
_
(-1)(n-k)k7r#(IRn+N L W).
=
U
(-1)(n-k)[k+N-k]
¶
Ull(WA7r#(7/))
f
3.2 Poincare and de Rham Dualities
581
Finally (iv) follows at once as for 77 E Dn(X) by (iii) and (1) we have
f
fi7ir*(Px) = f 7r#(r1)APx = x U X
771
hence 7r* (Px) = 1.
Fig. 5.3. The lift of a current.
Remark 2. Let cp :.Q -+ L be a diffeomorphism of two open sets of 1R
and let
0: (1xRN -,A x R N be of the type h : 1? x RN __ RN smooth and ah (x, t) > 0.
(12) 0(x, t) = (cp(x), h(x, t)),
Then it is easily seen that cp#7r* simply by changing variables. In particular we obtain that if 7r : E --* X is an oriented fiber bundle, then the integration along the fibers is well defined and gives a map 7r*
: Sk+N(E) -' Ek(X)
since the transition functions of E are maps of the type (12).
One then defines a lift operator 7r* : Dk(X) -> Dk+N(U) on currents by duality *(S)(W) := S(7r*w).
In case X = 1l x {0} C IRn+N and 7r : Rn+N __,, R x {0} is the orthogonal projection on the first factor, 7r(x, y) = x, then
7r*S=SX RN for SEDk(lR X{0}).
582
5. Cartesian Currents in Riemannian Manifolds
Proposition 4. We have (i)1
a7r*s = it*as in U,
(ii) (iii) If M(S) < +oo, then M(7r*S) = vol(BN(0,1))Eo M(S). (iv) If spt S C X, and S is i.m. rectifiable, then 7r*S is i.m. rectifiable in U. Proof. (i) and (ii) follows from (i) and (iii) of Proposition 3.
(iii) For ( E AkTTX,
f <w(x, y), S(x) > dfN(y)
1<7r*w(x), (>I =
7r-1(x)
Taking the sup, we get
7r*w(x)
w(x) vol(BN(0,1))EO hence the conclu
sion.
(iv) We claim that if S = 7-(M, 0, S), M C X then 7r*S = rr(.7r-1(.M), 0 o
7r, F-1(M) ). In fact if w E Dk+N (U) we have
7r*(S)(w) = 7'(M,0, )(7r*w) = =
f<*w(x),(x)>9(x)dflc(x) = M
ff
<w(x, y), S(x)NV(x)>0(x) d7{N(y) d-Hk(x) _
M 7r-1(x)
f
<w(x, y), S(x)NV(x)>0(x) d?jN+k(x, y)
it 1(M)
and the claim follows as SAN(x) is a unit vector orienting 7r-I(M) at (x, y) E 7r-1(M).
Poincare duality isomorphism on compact manifolds without boundary. Let us discuss now Poincare duality between (n - k)-cohomology and khomology groups of oriented, compact and boundaryless submanifolds of dimension n in Rn+N and more precisely prove the following
Theorem 2. Let X be a smooth compact oriented and boundaryless smooth submanifold of dimension n in Rn+N Then the map P : w E D,-k(X) -> P(w) :=
f
Au) E Dk(X)
x induces an isomorphism between the (n - k) de Rham cohomology group of X and the k-homology group of currents Hk (X, R) := Zk (X)/Bk (X) where
Zk(X) = {T E Nk(X) jaT = 0}, More precisely
Bk(X) = {aS j S E Nk+1(X)}.
3.2 Poincare and de Rham Dualities
583
(i) for any cycle T E Zk (X) one can find a closed (n - k) -form PT E Zn-k (X )
such that
T=
(13)
r APT + aS J
X
for some S E Nk+1(X), (ii) if for some w E Zn-k(X) we have fx Aw = as, S E Nk+l(X), then w is
exact in X.
We refer to P as to the Poincare duality isomorphism in X and to any form PT satisfying (13) as a Poincare dual form for T. Proof. Let T E Zk (X). Then, if WT is a Poincare dual of T in U, we have
T(a)=faAwT+aE, EENk+l(U), sptECCU. U
Consequently, taking into account (iii) of Proposition 3, we get
T(a) = 7r#(T)(a) = J '7r#(a)AwT+a7r#E(a) U
r aA-7r*WT + 197r#E(a), J X which proves (i). (ii) From QX ] LW =
(-1)k(n-k) fx
. AW = as, S E Nk+l(U), spt S C X we get
inU by Proposition 4. We then infer from Proposition 1 that 7r#w = d/3, /3 E en-k-1(U) n L1(U,An-k-1Rn+N) which in turns implies that w is exact on X.
Remark S. It is worthwhile noticing that yet another proof of the non degeneracy of the Poincare duality in cohomology on a compact manifold X can be recovered from Proposition 2 using the integration along the fibers. In fact, assume that
fwAa = 0
Va E Zn-k(X).
x Then for /3 E Zn+N-k(U) we have f 7r#c.wA/3 = U
f wAir*/3 = 0 Jx
Then -7r#w is exact in U by Proposition 2 and consequently w is exact in X.
584
5. Cartesian Currents in Riemannian Manifolds
Remark 4. Classically a Poincare dual of T is a closed (n - k)-form in Zn-k(X) such that on Zk(X). T = J . Aa
x
If PT is a Poincare dual of T we also have
T=
J x
APT + 8S,
S E Nk+l (X).
therefore
J?1A(a - PT) = 0
Vrl E Zk(X).
x Consequently a - PT = dQ, and
T=J Aa+BS x
J x
Ad/3=J .Aa+8S1i x
which proves that the classical notion of Poincare dual and the one we have used in this section agree.
de Rham theorem. As we have seen in Sec. 5.2.8, Hodge decomposition theorem yields an isomorphism between HHR(X) and Horn (HaR k (X), IR),
HdR(X) -> Hom (HdR k(X ), l).
On the other hand Poincare duality isomorphism gives also an isomorphism between HaR k (X) and the k-homology group Hk (X, R) of X
P : HHRk(X) _ Hk(X, Therefore we can state
Theorem 3 (de Rham). HHR(X) and Hom (Hk(X, IR), IR) are isomorphic. Actually we shall now show that the induced non degenerate pairing between homology and cohomology HaR (X) x Hk (X, IR) -> R is the integration of closed forms over cycles. In fact the bilinear map
: Zk(X) X Zk(X) -+ IR,
:= T(w)
clearly depends only on the homology class of T and the cohomology class of w, therefore it induces a bilinear map, de Rham's duality <[T], [w] > : Hk(X,IR) x HaR(X) -> IR
and we have
3.2 Poincare and de Rham Dualities
< [T], [w] > = T(w) =
(14)
J X
585
WAPT = Poinc< [w], [PT] >.
where PT is a Poincare dual form of T. In particular (14) clearly shows that de Rham's duality is non degenerate i. e. (i) If w E Z"(X) and T(w) = 0 for all T E Zk(X), then w is exact. (ii) If T E Zk(X) and T (w) = 0 for all w E Zk (X ), then T = 8S
for S E
Nk+l(U), sptS C X. De Rham's theorem can be equivalently stated in terms of periods. Let 'Yi...... s E Zk(X) be cycles such that their homology classes ['y],... , [ys] form a basis of Hk (X, IR). If w E Zk (X ), the numbers 'Yi (w)
are said to be the periods of w with respect to the basis [yi]. Theorem 3 can be equivalently stated as
Theorem 4 (de Rham). Let {yi}, i = 1, ... , s be a basis of k-cycles of X. Then (i) If w is closed and all its periods of w are zero, then w is exact. (ii) Given cu,... , as E R. Then there exists a closed form w E Zk (X) with given
periods al, ... , as, i. e., yi (w) = ai, i = 1, ... , s.
In particular homology classes are identified by the periods of a basis of harmonic forms. This yields in particular the closure of real homology classes.
Proposition 5. Bk (X, IR) is weakly closed. The following corollary is then an immediate consequence of Proposition 5 and of the lower semicontinuity of the mass
Corollary 1. In each class -y E Hk (X, JR) there is a mass minimizing current, that is T E Zk (X, III), [T] = -y such that
M(T) = inf{M(S)
[S] = y}.
I
In particular
M(y) := inf{M(T)
I
[T] = y}
defines a norm on Hk(X,IR), called the sphere norm, consequently
M(y)>0 for all yEHk(X,R), y and the coset map Zk (X, IR) -+ Hk (X, R) is continuous.
0
586
5. Cartesian Currents in Riemannian Manifolds
Normal currents and singular real homology. Another path to get the closure of homology classes which also yields a representation of homology classes by Lipschitz chains can be followed by using the deformation theorem of Sec. 5.1.1. Let X be a compact smooth submanifold without boundary of dimension n
in IRn+N. As it is well known X is a neighborhood C' retract, i.e. there is an open set U X and a C' map 7r: U --> X which retracts U onto X and actually one can think of U as a tubular neibourhood, {x E IRn+N I dist (x, X) < Eo }
(15)
for some positive Co and of 7r as homotopic to the identity in U. Fix now E < EQ/Vn and denote by L ,,x the collection of all standard cubes then Q C U because of (15), of size E which meet X. Of course if Q E and one can modify 7r by composing 7r with a projection onto £n,x to another retraction map again denoted by 7r, 7r : L ,,x --> X which is homotopic to the identity in G,,,,X. Given an integer k, 0 < k < n, we denote by Lk,x the collection of all k-faces of cubes in L,,,x, and by Lk,x the k-skeleton of Ln,x
Lk,x := U{F I F E
If F E Lk,x we orient F in the natural way, i.e., if F is parallel to the plane associated to eal A ... Ae, k, Ic = k, then f := ea, A ... Aeak . Finally we denote by Lx the CW-complex of cubes in Ln,,x. Simplicial homology. Given an integer k, 0 < k < n, the simplicial homology of Lx is defined as follows. A chain on Lk,x is simply a polyhedral chain
P := E Oij Fi j,
Oi E
R
F2 E Lk,X .
Then we set Zk,simpl(Lx, IR)
{P I P is a polyhedral chain in Lk,x, aP = 0}
Bk,simpl (LX, IR)
{P = 8Q I Q is a polyhedral chain on Lk+i,X }
and the k-simplicial homology of Lx is defined by Hk,simpl(LX,IR) := Zk,simpl(LX)/Bk,simpl(Lx).
Clearly Hk,simpl(LX, IR) is a vector space over R of finite dimension, since the collection Lk,x is finite.
Homology groups of Lipschitz chains. Similarly to the simplicial homology or to the real homology, by considering Lipschitz chains in X, i.e., Lipschitz images of polyhedral chains, we can define the homology groups Hk,Lip(X,IR). We have
Theorem 5. The spaces Hk(X,IR), Hk,Lip(X,IR) and Hk,simpl(Lx,IR) are isomorphic. In particular Hk (X, IR) has finite dimension.
3.2 Poincare and de Rham Dualities
587
Proof. Let 7r : U ---> X be the retraction map. If P is a cycle in the k-skeleton Lx then 7r# (P) is a Lipschitz cycle on X, and, as any Lipschitz cycle is also a normal cycle, we have the following maps
Hk,simpl(LX, R) -i Hk,Lip(X, R) -s Hk(X, R) Let T E Zk (X, R). By the deformation theorem we can write T = P + OR where P is a k-cycle on Lx and R E Nk+l(U). We then have T = 7r#T = it#P + 87r#R,
i.e. T and i* o 7r*P are homologous, consequently i* o 7r. is onto. Suppose now that L is a Lipschitz k-cycle in X which is a boundary regarded as a current in U, L = OR, R E Nk+l (U), spt R C X. Deforming R into Lx we get
R=Q+8R1+S, with Q E Lk+1,x and S is a Lipschitz chain in U. Therefore L = OR = 87r# (Q + S) is a Lipschitz boundary which clearly proves injectivity of i*. Finally let us prove that ir, is injective. Let L E Lk,X such that 7r#L is a boundary in X. Then being 7r homotopic to the identity in L,,,x, we have
L = lr#L + 8S,
S E Nk+1(U), spt S C 4,.,x
hence Lisa boundary in L ,,,X, L = OR, R E Nk+l (U), spt R C C,,,x. Deforming R into Lk+l,X we get
R=Q+OR1+S, with Q E Lk+l,x and S = 0, being OR = L E Lk,x. Therefore L = OR = ar# (Q) is a simplicial boundary, which clearly proves injectivity of 7r*.
Remark 5. If A is a local Lipschitz retract, one can do the same constructions and define simplicial homology of the skeleton L,,,x, and Lipschitz homology. However it is easy to find examples in which no retraction homotopic to the identity exists. The previous proof applies however partially and we get Theorem 6. The spaces Hk(A, R), Hk,Lip(A, ]R) are isomorphic. Moreover the retraction map 7r yields a surjective linear map ir* : Hk,simpl (LA, III) -> Hk (A, JR) Again Hk (A, IR) has finite dimension.
As we have seen, compare Proposition 5, one of the advantages in dealing with homology groups defined in terms of normal currents is that the cosets are closed with respect to the weak convergence of currents, and this allows of course the use of variational methods. Another proof of Proposition 5 can be done using the following rough isoperimetric inequality, which works also for compact neighbourhood Lipschitz retracts.
588
5. Cartesian Currents in Riemannian Manifolds
Proposition 6. Let A be a compact neighborhood Lipschitz retract. Every current T E Zk(A,1R) which is the boundary of a normal (k + 1) -current in U,
T = aS1 with S1 E Nk+l(U), is in fact a boundary in A, i.e., there exists S E Nk+1 (U) with spt S C A and T = as, and moreover
M(S) < r(k,n)M(T). Proof. Since simplicial boundaries on LA form a finite dimensional space, we
can easily construct a linear map
T : Bk,simpl(LA, R) -> Nk(U)
which is continuous with respect to the mass norm. For that, choose a basis Pi, ... , Pnr E LA and for each element Pi select a simplicial (k + 1)-chain T(Pi) in Lk+1,A so that af(PP) = Pi, then extend T by linearity. For any P in Bk,simpl (LA, R) we of course have
aP(P) = P,
M(F(P)) < ri (k, n)M(P).
Applying the deformation theorem to T = 8S1 we find R E Nk+l (U), spt R CC U, such that
T = P + aR = a(F(P) + R) and
M(F(P) + R) < M(F(P)) + M(R) < riM(P) + c(k, n)EM(T) < c(k, n)(E + ri)M(T). It is now readily seen that S :='r#(r(P) + R) has the desired properties. Remark 6. Notice that in fact we have proved the existence of a current S in Nk+l (U), spt S CC U such that
T = aS,
M(S) < r(k,n)M(T)
independently from the fact that A is a Lipschitz retract. We have then used the last property to retract S to A and find S :_ 7r#S with
T = as,
M(S) < r(k, n)M(T),
sptS C A.
We can now state
Theorem 7. Bk(A, R) is weakly closed.
Proof. Let Ti E Bk(A, R), Ti T. Of course T, = 8Ri, spt Ri C A. Proposition 6 then yields Si E Nk+1(U), spt Si C A such that Ti = asi and M(Si) < r(k, n)M(Ti) < 7- (k, n) supM(Ti) < oo. i
Passing to a subsequence we get Si -s S, spt S C A, T = as.
3.3 Poincare-Lefschetz and de Rham Dualities
589
The following corollary is an immediate consequence of Theorem 7 and of the lower semicontinuity of the mass
Corollary 2. In each class y E Hk(A,IR) there is a mass minimizing current, that is T E Zk (A, ]R), [T] = y such that
M(T) = inf{M(S)
[S] = y}.
I
In particular
M(y) := inf{M(T)
I
[T] = y}
defines a norm on Hk (A, ]R), called the sphere norm, consequently
M(y)>0
for all yEHk(A,1R), y#0
and the coset map Zk (A, I[8) --+ Hk (A, I[R) is continuous.
3.3 Manifolds with Boundary: Poincare-Lefschetz and de Rham Dualities The Poincare-Lefschetz duality isomorphism. Let X be a compact, oriented smooth n-dimensional submanifold of Rn+N with boundary 8X. We define relative cycles in X as
Zk(X, 0X) := IT E Fk,X(r+N)
I
spt 8T C 8X or aT = 0 if k = 0},
relative boundaries as
Bk(X,3X) :_ {R+8S I R E Fk,ax(1Rn+N) S E Fk+l,X(Rn+N)}, and the real relative homology groups as (1)
Hk (X, 0X, II8) := Zk (X, OX) lBk (X, 0X),
k = 0, ... , n.
Since X and 8X are compact and Lipschitz neighbourhood retracts in Rn+N, Federer's flatness theorem yields Fk,ax(Rn+N) = Fk,X(Rn+N) n IT I sptT C 8X};
also observe that Fk X (R'+N) = Fk,X (U),
Fk,ax (Rn+N) = Fk,aX (V )
U and V being neighbourhoods respectively of X and aX which retract onto X and aX. A few words are in order to explain why we are working with flat chains while when dealing with the homology of boundaryless manifold we worked with normal currents. First we should remark that in the boundaryless case, though cosets defined in terms of flat chains are larger than cosets constructed
590
5. Cartesian Currents in Riemannian Manifolds
with normal currents, the homology groups defined in terms of flat chains or of normal currents are the same. This is not difficult to be seen on account of the density of normal currents among flat chains and the closure properties of homology classes. However, while i.m. rectifiable cycles are obviously normal currents, relative cycles, which in general do have boundaries, are not in general
normal as in principle we have no control on the masses of their boundaries: this is the reason why we are forced to work with the more general flat relative cycles. In the next section we shall illustrate relative homology in an even more general setting. Paralleling the similar situation in cohomology, we therefore may define three homology groups depending on k = 0, 1,... on X. The homology group Hk(X,]R)
flat cycles in X flat boundaries in X' if T E Zk(X) is a flat cycle, we denote by [T] x its homology class in Hk(X,R). The homology group Hk (OX, R)
flat cycles supported on aX flat boundaries in ax
Hk(aX,R)
for T E Zk(aX), we denote by [T] ax its homology class in Hk(aX,
lR
The relative homology group Hk (X, 9X, ]R)
Hk (X, aX, R) :=
flat relative cycles flat relative boundaries'
for T E Zk (X, DX) we denote by [T] 1el its relative class in Hk (X, aX, R). The inclusion map i : aX -> X induces a map
i# : Hk(DX,R)
Hk(X,1R).
As cycles are special relative cycles and boundaries are special relative boundaries an inclusion map .7# : Hk (X, RIB) - Hk (X, ,9X, IR)
is well defined by
#([T]x) = [T]rei.
Finally, the boundary operator a : Fk,x(R"1') - Fk-l,x(Rn+1`') induces naturally a map a : Hk (X, aX, R) -4 Hk_ l (aX, ]R)
defined by
a([T]rei) = [DT]ax.
Then it is not difficult to prove
3.3 Poincare-Lefschetz and de Rham Dualities
591
Theorem 1. The long sequence in homology
#Hk(X,R),#Hk(X,aX,R)
... a Hk-,(aX,R)->Hk-,(X,R)-+ # j#
is exact.
It turns out that the long sequence in homology and the long sequence in cohomology are in duality, such a duality being given by Poincare-Lefschetz duality. In the sequel of this section we shall discuss this topic which will lead us to a de Rham theorem for manifolds with boundary. For k = 0, 1, . . . , n we first consider the pairing
<, >: given by
<w, r7> :=
(2)
En-k(X) ,
Ek-l(aX) X
r
J ax
wnr7.
As we saw in Sec. 5.3.2 (2) induces a map P:
Zn-k(aX)
, Zk-1(aX)
given by
ax which factorizes to the Poincare duality isomorphism
P : HHRk(aX) -> Hk-1(aX,
IR
compare Theorem 2 in Sec. 5.3.2. Of course there are other pairings on X
<, >: Ek(X) X En-k(X) --> ][8 again given by
<w,7)> =
(3)
xJ
wAr7.
But, as by Stokes theorem (4)
JX
do-n77 + (-1)k f o-Adrl =
x
f
J ax
oni7
a E Ek-1(X), rl E En-k(X)
we see that there is no way of inducing a map between the absolute cohomology and homology of X unless aX = 0. However, if 77 E Zn-k (X, aX) the k-dimensional current
592
5. Cartesian Currents in Riemannian Manifolds PO77(w)
(5)
(-1)k(n-k) ((X
fwA77 =
IL
w E Ek (X )
L 7? (W),
x is a cycle in X, Par? E Zk(X) by (4). Also the homology class [PO77]x of P077 depends only on [77]rel. In fact, if 77 = da with i#a = 0, then by (4) Pbr7(w)
= J wAda = (-1)k+1
f dwna = (-1)k+1apta(w).
In conclusion we can say that the map Pt : Z,-k (X, aX) -+ Zk (X) induces a map again denoted by Pd
Pt : Hdn k(X,aX) , Hk(X,ltd).
(6)
Finally, in a similar way, one proves that for 77 E Z,-k(X) the current Pb :_ (-1)k(n-k) QX] L7)
(7)
is a relative cycle, P577 E Zk(X, aX), and moreover the map Pb : Zn-k(X) --> Zk (X, aX) induces a map Pb : HHR(X) , Hk (X, aX, ltd).
(8)
We have
Theorem 2 (Poincare-Lefschetz isomorphisms). The maps P, Pt, Pb are isomorphisms, and the diagram S
H,Rk(X,8X)
HdRk(X)
1 Pt
I Pb
(9)
Hk (X, R) i#
-i
Hk (X, aX, IR)
£
Hdn k (aX)
-> .. .
IP
a
Hk-1(aX, R)
#
.. .
is commutative.
We shall refer to the maps Pt, Pb, P as to the Poincare Lefschetz duality isomorphisms. It is quite simple to prove the commutativity of the diagram, though quite long. We already known, compare Sec. 5.3.2 that P is an isomorphism, Poincare duality isomorphism. We shall therefore prove only that Pt and Pb are isomorphisms. This will be done in the next propositions below. Let X be a compact, oriented, smooth n-dimensional manifold with smooth boundary 8X. To be precise we think of X as a C2 manifold with a C2 boundary.
Observing that aX has codimension 1 in X, and X is oriented, the tubular neighbourhood theorem on aX yields
Theorem 3 (Collar theorem). There is an eo > 0 such that the normal geodesic flow to TxaX at x E 0X, g(t, x) : [0, co] x aX --> X is a difeomorphism onto a neighbourhood of aX in x with g(0, x) = x for all x E aX.
3.3 Poincare-Lefschetz and de Rham Dualities
593
Fig. 5.4. The collar map.
A consequence of the collar theorem is then
Theorem 4. We have HHR(X, aX) = H pt(X \ aX) where
HPt(X\8X)
{wEC-(X\aX,AkT(X\aX)) I dw=0} {w=da I aEC0(X\9X,AIT(XQ,aX))}'
In fact
Proposition 1. We have (i) Each relative cohomology class contains a form 6 E Zk(X,aX) which is compactly supported in x \ ax. (ii) Each homology class of X contains a cycle T E Zk(X) of finite mass such
that spt T n ax = 0.
Let Eo and g be as in the collar theorem, Theorem 3. Define r(t) [-Eo, 0] -> [-eo, 0] to be a non-decreasing function such that r(-eo) = -6o, r(-Eo/2) = r(0) = 0, r'(-eo) = 1. Of course (1 - s)t + sr(t) yields a homotopy Proof.
with the identity which is fixed at -Eo and 0. Consider then the mapping O(x)
x g(r(t), y)
if x E X_Eo
if g(t, y) = x E X \ X_E0
which maps X \ X_E0 onto aX and satisfies 0 o i = i on aX. Then h(s, x) := (1 - s)x + so(x) yields a homotopy of ¢ with the identity which keeps the boundary fixed. Consequently, if ri E Zk(X, aX), the form w = 0#rl vanish on X \ X_E0/2i and by the homotopy formula w - 77 = d[h#il](o,l)
5. Cartesian Currents in Riemannian Manifolds
594
This concludes the proof of the first claim as i# [h#r)] (o,l) = 0 being h(s, x) = x
d x E aX and V s E [0, 1]. Analogously, if T E Zk(X), we infer from (i) of Proposition 4 in Sec. 5.1.3 that T is homologous to a relative cycle T' E Zk(X) of finite mass and consequently r#T' E Zk(X) has finite mass. Moreover r#T' is homologous to T' and spt r# TI f1 aX = 0. Actually without loss of generality we can and do assume that, in case aX # 0, X is actually a compact piece of a larger manifold Y and the geodesic flow on X normal to aX extends to both sides of 8X in Y. Denoting such a flow by g(t, X), the collar theorem Theorem 3 then yields, possibly for a smaller EO, a diffeomorphism g(t, x) : [-EO, Eo] x aX - * Y
onto a neighbourhood of aX in Y such that g(0, x) = x for x E aX and g(t, x) E X if t > 0. The equation g(t, x) = y means that x is the point of least geodesic distance in aX from y, Itj is the geodesic distance of y from 9X, and t > 0 if
yEX. For 0
EU we now set
(10)
X_E
{x E X I x 0 g([0, e] x 8X}
X+e
g([-E, Eo] x ax) U X
and X0 = X. Of course any XE, E E [-EO, EO], is a compact oriented manifold with boundary. Given any smooth increasing function r(t) : [-60, Eo] -p [-60, 60]
with r(-Eo) = -so, r(eo) = eo, r'(-eo) = 1, r(-EO/2) = 0, and r(0) = Eo/2, it is convenient to introduce the map e : X+EO -r X+ep
defined by e(x)
fx
if x E X_E0
g(r(t), y)
if g(t, y) = x E X+E0 \ X_60.
It is easily seen that e yields an isomorphism which is the identity on X_EO, maps X \ X_E0/2 onto X+,012 \ X, &X_.012 onto aX and aX onto aX+eo/2 We can also assume that e is homotopic to the identity with a homotopy which keeps the boundary values fixed. The inverse map of e denoted by r r : X+E0 --4 X+EO
which maps the collar X+,012 \ X onto X \ X_,012 and 09X+EO/2 onto OX, is then also homotopic to the identity with a homotopy which leaves aXE0 fixed. Finally, we shall also use the distance function from X. Setting Ue := {x E R"`+N we have
I
dist (x, X) < E}
3.3 Poincare-Lefschetz and de Rham Dualities
595
Proposition 2. There exists eo > 0 such that any point x E U 0 has a unique point 7r(x) of least distance on X. Moreover the map 7r : U6p -- X is Lipschitz in UE and smooth in U6 \ X. Finally, for x E X \ aX, 7r-1(x) is just a flat ball of center x and radius 60 lying in the normal space to T, X . For every 6 in (-60, 60) we consider the enlarged manifold X6 and U6
{x E Rn+rr
dist (x, X6p/2) < 6}.
I
Choosing el so that eo = 461 and taking 61 smaller if necessary a least distance projection map it : UU1 --> X261
is well defined: it maps each x E UU1 to the least distance point in X2,1.
Proposition 3. P is injective, i.e., if w E Zn-k (X, aX) and (11)
S E Fk+l,x (U6y ), then w is relatively exact, that is there exists a E
Dn-k-1(X
)
with i#a = 0 such that w = da. Proof. On account of (i) of Proposition 1, we can and do assume that w = 0 on X \ X_,1. Moreover on account of Proposition 4 in Sec. 5.1.3 we also assume that S has finite mass. Consequently, as in the boundaryless case, we infer Q7r-1(X)J L7r#w = 7r*(f X Lw) = a7r*S
in U,1,
spt,3 C 7r-1(X_61/2), compare Proposition 1 in Sec. 5.3.2 and Remark 1 in Sec. 5.3.2. In particular w is exact on X and zero near aX. hence 7r#w is exact, 7r#w =
Proposition 4. PO is surjective, i.e., if T E Zk(X) there exist a relative closed form w E Zn-k(X, aX) and a current S E Fk+1,x(U61) such that
Proof. First notice that one can suppose that M(T) < oo and spt T C X_61
on account of Proposition 1. We then regularize T in U61 with a parameter 6 << 61/2. This way we have
T=f n6+aS' UE1
where l; E Dn+N-k (U,1 ), spt C 7-1(X_61/2), S' E Fk+l,opt 7r-1(X_61/2), M(S') < oo. Projecting onto X we get (12)
T = 7r#T = 7r#(
f
Ue1
-
a7r#S'
spt S' C
596
5. Cartesian Currents in R.iemannian Manifolds
with it#S' E Fk+1,x(UE,); as for 77 E Sk(X) we have fx 7r#17AC = fx 7 A7r , the conclusion follows since (12) yields also dC = 0, hence ir.dC = 0, and
e = 0 near
1(aX), hence 7r.C = 0 near aX.
Proposition 5. Pb is injective, i.e., if w E Z,-k(X) and
QX]ILw=R+aS
(13)
with R E Fk,ax (UE, ), S E Fk+l,x (UE, ), then w is exact, that is there is a E Bn-k-1(X) such that w = da.
Proof. On account of Proposition 4 in Sec. 5.1.3 we can and do assume that M(R) + M(S) < oo. Applying the extension map e we get Q Xe, I L r#w = R'+ aS'
(14)
where R' = e#R E Fk,aX,012 (U), S' = e#(S) E Fk,XE012 (U), M(R') + M(S') < oo. Since rIx is homotopic to the identity and dw = 0, the homotopy formula for forms yields that w - r#w is exact, hence it suffices to prove that r#w!x is exact too. For that notice that (14) yields
1 XE,12 Lr#w = aS'
in U, fl 7r-1XEO/2.
We then proceed as in Proposition 3 and conclude that 7r#r#w is exact in Ue, n 7r-1Xeo/2 This implies that r#w is exact on X.
Proposition 6. Pb is surjective, i.e., if T E Zk(X, aX) then there are w E Z,-k (X), R E Fk,ax (U,,), S E Fk,x (UU,) such that Proof. We may and do assume that M(T) < oo, compare Proposition 4 in parameter, we infer that Sec. 5.1.3. Regularizing T with a
T= I A +aS
(15)
U.,
Dn+N-k(Uel) S E Nk+1(Ue, ), spt S CUE, fl 7r-1(Xep/2). Therefore, with E projecting on X,.
T = 7r#T =
J
r# () AC + a7r# S
U.,
=
f
xEo/2
. n7r. + a7r#s =
f
. A7r.C + R' + aS'
x
where R' := fxEO/2\x Air.C, S' := -7r#S. As X is a deformation retract of X0012i
denoting by p :X,.12- X the retraction, we infer
3.3 Poincare-Lefschetz and de Rham Dualities
T = p#T =
f
597
. A1r*C +p#R' + ap#S'
X
with R' E Nk+l,ax(UE1), p#S' E Nk+l,x(UE1). The claim now follows observing
that being aT = 0 in X \ 8X, (15) implies that d6 = 0 on 7r-1(X \ aX) which in turns implies dint = 0 on X \ aX and by continuity dir 1; = 0 on X. Remark 1. We emphasize the fact that surjectivity of P4 amounts to the existence for a given absolute cycle T E Zk (X) of a relative Poincare dual form PTE Zn-k(X,aX) such that Pp[PT]rei = [T], i.e.
J T(w) = ox wfPT Vw E Zk(X ) 1
T-
i#
It is reasonable to find for T E Zk (X) a Poincare dual with null value at aX since one can deform with an homotopy T into T' E Zk(X) in such a way that spt T' n aX = 0. Also the surjectivity of Pb means the existence for a given relative cycle T E Zk (X, aX) of a Poincare dual form PT E Zn-k (X) such that PL[PT] _ [T]rel, i.e.
r
T(w)=J wAPT+R+aS x
`dwEZk(X)
where R E Fk,ax (UE1 ), spt R C aX, S E Fk+l (UE1)
Remark 2. The proof of Theorem 2 can follow a different path. First one proves
that P and P are isomorphisms, as previously, then that the diagram (9) is commutative, and finally one proves the bijectivity of Pb using the so-called five-lemma
Proposition 7 (Five Lemma). Suppose we have the following commutative diagram (16)
Al
a+
1h Bl
A2
a2
IA B2
A3
a3
B3
a4
I f4
j f3 _+
A4
G
B4
A5 Lf5
_+
B5
consisting of vector spaces Ai, Bi, i = 1, ... , 5 and of linear maps ai, bi, i = 1, ... , 4 and fi, i = Im bi = Ker bi+i then
1, ... , 5. If the rows are exact, i.e. Im ai = Ker ai+i,
(i) if f2, f4 are surjective and f5 is injective, then f3 is surjective, (ii) if f2, f4 are injective and fl is surjective, then f3 is injective (iii) if fl, f2, f4, fs are isomorphisms, then f3 is an isomorphism.
598
5. Cartesian Currents in Riemannian Manifolds
de Rham duality on manifolds with boundary. As consequence of the non-degeneracy of Poincare-Lefschetz pairings, compare Theorem 3 in Sec. 5.2.8 and taking into account Poincare-Lefschetz isomorphisms, we get
Theorem 5 (de Rham). The pairings <[T]x, [cp]x>9 : Hk(X,R) x HakR(X) --.lI8 < [T]rel, [co]rer >b : Hk (X, aX, R) x Hag.(X, 9X) --> R
induced by the pairings: Ek(X) X Ek(X) ---> R, := T(cp) are non degenerate. In particular
HHR(X,aX) =Hk(X,aX,R)*.
Hk(X) =Hk(X,R)*, Moreover, if we also set
< [T]ax, [W] ax > := T (cp) for [T]ax E Hk (OX, R) and [cp] ax E HaR (5X ),
the following diagram is commutative
...
Fa--
HaR(aX)
HHR(X)
x<, > ...
't-
x<, >a
- Hk (aX, R) * Hk (X, R)
...
HHR(X,aX)
x<, >b '*+
Hk (X, (9X, R)
--a+...
Let Y 1 , .. ,.ys be cycles in Zk(X) such that [Yi]x, [Y2]x, - -, [rys]x form a basis of Hk (X, R). Given a form w E Zk (X), the periods of w with respect to -
yl...... s are the numbers yi(W),
i=1,...,s.
Also if 81i ... , 8, be relative cycles in Zk(X, aX) such that [8i]rel,
- - - ,
[8r]rel form
a basis for Hk (X, aX, R), and w E Zk (X, OX), the relative period of w with respect to 61,. .. , Jr are the numbers 8i (w),
i = 1, ... , r.
Then it is easily seen that equivalently de Rham theorem can be stated as follows
Theorem 6. Let [yi], i = 1, ... , s be cycles in X such that [yj]x forms a basis in homology. Then (i) If w E Zk(X) and all the periods of w with respect to yi are zero, then w is exact. (ii) Given numbers ai E R, i = 1, ... , s. Then there is a form w E Zk(X) with
given periods ai, i.e. 7i(w) = ai, i = I,-, s.
3.4 Intersection of Currents and Kronecker Index
599
Also, if {8i}, i = 1, . . . , s are relative cycles in Zk(X, OX) such that [8i]rei, i = 1, ... , s form a basis for Hk (X, aX, IR), then (iii) If w E Zk(X, aX) and all the periods of w are zero, 8i(w) = 0,
i = 1'. .. , s,
then w is relatively exact, i.e. w = da, a E Ek(X) and i#w = 0. (iv) Given numbers ai E R, i = 1, ... , s. Then there is a form w E Zk (X, aX ) with periods ai, i. e. 8i(w) = aj, i = 1, ... , s. Also, the dual statements holds true, in particular
Theorem 7. We have
(i) T EBk(X) ifT(w)=0VWEZk(X) (ii) T E Bk(X, aX) if T(w) = 0 V W E Zk(X, aX) Of course for T E Zk (X) we have T (w) = 0 b w E Zk (X) iff T (wi) = 0 d wi E
Zk(X), i = 1, ... , s, [wi]x being a basis of HHR(X), and for T E Zk(X, OX) T(w) = 0 V w E Zk(X, aX) if T(wi) = 0 V wi E Zk(X, aX), i = 1, ... , r,
[wi]re1
being a basis of HHR(X, OX). A consequence of Theorem 7 is then
Theorem 8. Bk (X) and Bk (X, aX) are closed with respect to the weak convergence of currents respectively in Zk(X), Zk(X, ax). Consequently we can state Theorem 9. Homology classes can be represented by mass minimizing currents. That is, given y E Hk (X, R) and 8 E Hk (X, aX, IEF) there are currents T E Zk (X) and R E Zk (X, ax) such that
M(T) = inf{M(S), S E Zk(X), [S]x = y} M(R) = inf{M(S), S E Zk(X, aX), [S]rel = y}.
3.4 Intersection of Currents and Kronecker Index The aim of this subsection is to discuss some extensions to currents of the classical notion of intersection of oriented surfaces in generic positions and to introduce the intersection index of homology classes.
Intersection of currents in R'. Let U be an open set of Rn and let S E Dk(U) and T E Dh(U), where h + k > n. Denote by f : Rn x I[8n --> Rn the map f (x, y) := x - y, and let 9: U --> U x U be the diagonal map
g(x) := (x, x). Suppose that the slice, compare Sec. 2.2.5, < S x T, f , 0 > exists and defines a current in Nh+k_n(U X U). Then its support lies in {(x, y) I x = y} = Img,
5. Cartesian Currents in Riemannian Manifolds
600
consequently, by Federer flatness theorem, see Sec. 5.3.1, there exists a unique current, denoted s n T and called the intersection of S and T , in Nh+k-n(U) such that (-1)(n-k)h<S x T, f, 0>. g# (s nT) _ (1) Actually it suffices that <S x T, f, 0> be a flat chain, compare Sec. 5.1.3 below. In the next proposition we collect a few simple properties of the intersection.
Proposition 1. We have (i) If s n T exists, then spt (S n T) C spt s n spt T. S=(-1)(n-k)(n-h)S (ii) S n T exists iff T n S exists, and T n n T. (iii) Assume that S n T, and either S n aT or aS n T exist. Then
a(S n T) = S n aT + (-1)h-k 3S n T.
(2)
Proof. (i) follows as
spt <S x T, f, 0> C spt S x spt T) n {x = y} = g(spt S n spt T). (ii) Using the map r(x, y) = (y, x), which reverse the role of the factors, we infer
for = -f, r#(T x S) = (-1)hkS x T, consequently (-1)hk<S x T, f, 0> == r# = (-1)nr# = (-1)n .
It follows s n T = (-1)'T n s where r = -hk + n + (n - h)k + (n - k)h = (n - h)(n - k) (mod 2). (iii) From 8(S x T) = 8S x T + (-1)kS x 8T, S E Dk(U), we infer that
8<S x T, f, 0> _ (-1)n = = (-1)n<3S x T, f, 0> + (-1)n-k<S x 8T, f, 0> provided < S x T, f, 0 > and either < 8S x T, f, 0 > or < S x 8T, f, 0 > exist. Therefore 8(S n T) = (-1)a8S n T + (-1)T S n aT where
Q=n+(n-h)h+(n-k-1)h=n-h (mod 2) -r=n-k+(n-h)h+(n-k)(h-1) =0 (mod 2). Intersection theory of currents is in general quite complicated as the intersection of currents may fail to exist. In fact while the existence of the slice < S x T, f , z > is granted for a.e. z by the Lebesgue differentiation theorem, it may fail to exist at a single point, e.g. z = 0. The following examples show some of-the difficulties. -------------
3.4 Intersection of Currents and Kronecker Index
601
0 It is clear by the definition that the intersection defines a bilinear map on Nk(U) x Nh(U) whenever it exists. It is also worth noticing that in general the density of intersection current is the product of the densities of the factors. For example let W E LT'(Rn), 0 E Lq(Pn) be two functions. Consider the ndimensional currents S :_ Rn L W and T = lR L' &. Then the current S x T E Den (RI x JRn) is given by
S x T(w) = f (P (x)'b(y)w(x,y),
w E D2n(Rn x llgn).
R'' xR-
If f (x, y) = x - y, Op (t) = XB, (t)dt' n ... dtn, for
w = E waQ(x, y) dxandyQ I&I+IQI=n
we have 1
wnpn
dx ¢ W(x)o(y)
S x T(f#(Qp)nw)
a(Y, Y)w7ti(x,y) dy h'I
Bp(x)
li
Since
O('Y,7)w77(x,y) - b(x)g#(w)(x)
O(y)
I+
in Lq(PJ) we infer that, assuming 1/p + 1/q < 1, <S x T, f, 0> exists,
<S x T,f,0>(w) = lim
- S x T(f#(S?p)nw) =
f
hence
s n T(w) = f O(x) (x)w(x)
w E Dn(Rn).
Simple examples of course show that s n T may fail to exist.
0 Let Q = Q (0, 1) x (0, 1) 1 E 12 (R2) be the integral current integration over the square in JR2 and let 7r(x, y) = x be the projection on the first factor. Then it is easy to compute 8x1(0,1)1=
18:,: x Q
0
(0,1)
if0<x<1 if x = 0,1 otherwise
which shows that at specific values the slice need not be rectifiable. Notice that
such a phenomena would not appear if we project into a plane which is not perpendicular to any of the edges of Q.
0
5. Cartesian Currents in Riemannian Manifolds
602
However, by slightly moving one of the two currents, we can and do ensure the existence of the intersection. In fact denoting by Ta, (x) = x + a, x, a E 1I ' we have
Proposition 2. Let S E Nk(U) be a normal current compactly supported in U, and let T E Nh(U), h + k > n. Then for a.e. a E ll close to zero (i) S n Ta,#T exists in Nh+k-n (U), (ii) a(S n Ta,#T) = S n Ta#oT + (-l) k (as) n Ta#T, (iii) if moreover S E Ik (U), T E Th (U) then s n Ta#T E Zh+k-n (U) . Proof.
From the slicing theory <S x T, f,z> exists in Nh+.k_n(U) for a.e.
z E Rn close to zero. On the other hand,
<S x Ta#T, f, 0> = < S X Ta#, f o (id x Ta), 0> = id x Ta#< S x T, f, -a> whenever <S x T, f, -a> exists. This proves (i). (ii) then follows from (iii) of Proposition 1 and (iii) follows similarly to (i) on account of <S x T, f, z> E Zh+k-n(U) for a.e. z E R. Also the intersection is well defined, essentially if we are able to prove continuity of < S x T, f , z > in z. We have in fact
Proposition 3. Let S E Nk(U) and T E £n-h(U). Then S n Rn L T exists and S n (R' L T) = S L T
in U.
Proof. Let w E Dk+h-n(U X U). Consider the k-form O(x, y) = r(y)Aw(x, y) E Dk(U X U). As f #(dtlA... Adtn) = (-1)I o (ry, y) dx"Adyry we have
T(y)Af#(dtlA...Adtn)Aw(x,y) _
'Y)dxryAO(x,y)ndyry, 171<_n
where b=(n-j)+j(n-h)+(n-j)(h+k-n), j Writing 0 = E 0«p dx«AdyQ, we get as p --+ 0
f
B(x,p)
0
if )3
o'('Y,'7)0«y(x, x)
if j3=ry
ry
by continuity. Consequently the averages
I T(y)Af#(dtlA... Adtn)Aw(x, y) B(z,p)
converges, as p goes to zero, to (3)
(x x) dx«Adx1" _ (-1)(h+k)ng#(0)(x) 171
3.4 Intersection of Currents and Kronecker Index since 8 + I ry I
603
I a I = 8 + j (k - j) _ (h + k) n mod 2. Since now S X Rn LT(f#(QP)nw)/wnpn
=
(-1)(n-h)kS w Pn x 1[8n(TAf#(dt'A...ndtn)nw)
I
_ (-1)(n-h)kS(
T(y)Af#(dt'A...Adtn)Aw)
B(x,p)
from (3) we infer that < S X I[2n L T, f, 0 >(w) exists and agrees with (
1)(n-h)kS(g#0) = (_1)(n-k)hS(Tng#w). In other words
g#(sn1
LT) =g#(SLT).
As immediate corollary we notice
Corollary 1. Assume o- E
£n-k
£n-h
(U), T E
(R'
(U), h + k > n. Then
R'
in U.
Of course one is also interested in intersecting currents when both factors are not integration against form, the case of intersection of rectifiable currents being relevant. We shall not go into these topics and confine ourselves to mention the following result taken from Federer [226] which applies for instance to the intersections of smooth surfaces in general position. We have
Theorem 1. Let S E Tk (Rn), T E Zh ([$n) be two integral currents, h + k > n. Assume that spt S and spt T are contained respectively in two smooth submanifolds X and Y of dimension respectively k and h so that
S = r(M,0,X),
T =T(N,cp,y)
where M C X, N C Y. Assume furthermore that (i) 0 is bounded on M, go is bounded on Al. (ii) For each x E X n y, TTX n Ti,)) has dimension h + k - n. (iii) Either k = 0 or spt aS n spt T has a neighborhood E C
Rn such that
E n sptaS is covered by a finite family r of (k - 1) -dimensional smooth submanifolds G of X with E n clos G C G
TXGnTxyhas dimensionh+k-n-1dxEGny. (iv)
Either h = 0 or spt S n spt aT has a neighborhood F C 1R? such that F n spt aT is covered by a finite family A of h - 1-dimensional smooth submanifolds D of y with F n clos D C D and
TXDnTXX has dimension h+k-n-1V X EDnX.
604
5. Cartesian Currents in Riemannian Manifolds
Then the (h + k - n) -vector ((x) given by
9#,.(((x)) = X(x)ny(x) L (df'A... Adfn)(x,x) is non zero and simple, whenever x E spt T n spt S \ (spt aT U spt aS). Moreover Hh+k-n (spt T n spt S \ (spt aT U spt aS)) = 0 and
SnT =T(.tit We omit the proof of Theorem 1 and we refer to Federer [226]. We just make a few remarks on the role of transversality of X and Y. If X (x), y(x) are the two
unit tangent vectors to X and y at x, then X(x)ny(x) generates T,(X) ®T.(y) in the product R' X I. As Im g = ker f , we have TTX n Txy has dimension h + k - n iff
f : Tx X ® T. y has a kernel of dimension h + k - n iff
f,TTX®TTY has maximal rank n.
From Proposition 3 in Sec. 5.2.2, the last claim is equivalent to say that
X(x)AX(X) L (df'A... ndfn) 0 0. Intersection in real homology. In contrast to the many difficulties in defining the intersection of currents, homologically the intersection of cycles is always well defined. Let X be a compact, oriented, n-dimensional submanifold of IIBn+N possibly with boundary. We first consider the intersection of relative and absolute homology classes. Let [S] rel E Hk (X, aX, ]IP) and [T] E Hh (X, Ii), h + k > n, and let P. be a Poincare dual form of T, PT E Zn-h(X, aX). It is easy to see that
the absolute homology of the (h + k - n)-cycle
S('nPT) depends only on the homology classes [S]rel of S and the absolute homology class [T] of T. Then we define the intersection map
nX : Hk(X,aX,R) x Hh(X,]R) -> Hh+k-n(X,I) by (4)
[S]rei nX [Ti :=
Similarly one defines the intersection map
(-1)(n-k)(n-h)[S(
APT)]
3.4 Intersection of Currents and Kronecker Index
605
nx : Hk(X,R) x Hh(X, R) --i Hh+k-n(X,IR) (-1)(n-k)(n-h) for [S] E Hk(X,R), [T] E Hh(X,R), by [S] nx [T] := h+k > n. Finally denoting by PT E Zn-h(X) a Poincare dual form of a relative cycle T E Zh(X, aX), the formula
(-1)(n-k)(n-h)
[Sire, nX [T]rel :_
[S(' APT)]rel
defines a third set of intersection maps nX : Hk (X, aX, ]R)
X
Hh(X, aX, R) -4 Hh+k-n (X, aX, R).
From the definitions it is easily seen that intersection of cycles in homology is Poincare dual of the wedge product in cohomology. For instance for the map nX one has the following commutative diagram Hdn k(X)
X
Hdn h(X,aX) A
Pb
I Pd
I Hk (X, aX, IR)
x
Hh (X, lid)
-n
Hen-h-k(X, l aX)
t
Pd
Hh+k-n (X, l)
where [w]A[77] := [wArf].
Kronecker index in 1EBn. Finally, let us introduce the Kronecker index S E Nk (Rn) and T E Nn-k (Rn) be two normal currents of complementary dimensions. Assume that either k = 0 or spt S n spt aT = 0 and either h = 0 or spt T n spt aS = 0, so that spt (a(S x T)) does not meet the diagonal of J2n, i.e., 0
f (spt a(S x T)).
Then the current (-1)n-kf#(S x T) belongs to Nn,(Rn) and 0 does not belong
to spta((-1)n-kf#(S x T)). The constancy theorem then yields a constant k(S, T) E ][8 such that in a neighborhood of 0
(-1)n-k.f#(S x T) = k(S,T)QRnj The number k(S, T) is called the Kronecker index of S and T, and it is actually an integer if S and T are i.m. rectifiable. (5)
For any cp E C°(JR) and p sufficiently small, applying (5) to cp(t)xBP dt' n ...
ndtn =: p(t)Qp(t), we get
(_1)n-k IBpI
S x T L f #(.Q p )(cp o f) = k(S T)
I B(°,p)
-(t) dt.
606
5. Cartesian Currents in Riemannian Manifolds
Fig. 5.5. SnT =5a-bb, k(S,T) =0. Taking cp = 1, we then conclude in the case that S n T exists that
(S nT)(1) = g# (S nT)(1) =
(-1)(n-k)2+(n-k)<S
x T, f, 0>(1) = k(S,T).
A special interesting case is that of two oriented submanifolds S and T in generic position. By Theorem 1, in this case S n T exists and S n T = >2 njbp. where the ni are defined by S(PZ)nT(Pi) = nzejA ... nen. Therefore we conclude
k(S,T) _ 1: n2, i.e., Kronecker index of S and T is the sum with sign of the intersections. Another interesting case is that in which Dn-k(Rn) S = (-1)k(n-k)Rn La, uE T E Dk(Rn). T = (-1)k(n-k)Rn LT In this case, as we have seen, S n T exists and, by Proposition 4 in Sec. 5.3.2, k(S, T) = S n T(1) = I[gn L (Tnv) (1) = frAa. lin
Kronecker index on manifolds. Of course one can extend the notion of Kronecker index to currents on oriented manifolds. More precisely let S E Nk (X), T E Nn-k(X) where X is a n-dimensional, compact oriented submanifold of lRn+N Assume
k = 0 or spt a8 n spt T = O and k =nor spt aT n spt S = 0. Recall that the lift 7r* (T) on a tubular neighborhood U of X of bounded crosssection has finite mass, and that
3.4 Intersection of Currents and Kronecker Index
607
spt a7r*T n spt S = 0
since spt a7r*T lives on it-1(spt aT) or outside U. Then we can set
Definition 1. The Kronecker index of S and T in X is defined by
kx(S,T) := k(S,lr*T), i.e. as the number such that
(_1)n-kf#(S X lr*T) = kx(S,T)QRn+1v
(6)
near the origin.
From (6) it is easy seen that (i) (ii) (iii)
kx(S,T) is integer-valued if S and T are i.m. rectifiable kx (aR, T) = kx (S, aR) = 0. kx (S, T) = 0 if spt s n spt T = 0.
In particular, if S E Zk (X, aX) is a relative normal cycle and T E Zn-k (X) is an absolute normal cycle which do not meet aX , k(S, T) is well defined and depends only on the relative homology class of S and on the homology class of T, thus it actually defines a map
ix(S,T) : Hk(X,aX,R) x Hn_k(X,]R) -i ][P which is the intersection index of S and T T. As we have essentially seen, if s n lr*T exists, then
s n 7r*T(1) = kx(S,T) = ix(S,T).
In particular if S = the boundary of X, and T = T, then
(-1)k(n-k)
(7)
Q X I LPs, i.e. PP is Poincare dual of S null to (-1)k(n-k)
Q X ] L PT, i.e. PT is a Poincare dual of
1 PAP
x Therefore we can state that the intersection index is Poincare-Lefschetz dual of Poincare Lefschetz duality on forms. Of course one has also an intersection index on the compact oriented manifold without boundary aX iax : Hk (aX, R) x H,,,-k (aX, R) -> R defined by iax (S, T) := Kax (S, T). This yields another way to state non degeneracy of Poincare duality of forms.
608
5. Cartesian Currents in Riemannian Manifolds
Theorem 2. Let X be a compact oriented manifold. The intersection index
ix : Hk(X,8X,R) x Hn_k(X,R) ->
II8
is non degenerate. Moreover, denoting by iX (T, S) := ix (S, T), the following diagram Z#
Hk (X, aX, R) -
Hk(X,R)
Hn_k (X, 8X, IE8)
<.7#
Hn-k (X, Ilk)
s .. .
x iax
X ix
X iX a
Hk-1(3X, R)
4---
Hn-k (8X, lR)
z#
a
is commutative.
3.5 Relative Homology and Cohomology Groups We conclude this section reporting partially and briefly on Federer and Fleming approach to relative homology groups in the setting of local Lipschitz neighbourhood retracts. Let A and B be local Lipschitz neighbourhood retracts in R. Suppose B C A and B relatively closed in A. Denote by 7r : U -> A and p : V B the retractions of neighbourhoods U of A and V of B, and assume, without loss in generality,
that V C U and moreover that (1 - t)x + tp(x) E V whenever x E V and t E [0, 1]. For k = 0, ... , n, we define relative cycles by
Zk (A, B, R) := IT E Fk,cpt (U) I spt T C A, spt 8T C B, or k = 0}, relative boundaries by
Bk(A,B,R) ._ {R + 8S I R E Fk,cpt (V), spt R C B, SE Fk+l,cpt (U), spt S C A}, and the real relative homology groups by Hk (A, B, R) = Zk (A, B, R) /Bk (A, B, R).
We point out that all currents involved have compact supports and that the retractions 7r and p induce continuous maps 7r# : Fk,cpt (U)
Fk,cpt (A),
p# : Fk,cpt (V) - Fk,cpt (B)
The relative homology groups defined above satisfy the Eilenberg-Steenrod axioms for a homology theory in the local Lipschitz category. We recall that the local Lipschitz category consists of couples (A, B) of local Lipschitz neighbourhood retracts, with A D B, B relatively closed in A, and , morphisms f between couples
3.5 Relative Homology and Cohomology Groups
609
(A', B') are Lipschitz maps from A to A' satisfying f (B) C B'. It is not difficult to prove using Federer's flatness theorem that any such morphism induces a map f : (A, B)
f# : Hk (A, B, R) -+ Hk (A', B', R)
compare Federer [226, 4.4.1]. Also if C C B C A are local Lipschitz retracts in W1, the boundary operator acts as
a: Zk(A,B) -* Zk-1(B, C), 8: Bk(A,B) --> Bk-1(B,C), thus induces a map again denoted by 8
8 : Hk(A, B) -* Hk_1(B, C). Here we understood the dependence on R, Hk (A, B) := Hk (A, B, R).
Theorem 1. We have (i) If f : (A, B) -> (A, B) is the identity map, then f* : Hk (A, B) --> Hk (A, B)
is the identity map. (ii) For f : (A, B) -> (A', B') and g : (A', B') --+ (A", B") we have
(g o f)* = g« o f*.
(iii) IfCCBCA, C'CB'CA', f:(A,B)-+(A',B'), fB:(B,C)->(B',C') and k > 0, then
fiB*a = of*. (iv)
If i : (B, C) -* (A, C) and j : (A, C) --+ (A, B) denote the inclusion maps, then the sequence of homomorphism
a, Hk (B, C) (v)
Hk (A, C) '-', Hk (A, B)
Hk-1(B, C) A .. .
is exact. I f h : ([0,1] x A, [0,1] x B) --> (A', B') and h* : (A, B)
(A', B'),
h* (x) = h(t, x), 0 < t < 1, x E A,
then ho* = h1*. (vi)
If i (A, B) --. (A', B') is an inclusion map such that B = A f1 B' and clos (A'\B')f1(clos (A'\A) = 0, or equivalently B C A C A', B' = BU(A'\A) :
and clos (A \ B) n clos (A' \ A) = 0, then i* is an isomorphism. 'vii) If x E R', then Ho({x}) ^ Z and Hk({x}) _ {0} for k > 0.
Suppose now that A and consequently B are compact. Then one can construct a CW-complex LA surrounding A and contained in U which has a sub complex LB surrounding B and contained in V by selecting cubes not far from A of a standard subdivision of IR in cubes with a suitable small mesh size. As in the case B = 0 one proves
610
5. Cartesian Currents in Riemannian Manifolds
Theorem 2. Let A be a compact. Then Hk (A, B, IR) is isomorphic to the relative homology of Lipschitz chains of (A, B). Moreover Hk,,impi (LA, LB, R) can be mapped linearly onto Hk (A, B, R). In particular the vector space Hk (A, B, R) has finite dimension. In this more general context, following the same path of Sec. 5.3.2 one derives an isoperimetric inequality
Theorem 3. Let A D B be compact neighbourhood Lipschitz retracts. There exists a constant r > 0 such that, if T E Zk (A, B) is a relative homology cycle of finite mass, M(T) < oo, with T = X+aY with X E Fk,,pt(V), Y E Fk+1,cpt(U), then T = Bk(A, B), i.e.,
T=R+aS,
with R E Fk,,pt(V), spt R C B, S E Fk,C t(U), spt S C A, and
M(R) + M(S) < TM(T); in particular S E Nk+l (U)
As already remarked it is useful to work with homology group defined as equivalence classes of flat chains as no control on the mass of the boundaries is required. We remark however that as far as homology groups are concerned this is quite irrelevant: replacing flat chains by normal currents leads in fact to isomorphic relative homology groups. This follows from the following proposition, compare Sec. 5.1.3,
Proposition 1. If T' E Zk (A, B), then there is T E Zk (A, B) n Nk (U) such
that T-T'EBk(A,B). As in the boundaryless case, a consequence of the isoperimetric inequality is the weak closure of relative homology classes. In fact we have
Theorem 4. Let {Tz} C Zk(A, B) be a sequence which is equibounded in mass and weakly converging to T. Then T L (A \ B) E Fk,,pt(U) and T L (A \ B) belongs to Zk (A, B). Moreover if the Ti E Bk (A, B) are relative boundaries, then T L (A \ B) is a relative boundary. Proof. First notice that by semicontinuity T has finite mass, hence T L (A \ B) is well defined. In order to prove that T L (A \ B) is a flat chain we set g(x) _ dist (x, B), x E U, and for r > 0
H(r) := {x E U I g(x) > r}.
Being spt aT C B = U \ H(0), from the slicing theory we have for a.e. r,
0
= a(T L H(r)) - aT L H(r) = a(T L H(r)) and
3.5 Relative Homology and Cohomology Groups
1/i
1/rj
f
611
M(a(T L H(r))) dr =
0
J0
M() dr < cM(T).
Consequently we can find a sequence of numbers {rj }, M(a(T L H(rj)) < oc, i.e., we have
rj - 0, such that
T L H(rj) E Nk(U). Also
M(T L H(rj) - T L (A \ B)) = lim M(T L (H(rj) - H(0))) 00 jlim 3-00 hence F(T LH(rj)-T L (A\B)) - 0, which proves that T L (A\B) E Fk,,pt(U) As trivially a(T L (A \ B)) C B, the first part of the claim is proved too. If the Ti's are relative boundaries, the isoperimetric inequality yields
Ti = Ri + 8Si
where Ri E Fk,cpt(V), sptRi C B, Si E Nk+1(U), sptSi C A, and
M(Rj) + M(Si) + M(aSi) < cM(Ti). Passing to the limit on a suitable subsequence, we then infer T = R + aS with R E Dk M, spt R C B, S E Nk+l (U), spt S C A; therefore
T L (A \ B) = R - T L B + aS. Being S normal in U with spt S C A, S is a flat chain, hence aS E Fk (U); by the first part of our claim R-T L B E Fk,cpt(U). Finally, since spt (R - T L B) C B, we conclude that T L (A \ B) E Bk(A, B).
We notice explicitly that we cannot expect in general that T belongs to Fk,Cpt(U). As corollary of Theorem 4 we can now state
Theorem 5. We have (i)
In each relative homology class y c Hk(A, B, ]R) there is a homological minimizer, that is a T E Zk(A, B, IR), [T] rel = y such that
M(T) = inf{M(R) I R E Zk (A, B, IR), [R]r.1 = y} (ii) In particular the function
M(y) := inf{M(R) I R E Zk(A, B, ]R), [R]rel = 71 defines a norm on Hk (A, B,1R) .
612
5. Cartesian Currents in Riemannian Manifolds
Proof. First we observe that in every relative homology class there is a current with finite mass, hence A := inf{M(R) I R E Zk(A, B, R), [R]rel = 'Y} < oo.
The claim in (i) then follows at once from the semicontinuity of the mass and from Theorem 5. The claim in (ii) is trivial.
Actually the previous results extend to the quite more general situation in which one does not assume A compact, but with a number of changes and technical difficulties. For instance homology groups are vector spaces but in general of infinite dimension, in fact they are inductive limits of Banach spaces endowed with a flat norm. Also, in dealing with such a general situation one cannot avoid some compact control on the location of the supports of involved currents. In some sense the homology vector space can be exhausted by a sequence of finite dimensional vector spaces. In fact one has that the vector subspace of Hk (A, B, R) consisting of those homology classes which meet Fk,K(R), K fixed compact, has finite dimension. To keep our extension simple we shall not discuss this general approach and we refer the interested readers to Whitney [674], Federer [226] [228].
Relative de Rham cohomology. Let A, B local Lipschitz neighborhood retracts, B C A, B closed relatively to A, and let it : U -> A the retraction. One then defines the de Rham cohomology groups HHR(A, B)
H4R(A)
Zk(U, B) Hk (A, 0)
where
Zk(U,B):={wEZk(U)1w=0 near B} and for w, 77 E Zk(U) w - 77 if there exist an open set V, A C V C U and a form
a E Zk-1(V,B) such that w - 77 = da in V. One has of course the immersion map j# : HHR(A, B) -> HHR(A), the restriction map i# : HaR(A) -* HHR(B) which restrict forms in HHR(A) to their values in B, and a coboundary operator 8 : HHR(B) - HaR 1(A, B) defined as follows. Choose an open set U' such that B CC U' CC U n V and extend w1u, to w E Dk(U). Of course dw = 0 near B, hence dw E Zk+1 (A, B); one defines b([w]B) :_ [dW]rel
noticing that the relative homology class of w depends only on the cohomology of w.
It is easy to prove that in case A is a compact oriented submanifold X and B = 8X, that the above definitions agree with the ones in Sec. 5.2.6, compare Proposition 1 in Sec. 5.3.3. Moreover a rewriting of Theorem 2 in Sec. 5.2.8 yields
3.5 Relative Homology and Cohomology Groups
613
Theorem 6. The long sequence
? HaR(A) i ' Hax(B) a' HaR1(A,B) - HaR'(A) is exact.
de Rham duality in the Lipschitz category. In the attempt to generalize de Rham duality to the Lipschitz category, Whitney and then Federer introduced the notion of flat cochains which play the role of non smooth differential forms. In order to give a simple presentation we assume A compact, and refer to Federer [228] for general results and proofs. Set Fk(A)
Fk,A(U),
we would have to write instead Fk(A) := U{Fk,K(U) I K C A, K compact} for general local Lipschitz neighbourhood retract A.
Definition 1. We define (i) flat cochains as linear continuous functionals on Fk (A)
Fk(A) :_ {a : Fk(A) -+ R I a linear and continuous} (ii) relative cochains, cocycles and coboundaries as
Fk(A, B)
Zk(A,B)
{a E Fk(A) {a E Fk(A)
Bk(A,B){aEFk(A)
a = 0 on Fk(B)} a = 0 on Bk(A,B)} a = 0 onZk(A,B)}
(iii) cohomology groups as
Hk(A, B) = Zk(A, B)/Bk(A, B). We recall, see Sec. 5.1.3, that Fk (A) endowed with the flat norm is a Banach space. One sees immediately that Zk (A, B) is closed in Fk (A), and, using the isoperimetric inequality, that also Bk (A, B) is closed in Fk (A). It follows that inf{Fk (S) I S E 'y},
'y E Hk (A, B, ]R)
defines a norm on Hk (A, B, I[8) with respect to which the coset map p : Zk (A, B, IEP)
-' Hk (A, B, R)
is continuous, being Hk (A, B, R) finite dimensional. It is worth to notice that instead relative boundaries with equibounded masses are in general not compact
5. Cartesian Currents in Riemannian Manifolds
614
with respect to the flat norm. For instance take A :_ R2 and B :_ R2 fl {x I x2 = 0}. Then the sequence of flat relative boundaries
T i :=iQ(Pl,P2)Jj+iQ(P2,P3)1 +iQ(P3,P4)I
i = 1,2,...,
where
P1 := (0, 0), P2 := (0, i-2), P3 := (i-1, i-2), and P4 :_ (i-1, 0),
converge to the current boner which is not flat. Clearly every relative cocycle a E Zk(A, B) induces by restriction a linear map a : Hk (A, B, R) -* R. Consequently there is a natural morphism Hk (A, B) -* Horn (Hk (A, B, Ilk), R)
which is obviously injective. On the other hand if 2 E Hom (Hk (A, B, R), R), 8 o p defines a linear continuous map from Zk (A, B) into R which extends by Hahn-Banach theorem to a linear continuous map still denoted 2
t: Fk(A) -* R. Therefore we conclude
Proposition 2. Hk (A, B) f-- Horn (Hk (A, B, L), R) Notice that every smooth form w defines by iv(T) := T(w)
a flat cochain iv E Fk(A). The main question becomes now that of realizing Hk(A, B). A key point in this respect is the following
Theorem 7. We have
Bk(A, B) _ {d1 10 E F-1(A, B) On the other hand, a regularization procedure, compare Federer [228], then allows to prove
Proposition 3. We have Hk(A, B) = HdkR(A, B)
Consequently Theorem 7 yields the following extension of the de Rham theorem
Theorem 8. We have
4 Integral Homology (i)
615
For every v E Hom (Hk (A, B, IR), R) there exists a closed differential form w E Ek (U) which vanish in a neighbourhood of B such that v([T])
(ii)
There exists neighbourhood U' C U and V' C V such that, if w E Ek(U), dw = 0, w = 0 in a neighbourhood of B, and d T E Zk (A, B)
T (w) = 0
then w is exact in U', i.e. w = dcp,
WE Ek-1(U') and spt cp C U'\ V'.
In particular the duality between forms and currents yields to a non degenerate bilinear form
<,>:Hk(A,B,lR)xHHR(A,B) -> R. Finally the diagram
...
*-
HHR(B)
{-
HHR(A)
x<, >
x<, > Hk (B
F-
Hk (A, IR)
Hk(A, B)
4 .. .
x<, >
4
Hk (A B R)
is commutative.
4 Integral Homology In this section we discuss the integral homology of a compact, oriented manifold in terms of currents.
4.1 Integral Homology Groups In this subsection we discuss the integral homology of a compact, oriented manifold in terms of currents, in particular we shall prove that homology classes are weakly closed. Actually we shall see that the cosets of homology classes are in fact connected components of integral cycles.
Integral absolute homology groups. Let A be a compact neighborhood retract of IEBn, let -7r
: U --- A be the retraction. We can and do assume that U= {x E ][8'Z
I
dist (x, A) < eA}
for some CA > 0. By decomposing IR' into cubes of size eA/2\, and denoting by G the finite family of those cubes which cover A, we can see that
5. Cartesian Currents in Riemannian Manifolds
616
U{Q I QE.C} cc U. From now on we denote by LA the CW cubical complex over cubes in L and by Lk,A the k-skeleton of LA, k = 0, ... , n. Similarly to Sec. 5.3.2 an integral chain P on Lk,A is simply a polyhedral chain with integral coefficients
/9 EZ, FiELk,A. Setting Zk,simpl(LA, Z) Bk,simpl (LA, Z)
{P P integral polyhedral chain on Lk,A, aP = 0} {P = aQ I Q integral polyhedral chain on Lk,A}
we define the simplicial integral k-homology of LA by Hk,simpl(LA, Z) := Zk,simpl (LA, Z)/Bk,simpl (LA, Z)
which is of course a finitely generated Z-module. We then set for k = 0, ...
,n
Zk(A,Z) :_ {T E Zk(U), 8T = 0, sptT c Al Bk (A, 7L) :_ {aS, S E Zk+1(U), spt S C Al
Then the integral k-homology group of A is defined by
Hk(A,Z) := Zk(A,Z)/Bk(A,Z). Proceeding as for Theorem 6 in Sec. 5.3.2, taking into account that the deformation theorem produces i.m. rectifiable decomposition of i.m. rectifiable currents, we get
Theorem 1. The module Hk(A,Z) is isomorphic to the k-homology of Lipschitz chains in A with integral coefficients. Moreover the retraction map 7 induces an epimorphism 7r,, : Hk,simpl (LA, Z) --y Hk (A, Z). In particular Hk (A, Z) is finitely
generated.
Of course, if A is a C' manifold then Hk(A, Z) and Hk,simpl(LA, Z) are isomorphic, compare Theorem 5 in Sec. 5.3.2. Again a relevant advantage in representing the singular homology in terms
of homology groups of currents is that the cosets in Zk (A, Z) turn out to be closed with respect to the weak convergence of currents. Actually in the case of integral homology we are dealing now, we shall prove that in fact the cosets are connected components of Zk (A, Z). The key step in doing that is an isoperimetric inequality which is more stringent than in the real case. 1 The following example shows that one cannot expect isoperimetric inequality for general currents on manifolds, a size condition is necessary.
4.1 Integral Homology Groups
617
Let S2 = {x E R31 IxI = 1} be the two sphere and let E > 0 be small enough. Let
M =Stn {x E JR3 I x3 >-I+ E} and C = S2 n {x E R3 I x3 = -1 + 2e}. Clearly C is a 1-cycle in M and bounds the surface S := S2 n {x E ][83 I x > -1 + 2e} in M, C = aS, but M(S) 47r,
while M(C) ^-, O(/). If one consider
M=S2nxER3Ix<1-E { } then the cycle C does not bound any surface lying in M.
Theorem 2. For k = 0, ... , n there is a constant e = E(k, n, EA) such that if T E Zk(A,Z) with M(T) < e then T E Bk(A,Z); more precisely T = aR, R E Zk+l(U), sptR C A and M(R) < cM(T) 1+1/k where c = c(k, n).
Proof. Using the deformation theorem one can deform T over Lk,A and write T = P + 8R' where R' E Zk+1(U), spt R' cc U, P = > /i Q Fi , Fi E Lk,A, Qi E 7 G and M(P) < cM(T), M(R') < co-AM(T). As /3 i > 1, M(P) a Therefore choosing e < oA/c, we infer that if M(T) < e then P = 0. Consequently, setting A.
R = 7r# (R'), we infer
T=7r#T=aR, REZk+l(U), sptRcA and
M(R) < c1M(R') <
cl(cM(T))l+11k
The following theorem yields the key decomposition argument, which is relevant also in the context of flat chains, compare Theorem 2 in Sec. 5.1.3.
Proposition 1. Under the assumption of Theorem 2 in Sec. 5.1.3, if moreover all Ti and T are i.m. rectifiable, we can find integral currents Ri E Zk+1(A) and Si E Zk (A, Z) such that
Ti-T=Si+MRi.
M(Ri)+M(Si) -> 0,
Proof. We proceed as in the proof Theorem 2 in Sec. 5.1.3 observing that all currents Pi, Q. , Fi, Gi which are involved in the proof of Theorem 2 in Sec. 5.1.3 this time are i.m. rectifiable and the convergences k
EFj j=1
are in the mass norm.
00
j=1
k
00
E Gj
EGi
j=1
j=1
618
5. Cartesian Currents in Riemannian Manifolds
From Theorem 2 and Proposition 1 we readily infer
Theorem 3. Let Ti, T E Zk (A, Z) be integral k-cycles, Ti -+ T. Then Ti - T = 8R1i Ri E Zk+1(A) for large i. Moreover M(Ri) -- 0. Proof. In fact using Proposition 1 we can write
Ti-T=Si+8R2 Si E Zk(A), R' E Zk+1(A) and M(R'i) +M(Si) -+ 0. The isoperimetric inequality of Theorem 2 implies that Si = OZi, Ei E Zk+l(A), M(Ei) < cM(SS)l+1/k for large i. Thus
Ti-T=a(R'+E'i)
and the claim follows. The following corollary collects some important consequences of Theorem 3.
Corollary 1. We have (i) Bk (A, 7Z) is weakly closed. (ii) Zk (A, Z) \ Bk (A, Z) is weakly closed. (iii) In each integral homology class y there is a mass minimizing i.m. rectifiable cycle, that is, there is T E Zk (A, Z), [T] = y, such that
M(T) := inf{M(S) (iv)
I
[S] = y}.
Given c > 0 there are at most a finite number of integral homology classes y such that inf{M(S) [S] = y} < c. I
(v) For a non trivial integral homology class
inf{M(S)
I
[S] = y} > 0.
Proof. (i) and (ii) follows trivially from Theorem 3. (iii) trivially follows from (i). To prove (iv) assume on the contrary that one has a sequence {Ti} of cycles of equibounded masses. Passing to a subsequence Ti - T and by Theorem 3, all
the Ti but a finite number belong to the same homology class, a contradiction. (v) is just the isoperimetric inequality, Theorem 2.
Relative integral homology. A parallel theory for integral relative homology can be developed. Let A, B be two local Lipschitz neighbourhood retracts in Rn, B C A, B relatively closed in A. F o r k = 0, ... , n, we define the integral relative cycles by
Zk (A, B, Z) :_ IT E
. k (IR')
I spt T C A, spt aT C B, or k = 0},
the integral relative boundaries by
Bk (A, B, Z) := IT + aS I T E .Fk (Rn), spt T C B, S E Fk+l (Rm), spt S C Al,
4.1 Integral Homology Groups
619
and the integral relative homology by
Hk(A,B,Z) = Zk(A,B,Z)/Bk(A,B,Z) One shows that the Z-modules Hk (A, B, Z) satisfy the Eilenberg-Steenrod axioms for an homology theory with integral coefficients in the Lipschitz category, compare Federer [226, 4.4.1], and, being A compact that we have as consequence of the deformation theorem Theorem 4. Hk (A, B, Z) is isomorphic to the k-homology of integral Lipschitz chains in (A, B). Moreover one has an epimorphism of the k-simplicial homology Hk (LA, LB, Z) of (LA, LB) onto Hk (A, B, Z). In particular Hk (A, B, 7G) is finitely generated. From the deformation theorem we also infer the following isoperimetric inequality, compare Federer [226, 4.4.2]
Theorem 5. Let T E Rk(Rn) fl Zk(A, B) fl Bk(U,V). There exists an integral current S such that spt S C A, spt (T - 8S) C B, and M(S)k/(k+l) + M(T - 8S) < cM(T), c being an absolute constant.
Proceeding as in the real case and taking into account Federer-Fleming closure theorem one infers Theorem 6. Suppose that Ti E Rk (U) fl Zk (A, B, Z) are relative cycles converging weakly to T. Then T belongs to Rk (A \ B) and T L (A \ B) E Zk (A, B, Z). If moreover the Ti's are relative boundaries, then T is also a relative boundary, T E Bk(A,B,7G) and consequently, compare Federer [226, 4.4.2]
Theorem 7. We have (i) In each relative homology class -y c Hk(A, B, Z) there is a homological mass minimizer, i. e. a T E Zk (A, B, Z) with [T]rel,z _ 'y and
M(T) = inf{M(R) I R E Zk (A, B, Z), [R]rel = 7} (ii) There are finitely many integral relative homology classes which meet the set
{T E Zk(A,B,Z), M(T) < c}. Real and Integral homology. Let us discuss briefly relationships between integral and real homology in terms of cycles. Let A, B be compact neighbourhood retracts of R'. According to Theorem 1 the integral homology groups are Abelian groups of finite type. The general presentation theorem for such groups says that Hk (A, B, Z) splits as a direct sum of groups with a single generator; more precisely, one can choose exactly q elements
5. Cartesian Currents in Riemannian Manifolds
620
yl...... q E Hk (A, B, Z), where q is the rank of Hk (A, B, Z), independent over Z such that q
Hk(A,B,Z) _
(1)
Z'Y, ®Tk,
where Tk is the torsion subgroup of Hk(A, B, Z), i.e.,
Tk:={7EHk(A,B,Z) 1 2pEZ, py=0}. In other words each y E Hk (A, B, Z) decomposes uniquely as
y = 1: ni'yi + w,
ni E Z, w E Tk.
i
It is also a very well known fact of homological algebra that the integral homology groups fix the homology with any group coefficient. In fact the universal
coefficient theorem, compare e.g. Spanier [607, p. 222 and p.243] express the homology with coefficients in G as
Hk(A,B;G) =Hk(A,B,Z) ®G®Tor(Hk_l(A,B,7G),G),
(2)
where the Tor groups are the "torsion" subgroups. In case G = IR (2) reduces to Hk (A, B, R) = Hk (A, B, Z) ®R,
(3)
which in terms of the generators of Hk (A, B, Z) means
Theorem 8. Let q = rank Hk (A, B, Z) and let S1,.. . , Sq be q integral relative cycles in Zk (A, B, Z) such that [Si]rel,z,
,
[Sq]rel,z
are independent over Z and q
Hk (A, B, Z)
Z[Si]rel,z + Tk (A, B).
Then [Sl]re1,II2,
,
[Sq]rel,R
yield a basis for Hk (A, B, R). In particular dim Hk (A, B, R) = rank Hk (A, B, Z)
A simple consequence is
Theorem 9. Let dim Hk (A, B, lid) = q. Then we can always choose q integral cycles Ti in Zk (A, B, Z) such that
4.1 Integral Homology Groups (i)
621
[Tl]a,...,[Tq]z are independent over Z and generate the free part of the
homology group Hk (A, B, Z). (ii) [T1]lk,... , [Tq]R forma basis for Hk (A, B, ]R).
For the sake of completeness, we give a direct proof of Theorem 8 in terms of currents without any mention of the algebraic theory in the case of the absolute homology. Modulo additional technicalities, the general case of relative homology can be treated in the same way, compare Federer [228, 5.7]. From now on we assume B = 0. It is enough to prove Theorem 8 for the simplicial homology Hk,simpl(LA,Z). For that we need the following lemma
Lemma 1. Let N > 1 and E C QN be a subset of QN, and let r E IRNbe such that (r I a) = 0 d a E E. Then for any e > 0 one can find q E cQN such that
Iq - rI < Eand(gI o,)=0Vo'EE. Proof. We denote by S1, ... , Sk a basis for the Q span of r1, k
. . .
, rN and we write
1 Q, i = I,-, N. sj E IIB, aij E
ri = E aij sj, j=1
Then EN1 riai = 0 is equivalent to EN aij o i = 0 j = 1, ... , k. Choosing now T = (Ti, ... , Tk) in such a way that N
k
EIax7I ITj -Sjj <E i=1 j=1
Ej=1 aijTj has the required properties.
we see that q E QN given by qj w`
0
Notice that ee can choose qj = ri if ri happen to be rational. Next proposition contains one of the key points in the proof of Theorem 8.
Proposition 2. Let T E Zk (LA, Z) fl Bk (LA, ]R), i. e. T is an integral polyhedral cycle, which is a boundary in the real sense, T = 8R, R E Pk+l (LA, R). Then, for each E > 0, one can find a polyhedral chain R' with rational coefficients such
that T = 8R' and M(R - R') < E.
Proof. Denote by {Fi}, i = 1, . . . , I, and {Gj }, j = 1, ... , J respectively the k-faces and the (k + 1) faces of LA with some orientation. We must have I
BQGj j =
E Z. i=1
Moreover, if we write
T=>n4QFjI,
nje7G,
R=I:rjQGjl, rjER
622
5. Cartesian Currents in Riemannian Manifolds
T = aR means ni = Ejj=1 rj Bji, d i = 1, ... , I. Consequently by Lemma 1, given e > 0, one finds sj E (0 such that
ni = E sj8ji. j-1 Therefore, if R' := Ej sjIGj , we have 8T = R' and
N(R - R') < E N(Q Gj Irj - sj I < ce-
j
Remark 1. We observe that T is a polyhedral chain with rational coefficients if for some p E Z, pT is an integral polyhedral chain. Accordingly we could restate Proposition 2.
Denote by ik : Hk (LA, Z) --+ Hk (LA, R) the group homomorphism which associate to each integer homology class [T]z the corresponding real homology class j*([T]a) = [T]R.
Corollary 2. The kernel of j*, ker j*, is the torsion subgroup of Hk(LA,Z), i.e., for T E Zk(LA,Z) [T]R = 0
if
[T]z is a torsion class.
Proof. If [T]a belong to the torsion subgroup of Hk (LA, Z) then for some p p[T]z = 0. Consequently
0,
[T]1 = pp[T]R = p[pT]n = pj*([pT]z) = 0.
Conversely assume that [T]R = 0, that is T E Zk(A,Z) and T = aR, R E Pk+1(LA, R) By Proposition 2 we find R' E Pk+1(LA, Z) and an integer p # 0 such that
pT = aR' therefore [pT]z = p[T]z = 0.
Proof of Theorem 8. We split the proof into three steps. Step I. [T1]R, ... , [TT]R are independent over R.
Assume 9=1 ri [Ti]R = 0. Since R is a vector space over Q, denoting by $1, ... , sk a basis for the Q-span of r1,... , rq, we write ri = Ekj=1 ai7 E Q, sj E R. Consequently q
aij[Ti]IIP=0 i=1
b j=1,...,k.
4.1 Integral Homology Groups
623
Denote by p the 1.c.m. of the denominators of the aid. The current T k
Ek
qaijTi is an integral cycle and k
aii [Ti]R = 0.
[T ]R = q i=1
By Corollary 1 [T] z belongs to the torsion subgroup of Hk (LA, Z) hence
0 = [T]z = j:(gaij)[TT]z. Consequently aid = 0, V i, j and therefore ri = 0. Step 2. Real homology class of rational polyhedral cycles are linear combinations o f [T1]R, ... , [Tq]R with rational coefficients.
In fact we can write any polyhedral cycle T with rational coefficients as
T= 1 S
p where p E Z and S E Zk (LA, Z) . Since [S]z =
ni [Ti]z + w, ni E Z, w E Tk we
get q
[SIR =
57, ni[Tilpp. i=1
Consequently q
[S]R =
n2
[Ti]R-
i=1 p Step 3. Real homology classes of rational polyhedral cycles are dense in Hk (A, R). In fact for T E Zk (A, l) we find, using Proposition 2, a sequence of rational polyhedral cycles Tj such that M(Tj - T) --> 0. As
II[T]R-[Tj ]jII: M(T-Tj) --+ 0 the proof is concluded.
Combining Theorem 8 and de Rham's theorems, compare Sec. 5.3.2 and Sec. 5.3.3, we also get
Theorem 10. Let X be a n dimensional oriented compact manifold. Assume one has q cycles TI, . . . , Tq E Zk (X, Z) such that the corresponding homology classes are independent over Z and generate the free part of Hk (X, Z). Then one can find q closed k-forms w1, ... , wq E Zk (X) such that
Ti(wj) = -5 .
Analogously, given q' relative cycles Ti, ... , T9, E Zk (X, 8X, Z) such that the corresponding relative homology classes are independent over Z and generate the freeqq,part of Hk (X, 8X, Z), then one can find q' relatively closed k - forms 771, ... , E Zk(X, 8X) such that Ti,
51
5. Cartesian Currents in Riemannian Manifolds
624
Proof. By Theorem 8, [Ti]3t generate the real homology Hk(X,IR) of X. By de Rham's duality HaR(X, Ill) is dual to Hk (X, R) therefore choosing dual cohomology class [w1],..., [Wq]
of [Tl]R, ... , [TT]a yields the right forms. The second part of the claim is identical.
In terms of the forms w1, ... , wq, 771, ... , q ' of Theorem 10 we can state
Corollary 3. We have (i) Let T E Zk(X,IB). Then T is (real) homologous to an integer cycle if
T(wi)EZdj=1,...,q.
(ii) Let T E Zk (X, Z). Then T (wi) = 0 V j = 1, ... , q if and only if [T]z belongs
to the torsion subgroup of Hk (X, Z). (iii) Let T E Zk (X, 3X, Ill). Then T is (real) homologous to an integer cycle if
T(wi)EZbj=l,...,q.
(iv)
Let T E Zk (X, aX, Z). Then T (rp) = 0 V j = 1, . belongs to the torsion subgroup of Hk (X, aX, Z).
.
.
, q if and only if [T]Z,rel
4.2 Intersection in Integral Homology Let X be a n-dimensional oriented compact submanifold of I[Bn+N The intersection maps in real homology that we have defined in Sec. 5.3.4 extends to integral homology. The idea is to define [S] n [T] by taking the homology class of the intersection of S with almost any translation Ta#T of T. We first do that in the case of boundaryless manifolds.
Intersection of cycles on boundaryless manifolds. Assume that aX = 0 and for convenience set for T E Dk (X) and x, a E Rn+Iv T. := Ta,#7r*T.
Proposition 1. Let S E Zk(X, R) and T E Zh(X, IR), h + k > n be two normal cycles. Then we have (i) For a. e. a close to zero S n Ta exists in Zh+k-n (X) and [S n Ta]IlZ = [S]l[t nx [T]R-
(ii) If moreover S and T are integral, then for a. e. a close to zero S n Ta is an integral cycle, SnTa E Zh+k_n(X,Z) and its integral homology class depends only on the integral homology classes [S] E Hk (X, Z) and [T] E Hh(X,ZG). Proof.
(i) Let PT E Z,,,-h(X) be a Poincare dual form of T so that T =
fx APT + 3E, E E Nh+l(X), or, setting w :=
T=QXLw+aE.
(-1)h(n-h)PT
4.2 Intersection in Integral Homology
625
Taking into account (iii) of Proposition 3 in Sec. 5.3.2 7r*(QX I LwT) =I U I L7r#wT
and therefore
7r*T= QUj L7r#wT+a7r*E By slightly translating we then infer Ta, = Q U L 7 a7r#wT +
aEa
in U.
near X.
By Proposition 2 in Sec. 5.3.4 we then infer that S n Ea, S n BEa,, SnTa, exists as normal currents on X for a.e. a close to zero. Consequently being aS n Ea, = 0 we infer
a(SnEa)=SnBE,
and (1)
SnTa = S n I U J1 L 7- a7r#wT + a(S n Ea)
near X.
for a.e. a close to zero. Since on the other hand 7- a7r#wT is cohomologous to
7r#WT with compact support in X \ BX, we obtain from (1) that s n Ta is homologous to
SnQU]IL7r#WT=SL7r#wT=SLWT. (i) now follows if we compute
SLWT =
(_1)('n-k)(n-h) S(-APT)
(-1)(n-k)(n-l,)
(ii) We already known, compare (iii) of Proposition 2 in Sec. 5.3.4, that S n Ta
is an integral current for a.e. a close to zero. We now prove that the integral homology class of s n Ta is independent of a for a.e. a close to zero. In fact, being To, and T homotopic,
Ta = To + BE
near X,
E E -Th+N+1(U). Therefore for JbI close to zero, Ta+b = Tb + BE'
near X,
E' E Zh+N+1(U) Proposition 2 in Sec. 5.3.4 then yields that for a.e. b the currents SnTa+b, S n Tb, S n Eb exist as integral currents in X, and B(S n Eb) _ S n BEb. Consequently
SnTa+b-SnTb=a(SnE') inX for each a and a.e. b close to zero. In particular the integral homology of s n Ta is independent of a for a.e. a.
On the other hand, if T = aR, R E Zh+1(X) or S = aQ, QE Zk+1(X), Proposition 2 in Sec. 5.3.4 again yields that for a.e. a close to zero S n (BRa) = B(S n Ra),
being aTa = BS = 0.
(8Q) n Ta = (-1)k+1 8(Q n Ta)
5. Cartesian Currents in Riemannian Manifolds
626
The claim (ii) of Proposition 1 clearly allows us to define the intersection map in integral homology
nx : Hk(X,7L) X Hh(X,Z) -4 Hh+k-n(X,Z) setting
[S]z nx [T]z := [S n Ta]z
for a.e. a,
while (i) of Proposition 1 show that such a map is compatible with the real version of the intersection map defined in Sec. 5.3.4.
Intersection of cycles on manifolds with boundary. More tricky is the
definition of the intersection of cycles for manifolds with boundary. Let us start with the intersection of a relative with an absolute homology class. Let X be a compact oriented manifold of dimension n in ]Rn+N possibly with boundary. Let X1, X2 be two smooth domains in X and let Al C X1 and A2 C OX2 be compact. Since we deal with the relative homology, we suppose even if this is not important for the sequel that Al and A2 are compact Lipschitz neighborhood retracts. Proposition 2. Let S E Zk(XI,A1), T E Zh(X2,A2), h+k > n be two relative normal cycles, and assume that (2)
XlnA2=X2nA1=0,
sptTnX1n8X2=0.
Then for a.e. a close to zero (i) S n Ta exists as an absolute normal cycle, S n To, E Zh+k-n (X1).
(ii) T has a Poincare dual PT E Zn-h(X2) such that PT = 0 on 8X2 n X1 and S n Ta = (-1)(n-k)(n-k) S(. APT) + 8E,
on X1,
Z E Nh+k-n+1(X1) (iii) If S and T are i.m. rectifiable, then S n Ta E Zh+k_n(X1, Z) and its integral homology class depends only on the homology classes [S] z,rel E Hk (Xl, A1i Z) and [T]z,rei E Hh (X2, A2, Z)
Proof. (i) follows from Proposition 2 in Sec. 5.3.4 taking into account that for
a close to zero spt s n spt 8Ta is still empty being X1 n A2 = 0.
(ii) Since spt T n X1 n 8X2 = 0 by (2) then clearly one constructs a Poincare (-1)h(n-h)PT, and for dual form PT with spt PT = 0 on 8X2 n X1. Setting w = 8 := dist (X1, A2),
Xd := {x I dist (x, X1) < 6121,
w extends as a smooth form on X8, w = 0 on X1 \ X2,
T=QX111Lw+R+aZ onX where R E Nh(X2), spt R n Xs = 0, Z E Nh+1(X2). In particular
4.2 Intersection in Integral Homology
627
T=QX11Lw+6E onX5. Arguing now as in the proof of (ii) of Proposition 1 we then conclude that for a.e. a close to zero (3)
SnTa,=SnI7r-1(X1)]Lwa+SnEa,=SLWa+SnEa
(4)
S n aE = a(S n Ea),
where we have denoted by wa the form wa On the other hand wa - w = d,13, 0 E D'-'-1(X2), spt 0 C X2 \ X1. We then have as L Q = 0 and S L (wa - w) = (-1)ka(S L (3) on X1
(5)
Putting together (3) (4) (5) we conclude
onX2 as required. (iii) If now S and T are i.m. rectifiable, then SnTa is an i.m. rectifiable current for a close to zero by Proposition 2 in Sec. 5.3.4. Being Ta and To clearly homotopic we have
Ta:=To+R+aE where E E Nh+N+1(7C-1(X2)), R E Nh+N(7r-1(X2)), sptRn7r-1(X5) = 0, X5 as in step (ii). Consequently for b close to zero Ta+b = Tb+Tb#R+Tb#E near X2, -rb#E E Nh+N+1(7r-1(X2)), Tb#R E Nh+N(7r-1(X2)) and spt75#R n Xl = 0. On the other hand S n Tb# E, S n aTb# E , as n Tb# E, S n Ta+b, S n Tb exist for a.e. b as integral currents,
SnTa+b=SnTb+SnaTb#E onX1
(6)
and
SnaTb#E = a(S n Tb#E) + as n rb#E = a(S n Tb#E)
(7)
being spt rb#E n spt as = 0 for sufficiently small a and b. Putting together (6) and (7) we then conclude that for a.e. a and b S nTa and S n Tb are homologous. To conclude the proof it suffices to note that that for a.e. a close to zero clearly (8)
aR n T a = (-1)k+la(R n Ta),
S n 5Ra = a(S n Ra).
The claim (iii) of Proposition 2 shows that by setting [S]re, n [T] := [S n Ta]
for a.e. a close to zero, [S]rd E Hk(X, aX, Z), and [T] E Hk(X, Z) defines actually the intersection map
628
5. Cartesian Currents in Riemannian Manifolds
nx : Hk(X,8X,Z) x Hh(X,Z) - Hh+k-n(X,Z) between the relative and absolute homology classes. Also (ii) of Proposition 2 shows that such a definition is compatible with the intersection map in real homology, compare Sec. 5.3.4.
In order to deal with the intersection of two relative cycles, we need the following variant of Proposition 2. As before we suppose that X1, X2 are two smooth domains in a compact oriented manifold X of dimension n that we think to be a submanifold in Rn+N. Let Al C Xl and A2 C 8X2 be compact Lipschitz neighborhood retracts. Proposition 3. Let S E Zk(X1, Al), T E Zh (X2, A2), h+k > n, be two relative normal cycles, and assume that (9)
X1nA2=0,
sptTnXlnaX2=0.
Then for a.e. a close to zero (i) S n To, exists as a normal current and S n Ta, E Zh+k-n (XI, Al)
(ii) T has a Poincare dual PT E Zn-h(X2) such that PT = 0 on aX2 n Xl and S n Ta, =
(-1)(n-k)(n-k) S(, APT)
+ R + 8E,
in Xl,
R E Nh+k_n(X1), sptR C Al, E E Nh+k-n+1(X1). (iii) If S and T are i.m. rectifiable, then S n Ta0 E Zh+k_n (X1, Al, 7G) and its
integral homology class in Hh+k_n(Xl, Al, Z) depends only on the homology classes [S]z,rei E Hk(Xl,A1iZ) and [T]z,Lel E Hh(X2iA2,Z).
Proof. The proof is quite similar to the proof of Proposition 2. Because of the different hypotheses, we may substitute (4), (5) and (7) respectively by (10)
SnEa=a(SnEa)+(-1)kaSnEa-aE'+R'
R' E Nh+k_n(X1), spt R' C spt S C Al, E' E Nh+k_n+1(Xl), by (11)
S L (Wa - W) = aS L + (-1)ka(S L,8) = R" + aE"
R" E Nh+k-,,,(X1), sptR" C sptS C Al, E" E Nh+k-n+l (XI), and by (12)
SnaTb#E=a(SnTb#E)+aSnTb#E=R'"+aE"'
R"' E Nh+k-n(X1), sptR"' C sptS C Al, E"' E Nh+k-n+1(X1). In order to define the intersection of two relative cycles of X, we recall the notation of Sec. 5.1.2, particularly the extension map
e:X-*Xao,
eo>0.
which is homotopic to the identity on X. Let [S] E Hk (X, 8X, Z), [T] E Hh (X, 8X, Z) be two relative cycles. Then e#T E Zh (XE0 , aXE0,, Z), and x n
4.2 Intersection in Integral Homology
629
aXEO = 0. We then can apply (iii) of Proposition 3 to S and T with Xl := X, Al := aX, X2 := XEO, A2 := OXEO and infer that the homology class of s n (e#T)a,
in Hh+k_,,, (X, aX, 7L) depends only on the relative homology class of S and T for a.e. a close to zero. This then defines the intersection map between relative cycles, nx : Hk (X, aX, 7L) X Hh, (X, aX, 7L) --b Hh+k-n (X, aX, 7L) by
[S]re, nx [T]r.1
[S n (e#T)a]rel
Moreover (ii) of Proposition 3 shows that this definition is compatible with the intersection of relative cycles in real homology that we have defined in Sec. 5.3.4.
Intersection index in integral homology. Let
be two sys-
tems of integral cycles which are independent and generate respectively the free part of Hk (X, OX, 7L) and of Hn_k (X, 7L). Then the intersection index Iij := ix (Si, Tj) takes values in 7L, compare Sec. 5.3.4, and non degeneracy is equivalent to the non degeneracy of the real bilinear form
riSi,Esj Tj) -> ix (S, T) = E ri sj lij. i,j
Thus, being non degeneracy of Poincare duality and of the intersection index equivalent, we have
Proposition 4. Non degeneracy of Poincare duality is equivalent to
dimHk(X,aX,1R) =dimHn_k(X,R) =: q,
(13)
detIii
0.
We can also state
Proposition 5. Non degeneracy of Poincare-Lefschetz duality is equivalent to one of the following equivalent statements: (i) rank Hk(X,OX,Z) =rankHn_k(X,Z) =: q, detIi.7 o 0. (ii) given S E Zk (X, aX, 7L) ix (S, T) = 0 V T E Zn_k (X, 7L) if [S] z,rei is a torsion class. (iii) given T E Zn-k (X, 7L) ix (S, T) = 0 `d S E Zk (X, aX, 7L) iff [T]z is a torsion class.
In fact in case of (ii) non degeneracy of the intersection index on integral cycles amounts to the non degeneracy of the map
Zp X V -> 7L,
(n, m) ---
nimjIi1,
630
5. Cartesian Currents in Riemannian Manifolds
that is again to p = q and det IZj 54 0. Therefore we have [S]R,rel = 0, consequently [S]z,rel is a torsion class. The same argument applies for the third claim (iii).
We emphasize the fact that a good basis for Hk (A, B, R) can be obtained only starting from free generators of Hk (A, B, Z). In fact considering a generic basis of H k (A, B, IR), [T1]x, ... , [Tq]R of integral cycles we cannot be sure in principle that [Ti]z,..., [Tq]z generate the free part of Hk(A, B, Z).
An algebraic view of integral homology. Although integral currents are useful in finding representatives of integral homology classes by means of variational integrals, their use in proving the integral version of the Poincard duality isomorphism between homology and integral cohomology is not completely clear. In describing the integral homology of a given manifold X, one usually starts with a triangulation of a manifold and then define the integral chains of k - cells of that subdivision, a boundary operator, hence the homology groups
Hk(X,Z),
Hk(X,aX,7G).
Then, by duality one defines cochains as morphisms on chains of k - cells, a notion of coboundary, and the integral cohomology Hk (X, Z),
Hk (X, aX, 7G)
of the integral cochains. One then proves
Theorem 1. H" (X, Z) = Homz(Hk (X, Z), Z) ®Ext (Hk_ 1(X, Z), Z) Hk (X, aX, Z) = Homz (Hk (X, OX, Z), Z) ® Ext (Hk_ 1(X, OX, Z), Z) In other words Homz (Hk (X, 7G), 7G) and Homz (Hk (X, aX, 7G), 7G) are the free
parts respectively of Hk(X, Z) and Hk(X, aX, Z). If moreover Hk_1(X, Z) (resp. Hk_1(X, aX, Z)) is free, then Hk (X, Z) (resp. Hk (X, OX, Z)) is free, too. Next point consists in defining a pair of morphisms L : Hk(X, (9X, Z) x L : Hk (X, aX, 7G) X
Hn_h
(X, OX, Z) -+ Hh+k_n (X, Z)
Hn-h
(X, Z) -' Hh+k-n (X, aX, Z)
known as the cap product which mimic the role of the interior product between forms and currents in real homology. Applying such maps with the fundamental cycle Q X E Hn (X, OX) as first factor, one constructs the two PoincareLefschetz morphisms PO :
Hn-h(X, aX, Z)
Hh(X, Z) Pb : Hn-h(X, Z) -i Hh(X, aX, Z)
The celebrated theorems of Poincar6 and Poincard-Lefschetz then state
5 Maps Between Manifolds
631
Theorem 2. PO and Pb are isomorphisms of Z-modules. Finally, combining Theorem 1 and Theorem 2 we get Homz(Hk(X, Z), Z) = Hk,free(X, Z) = Ilnfrek(X ax Z) Homz (Hk (X, aX, Z), Z)
= Hk,free (X, aX, Z) = Hnrek (X, Z)
In other words defining the intersection index on X
ix : H,,-k(X, 3X, Z) x Hk(x, Z) -> Z by (14)
ix(S,T) :_ [S]re1 L (P)-1[T],
we conclude that
Theorem 3. ix is unimodular. It turns out that the intersection index that we have defined in terms of currents agrees with the one defined in (14). From the current theory we already known that the intersection matrix {III} for two given systems of generators {S} of Hk ee (X, OX, Z) and } of Hnrek (X, , Z) have integral non zero determinant, 0 # det I2j E Z. The algebraic integral homology theory adds to this information that det I2j = ±1. In particular for k = 0, ... , n one can choose of the free part of Hk (X, aX, Z) and a basis {T3c -k) } of the free a basis {T('L-k)
part of Hn_k(X,Z) such that ix(,(kT(n-k)) =
a?.9.
5 Maps Between Manifolds In this final section we discuss Sobolev and Cartesian maps and currents between Riemannian manifolds focusing on some topological properties of those maps. In Sec. 5.5.1 we deal with Sobolev maps, reviewing some of Bethuel's results
on density of smooth maps and of White's results on the d-homotopy type of Sobolev maps.
After introducing Cartesian maps and currents between Riemannian manifolds and stating a few simple extensions of results we have already proved in the previous chapters for Cartesian currents in Euclidean spaces, we illustrate in Sec. 5.5.3 and Sec. 5.5.4 the homological content of Cartesian maps and currents. In particular we shall prove that, similarly to the case of smooth maps, every Cartesian current induces sets of maps in cohomology and homology.
632
5. Cartesian Currents in Riemannian Manifolds
5.1 Sobolev Classes of Maps Between Riemannian Manifolds Let 0 be a bounded domain in R'. If aQ is regular, say Lipschitz-continuous, and ,f2 » d2, then every map u E W',P(Q, RN) can be extended to a map u : !2 -4 RN in such a way that ii E W1,P(d2, RN), ii = u in d2, and even u E Wo'P (dl, RN), with spt u CC S?. A sequence of mollifiers of u is then easily seen to converge in the norm of W1,P to u. Therefore we deduce
Theorem 1. Suppose that a12 is Lipschitz-continuous. Then every map u E W1,P(dl,RN) is the W',P-limit of a sequence ui E C' (f2, RN) Actually, the following Meyers-Serrin H = W theorem holds independently of the smoothness of ad2 Theorem 2. The class COO(d2,RN) n W1,P(.f2,RN) is dense in W1,P(Q,RN)
This is proved by taking weighted mollifiers according to the distance of points x c d2 from the boundary a1, compare also the proof of (ii) of Theorem 1 in Sec. 4.1.1. Introducing the space
H1,P(Q,RN) := strong closure of Cl(d2,RN) nW1,P(Q ISBN) (1)
in W1,P(d2,RN)
we can state Theorem 2 as (2)
W1,P(Q,RN) = H1,P(0,RN)
Moreover, recalling that convex sets of a Banach space are sequentially weakly closed if and only if they are strongly closed, one easily deduces that H1,P(d2, RN), also agrees with the sequential weak closure of C, (Q' RN) n W1,P(,(l, RN), i.e., with the notation of Sec. 3.4, (sw-cl- and strong-cl standing respectively for sequential weak and strong closure in W1,P), we have (3)
H1'P(dl, RN) = sw-clw,,p (C1(d2, RN) n W1,P(.fl,
= strong-clwi,p (C1(Q, RN) n W',P(f2 RN)) This is what makes the space H1"P(d2,RN), equivalently W1°P(1?,RN), very useful in finding minima of energy functionals. Let now d2 be a bounded domain of an n-dimensional Riemannian manifold X and let us replace the flat space RN by a compact and boundaryless submanifold y of RN of dimension m. We set (4)
W"P(Q, y) := {u E W1"P(d2, RN) I u(x) E y for a.e. x E Q}.
We shall see that in general
5.1 Sobolev Classes of Maps Between R.iemannian Manifolds (5)
W1,P(Q, y)
633
strong-clwi,, (C1(,f2, y) n W1°P(rI,RN)), D
the obstruction to equality being the topology of Y. Of course it is to be expected that
Hs ong(Q, Y) := strong-clw,,, (C' (f2, Y) n W1,P(u RN)) has better properties compared to W1,P(Q, Y). On the other hand this class in principle lacks nice compactness properties with respect to the weak convergence and therefore it is not suitable for finding minima of energy functionals. For this reason it is convenient to introduce also the class (6)
Hweak(Q,Y) := sw-clwl,p (c' ((2,Y) n W1,P(Q,RN)),
i.e., the sequential weak closure of Cl (.f2, y) n W1,P (f2, RN) in W l'P (Q, IRN). In general one finds then , Y D Y)) D H1,P Wl'PQ, ( weak ( )
H1,P
strong
Q Y)
In the sequel of this subsection we shall report on some results about the classes W1,P(fl Y), HWeak(,f2, Y) and H t ong(.f2, y) in principle omitting proofs.
The class W1'P(X7, ym) and density of smooth maps. Let X and y be two oriented Riemannian manifolds of dimension respectively n and m. As usual we shall assume that Y is compact and without boundary, while X may or may not have boundary. Moreover, without loss of generality, we think of Y as of a submanifold of RN, and, if we want to emphasize the dimensions, we write X1
and ym instead of X and Y. For any real number p > 1, but actually we shall only consider the case p > 1, we set (7)
W"p(X, y) :_ {u E W1,P(fl, ]RN) I u(x) E Y for a.e. X E X}.
The nonlinear space W1'P(X,Y) depends in general on the embedding of Y into N. This is not essential in case X U 8X and Y are compact, because different embeddings give rise to homeomorphic spaces W1'P(X, Y). However, since the definition (7) works also for non compact X and Y an intrinsic definition should be more suitable. But we shall not pursue this point. Our first question is whether C°° (X, y)nW1"P(f2, JRN) is dense in W1"P(X, Y). Suppose for a moment that X is a domain of Rn and, for the sake of simplicity,
that X = R'. Given u E W1"P(X, y), the easiest and natural approach to our question is to consider the mollifiers uE
J W,, (x - y) u(y) dy , SoE - E-n P( )
where cp is a standard C°°(IR") kernel. Then the maps uE converge in W 1,P (X, RN) to u. But in general the range of uE is not Y. Assuming however
634
5. Cartesian Currents in Riemannian Manifolds
that u6(x), x E X, lies in a normal neighbourhood VE of Y in IRN, which shrinks to y as E tends to zero, we might consider the maps
.7ouE:X-->y where n is the nearest point projection map from VE into Y. In this case 17 o uE is readily seen to converge in W1,P to u. Unfortunately, in general we cannot expect that uE(x), x E Si, lies in a small normal neighbourhood of y; for instance, any mollification with a symmetric
kernel of the map xllxl from B3 into S2 has value zero at zero. The previous argument however does work, with minor changes, if p is larger than the dimension n of X because, by Sobolev-Morrey embedding theorem, we know that every u E W 1,P (X, y) is actually Holder-continuous and the mollifiers uE of u converge uniformly to u. In fact, essentially the same argument works also for p = n, and we have
Theorem 3 (Schoen-Uhlenbeck). Let X' be a Riemannian manifold with smooth boundary and let y' be a compact Riemannian manifold without boundary. Then C'(X, y) is dense in Wl°n(X, y).
Proof. By standard extension theorems we may assume that X is compactly contained in a Riemannian manifold k and that any u E W""n(X, y) is the restriction of a map u E W""n(X, y) to Y. We can also assume that X is isometrically embedded in some IRk, k > n. Let U be a normal neighbourhood of X in Rc and let V be a normal neighbourhood of y in RN. First