Compact Manifolds with Positive Einstein Curvature - IngentaConnect
Compact Manifolds with Positive Einstein Curvature - IngentaConnect
Compact Manifolds with Positive Einstein Curvature - IngentaConnect
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Geometriae Dedicata 108: 205–217, 2004.<br />
Ó 2004 Kluwer Academic Publishers. Printed in the Netherlands.<br />
205<br />
<strong>Compact</strong> <strong>Manifolds</strong> <strong>with</strong> <strong>Positive</strong><br />
<strong>Einstein</strong> <strong>Curvature</strong><br />
M.-L. LABBI<br />
Department of Mathematics, College of Science, University of Bahrain,<br />
Isa Town 32038, Bahrain. e-mail: labbi@sci.uob.bh<br />
(Received: 6 October 2003; accepted in final form: 18 February 2004)<br />
Abstract. In this paper we study positive <strong>Einstein</strong> curvature which is a condition on the<br />
Riemann curvature tensor intermediate between positive scalar curvature and positive sectional<br />
curvature. We prove some constructions and obstructions for positive <strong>Einstein</strong> curvature<br />
on compact manifolds generalizing similar well known results for the scalar curvature.<br />
Finally, because our problem is relatively new, many open questions are included.<br />
Mathematics Subject Classifications (2000). 53C21, 53C42.<br />
Key words. positive curvature, Riemannian submersion, surgery, connected sum, minimal<br />
submanifold, fundamental group, group action.<br />
1. Introduction<br />
After the scalar curvature and sectional curvature, the 1-curvature (which coincides<br />
<strong>with</strong> the <strong>Einstein</strong> curvature) is the most important special case of the p-curvature. Its<br />
positivity was introduced and studied in our previous works [1, 2] but only in the<br />
general context of the p-curvature and so it deserves a separate study. Here in this<br />
paper, from one side we survey and improve (whenever possible) our previous<br />
general results when applied to the special case p ¼ 1. On the other side, we prove<br />
new results including a generalization of a famous theorem of Schoen and Yau about<br />
positive scalar curvature.<br />
1.1. THE EINSTEIN CURVATURE: DEFINITION AND PROPERTIES<br />
Let ðM; gÞ be a Riemannian manifold of dimension nP3 and let R and Ric denote<br />
respectively its Riemann curvature (0,4)-tensor and the Ricci (0,2)-tensor.<br />
The <strong>Einstein</strong> tensor denoted by E is a combination of the metric tensor g and the<br />
Ricci tensor as follows:<br />
E ¼ 1 2 sg Ric;<br />
where s denotes the scalar curvature function.<br />
Recall that the Ricci curvature r is the function defined on the unit tangent bundle<br />
UM of ðM; gÞ by rðvÞ ¼Ricðv; vÞ. Similarly we define The <strong>Einstein</strong> curvature e to be<br />
the function defined on UM by<br />
eðvÞ ¼2Eðv; vÞ ¼s 2rðvÞ;
206<br />
M.-L. LABBI<br />
where we multiplied by the constant 2 to make it equal to the p-curvature [1, 2] <strong>with</strong><br />
p ¼ 1, that is, the <strong>Einstein</strong> curvature precisely coincides <strong>with</strong> the average of the<br />
sectional curvatures in the directions orthogonal to v<br />
eðvÞ ¼ X i; j2I<br />
Rðe i ; e j ; e i ; e j Þ;<br />
where fe i ; i 2 Ig is any orthonormal basis for the orthogonal supplement ð
COMPACT MANIFOLDS WITH POSITIVE EINSTEIN CURVATURE 207<br />
EXAMPLE. If ðM; gÞ is an n dimensional manifold <strong>with</strong> constant curvature k (resp.<br />
<strong>with</strong> constant Ricci curvature r) then the <strong>Einstein</strong> curvature is also constant and<br />
equals<br />
e ¼ nðn 2Þk ðresp: e ¼ðn 2ÞrÞ:<br />
1.2. POSITIVE EINSTEIN CURVATURE<br />
Here, in this paper we are particularly interested in the study of the positivity<br />
properties of the <strong>Einstein</strong> curvature on compact manifolds. First of all, remark that<br />
from the definition and property 5 we have positive sectional curvature ) positive<br />
<strong>Einstein</strong> curvature ) positive scalar curvature.<br />
However, the relation between positive <strong>Einstein</strong> curvature and positive Ricci<br />
curvature is not so simple:<br />
(1) The example of the Riemannian product S 4 H 2 of the standard 4-sphere <strong>with</strong><br />
the standard 2-hyperbolic space, shows that the positivity of the <strong>Einstein</strong> curvature<br />
does not imply the positivity of the Ricci curvature. Furthermore, there<br />
exist compact manifolds <strong>with</strong> positive <strong>Einstein</strong> curvature and do not admit any<br />
metric <strong>with</strong> positive Ricci curvature, for example S 1 S n , nP3.<br />
(2) On the other hand, positive Ricci curvature does not also imply positive <strong>Einstein</strong><br />
curvature (at least algebraically, that is for the same metric). Below is a<br />
counter example:<br />
Let p : S 2nþ1 ! P n C be the Hopf fibration, and let the total space be endowed<br />
<strong>with</strong> the canonical standard metric say g. The complex projective space is endowed<br />
<strong>with</strong> the natural metric g such that the fibration p is a Riemannian<br />
submersion.<br />
We modify the metric g on the sphere by multiplying it by t 2 R in the<br />
directions tangent to the fibers (vertical directions), see Section 2. Let us denote<br />
by g t the new metric on S 2nþl . The Ricci curvature of the new metric is as follows<br />
(see [3] p. 250 and 253)<br />
Ric t ðU; VÞ ¼2nt 2 gðU; VÞ;<br />
Ric t ðX; YÞ ¼ð 2t þ 2n þ 2ÞgðX; YÞ;<br />
Ric t ðX; UÞ ¼0;<br />
where U and V (resp. X and Y) denote tangent vectors to the fibre (resp. normal<br />
vectors). Consequently, the scalar curvature of the metric g t is s t ¼<br />
2nð2n þ 2 tÞ and therefore the <strong>Einstein</strong> curvature of g t is as follows:<br />
E t ðU; VÞ ¼2ntð2n þ 2 3tÞgðU; VÞ;<br />
E t ðX; YÞ ¼ð4ðn 2 1Þ 2ðn 2ÞÞgðX; YÞ;<br />
E t ðX; UÞ ¼0:
208<br />
M.-L. LABBI<br />
From which is clear that the metric g t is <strong>with</strong> positive Ricci curvature if<br />
2<br />
3 ðn þ 1Þ < t < n þ 1 but ðeÞ tðUÞ is negative.<br />
(3) If k 1 Ok 2 O Ok n denote the eigenvalues of Ricci at a point m 2 M then the<br />
positivity of the <strong>Einstein</strong> curvature at m is equivalent to the following pinching<br />
condition on the eigenvalues<br />
k n < Xn 1<br />
k i :<br />
i¼1<br />
In particular, a Ka¨hlerian manifold <strong>with</strong> positive Ricci curvature has positive<br />
<strong>Einstein</strong> curvature, because for a Ka¨hlerian manifold each eigenvalue of Ricci<br />
has multiplicity at least 2.<br />
Furthermore, for the same reason the converse holds in dimension 4.<br />
However, it remains an open question to see if in general a manifold <strong>with</strong> positive<br />
Ricci curvature admits a metric <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
EXAMPLES<br />
(1) <strong>Manifolds</strong> <strong>with</strong> positive sectional curvature are <strong>with</strong> positive <strong>Einstein</strong> curvature<br />
(if the dimension of the manifold is P3).<br />
(2) The standard Riemannian product S 1 S n ; nP3 is <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
(3) If a compact Riemannian manifold M is <strong>with</strong> positive scalar curvature then the<br />
Riemannian product S 2 M is <strong>with</strong> positive <strong>Einstein</strong> curvature, where the radius<br />
of the sphere is sufficiently small (see Section 2.1).<br />
(4) If M is an arbitrary compact manifold, then the product metric on S 3 M is<br />
<strong>with</strong> positive <strong>Einstein</strong> curvature, where the radius of the sphere is sufficiently<br />
small (see Section 2.2).<br />
(5) The Riemannian standard product S p H q , ðp; q > 0Þ, of the standard sphere<br />
<strong>with</strong> the standard hyperbolic space is <strong>with</strong> positive <strong>Einstein</strong> curvature if and<br />
only if pPq þ 2.<br />
(6) Let G be a compact, connected Lie group <strong>with</strong> a bi-invariant metric b,then<br />
ðG; bÞ is <strong>with</strong> positive <strong>Einstein</strong> curvature unless G is a torus.<br />
(7) Let H be a closed subgroup of G. There exists a unique metric h on the<br />
quotient G=H such that p : ðG; bÞ !ðG=H; hÞ is a Riemannian submersion (it<br />
is called the normal homogeneous metric). Then ðG=H; hÞ is <strong>with</strong> non-negative<br />
<strong>Einstein</strong> curvature that is eP0. Furthermore, e 0 if and only if G=H is a<br />
torus.<br />
Remarks. (1) Recall that if M is an arbitrary compact manifold then the product<br />
S 2 M admits a metric <strong>with</strong> positive scalar curvature. Consequently, Example 3<br />
shows that in some sense the positivity of the <strong>Einstein</strong> curvature in the class of all<br />
compact manifolds <strong>with</strong> positive scalar curvature behaves like the positivity of the<br />
scalar curvature in the class of all compact manifolds.
COMPACT MANIFOLDS WITH POSITIVE EINSTEIN CURVATURE 209<br />
(2) As a consequence of property 3 in Section 1.1, the positivity of the <strong>Einstein</strong><br />
curvature can be interpreted geometrically by<br />
volðS n 2 ðrÞÞ < vol e ðS n 2 ðrÞÞ<br />
for all small (n 2)-spheres as in previous property 3.<br />
(3) Note that in dimension 2 the <strong>Einstein</strong> curvature is always 0 so that we cannot<br />
have positive <strong>Einstein</strong> curvature, however in dimension 3 positive <strong>Einstein</strong> curvature<br />
is equivalent to positive sectional curvature.<br />
2. Constructions of Metrics <strong>with</strong> <strong>Positive</strong> <strong>Einstein</strong> <strong>Curvature</strong><br />
2.1. USING RIEMANNIAN PRODUCTS<br />
Let ðM 1 ; g 1 Þ and ðM 2 ; g 2 Þ be two Riemannian manifolds. Every unit tangent vector v<br />
to ðM 1 ; g 1 ÞðM 2 ; g 2 Þ can be decomposed as follows.<br />
v ¼ cos av 1 þ sin av 2 ;<br />
where v 1 , v 2 are unit tangent vectors to M 1 , M 2 , respectively.<br />
By a straightforward computation we obtain<br />
2Eðv; vÞ ¼scal 1 þ scal 2 cos 2 ar 1 ðv 1 Þ 2 þ sin 2 ar 2 ðv 2 Þ;<br />
where we indexed by i the invariants of the metric g i (for i ¼ 1; 2). So the<br />
1-curvature of the product is positive if and only if 2E 1 ðv 1 ; v 2 Þþscal 2 > 0 and<br />
2E 2 ðv 2 ; v 2 Þþscal 1 > 0. Consequently, we have the following<br />
PROPOSITION 2.1. In each of the following cases, The Riemannian product<br />
ðM 1 ; g 1 ÞðM 2 ; g 2 Þ is <strong>with</strong> positive <strong>Einstein</strong> curvature:<br />
(1) The two manifolds are <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
(2) The two manifolds are both <strong>with</strong> nonnegative <strong>Einstein</strong> curvature and <strong>with</strong> positive<br />
scalar curvature.<br />
Also, by amplifying the scalar curvature of one of the factors (by multiplying the<br />
metric by a positive real number) and assuming a suitable positivity condition on the<br />
other factor we can appear positive <strong>Einstein</strong> curvature on the product, as it is shown<br />
by the following proposition:<br />
PROPOSITION 2.2. (1) The product of any compact manifold <strong>with</strong> positive scalar<br />
curvature by the standard two-dimensional sphere admits a metric <strong>with</strong> positive <strong>Einstein</strong><br />
curvature.<br />
(2) The product of a compact manifold <strong>with</strong> nonnegative <strong>Einstein</strong> curvature and<br />
positive scalar curvature <strong>with</strong> a compact manifold <strong>with</strong> positive scalar curvature admits<br />
a metric <strong>with</strong> positive, <strong>Einstein</strong> curvature.<br />
Remark. It would be interesting to see if in general the product of two manifolds each<br />
one <strong>with</strong> positive scalar curvature admits a metric <strong>with</strong> positive <strong>Einstein</strong> curvature.
210<br />
M.-L. LABBI<br />
2.2. USING RIEMANNIAN SUBMERSIONS<br />
Let ðM; gÞ and ðB; gÞ be two Riemannian manifolds, and let p : ðM; gÞ !ðB; gÞ a<br />
Riemannian submersion. We define, for every t 2 R, a new Riemannian metric g t on<br />
the manifold M by multiplying the metric g by t 2 in the vertical directions. Recall<br />
that 8m 2 M, we have a natural orthogonal decomposition of the tangent space at m<br />
T m M ¼V m H m ;<br />
where V m is the tangent to the fiber at m and H m is the horizontal space, so that<br />
g t jV m ¼ t 2 g;<br />
g t jH m ¼ g;<br />
g t ðV m ; H m Þ¼0:<br />
Note that in this case, p : ðM; g t Þ!ðB; gÞ is still a Riemannian submersion <strong>with</strong> the<br />
same horizontal and vertical distributions [3].<br />
In the following we will index by t all the invariants of the metric g t , and in the<br />
case case t ¼ 1 we omit the index 1.<br />
Also, We make under a hat ‘’ (resp. under a check ‘’) the invariants of the fibers<br />
<strong>with</strong> the induced metric (resp. of the basis B).<br />
The following lemma gives an estimate of the sectional curvature K t of the new<br />
metric g t (see [1] for the proof):<br />
LEMMA 2.3. Let P be a 2-plane in T m M then:<br />
(1) If P \H m 6¼f0g, we have K t ðPÞ ¼Oð1Þ is bounded.<br />
(2) If P \H m ¼f0g, there exists an orthonormal basis ðE 1 ; E 2 Þ of P such that its<br />
orthogonal projection ðU 1 ; U 2 Þ onto V m is an orthogonal basis. Furthermore, we<br />
have<br />
<br />
K t ðPÞ ¼K t ðE 1 ; E 2 Þ¼ a2 1 a2 2 bKðU<br />
t 2 1 ; U 2 ÞþO 1 <br />
;<br />
t<br />
where a i ¼ g t ðE i ; U i Þ, for i ¼ 1; 2.<br />
Consequently, we can estimate the scalar curvature s t , the Ricci curvature r t and the<br />
<strong>Einstein</strong> curvature ðeÞ t<br />
of the metric g t of M as follows:<br />
Let F 1 ¼ a 1 U 1 þ b 1 X 1 be an arbitrary g t -unit tangent vector to M at m, where<br />
U 2V m and X 1 2H m are g t -unit vectors. We complete F 1 into an orthonormal basis<br />
of T m M by the use of F 2 ¼ b 1 U 1 þ aX 1 ; U 2 ; ...; U m 2V m and X 2 ; ...; X n 2H m ,<br />
where m ¼ dim V m , n ¼ dim H m . Therefore,<br />
s t ¼ X K t ðU i ; U j Þþ X K t ðU i ; X j Þþ X<br />
i6¼j<br />
i;j<br />
i6¼j<br />
¼ 1 X<br />
<br />
^KðU<br />
t 2 i ; U j ÞþO 1 <br />
t<br />
i6¼j<br />
<br />
K t ðX i ; X j Þ<br />
¼ 1 t 2 ^s þ O 1 t
COMPACT MANIFOLDS WITH POSITIVE EINSTEIN CURVATURE 211<br />
and<br />
r t ðF 1 Þ¼K t ðF 1 ; F 2 Þþ Xm<br />
i¼2<br />
K t ðF 1 ; U i Þþ Xn<br />
j¼2<br />
K t ðF 1 ; X j Þ<br />
¼ K t ðU 1 ; X 1 Þþ Xm a 2 <br />
1<br />
t b i¼2<br />
2 KðU 1 ; U i ÞþO 1 <br />
t<br />
<br />
¼ a2 1<br />
t ^rðU 2 1ÞþO 1 <br />
;<br />
t<br />
so that<br />
ðeÞ t<br />
ðF 1 Þ¼s t 2r t ðF 1 Þ<br />
¼ 1 <br />
t ^s 2 2 a2 1<br />
t ^rðU 2 1ÞþO 1 <br />
t<br />
<br />
¼ a2 1<br />
t 2 ð^s 2^rðU 1ÞÞ þ 1 t 2 ð1 a2 1 Þ^s þ O 1 t<br />
<br />
¼ a2 1<br />
t ^eðU 2 1Þþ b2 1<br />
t ^s 2 þ O 1 <br />
:<br />
t<br />
Recall that a 2 1 þ b2 1 ¼ 1 and ^e > 0 implies that ^s > 0, therefore it is now clear that<br />
there exists t 0 such that 8tOt 0 we have ðeÞ t<br />
ðF 1 Þ > 0. Thus we have proved the<br />
following theorem:<br />
THEOREM 2.4. Suppose a compact manifold M admits a Riemannian metric g such<br />
that its restriction on the fibers (the induced metric) is <strong>with</strong> positive <strong>Einstein</strong> curvature<br />
then the manifold M admits a Riemannian metric <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
The following corollary is a direct consequence of the previous theorem:<br />
COROLLARY 2.5. The product S p M of an arbitrary compact manifold M <strong>with</strong> a<br />
sphere S p , pP3 admits a Riemannian metric <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
Remark. This theorem does not require the sectional curvature of the fibers to be<br />
nonnegative, so it improves our similar result on the p-curvature in the case p ¼ 1 [1].<br />
2.3. USING GROUP ACTIONS<br />
The following theorem generalizes a similar result [1] in the case of free actions of<br />
groups and when p ¼ 1:<br />
THEOREM 2.6. If a compact manifold M admits a free and smooth action of the<br />
group SU(2) or SO(3) then the manifold M admits a Riemannian metric <strong>with</strong> positive<br />
<strong>Einstein</strong> curvature.
212<br />
M.-L. LABBI<br />
Proof. The canonical projection M ! M=G is in this case a smooth submersion.<br />
Let the fibers be equipped <strong>with</strong> a bi-invariant metric from the group G via the<br />
canonical inclusion GT m M.<br />
Using any G-invariant metric on M, we define the horizontal distribution to which<br />
we lift up an arbitrary metric from the basis M=G. Thus we have defined a metric on<br />
M such that the projection M ! M=G is a Riemannian submersion.<br />
Finally, since the group G ¼ SUð2Þ or SO(3) <strong>with</strong> a bi-invariant metric is <strong>with</strong><br />
positive <strong>Einstein</strong> curvature then so are the fibers <strong>with</strong> the induced metric, and we<br />
conclude using Theorem 2.4. (<br />
Since every compact connected non-Abelian Lie group contains SU(2) or SO(3)<br />
then we have the following.<br />
COROLLARY 2.7. If a compact manifold M admits a free and smooth action of a<br />
compact connected non-Abelian Lie group then M admits a Riemannian metric <strong>with</strong><br />
positive <strong>Einstein</strong> curvature.<br />
Remark. In the case of nonfree actions, the previous results are not true, in fact S 2<br />
and S 2 S 1 (and probably S 2 T n , see Section 4) admit nontrivial and effective<br />
action of SO(3) but they do not admit any metric <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
Nevertheless, it is proved in [1] that<br />
THEOREM 2.8. If a compact manifold admits a nontrivial and smooth action of a<br />
compact connected simple Lie group of rank P2 then it admits a Riemannian metric<br />
<strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
2.4. USING CONNECTED SUMS AND SURGERIES<br />
In [2], we proved the following stability theorem in the class of manifolds <strong>with</strong><br />
positive <strong>Einstein</strong> curvature:<br />
THEOREM 2.9. If a compact manifold M is obtained from a manifold N by surgery<br />
in codimension P4, and N admits a metric <strong>with</strong> positive <strong>Einstein</strong> curvature then so<br />
does M.<br />
In particular, the connected sum of two manifolds <strong>with</strong> dimension P4 and having<br />
each one a metric <strong>with</strong> positive <strong>Einstein</strong> curvature has a metric <strong>with</strong> positive <strong>Einstein</strong><br />
curvature.<br />
Using the previous theorem and the ideas of Gromov and Lawson [4], we proved<br />
in [2] the following consequences:<br />
THEOREM 2.10. (1) A compact 2-connected manifold of dimension P7 admits a<br />
metric <strong>with</strong> positive <strong>Einstein</strong> curvature if and only if it admits a metric <strong>with</strong> positive<br />
scalar curvature.
COMPACT MANIFOLDS WITH POSITIVE EINSTEIN CURVATURE 213<br />
(2) Every compact, nonspin and simply connected manifold M of dimension P7 such<br />
that p 2 ðMÞ Z 2 admits a metric <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
Remark. It follows from the work of Sha and Yang [5] and the previous theorem<br />
that a compact simply connected manifold of dimension 4 is homeomorphic to a<br />
Riemannian manifold <strong>with</strong> positive <strong>Einstein</strong> curvature if and only if it is homeomorphic<br />
to a manifold <strong>with</strong> positive Ricci curvature and consequently if and only if<br />
it is homeomorphic to a manifold <strong>with</strong> positive scalar curvature.<br />
3. The Fundamental Group of <strong>Manifolds</strong> <strong>with</strong> <strong>Positive</strong> <strong>Einstein</strong> <strong>Curvature</strong><br />
Since for any compact manifold M, the product S 3 M always admits a metric <strong>with</strong><br />
positive <strong>Einstein</strong> curvature, then any group can be made as the fundamental group<br />
of a compact manifold of dimension P7 <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
More generally, there are no obstructions on the fundamental group of compact<br />
manifolds of dimension P5 <strong>with</strong> positive <strong>Einstein</strong> curvature as it is shown by the<br />
following theorem:<br />
THEOREM 3.1. Let G be a finitely presented group. Then for every nP5, there exists<br />
a compact n-manifold M <strong>with</strong> positive <strong>Einstein</strong> curvature such that p 1 ðMÞ ¼G.<br />
Proof. Let G be a group which has a presentation consisting of k generators<br />
x 1 ; x 2 ; ...; x k and 1 relations r 1 ; r 2 ; ...; r l :<br />
Let S 1 S n 1 be endowed <strong>with</strong> the standard product metric which is <strong>with</strong> positive<br />
<strong>Einstein</strong> curvature ðn 1P3Þ. Remark that the fundamental group of S 1 S n 1 is<br />
infinite cyclic. Hence, by taking the connected sum N of k-copies of S 1 S n 1 ,we<br />
obtain an orientable compact n-manifold <strong>with</strong> positive <strong>Einstein</strong> curvature. By Van<br />
Kampen’s theorem, The fundamental group of N is a free group on n-generators,<br />
which we may denote by x 1 ; x 2 ; ...; x k .<br />
We now perform surgery 1-times on the manifold N, Killing in succession the<br />
elements r 1 ; r 2 ; ...; r l . The result will be a compact, orientable n-manifold M <strong>with</strong><br />
positive <strong>Einstein</strong> curvature (since the surgery is of codimension n 1P4) such that<br />
p 1 ðMÞ ¼G, as desired. (<br />
4. Obstructions to <strong>Positive</strong> <strong>Einstein</strong> <strong>Curvature</strong><br />
In celebrated papers [6] and [7], Schoen and Yau used minimal surfaces techniques to<br />
obtain obstructions to positive scalar curvature. The key point of their work is the<br />
following:<br />
THEOREM 4.1. Let ðM; gÞ be a compact Riemannian manifold <strong>with</strong> positive scalar<br />
curvature such that dim M ¼ mP3. If V is a compact smooth ðm 1Þ-dimensional<br />
immersed submanifold of M <strong>with</strong> trivial normal bundle, and if V is a local minimum of<br />
the ðm 1Þ-volume, then V admits a metric <strong>with</strong> positive scalar curvature.
214<br />
M.-L. LABBI<br />
This theorem can be generalized to the case of positive <strong>Einstein</strong> curvature as follows:<br />
THEOREM 4.2. Let ðM; gÞ be a compact Riemannian manifold <strong>with</strong> positive <strong>Einstein</strong><br />
curvature such that dim M ¼ mP4. If V is a compact smooth ðm 2Þ-dimensional<br />
immersed submanifold of M <strong>with</strong> globally flat normal bundle, and if V is a local<br />
minimum of the ðm 2Þ-volume, then V admits a metric <strong>with</strong> positive scalar curvature.<br />
Remark. By a globally flat normal bundle we mean that the normal bundle to V<br />
has two globally parallel and orthonormal sections.<br />
Proof. Let V be a compact smooth n-dimensional immersed submanifold of M<br />
<strong>with</strong> codimension 2 and <strong>with</strong> globally flat normal bundle.<br />
Let x be an arbitrary point in V, we denote by B x the second fundamental form of<br />
V in M at the point x. Recall that<br />
B x : T x V T x V ! N x V;<br />
where T x V (resp. N x VÞ denotes the tangent space of V at x (resp. the normal space of<br />
V at x). Below we will make under a bar the invariants of ðM; gÞ. Let ðe 1 ; e 2 ; ...; e n Þ<br />
be an arbitrary orthonormal basis of T x V, and let W be an arbitrary normal vector<br />
field on V, then since the Riemannian submanifold V is a local minimum for the<br />
ðm 2Þ-volume we have (see for example [8]),<br />
X n<br />
i¼1<br />
Z<br />
V<br />
B x ðe i ; e i Þ¼0;<br />
fkr N Wk 2 hB 2 W; Wi hRðWÞ; Wig d volP0; ð2Þ<br />
where r N is the normal connection of the normal bundle and<br />
kr N Wk 2 ¼ Xn<br />
kr N e i<br />
Wk 2 ;<br />
i¼1<br />
hB 2 W; Wi ¼ Xn<br />
i;j¼1<br />
hRðWÞ; Wi ¼ Xn<br />
j¼1<br />
hBðe i ; e j Þ; Wi 2 ;<br />
Rðe j ; W; e j ; WÞ:<br />
Now, Gauss equation implies that<br />
Kðe j ; e k Þ¼ Kðe j ; e k ÞþhB x ðe j ; e j Þ; B x ðe k ; e k Þi hB x ðe j ; e k Þ; B x ðe j ; e k Þi<br />
and therefore<br />
X n<br />
Kðe j ;e k Þ¼ Xn<br />
Kðe j ;e k Þþ Xn<br />
2<br />
X n<br />
B x ðe j ;e k Þ<br />
hB<br />
<br />
<br />
x ðe j ;e k Þ;B x ðe j ;e k Þi<br />
j;k¼1<br />
j;k¼1<br />
¼ Xn<br />
j;k¼1<br />
Kðe j ;e k Þ<br />
j¼1<br />
X n<br />
j;k¼1<br />
j;k¼1<br />
hB x ðe j ;e k Þ;B x ðe j ;e k Þi ¼ Xn<br />
j;k¼1<br />
Kðe j ;e k Þ kBk 2 ;<br />
ð1Þ
COMPACT MANIFOLDS WITH POSITIVE EINSTEIN CURVATURE 215<br />
where we used Equation (1). Consequently, if W 1 , W 2 are two orthonormal and<br />
parallel vector fields to V, we have<br />
hB 2 W 1 ; W 1 iþhRðW 1 Þ; W 1 i<br />
¼kBk 2<br />
¼ 1 2 kBk2 þ 1 2 kBk2<br />
¼ 1 2<br />
X n<br />
j;k¼1<br />
X n<br />
¼ 1 2<br />
j;k¼1<br />
hB 2 W 2 ; W 2 iþ Xn<br />
Kðe j ; e k Þ<br />
hB 2 W 2 ; W 2 iþ Xn<br />
Kðe j ; e k Þþ Xn<br />
j¼1<br />
Kðe j ; W 1 Þ<br />
hB 2 W 2 ; W 2 iþ Xn<br />
X n<br />
j;k¼1<br />
j;k¼1<br />
j¼1<br />
j¼1<br />
Kðe j ; W 1 Þ<br />
!<br />
Kðe j ; e k Þ þ 1 2 kBk2<br />
Kðe j ; W 1 Þ<br />
Kðe j ; W 1 Þ<br />
1<br />
2 scalV þ<br />
þ 1 2 kBk2<br />
hB 2 W 2 ; W 2 i<br />
¼ 1 2 eðW 2Þ<br />
1<br />
2 scalV þ 1 2 ðhB2 W 1 ; W 1 i hB 2 W 2 ; W 2 iÞ<br />
Therefore Equation (2) becomes<br />
Z<br />
feðW 2 Þ scal V þðhB 2 W 1 ; W 1 i hB 2 W 2 ; W 2 iÞg d volO0<br />
V<br />
Since e > 0 and the last term can be supposed to be P0 (if not just we change W 1 by<br />
W 2 ) then R V scalV d vol > 0 and consequently V admits a metric <strong>with</strong> positive scalar<br />
curvature, as desired.<br />
5. Examples and Remarks<br />
(1) This result is not true if we replace positive <strong>Einstein</strong> curvature by positive scalar<br />
curvature, in fact the torus T n can be embedded in the required manner in<br />
S 2 T n which is <strong>with</strong> positive scalar curvature (we suppose that the radius of S 2<br />
is sufficiently small) but T n does not admit any metric <strong>with</strong> positive scalar<br />
curvature.<br />
(2) The manifold V ¼ S 2 S 1 can be embedded as in the theorem in S 2 S 2 S 1<br />
which is <strong>with</strong> <strong>with</strong> positive <strong>Einstein</strong> curvature, but the submanifold V does not<br />
admit any metric <strong>with</strong> positive <strong>Einstein</strong> curvature. This example shows that we<br />
cannot replace in the theorem positive scalar curvature by positive <strong>Einstein</strong><br />
curvature for the sub-manifold V.
216<br />
M.-L. LABBI<br />
(3) The previous theorem remains true if we replace codimension 2 by codimension<br />
1 (that is for hypersurfaces) since positive <strong>Einstein</strong> curvature implies positive<br />
scalar curvature and then we apply the Shoen–Yau Theorem. However, the<br />
manifold V ¼ S 2 S 1 can be embedded as a minimal and stable hypersurface in<br />
S 3 S 1 which is <strong>with</strong> positive <strong>Einstein</strong> curvature but V does not admit any<br />
metric <strong>with</strong> positive <strong>Einstein</strong> curvature.<br />
6. Final Remarks and Open Problems<br />
(1) Conjecture: The product S 2 T 2 does not admit any metric <strong>with</strong> positive <strong>Einstein</strong><br />
curvature.<br />
More generally, the product S 2 T n , nP2 does not admit any metric <strong>with</strong><br />
positive <strong>Einstein</strong> curvature. The answer will be yes if one is able to prove that<br />
under every Riemmanian metric on S 2 T n always there exists a minimal stable<br />
immersion <strong>with</strong> globally flat normal bundle of the torus T n .<br />
(2) Another possible way to obtain obstructions to positive <strong>Einstein</strong> curvature is to<br />
find adequate vanishing theorems by the use of general Weitzenbok formulas<br />
and Dirac operators.<br />
It is known (see for example Appendix D in the famous book of Lawson and<br />
Michelsohn on spin geometry) that if X is a Spin c manifold <strong>with</strong> associated line<br />
bundle k on which a connection <strong>with</strong> curvature 2-form X is fixed, and if D is the<br />
Dirac operator on a bundle S of complex spinors on X <strong>with</strong> the canonical<br />
connection. Then the corresponding Weitzenbok formula can be written as<br />
follows:<br />
D 2 ¼r rþ 1 4 s þ i 2 X;<br />
where s denotes the scalar curvature of X.<br />
The term of order 0 in the previous formula is positive if s 2kXk > 0. A<br />
condition which a priori looks like positive <strong>Einstein</strong> curvature!<br />
(3) It is plausible that every manifold admits a metric <strong>with</strong> negative <strong>Einstein</strong> curvature.<br />
It would be interesting to have an adaptation of the proof of the similar<br />
result (due to Lohkamp, see [9]) concerning the existence of negative Ricci<br />
curvature on any manifold.<br />
References<br />
1. Labbi, M. L.: Actions des groupes de Lie presques simples et positivite´ de la p-courbure,<br />
Ann. Fac. Sci. Toulouse 5(2) (1997), 263–276.<br />
2. Labbi, M. L.: Stability of the p-curvature positivity under surgeries and manifolds <strong>with</strong><br />
positive <strong>Einstein</strong> tensor, Ann. Global Anal. Geom. 15(4) (1997), 299–312.<br />
3. Besse, A. L.: <strong>Einstein</strong> <strong>Manifolds</strong>, Springer-Verlag, New York, 1987.<br />
4. Gromov, M. and Lawson, H. B.: The classification of simply connected manifolds of<br />
positive scalar curvature, Ann. Math. 111 (1980), 423–434.
COMPACT MANIFOLDS WITH POSITIVE EINSTEIN CURVATURE 217<br />
5. Sha, J. P. and Yang, D.: <strong>Positive</strong> Ricci curvature on compact simply connected<br />
4-manifolds, Proc. Sympos. Pure Math. (3) 54 (1993), 529–538.<br />
6. Schoen, R. and Yau, S. T.: On the structure of manifolds <strong>with</strong> positive scalar curvature,<br />
Manuscripta Math. 28 (1979), 159–183.<br />
7. Schoen, R. and Yau, S. T.: Existence of incompressible minimal surfaces and the topology<br />
of three dimensional manifolds <strong>with</strong> non-negative scalar curvature, Ann. Math. 110 (1979),<br />
127–142.<br />
8. Lawson, H. B. and Bourguignon, J. P.: Formules de variations de l’aire et applications,<br />
Aste´risque No. 154–155 (1987), 8; 51–71 (1988), 349.<br />
9. Lohkamp, J.: Metrics of negative Ricci curvature, Ann. Math. (2) 140(3) (1994), 655–683.