arxiv: v1 [math.dg] 9 Nov 2018

Transcription

1 INDEX AND FIRST BETTI NUMBER OF f-minimal HYPERSURFACES: GENERAL AMBIENTS DEBORA IMPERA AND MICHELE RIMOLDI arxiv: v1 [math.dg] 9 Nov 018 Abstract. We generalize a method by L. Ambrozio, A. Carlotto, and B. Sharp to study the Morse index of closed f-minimal hypersurfaces isometrically immersed in a general weighted manifold. The technique permits, in particular, to obtain a linear lower bound on the Morse index via the first Betti number for closed f-minimal hypersurfaces in products of some compact rank one symmetric spaces with an Euclidean factor, endowed with the rigid shrinking gradient Ricci soliton structure. These include, as particular cases, all cylindric shrinking gradient Ricci solitons. Contents 1. Introduction Topological complexity implies high instability 1.. Main f-index estimate 1.3. Applications 3. Proof of the main estimate 5 3. f-minimal hypersurfaces in shrinking gradient Ricci solitons Cylindric shrinking gradient Ricci solitons Some other rigid gradient Ricci shrinking solitons 8 References Introduction Throughout this note, we consider as ambient manifold an m + 1)-dimensional weighted manifold M f = M,g,e f dvol M ), namely a Riemannian manifold M m+1,g) endowed with a measure with smooth positive density e f with respect to the Riemannian volume measure dvol M. We are interested in closed isometrically immersed orientable f-minimal hypersurfaces in M f, namely critical points of the weighted volume functional vol f ) = e f dvol. These are exactly those immersions with vanishing f-mean curvature H f. = H + f N = 0. Here H = tra, and A is the shape operator of the immersion, defined as AX = M XN on all tangent vector X to. 010 Mathematics Subject Classification. 53C4, 53C1. Key words and phrases. f-minimal hypersurfaces, index estimates, Betti number, shrinking Ricci solitons. 1

2 DEBORA IMPERA AND MICHELE RIMOLDI The connection between the geometry of the ambient weighted manifold and f-minimal hypersurfaces occurs via the second variation of the weighted area functional. Given a f- minimal hypersurface and a normal variational vector field un, this yields the quadratic form Q f u,u) = u Ric M f N,N)+ A ) u ) e f dvol, whereric M f = Ric M +Hess M f)denotes thebakry-émery Ricci tensor oftheambient weighted manifold M f. It follows that stability properties of f-minimal hypersurfaces are taken into account by spectral properties of the following weighted Jacobi operator L f = f Ric M f N,N)+ A ), whose leading term is the f-laplacian f = + f, on f. Note that we are using the convention that. = div ). Dealing with closed smooth hypersurfaces, the operator L f is self-adjoint with respect to the measure e f dvol and elliptic, and hence has discrete spectrum which tends to infinity. We then define the f-index of as Ind f ) = {negative eigenvalues of L f }, i.e. the maximal dimension of the space on which the index form Q f is negative definite. For a more detailed discussion about stability properties and estimates on the f-index of f-minimal hypersurfaces we refer the reader to the introduction in [7] and [8] and references therein Topological complexity implies high instability. The recent impressive developments in the existence theory for minimal immersions through min-max method have motivated a renewed interest in studying estimates on the Morse index of minimal immersions. One possible way to control instability is through topological invariants in particular the first Betti number) of the minimal hypersurface. This was first investigated by A. Ros in [13] for immersed minimal surfaces in R 3, or a quotient of it by a group of translations, and then, in higher dimension, by A. Savo when the ambient manifold is the round sphere, [14]. The idea behind these works is to use harmonic 1-forms and some ambient structure to make some interesting functions out of those, permitting to get a lower bound on the index. This technique was recently extended and generalized by L Ambrozio, A. Carlotto and B. Sharp, [1], who showed, from a general perspective, that the Morse index is bounded from below by a linear function of the first Betti number for all closed minimal hypersurfaces in a large class of positively curved ambient manifolds. This comprises, for instance, all compact rank one symmetric spaces. In their work, the ambient structure is taken into account by the existence of someniceisometricimmersionintoan EuclideanspaceR d viawhichonecanproduceinstability directions, again using harmonic 1-forms. For some other recent developments see also [1]. In the recent paper [8] we related the Morse index and the firstbetti numberof self-shrinkers for the mean curvature flow and, more generally, of f-minimal hypersurfaces in a weighted Euclidean space endowed with a convex weight. Following the ideas adopted in [8] and motivated by the approach introduced in [1], in this short note we want to study the same problem in the wider setting of f-minimal hypersufaces sitting in a general weighted manifold. 1.. Main f-index estimate. As in [8], in order to get our results we will produce good testfunctions for the quadratic form Q f using f-harmonic 1-forms of the f-minimal hypersurface. Recall that f-harmonic 1-forms on compact hypersurfaces are exactly those 1-forms ω which are simultaneously closed and f-coclosed, i.e, dω = δ f ω = 0,

