26.12.2014 Views

Compact Manifolds with Positive Einstein Curvature - IngentaConnect

Compact Manifolds with Positive Einstein Curvature - IngentaConnect

Compact Manifolds with Positive Einstein Curvature - IngentaConnect

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!