Beruflich Dokumente
Kultur Dokumente
r
X
i
v
:
1
0
0
3
.
0
8
1
7
v
1
[
m
a
t
h
.
D
G
]
3
M
a
r
2
0
1
0
A Reilly formula and eigenvalue estimates for dierential forms
1
() nc
2
; (1)
moreover the equality holds if and only if is a ball of radius
1
c
in Euclidean space.
In this paper we integrate the Bochner-Weitzenbock formula to obtain a Reilly-type
formula for dierential p-forms (see Theorem 3) and we apply it to give a sharp lower
bound of the spectrum of the Hodge Laplacian acting on dierential forms of an embedded
hypersurface bounding a compact manifold . This lower bound can be seen as a
p
() = inf
x
p
(x).
We say that is p-convex if
p
() 0, that is, if all p-curvatures are non-negative. Note
that 1-convex means convex (all principal curvatures are non-negative) and n-convex
means that has non-negative mean curvature. It is easy to verify that, if
p
0, then
q
0 for all q p and moreover
p
p
q
q
.
Here is the main estimate of this paper.
Theorem 1. Let be a compact (n +1)-dimensional Riemannian manifold with smooth
boundary , and let 1 p
n+1
2
. Assume that has non-negative curvature operator
and the p-curvatures of are bounded below by
p
() > 0. Then:
1,p
()
p
()
np+1
(),
where
1,p
() is the rst eigenvalue of the Hodge Laplacian acting on exact p-forms of .
The equality holds if and only if is a Euclidean ball.
We will prove the lower bound under weaker curvature conditions, namely that the
curvature term in the Bochner formula for p-forms on , denoted W
[p]
, is non-negative
(we refer to section 2 and Theorem 5 for this more general result).
By the Hodge duality one has
1,p
() =
1,np+1
(), so the positivity of
p
() for some
1 p
n+1
2
allows to bound from below the eigenvalues
1,q
() for all q [p, n p + 1].
In particular, if is convex, with principal curvatures bounded below by c > 0, then it is
p-convex for all p and
p
() pc. Therefore, for all p = 1, . . . , n one has:
1,p
() p(n p + 1)c
2
.
2
For p = 1, we get back Xias estimate (1) because
1,1
() =
1
(), the rst positive
eigenvalue of the Laplacian acting on functions.
Remark 2. The p-convexity has interesting topological consequences: Wu proved in
[20] that if has non-negative sectional curvature and is strictly p-convex (that is,
p
() > 0), then has the homotopy type of a CW-complex with cells only in dimension
q p 1. In particular:
all (absolute) de Rham cohomology groups H
q
(, R) vanish for q p;
if p
n
2
then H
q
(, R) = 0 for all p q n p.
(The second statement follows by looking at the long-exact cohomology sequence of the
pair (, )).
In section 3.1 we will observe that these vanishing results hold under the assump-
tion that W
[p]
1,p
() maxp, n p + 1
|S|
2
Vol()
,
where |S|
2
is the squared norm of the second fundamental form (if is minimal then
the constant can be improved). Note the topological assumption; however we make no
assumption on the curvatures of and . We will actually prove a slightly stronger
inequality, which is sharp when p =
n+1
2
.
We refer to Theorem 15 for a similar estimate in degree p = 1, n: namely, if H
1
(, R) =
0 and supports a non-trivial parallel 1-form, then
1
() n
|S|
2
Vol()
,
where
1
() is the rst positive eigenvalue of the Laplacian on functions.
2 The Reilly formula for p-forms
Let be an (n + 1)-dimensional Riemannian domain with smooth boundary =
and a smooth dierential p-form on . The Hodge Laplacian acts on and has the
well-known expression:
= d + d,
where = d
is the adjoint of the exterior derivative d with respect to the canonical inner
product of forms. Recall the Bochner formula:
=
+ W
[p]
(), (2)
where W
[p]
0 for all p = 1, . . . , n.
Recall that W
[1]
j=1
(X
1
, . . . , S(X
j
), . . . , X
p
),
for tangent vectors X
1
, . . . , X
p
T. Observe that S
[n]
is just multiplication by nH
where H =
1
n
trS is the mean curvature. We set, by convention, S
[0]
= 0.
It is clear from the denition that the eigenvalues of S
[p]
are precisely the p-curvatures
of : therefore we have immediately
'S
[p]
, `
p
()||
2
(3)
at all points of and for all p-forms , where
p
() is the lower bound of the p-curvatures
dened previously.
If J : is the canonical inclusion, denote by J
|
2
+|i
N
|
2
= ||
2
.
Recall the Hodge -operator of , mapping p-forms to (n + 1 p)-forms and let
|d|
2
+||
2
=
||
2
+'W
[p]
(), ` + 2
'i
N
,
(J
)` +
B(, ), (4)
where the boundary term has the following expression:
B(, ) = 'S
[p]
(J
), J
` +'S
[n+1p]
(J
), J
`
or, equivalently:
B(, ) = 'S
[p]
(J
), J
` + nH|i
N
|
2
'S
[p1]
(i
N
), i
N
`.
The equivalence between the two expressions of the boundary term follows because
J
i
N
, and because of the identity
S
[p]
+S
[np]
= nH
as operators on p-forms of .
For convenience, the proof of Theorem 3 will be given in the last section. Observe
that, if f is a smooth function, then the classical Reilly formula is obtained by applying
5
Theorem 3 to = df and by recalling that W
[1]
= Ric
(f)
2
=
[|
2
f|
2
+ Ric
(f, f)]
+
2
f
N
f +'S(
f),
f` + nH(
f
N
)
2
.
(5)
3 Lower bounds of eigenvalues of the Hodge Laplacian
3.1 Topological facts
We now observe some topological consequences of p-convexity. These fact are not really
new: besides the work of Wu, already cited in the introduction, we mention for example
[6], where the p-convexity assumption has been used to bound from below the spectrum
of the Laplacian acting on p-forms of a manifold with boundary, for the absolute and
relative conditions.
First, we recall some well-known facts. Let be a compact (n+1)-dimensional manifold
with smooth boundary. The Hodge-de Rham theorem for manifolds with boundary asserts
that H
k
(, R), the absolute cohomology space of in degree k with real coecients, is
isomorphic to the space of harmonic k-forms satisfying the absolute boundary conditions;
equivalently, an absolute cohomology class is uniquely represented by a k-form on
satisfying the boundary problem:
d = = 0 on ,
i
N
= 0 on .
(6)
The relative cohomology space, denoted by H
k
D
(, R), is isomorphic to H
n+1k
(, R) by
Poincare duality, which is induced at the level of forms by the Hodge -operator. Any
class in H
k
D
(, R) is uniquely represented by a k-form satisfying
d = = 0 on ,
J
= 0 on .
Theorem 4. Let be a compact manifold with boundary and assume that W
[p]
0.
a) If
p
() > 0 then H
p
(, R) = 0.
b) If
p
() 0 and H
p
(, R) = 0 then admits a non-trivial parallel p-form and
p
(x) = 0 for all x .
Proof. Let be a p-form, solution of the problem (6). We apply the Reilly formula of
Theorem 3 to and obtain:
0 =
||
2
+'W
[p]
(), ` +
B(, ).
6
Now:
B(, ) =
'S
[p]
(J
), J
p
|J
|
2
=
p
||
2
by (3). The inner integral is non-negative, and is zero only when is parallel (hence of
constant norm). It is now clear that
p
() > 0 forces to be identically zero on , hence
on , which proves a). For part b), there exists a non-trivial solution by assumption;
this form has to be parallel and as
commutes with d
and
1,p
() (resp.
1,p
()) be the rst eigenvalue of the Hodge Laplacian when restricted to
exact (resp. co-exact) p-forms of , and let
1,p
() be the rst positive eigenvalue of
.
The Hodge decomposition theorem implies that:
1,p
() = min
1,p
(),
1,p
()
1,p
() =
1,p+1
()
the second identity being obtained by dierentiating eigenforms. The Hodge duality
gives
1,p
() =
1,np
(). Given that, it is enough to estimate the eigenvalue
1,p
() for
1 p
n+1
2
.
We now state our main theorem, under slightly weaker assumptions than those given
in the introduction, namely, we only assume that W
[p]
0. As we already remarked, if
the curvature operator is non-negative then W
[p]
0).
Theorem 5. Let be a compact Riemannian manifold of dimension n + 1 with smooth
boundary , and let 1 p
n+1
2
. Assume that W
[p]
1,p
()
p
()
np+1
().
The equality holds for a Euclidean ball. If in addition has non-negative Ricci curvature,
then the equality holds if and only if is a Euclidean ball.
Proof. As p n p + 1 by assumption, we have
np+1
()
p
() > 0. Let be a co-
exact eigenform associated to =
1,p1
() and consider the exact p-eigenform = d
7
also associated to . The proof depends on the existence of a suitable extension of .
Precisely, by the results of Du and Spencer (Theorem 2 p. 148 of [4]), there exists a
(p 1)-form
on such that d
= 0 and J
.
Then satises:
d = = 0 on ;
J
= on .
We apply the Reilly formula (4) to and obtain:
0 =
| |
2
+'W
[p]
, ` + 2
'i
N
,
` +
B( , ). (7)
One has
= and, by (3):
B( , )
p
()|J
|
2
+
np+1
()|J
|
2
.
Now |J
|
2
= |i
N
|
2
; since = d
|J
|
2
=
||
2
=
||
2
. The inner integral in (7) is non-negative because
W
[p]
2'i
N
, ` +
p
()||
2
+
np+1
()|i
N
|
2
. (8)
Remark 6. Note that, if the equality holds in (8), then is parallel.
On the other hand, one has:
0 |i
N
+
np+1
()
|
2
= |i
N
|
2
+
2
np+1
()
'i
N
, ` +
2
np+1
()
2
||
2
from which
2'i
N
, `
np+1
()|i
N
|
2
np+1
()
||
2
.
Note that, if the equality holds, then i
N
=
np+1
()
. Substituting in (8) we end-up
with the inequality
0
p
()
2
np+1
()
||
2
,
and then, as is non-vanishing, we get
p
()
np+1
() as asserted.
The equality case. It is well known that:
1,p
(S
n
) = p(n p + 1),
8
with multiplicity
n+1
p
0. Then is parallel, =
p
()
np+1
() and so:
i
N
=
p
(). (9)
Being parallel, has constant norm, and we can assume that | | = 1 on . We apply
the Stokes formula and observe that:
|d
|
2
=
'
, d
'J
, i
N
d
`.
As d
= and d
||
2
. (10)
On the other hand, is a co-exact eigenform of the Laplacian on associated to , so
that:
||
2
=
1
|d
|
2
=
1
||
2
=
1
| |
2
|i
N
|
2
=
1
vol()
p
()
2
||
2
that is:
||
2
=
1
+
p
()
2
vol(). (11)
From (10) and (11) we conclude:
vol()
vol()
=
p
() +
np+1
().
Now recall that, at any point x one has
p(x)
p
q(x)
q
whenever p q. As
n(x)
n
= H(x),
the mean curvature, one has
p
(x) pH(x) and then:
p
() +
np+1
()
p
(x) +
np+1
(x)
pH(x) + (n p + 1)H(x)
= (n + 1)H(x).
9
Therefore:
H(x)
1
n + 1
vol()
vol()
(12)
for all x . As the Ricci curvature of is assumed non-negative, we can apply a result
of Ros (Theorem 1 in [16]) which implies that
inf
x
H(x)
1
n + 1
vol()
vol()
with equality if and only if is a Euclidean ball. Hence (12) forces to be isometric to
a Euclidean ball, as asserted.
4 Rigidity results
We now state some rigidity results, which are consequences of the equality case in the
main theorem.
4.1 Manifolds with special Killing forms
Here we study rigidity results for manifolds with boundary when the geometry of the
boundary has special properties.
In spin geometry, Hijazi and Montiel [7] (see also [14]) assume the existence of Killing
spinors on the boundary; they prove that, under suitable curvature assumptions, a Killing
spinor on the boundary extends to a parallel spinor on the domain. This imposes strong
restrictions on the geometry of the domain: in particular, it has to be Ricci at.
Here we address a similar problem for dierential forms. As we will see, a natural
assumption is the existence of a special Killing form on . This kind of dierential forms
were introduced by S. Tachibana and W. Yu [19] and compact, simply connected manifolds
admitting such forms were classied by U. Semmelmann [18]. Noteworthy examples are
given, besides the round spheres, by Sasakian manifolds.
Denition 7. Let be a n-dimensional Riemannian manifold. A special Killing p-form
with number c R is a coclosed p-form on such that:
X
=
1
p + 1
i
X
d
X
(d
) = c(p + 1)X
for all vector elds X with dual 1-form X
.
10
An easy computation shows that a non-trivial special Killing p-form is always a co-
closed eigenform for the Hodge Laplacian acting on p-forms associated with the eigenvalue
c(p+1)(np) (in particular c 0). Thus, if carries a non-trivial special Killing p-form,
then:
1,p
() =
1,p+1
() c(p + 1)(n p). (13)
As we already remarked, the standard round sphere S
n
carries special Killing forms:
indeed all co-closed eigenforms of the Hodge Laplacian associated with the eigenvalue
1,p
(S
n
) = (p + 1)(n p) are special Killing p-forms with number c = 1.
From this discussion, it appears that Theorem 5 applies when the boundary carries a
special Killing form. Indeed, we have:
Theorem 8. Let be an (n + 1)-dimensional compact manifold such that W
[p]
0 for
some 1 p
n+1
2
. Assume that there exists a non-trivial special Killing (p 1)-form
with number c > 0 on the boundary and that
p
() p
c. Then:
a) d
c
.
Proof. As
p
() p
c and 1 p
n+1
2
one has
np+1
() (np +1)
c. By the rst
part of the main theorem:
1,p
() p(n p + 1)c.
On the other hand we have from (13) that
1,p1
() =
1,p
() p(n p + 1)c.
Then we have equality in Theorem 1, and we see from the proof of this result that d
0 for
some 1 p
n+1
2
. Assume that is isometric to the unit round sphere S
n
and that
p
() p. Then is isometric with the Euclidean unit ball.
Proof. As is isometric to the unit round sphere, we see that
1,p1
() =
1,p
() =
p(np +1), with multiplicity given by
n+1
p
1,p
() is the restriction to of a parallel p-form
on . In particular {
p
(), the vector space of parallel p-forms on , has dimension at
least
n+1
p
is injective on {
p
(). But, on a manifold of
11
dimension n + 1,
n+1
p
0. Then i
N
:
{
p
() /
p1
() is actually an isomorphism.
Proof. Let be any p-form on M, and be any hypersurface of M. Then, for all vector
elds X on one has the formulae (see the proof of Lemma 18):
X
(J
) = J
(
X
) + S(X)
i
N
X
(i
N
) = i
N
X
i
S(X)
J
If is parallel and is totally umbilical with constant mean curvature H we have S = HId
and then:
X
(J
) = HX
i
N
X
(i
N
) = Hi
X
(J
)
Recall that H = 0. We obtain easily (see Lemma 18 (ii)):
(J
) = (n p + 1)Hi
N
i
N
= pHJ
.
(14)
Observe that the p-form J
is exact.
Let = i
N
. Then J
=
1
pH
d
and so:
X
=
1
p
i
X
d
X
d
= pH
2
X
.
13
Since = i
N
is co-closed, the above says precisely that is a special Killing (p1)-form
with number H
2
on . Clearly i
N
is injective. Part a) now follows.
We prove part b). Since the boundary is totally umbilical we have
k
() = kH for all
k = 1, . . . , n. From our main estimate we have then:
1,p
() p(n p + 1)H
2
.
On the other hand, given a special Killing (p 1)-form on , we know that is a
co-closed eigenform associated to the eigenvalue p(n p + 1)H
2
. Then:
1,p
() p(n p + 1)H
2
.
We have equality in Theorem 5 and from its proof we see that is the normal part of a
parallel p-form on . So the map i
N
is also surjective.
We now can state another rigidity theorem, which is the main result of this section.
Theorem 13. Let be an (n + 1)-dimensional extrinsic ball having non-negative Ricci
curvature and admitting a parallel p-form for some p = 1, . . . , n. Suppose that at least
one of the following conditions holds:
1) has non-negative sectional curvature;
2) W
[p]
0;
3) is contractible;
4) H
p
D
(, R) = 0.
Then is isometric to a Euclidean ball.
Proof. We will rst prove the assertion under the condition 4), which will be shown
to be the weakest of all. Let be a parallel p-form on . From (14) we see that
d
i
N
= pHJ
, so that, if =
1
pH
i
N
one has:
i
N
= pH and d
= J
.
We also have
= 0
J
=
We claim that d
satises d
h =
h = 0 on and
J
h = 0 on , so it is a cohomology class in H
p
D
(, R). By our assumption we have
indeed
h = 0.
14
At this point we proceed as in the proof of the main theorem (Theorem 5). Assuming
that has (constant) unit norm, we obtain:
vol() = pH
||
2
and
||
2
=
1
+ p
2
H
2
vol(),
which combined give
H =
1
n + 1
vol()
vol()
.
This, in turn, implies that is a Euclidean ball because Ric
0.
It remains to show that any of the conditions 1), 2), 3) implies 4). Now 1) implies 4)
by the result of Wu mentioned in the Introduction: in fact, as
p
() = pH > 0 for all p
we see that H
p
(, R) = H
p
D
(, R) = 0 for all p = 0, n + 1. We now assume 2). Again
we have
p
() > 0 for all p and, by assumption, W
[np+1]
= W
[p]
0. Then by Theorem
4 we see that H
np+1
(, R) = 0 and by duality H
p
D
(, R) = 0 as well. So 2) implies 4).
Finally 3) trivially implies 4). The proof is complete.
We conclude by observing the following immediate consequences.
Corollary 14. a) Let be an extrinsic ball in a manifold with positive sectional curva-
ture. Then admits no parallel forms in degree p = 0, dim.
b) Let M be a manifold with positive sectional curvature supporting a parallel form. Then
M has no embedded extrinsic hypersphere.
Proof. a) If there is a parallel form, we see from Theorem 13 that must be isometric
to a Euclidean ball: but this contradicts the assumption on the positivity of the sectional
curvature of .
b) M is compact, and the positivity of the sectional curvature implies that any embedded
extrinsic hypersphere is the common boundary of two domains in M. On one of these,
say , the mean curvature has to be positive, which implies that is an extrinsic ball
with a parallel form: this is impossible by a).
We nally remark that there exist extrinsic hyperspheres of manifolds with parallel
forms, for example Kaehler manifolds, which are not isometric to round spheres.
In fact, given any Sasakian manifold (, g), not isometric to a round sphere, consider
the metric cone over , which is the manifold
= R
+
with the metric g = r
2
g +dr
2
.
Then embeds isometrically into
as the hypersurface r = 1, and it is easy to check
that is totally umbilical with mean curvature of constant absolute value 1. On the
other hand, it is well-known that then
is a Kaehler manifold: if is the Killing 1-form
on dening the Sasakian structure, then the 2 form
= rdr +
1
2
r
2
d is the Kaehler
form of
.
15
More generally (see [18], Lemma 4.5) any manifold supporting a special Killing form
can be isometrically embedded as an extrinsic hypersphere in a manifold (the metric cone
over ) with a parallel form.
5 Upper bounds for the Hodge Laplacian
We nish by giving an upper bound of the Hodge-Laplace eigenvalues of a hypersurface
n
of a Riemannian manifold M
n+1
supporting parallel p-forms.
We start from the case p = 1 and assume that the hypersurface bounds a compact
domain.
Theorem 15. Assume that is connected and bounds a compact domain carrying a
parallel 1-form.
a) If is minimal then H
1
(, R) = 0. More generally,
dim(H
1
(, R)) dim({
1
()),
where {
1
() is the vector space of parallel 1-forms on .
b) If H
1
(, R) = 0 then:
1
() n
|S|
2
Vol()
.
where
1
() is the rst positive eigenvalue of the Laplacian on functions.
In higher degrees, we have the following estimate. We let |S|
2
p
be the sum of the
largest p squared principal curvatures, that is, if
1
, . . . ,
n
are the principal curvatures
we dene
|S|
2
p
= max
i
1
<<ip
2
i
1
+ +
2
ip
.
Clearly |S|
2
p
|S|
2
n
= |S|
2
for all p.
Theorem 16. Let
n
be a compact, connected immersed (not necessarily embedded)
hypersurface of M
n+1
, and assume that M
n+1
carries a parallel p-form for some p =
2, . . . , n 1. If H
p
(, R) = H
np+1
(, R) = 0 then
1,p
() (p)
|S|
2
(p)
Vol()
.
where (p) = maxp, n p + 1. If in addition is minimal then
1,p
() c(n, p)
|S|
2
Vol()
.
16
where c(n, p) =
1
n
maxp(n p), (p 1)(n p + 1).
Remark 17. When p =
n + 1
2
the estimate is sharp. In that case the upper bound
becomes
1,p
() p
|S|
2
p
Vol()
,
which is an equality when = S
2p1
, isometrically immersed in R
2p
: in fact, one has
|S|
2
p
= p, and it is known that
1,p
(S
2p1
) = p
2
.
Before giving the proofs we make some observations. If is a parallel p-form on M
n+1
then we have from Lemma 18(ii):
(J
) = S
[p1]
(i
N
) nHi
N
i
N
= S
[p]
(J
)
(15)
It follows that:
|
(J
)|
2
= |S
[np+1]
(J
)|
2
|
(J
)|
2
= |S
[p]
(J
)|
2
(16)
In fact, one has J
(i
N
) hence:
(J
) =
(i
N
)) =
i
N
.
Since
p(n p)
n
|S|
2
||
2
. (18)
For the proof of (17) and (18), observe that the eigenvalues of S
[p]
are the p-curvatures of ,
that is, all sums
i
1
+ +
ip
. Number the principal curvatures so that
2
= (
1
+ +
p
)
2
is the largest eigenvalue of the endomorphism (S
[p]
)
2
. Then, by the Cauchy-Schwarz
inequality:
2
= (
1
+ +
p
)
2
p(
2
1
+ +
2
p
),
17
so
2
p|S|
2
p
and (17) follows. If is minimal one has also
2
= (
p+1
+ +
n
)
2
(n p)(
2
p+1
+ +
2
n
).
and then:
2
p
+
2
n p
|S|
2
,
from which we derive (18).
Proof of Theorem 15. Let be a parallel 1-form. Then d
i
N
= S
[1]
(J
). As is
co-closed on we have
i
N
= 0. If J
= 0 on then i
N
is constant on , hence it
vanishes. But this is impossible, because then = 0 on , hence everywhere. So J
is
not trivial and the restriction map J
: {
1
()
1
() is one to one.
We now prove a). If is minimal and is parallel then (15) shows J
is harmonic,
hence J
maps one to one into the subspace of harmonic 1-forms and the assertion follows.
We prove b). The 1-form J
1,1
()
|J
|
2
(J
)|
2
n
|S|
2
|i
N
|
2
Recall that
i
N
= 0. Then:
1
()
|i
N
|
2
|d
i
N
|
2
|S
[1]
J
|
2
|S|
2
|J
|
2
Summing the two inequalities and taking into account that
1,1
() =
1
() we get the
assertion.
Proof of Theorem 16. Let be a parallel p-form on M. We can assume that has constant
unit norm. Now J
is closed because H
p
(, R) = 0. So, by (16) and (17):
1,p
()
|J
|
2
(J
)|
2
=
|S
[np+1]
(J
)|
2
(n p + 1)
|S|
2
np+1
|J
|
2
.
18
Now consider the parallel form . Then J
1,np+1
()
|J
|
2
(J
)|
2
=
|S
[p]
(J
)|
2
p
|S|
2
p
|J
|
2
.
By Poincare duality
1,np+1
() =
1,p
(). Summing the two inequalities and taking into
account that |J
|
2
+|J
|
2
= ||
2
= 1 we get
1,p
() Vol() (p)
|S|
2
(p)
.
If is minimal we proceed as before using inequality (18) instead of (17).
6 Proof of Theorem 3
The proof of the Reilly formula (4) depends on the Stokes formula and certain commuta-
tion relations, stated in the following Lemma.
Lemma 18. Let be a domain with smooth boundary , and let be a p-form on .
(i) One has:
|d|
2
+||
2
=
', ` +
'i
N
, J
()` 'J
, i
N
d`.
(ii) As forms on :
(J
) = J
() + i
N
N
+ S
[p1]
(i
N
) nHi
N
i
N
= i
N
d + J
(
N
) S
[p]
(J
).
We can now prove the theorem. From the Bochner formula one gets:
', ` =
||
2
+'W
[p]
, ` +
1
2
||
2
. (19)
By the Green formula:
1
2
||
2
=
'
N
, `
=
'J
(
N
), J
` +'i
N
N
, i
N
`.
19
Substituting in (19) and then in the Stokes formula of Lemma 18(i) one obtains:
|d|
2
+||
2
=
||
2
+'W
[p]
, `
+
'i
N
, J
()` 'J
, i
N
d` +'J
(), J
` +'i
N
N
, i
N
`.
(20)
From the rst formula in Lemma 18(ii):
'i
N
, J
()` =
'i
N
,
(J
)` + nH|i
N
|
2
'i
N
N
, i
N
` +'S
[p1]
(i
N
), i
N
`
,
(21)
and from the second:
'J
, i
N
d` =
'J
, d
i
N
` 'J
(
N
), J
` +'S
[p]
(J
), J
`
=
'
(J
), i
N
` 'J
(
N
), J
` +'S
[p]
(J
), J
`.
(22)
Substituting (21) and (22) in (20) we nally get the statement of the theorem.
Proof of Lemma 18. The formula in (i) is a direct consequence of Stokes formula: if is
a (p 1)-form and is a p-form, then:
'd, ` =
', `
'J
, i
N
`.
We prove the second formula in (ii). For all vector elds X on one has the formulae:
X
(J
) = J
(
X
) + S(X)
i
N
X
(i
N
) = i
N
X
i
S(X)
J
(23)
which can be veried by a direct application of the Gauss formula
X
Y =
X
Y +
'S(X), Y `N. Fix x and let (e
1
, . . . , e
n
) be an orthonormal basis of T
x
, so that
(e
1
, . . . , e
n
, N) is an orthonormal basis of T
x
. Then, by denition:
=
n
i=1
i
e
i
e
i
(J
)
d
i
N
=
n
i=1
e
e
i
(i
N
)
and using (23) one veries the formulae in (ii). The details are straightforward, and we
omit them.
20
References
[1] A.L. Besse, Einstein manifolds, Springer-Verlag, New-York (1987).
[2] J.-P. Bourguignon, Les varietes de dimension 4 `a signature non nulle dont la courbure
est harmonique sont dEinstein, Inv. Math. 63 (1981), 263286.
[3] H.I. Choi and A.N. Wang, A rst eigenvalue estimate for minimal hypersurfaces, J.
Di. Geo. 18 (1983), 559562.
[4] G.F.D. Du and D.C. Spencer, Harmonic tensors on Riemannian manifolds with
boundary, Ann. Math. 57, 127-156
[5] S. Gallot and D. Meyer, Operateur de courbure et laplacien des formes dierentielles
dune variete riemannienne, J. Math. Pures. Appl. 54 (1975), 259284.
[6] P. Guerini and A. Savo, Eigenvalue and gap estimates for the Laplacian acting on
p-forms, Trans. Amer. Math. Soc. 356 (2004), 319-344.
[7] O. Hijazi and S. Montiel, Extrinsic Killing Spinors, Math. Z. 243 (2003), 337347.
[8] O. Hijazi, S. Montiel and X. Zhang, Dirac operator on embedded hypersurfaces, Math.
Res. Lett. 8 (2001), 195208.
[9] N. Kawabata, H. Nemoto and S. Yamaguchi, Extrinsic spheres in Kaehler manifolds.
Michigan Math. J. 31 (1984), 15-19.
[10] P. Miao, Positive mass theorem on manifolds admitting corners along a hypersurface,
Adv. Theor. Math. Phys. 6 (2003), 11631182.
[11] H. Nemoto, Extrinsic spheres in a locally product Riemannian manifold, Tensor N.S.
40 (1983), 159162.
[12] M. Okumura, Totally umbilical hypersurfaces of a locally product Riemannian mani-
fold, Kodai. Math. Sem. Rep. 19 (1967), 3542.
[13] P. Petersen, Riemannian Geometry, Graduate Texts in Mathematics, Springer-
Verlag, New-York (1998).
[14] S. Raulot, Rigidity of compact Riemannian spin manifolds with boundary, Lett. Math.
Phys. 86 (2008), 177192.
[15] R.C. Reilly, Application of the Hessian operator in a Riemannian Manifold, Indiana
Univ. Math. J. 26 (1977), 459472.
[16] A. Ros, Compact Hypersurfaces with constant higher order mean curvatures, Revista
Mathematica Iberoamericana 3 (1987), 447453.
21
[17] G. Schwarz, Hodge Decomposition-A method for solving boundary value problems,
Lecture Notes in Mathematics, Springer (1995).
[18] U. Semmelmann, Conformal Killing forms on Riemannian manifolds. Math. Z. 245
(2003) no 3, 503527.
[19] S. Tachibana and W.N. Yu, On a Riemannian space admitting more than one
Sasakian structures. Tohoku Math. J. (2) 22 (1970), 536540.
[20] H. Wu, Manifolds of partially positive curvature, Indiana Univ. Math. J. 36 (1987),
525548.
[21] C. Xia, Rigidity of compact manifolds with boundary and nonnegative Ricci curvature,
Proc. Amer. Math. Soc. 125 (1997) no 6, 18011806.
Authors addresses:
Simon Raulot,
Laboratoire de Mathematiques R. Salem
UMR 6085 CNRS-Universite de Rouen
Avenue de lUniversite, BP.12
Technop ole du Madrillet
76801 Saint-
Etienne-du-Rouvray, France
E-Mail: simon.raulot@univ-rouen.fr
Alessandro Savo,
Dipartimento di Metodi e Modelli Matematici
Sapienza Universita di Roma
Via Antonio Scarpa 16, 00161 Roma, Italy
E-Mail: savo@dmmm.uniroma1.it
22