3 INDEX OF f-minimal HYPERSURFACES: GENERAL AMBIENTS 3 with δ f ω = δω +ω f) the weighted codifferential. Our main f-index estimate will follow from the following concentration of the spectrum inequality. Theorem 1.1. Let M f be am m+1)-dimensional Riemannian manifold that is isometrically embedded in some Euclidean space R d, d m+1. Let m be a closed isometrically immersed f- minimal hypersurface of M m+1. Assume that there exists a real number η and a q-dimensional vector space V of f-harmonic 1-forms on m such that for any ω V\{0}, 1) < m IIe k,ω ) + IIe k,n) ω )e f dvol Ric M f N,N) ω + Ric M f ω,ω ) ) R M ω,n)ω,n e f dvol +η ω e f dvol, where II denotes the second fundamental form of M m+1 in R d, {e 1,...,e m } is a local orthonormal frame on, and N is a unit normal vector field on. Then {eigenvalues of L f < η} dd 1) q. As a corollary, when η = 0, we obtain the following f-index estimate. Recall that by the Hodge decomposition in the weighted setting see []) the dimension of the space of f-harmonic 1-forms still equals the first Betti number b 1 ) of. Corollary 1.. Let M f be an m+1)-dimensional Riemannian manifold that is isometrically embedded in some Euclidean space R d, d m+1. Let m be a closed isometrically immersed f-minimal hypersurface of M m+1. Assume that for any non-zero f-harmonic 1-form ω on, m IIe k,ω ) ) + IIe k,n) ω )e f dvol Then < Ric M f N,N) ω +Ric M f ω,ω ) Ind f ) ) R M ω,n)ω,n e f dvol. dd 1) b 1). Remark 1.3. It should be pointed out that P. Zhu and W. Gan, [16] also obtained an estimate in the same spirit of Corollary 1. above. In that paper it is proved a similar estimate on the f-index assuming a different curvature condition. However, this condition turns out to be less fitting to the weighted setting and difficult to verify in applications. The novelty in our approach, first considered in [8], is that we use f-harmonic forms, instead of usual harmonic forms Applications. Recently there has been some interest in coupling two geometric flows in order to improve geometric and analytic properties of the flows with respect to those they had as themselves. One case of particular interest is that of the mean curvature flow of hypersurfaces in a moving ambient space. When the ambient manifold is evolving by the Ricci flow, the coupled evolution is known as Ricci-mean curvature flow. Inspired by Huisken s monotonicity formula for hypersurfaces in the Gaussian shrinker, A. Magni, C. Mantegazza, and E. Tsatis, [10], and J. Lott, [9], studied monotonicity formulas for mean curvature flow in a gradient Ricci soliton background and introduced the concept of mean curvature soliton which can be

4 4 DEBORA IMPERA AND MICHELE RIMOLDI regarded as a generalization of self-shrinkers for the mean curvature flow in the Euclidean space. By its definition, a mean curvature soliton is nothing but an f-minimal hypersurface isometrically immersed in a gradient Ricci soliton with f being the potential function of the ambient soliton. This fact motivated some recent works on f-minimal hypersurfaces in gradient Ricci solitons; see e.g. [6], [5], where it is considered the particular case of f-minimal hypersurfaces in the cylindric shrinking gradient Ricci soliton with one dimensional Euclidean factor S m m 1)/λ) R,g, f), with g the product metric, fx,t) = λ t, and λ > 0. As a first application of our main result, we can obtain the following result concerning f-minimal hypersurfaces in all cylindric shrinking gradient Ricci solitons. In the case of f- minimal hypersurfaces in the cylindric shrinking gradient Ricci soliton with one-dimensional Euclidean factor, a similar estimate was obtained in [16], but assuming an additional curvature assumption. Corollary 1.4. Let be a closed isometrically immersed f-minimal hypersurface in the weighted manifold M m+1 f = S k k 1) λ ) Rm k+1,g M,e f dvol M ), where k m, λ > 0, g M = g S k k 1) λ )+dt 1 + +dt m k+1, g S k k 1) denotes the canonical round metric on the ) λ sphere, dvol M the Riemannian volume measure, and fx,t) = λ t. Then 3) Ind f ) m+)m+1) b 1). Remark 1.5. For closed f-minimal hypersurfaces in the cylindric shrinking gradient Ricci soliton with one-dimensional Euclidean factor it was proved in [5] that Ind f ) 1 and, indeed, equality holds if and only if = S m 1 {0}. When the first Betti number is large our estimate 3) improves this result. Remark 1.6. Note that in some special situations shrinking gradient Ricci solitons are necessarily of cylindric type. For instance we recall that H. D. Cao, B.-L. Chen and X.-P Zhu, [3] proved that any 3-dimensional complete non-compact non-flat shrinking gradient Ricci soliton is a finite quotient of the round cylinder S R. In higher dimension Z.-H. Zhang proved that any locally conformally flat complete non-compact gradient shrinking Ricci soliton must be a finite quotient of the Gaussian shrinking Ricci soliton R n or the cylindric shrinking gradient Ricci soliton S n 1 R ; [15]. More generally, one could apply Corollary 1. to obtain index bounds for f-minimal hypersurfaces in products of almost all other compact rank one symmetric spaces CROSSes) with an Euclidean factor, endowed with the rigid gradient Ricci soliton structure. Note that the compact rank one symmetric spaces, i.e. all compact symmetric spaces of positive sectional curvature, are the spheres, RP k, CP n with n = k, HP p with 4p = k and CaP. Corollary 1.7. Let P be either CP n with k = n 4, HP p with k = 4p or CaP. Let be a closed isometrically immersed f-minimal hypersurface in the weighted manifold M m+1 f = P k R m k+1,g M,e f ) dvol M, gm = g P +dt 1 + +dt m k+1, with g P denoting the canonical metric on P, dvol M the Riemannian volume measure, and fx,t) = λ t. Then Ind f ) where d = m++n if P = CP n, n = k; dd 1) b 1),

5 INDEX OF f-minimal HYPERSURFACES: GENERAL AMBIENTS 5 d = m++p p if P = HP p, 4p = k; d = m+1 if P = CaP. Remark 1.8. Corollary 1. does not seem to apply directly to the case P = RP k, since in this case we cannot produce an immersion of P R m+k 1 satisfying the integral curvature assumption ). This difficulty is already encountered in the classical non-weighted case but, in that case, one could overcome this by using the correspondence between immersed minimal hypersurfaces in the real projective space and immersed hypersurfaces of the sphere that are invariant under the antipodal map; see [1]. However, this kind of reasoning seems difficult to apply in our setting. More generally, it would be interesting to prove an analogous index estimate for closed f-minimal hypersurfaces in all the so called rigid shrinking Ricci solitons i.e. quotients N Γ R k with N Einstein with Einstein constant λ and Γ acting freely on N and by orthogonal transformations on R k, with f = λ d and d is the distance in the flat fibers to the base; see [11]. The obvious difficulty is that in general we do not have such a good control on the embedding. In another direction, a further situation in which we can apply Corollary 1. is that in which the ambient weighted manifold is a convex hypersurface of the Euclidean space with sufficiently pinched principal curvatures. Indeed minor modifications to the proof of Theorem 1 in [1] permit to obtain the following result. Corollary 1.9. Let M m+1 f be a weighted manifold isometrically embedded as an hypersurface in R m+ in such a way that the principal curvatures k 1... k m+1 with respect to the outward pointing unit normal ν are positive and satisfy the pinching condition k m+1 k 1 < m+1. Assume that Hess M f > 0. Then every closed embedded minimal f-hypersurface m of M m+1 f is such that Ind f ) m+)m+1) b 1).. Proof of the main estimate Proof of Theorem 1.1. Let k be the number of the eigenvalues of the Jacobi operator L f that are below the threshold η and denote by ϕ 1,,ϕ k the eigenfunctions associated to the k eigenvalues λ 1,,λ k. Let ω be a f-harmonic 1-form in V V =. Hf 1) and set u. ij = N ω,θ ij, where {θ ij } i<j is an orthonormal basis of R d. Then the map V R dd 1) k ) ω u ij ϕ p e f dvol, for 1 i < j d and 1 p k, is a linear map. Assume by contradiction that q > dd 1) k. Then there exists a non-zero ω V such that u ij ϕ p e f dvol = 0

6 6 DEBORA IMPERA AND MICHELE RIMOLDI for all i < j and for all 1 p k. Thus, in particular η ω e f dvol λ k+1 ω e f dvol d = λ k+1 i<j d Q f u ij,u ij ). i<j u ij e f dvol On the other hand, given a local orthonormal frame {e 1,...,e m } on m and denoting by D the connection of R d, one has u ij = Hence, summing up on i < j, D ek u ij = D ek N ω),θ ij 4) d u ij = D ek N ω). i<j Note that: D ek N ω) = D ek N ω +N D ek ω = D ek N ω + D ek ω ω,d ek N D ek ω,n. Recall the orthogonal decompositions: D ek N = M e k N +IIe k,n) = Ae k +IIe k,n); D ek ω = ek ω + Aω,e k N +IIe k,ω ). As a consequence of the relations above one has: D ek N = Ae k + IIe k,n) ; D ek ω = ek ω + Aω,e k + IIe k,ω ) ; D ek N,ω = Aω,e k ; D ek ω,n = Aω,e k. Inserting the previous relations in 4), 5) d u ij = ω Aω + A ω i<j + IIe k,ω ) + IIe k,n) ω.

7 Thus, 6) INDEX OF f-minimal HYPERSURFACES: GENERAL AMBIENTS 7 d Q f u ij,u ij ) = i<j d i<j = + u ij Ric M f N,N)+ A )u ije f dvol IIe k,ω ) + IIe k,n) ω e f dvol ω Aω Ric M f N,N) ω e f dvol. Since ω is f-harmonic, combining the f-bochner-weitzenböck formula with the Gauss equation we get f ω = ω +Ric f ω,ω ) = ω +Ric M f ω,ω ) R M ω,n)ω,n Aω. Integrating the previous equation and substituting in 6) we thus obtain d η ω e f dvol Q f u ij,u ij ) i<j = IIe k,ω ) + IIe k,n) ω e f dvol Ric M f ω,ω ) R M ω,n)ω,n +Ric M f N,N) ω e f dvol. This is in contradiction with the assumption 1). The result follows. 3. f-minimal hypersurfaces in shrinking gradient Ricci solitons 3.1. Cylindric shrinking gradient Ricci solitons. Proof of Corollary 1.4. Let us denote by π S k and π R m k+1, respectively, the projection on the spherical factor and on the Euclidean factor of M, and by, the metric on M. By a straightforward computation one has that Hess M f =λdt 1 + +dt m k+1 ), Ric M f =λ,, R M V,W)V,W = IIV,V),IIW,W) IIV,W), λ IIV,W) = k 1 π S k) V,π S k) W ν, for any V,W TM, with ν normal vector field of S k R m k+1 in R m+. Moreover we have that π S k) V,π S k) e i = π S k) V π S k) V,π S k) N. i=1

8 8 DEBORA IMPERA AND MICHELE RIMOLDI Hence, for any X T, i=1 Moreover, IIe i,x) + IIe i,n) X ) = λ π k 1 S k) X π S k) X,π S k) N ) + X π S k) N 1 π S k) N ). Set Then R M X,N)X,N = λ π k 1 S k) X π S k) N π S k) X,π S k) N ) RX,N). = IIe i,x) + IIe i,n) X ) i=1 + R M X,N)X,N Ric M f N,N) X Ric M f X,X) λk ) RX,N) = X λ X π k 1 k 1 R m k+1) N 4 + π R m k+1) X π R m k+1) N ) + π R m k+1) N,π R m k+1) X ). For k 3 this expression is strictly negative on non-zero vector fields. In case k = the expression is non-positive. However, it vanishes if and only if π R m k+1) N = 0, and this is in contradiction with the fact that is compact. Hence condition ) is satisfied and the conclusion follows. 3.. Some other rigid gradient Ricci shrinking solitons. Proof of Corollary 1.7. Consider M m+1,g M ) to be of the form M m+1 = P k R m+k 1, with P k,g P ) one of the projective spaces CP n n = k), HP p 4p = k) CaP 16 = k), endowed with their standard Riemannian metrics. In the case of CP n this is just the standard Fubini-Study metric. Note that, the following properties do hold: i) Up to normalization, all these metrics have sectional curvatures bounded between 1 and 4; ii) There exists a nice family of isometric embeddings of these spaces into Euclidean spaces R q. In case of CP n, q = n+1), in case of HP p, q = p +1)p +1), and for CaP, q = 7. For more details and references see [1], [4]. iii) For the embeddings in point ii) it holds that the second fundamental form II P satisfies 7) II P X,X) = 4 X 4, for all vector fields X TP.

9 INDEX OF f-minimal HYPERSURFACES: GENERAL AMBIENTS 9 Using 7), we have that for any X,Y TP 4 X Y 4 = II P X Y,X Y) = II P X,X)+II P Y,Y) II P X,Y) Analogously, Summing up, Hence, we get = II P X,X) + II P Y,Y) +4 II P X,Y) + II P X,X),II P Y,Y) 4 II P X,X)+II P Y,Y),II P X,Y) =4 X 4 +4 Y 4 +4 II P X,Y) + II P X,X),II P Y,Y) 4 II P X,X)+II P Y,Y),II P X,Y). 4 X +Y 4 =4 X 4 +4 Y 4 +4 II P X,Y) + II P X,X),II P Y,Y) +4 II P X,X) +II P Y,Y),II P X,Y). 4 X 4 + Y 4 )+4 II P X,Y) + II P X,X),II P Y,Y) = X Y 4 + X +Y 4) = X 4 + Y 4 +4 X,Y + X Y 4 X,Y X + Y )+ + X 4 + Y 4 +4 X,Y + X Y +4 X,Y X + Y )) =4 X 4 + Y 4 +4 X,Y + X Y ). 8) II P X,X),II P Y,Y) + II P X,Y) = 4 X Y + X,Y ). Recall that by Gauss equation, for any X,Y TP, we have Therefore, we obtain 9) II P X,Y) = 4 3 R P X,Y)X,Y = II P XX),II P Y,Y) II P X,Y). X Y + X,Y ) 1 3 RP X,Y)X,Y. Consider now the embedding of M m+1 in R d, d = q + m + 1 k, obtained by trivially extending the above embeddings of P in R q. Obviously, the only non-trivial part of the second fundamental form II of this embedding is given by II P. Let m be a closed oriented minimal hypersurface isometrically immersed in M m+1,g M ) and, at any given point p, consider an o.n. basis {e h } of T p. Let N be the unit normal vector field to and, for any U TM, let us denote by U P the projection of U on TP and by U R the projection of U on TR m+k 1. Using 9), we have 10) IIe h,u) = II P e P h,up ) = 4 3 e P h U P + e P h,up ) 1 3 RM e h,u)e h,u.

10 10 DEBORA IMPERA AND MICHELE RIMOLDI Letting {F j } be an o.n. basis of T πp p)p, we compute: U P e P h = U P k e h,f j h h j=1 k = U P F j F j,n ) j=1 = U P k N P ) ; e P h,u P = e h,f j U,F j ) h h j = e h,f j U,F j +4 h j h e h,f j e h,f i U,F j U,F i i j = F j F j,n ) U,F j + i,f j F i,n F j,n ) U,F j U,F i ) j i j F = j U,F j j F j,n U,F j + i j F i,n F j,n U,F i U,F j )) = U P j F j,n U,F j ) = U P U P,N P ). Hence, substituting in 10), we get 11) IIe h,u) = 4 3 h In particular, for any ω 1-form on U P k + N P ) U P,N P ) 1 3 R M e h,u)e h,u. IIe h,n) ω = 4 3 ω N P k+ 3 N P ) 1 3 RicM N,N) ω ; h IIe h,ω ) = 4 ω P k+ N P ) ω P,N P ) 3 h 1 3 RicM ω,ω )+ 1 3 RM ω,n)ω,n. Hence, using the same notations of the previous section, we have that 1) Rω,N). = h IIe h,n) ω + IIe h,ω ) ) Ric M N,N) ω Ric M ω,ω ) + R M ω,n)ω,n Hess M fn,n) ω Hess M fω,ω ) = 4 [ ω N P k+ 3 N P ) + ω P k+ N P ) 3 ] ω P,N P Ric M N,N) ω Ric M ω,ω )+ R M ω,n)ω,n Hess M fn,n) ω Hess M fω,ω ). h

11 INDEX OF f-minimal HYPERSURFACES: GENERAL AMBIENTS 11 Let λ be the Einstein constant of P,g P ). Since we get that 13) where Rω,N) 4 3 Ric M N,N) =λ N P, Ric M ω,ω ) =λ ω P, R M ω,n)ω,n = R P ω P,N P )ω P,N P =K P ω N P ) ω P N P 4 ω P N P ω P,N P ), [ ω N P k+ λ 3 N P ) + ω P k+ λ N P ) 6 ω P,N P +4 ω P N P ] λ N R ω λ ω R 4 [ ω N P k+4 λ 3 N P ) + ω P k+4 λ N P )] η, 3 and in the last step we have used that η = 8 ω P,N P +λ N R ω +λ ω R 0, 4 ω P N P ω P + ω N P. Recalling now that the Einstein constants of HP p, 4p = k, and CaP are respectively λ = k+8 and λ = 36 we get that in these cases Rω,N) < 0. From this fact and Corollary 1. the index estimate given in Corollary 1.7 immediately follows. Let us now restrict our attention to te case P k = CP n, n = k 4. In this case the Einstein constant is λ = k +, hence we cannot determine the sign of the RHS in 13). However, by 13), Rω,N) 4 [ 3 ω N P 4 ω P N P 6 ω P,N P +4 ω P N P ] 3 k +) N R ω k +) ω R 4 ω P N P 4 ω N P 4 8 ω P,N P k +) N R ω k +) ω R 4 ω N P 1 N P ) 8 ω P,N P k +) N R ω k +) ω R = ω N R 4 N P k+) ) 8 ω P,N P k +) ω R 0. We now analyze the equality case. We begin by observing that Rω,N) = 0 if and only if i) ω R = N R = 0; ii) 4 ω = 4 ω P = K P ω P N P ) = K P ω N) = ω +3g P ω,jn), where J denotes the complex structure in P = CP n. In particular, note that ii) is satisfied if and only if ω = hjn, for some h C ). Finally, note that if we are able to show that the previous conditions can be satisfied if and only if ω vanishes identically on, then the conclusion of the theorem follows at once. This is the content of the lemma below.

12 1 DEBORA IMPERA AND MICHELE RIMOLDI Lemma 3.1. Let P k = CP n with k = n 4 and let be a closed isometrically immersed f- minimal hypersurface in the weighted manifold M m+1 f = P k R m k+1,g M,e f ) dvol M, gm = g P +dt 1 + +dt m k+1, with g P denoting the canonical metric on P, dvol M the Riemannian volume measure, and fx,t) = k+ t. Let ω be any f-harmonic 1-form on and suppose that i) ω R = N R = 0; ii) ω = hjn, for some h C ), where J denotes the complex structure in P = CP n. Then ω 0. Proof. Step 1: h M JN N = P JN N = J h. Since ω = ω P is a f-harmonic 1-form and M f = k +)T, with we have that T = t t m+k 1, t 1 t m+k 1 0 = δ f ω = δω + ω, f = δω. In particular, ω is a harmonic 1-form and the conclusion of Step 1 follows reasoning, with minor modifications, as in [1, Lemma A.1]. Step : Ric f ω,ω ) = k ) ω h. Note that, since ω R = N R = 0, we have Hence Hessfω,ω ) = Hess M fω,ω )+ M f,n Aω,ω = k +) ω R +k +) T,N R Aω,ω = 0. Ric f ω,ω ) = Ricω,ω ) and Step follows immediately from Step 1. = Ric P ω,ω ) R P ω,n)ω,n Aω = k +) ω 4 ω h M JNN Step 3: h ω. Differentiating ω = hjn we obtain, for any X T, X ω = h X JN + h,x JN. Since X JN and JN are orthogonal, we immediately get Step 3 follows at once. X ω = h X JN + h,x h,x.

13 INDEX OF f-minimal HYPERSURFACES: GENERAL AMBIENTS 13 Step 4: Conclusion. Since ω is f-harmonic, by the f-bochner-weitzenböck formula and steps and 3, we have that f ω Integrating over we conclude that k ) = ω +Ric f ω,ω ) = ω +k ) ω h k ) ω. ω e f dvol 0. Since k >, we conclude that ω must vanish identically on. Acknowledgements. The first author is partially supported by INdAM-GNSAGA. The second author is partially supported by INdAM-GNAMPA. References [1] L. Ambrozio, A. Carlotto and B. Sharp, Comparing the Morse index and the first Betti number of minimal hypersurfaces, J. Differential Geom ), no. 3, [] E. L. Bueler, The heat kernel weighted Hodge Laplacian on noncompact manifolds, Trans. Amer. Math. Soc ), no., [3] H.-D. Cao, B.-L. Chen, and X.-P. Zhu, Recent developments on Hamilton s Ricci flow, Surveys in Differential Geometry, 1 008), [4] B.-Y. Chen, On the first eigenvalue of Laplacian of compact minimal submanifolds of rank one symmetric spaces, Chinese J. Math ), no. 4, [5] X. Cheng, T. Mejia, D. Zhou, Simons-type equation for f-minimal hypersurfaces and applications, J. Geom. Anal ), no. 4, [6] X. Cheng and D. Zhou, Stability properties and gap theorem for complete f-minimal hypersurfaces, Bull. Braz. Math. Soc. N.S.) ), no., [7] D. Impera, M. Rimoldi, Stability properties and topology at infinity of f-minimal hypersurfaces, Geom. Dedicata ), [8] D. Impera, M. Rimoldi, A. Savo, Index and first Betti number of f-minimal hypersurfaces and self-shrinkers, to appear on Rev. Mat. Iberoam., preliminary version on ArXiv Preprint Server - arxiv: [9] J. Lott, Mean curvature flow in a Ricci flow background, Comm. Math. Phys ), no., [10] A. Magni, C. Mantegazza, E. Tsatis, Flow by mean curvature inside a moving ambient space, J. Evol. Equ ), no. 3, [11] P. Petersen, W. Wylie, Rigidity of gradient Ricci solitons, Pacific J. Math ), no., [1] R. Mendes, M. Radeschi, Generalized immersions and minimal hypersurfaces in compact symetric spaces. Arxiv preprint server - arxiv: [13] A. Ros, One-sided complete stable minimal surfaces, J. Differential Geom ), no.1, [14] A. Savo, Index bounds for minimal hypersurfaces of the sphere, Indiana Univ. Math. J ), no.3, [15] Z.-H. Zhang, Gradient shrinking solitons with vanishing Weyl tensor, Pacific J. Math ), no.1, [16] P. Zhu and W. Gan, L f -index bounds for closed f-minimal hypersurfaces, J. Math. Anal. Appl ), no., Debora Impera) Dipartimento di Scienze Matematiche Giuseppe Luigi Lagrange, Politecnico di Torino, Corso Duca degli Abruzzi, 4, Torino, Italy, I address: debora.impera@gmail.com Michele Rimoldi) Dipartimento di Scienze Matematiche Giuseppe Luigi Lagrange, Politecnico di Torino, Corso Duca degli Abruzzi, 4, Torino, Italy, I address: michele.rimoldi@gmail.com