PROJECTIVELY INDUCED K ¨AHLER CONES OVER REGULAR SASAKIAN MANIFOLDS

. Motivated by a conjecture in [8] we prove that the K¨ahler cone over a regular complete Sasakian manifold is Ricci–ﬂat and projectively induced if and only if it is ﬂat. We also obtain that, up to D a –homothetic transformations, K¨ahler cones over homogeneous compact Sasakian manifolds are projectively induced. As main tool we provide a relation between the K¨ahler potentials of the transverse K¨ahler metric and of the cone metric.


Introduction
In the celebrated work [4], E. Calabi gives an algebraic criterion to check when a Kähler manifold admits a Kähler (i.e.holomorphic and isometric) immersion into a complex space form.Of particular interest is the elliptic case, namely when the complex space form is the complex projective space endowed with the Fubini-Study metric, where many questions are still open.Throughout this paper CP N is always implicitly understood, as a Kähler manifold, equipped with the Fubini-Study metric.We say that a Kähler manifold is projectively induced if it admits a local Kähler immersion into the complex projective space CP N ≤∞ .Obviously many examples of projectively induced manifolds can be constructed pulling-back the Fubini-Study metric on complex submanifolds.However, it is much more difficult to find examples of projectively induced manifolds with prescribed curvature.In [12] D. Hulin proves that the scalar curvature of a compact Kähler-Einstein submanifold of the complex projective space is forced to be positive.It is important to highlight that when the submanifold is compact the ambient space CP N can be taken to be finite dimensional.In fact, when the ambient space is infinite-dimensional, Hulin's result does not hold, as there are examples of Kähler-Einstein submanifolds of CP ∞ with negative scalar curvature (see [9]).Furthermore, the complex flat space C n is an example of Kähler submanifold of CP ∞ .Observe that by the rigidity result of Calabi [4,Theorem 9], C n does not admit a Kähler immersion in CP N <∞ .Actually, in the recent work [1] C. Arezzo, C. Li and A. Loi prove that no CP N <∞ admits Ricci-flat Kähler submanifolds.On the other hand, when the ambient space is infinite-dimensional, it is still an open problem to understand whether the flat metric is the only example of Ricci-flat projectively induced Kähler metric, as conjectured by A. Loi, F. Salis and F. Zuddas in [8] (see also [10] for a class of metrics that confirms such conjecture).
In this paper we address the problem of studying Sasakian manifolds whose Kähler cone is Ricci-flat and projectively induced.We recall that the Kähler cone over a Sasakian manifold is Ricci-flat if and only if the Sasakian manifold is Sasaki-Einstein, and it is flat if and only if the Sasakian manifold is a standard sphere (see Theorem 8 below).More precisely we prove the following.

Theorem 1. The Kähler cone over a regular complete Sasakian manifold is Ricci-flat and projectively induced if and only if it is flat.
Theorem 1 should be compared to the results in [2,5,7], where the existence of a Sasakian immersion of a Sasakian manifold into a Sasakian space form is investigated either in terms of the existence of a Kähler immersion of the Kähler cone above or in terms of the transverse Kähler metric below.A key step in their approach consists in observing that a compact Sasakian manifold immersed into a regular Sasakian manifold is itself regular, as follows from [11,Prop. 3.1] (see also [2,Prop. 5] for a generalization to the non-compact case).More precisely, they do not need to assume a priori the regularity of the Sasakian manifold since they obtain it by assuming a Sasakian immersion into a (regular) Sasakian space form.In particular, when the Sasakian space form is elliptic one can lift the Sasakian map to the Kähler cone in a natural way, obtaining that a Sasakian immersion into a sphere is possible if and only if a Kähler immersion of the Kähler cone into the complex Euclidean space occurs.When the Sasakian space form is not elliptic its Kähler cone is not a complex space form, but using regularity it is possible to relate the existence of a Sasakian immersion to a Kähler immersion of the transverse Kähler metric below.In our approach instead, we need to impose the regularity of the Sasakian manifold, since no Sasakian immersion is assumed to exist.More precisely, we cannot deduce the existence of a Sasakian immersion from the Kähler cone being projectively induced, since the complex projective space is not a cone over a Sasakian manifold.
The novelty of our paper consists in relating the existence of a Kähler immersion of the Kähler cone over a regular Sasakian manifold into the (infinite-dimensional) complex projective space, to the existence of a Kähler immersion of the transverse Kähler manifold below into a complex projective space (Proposition 11 below).
Finally, we show that by performing a D a -homothetic transformation, namely a rescaling of the structure (see Formula (4) below), we can find many examples of projectively induced Kähler cones over homogeneous Sasakian compact manifolds.More precisely, as a consequence of Proposition 11 we get the following: Theorem 2. Let (S, ξ, η, Φ, g) be a homogeneous compact Sasakian manifold.Then, up to a D a -homothetic transformation, its Kähler cone is projectively induced.
For other results concerning immersions of homogeneous Sasakian manifolds the reader is referred to [5,Theorem 4], where it is proved that up to a D a -homothetic deformation a compact homogeneous Sasakian manifold admits a Sasakian immersion into the Sasakian sphere if and only if its fundamental group is cyclic (see also [7,Theorem 1.5] for a noncompact version).It is worth pointing out that from Theorem 2 we obtain examples of η-Einstein Sasakian manifolds whose Kähler cone is projectively induced, in contrast to the Sasaki-Einstein case studied in Theorem 1.This occurs since the Sasaki-Einstein condition is very rigid and it transforms to η-Einstein under D a -homothetic transformations.
The paper is organized as follows.Sections 2 and 3 are devoted to recalling the main definitions and results we need, respectively in the Kähler and the Sasakian contexts.In Section 4 we describe the relation between the Kähler potential on the cone over a Sasakian manifold and that of the transverse metric.Finally in Section 5 we prove the main theorems.of being Kähler is equivalent to the existence, in a neighborhood U p of p, of a real valued function ϕ : U p → R called Kähler potential for ω such that ω | Up = i 2 ∂ ∂ϕ.A Kähler potential is not unique, as any other function obtained from ϕ by adding the real part of a holomorphic function is also a Kähler potential.We say that (M, g) is projectively induced if and only if for all p ∈ M there exists a holomorphic and isometric (i.e.Kähler) immersion f : U p → CP N , N ≤ ∞, such that f * ω F S = ω.Here CP ∞ denotes the infinitedimensional complex projective space, namely the set of equivalence classes with the usual equivalence relation of points (Z 0 , Z 1 , . . . ) ∈ l 2 (C) \ {0}, endowed with the Fubini-Study metric ω F S (see [4]), where by l 2 (C) we denote the Hilbert space of sequences of complex numbers z = (z 0 , z 1 , z 2 , . . . ) limited in norm, i.e. ∞ j=0 |z j | 2 < ∞.In the sequel we will also denote by ω 0 the flat metric on ℓ 2 (C), that is are homogeneous coordinates and (z 1 , . . ., z j , . . .), z j := Z j Z 0 , are affine coordinates on U 0 := {Z 0 = 0}, the Fubini-Study metric reads on U 0 as We can restrict ourselves to considering real analytic Kähler metrics, since the pull-back by a holomorphic map of the Fubini-Study metric is necessarily real analytic and Kähler.Thus, one can define the diastasis function D : U p × U p → R by: where φ is the function obtained by extending the Kähler potential ϕ on a neighborhood of the diagonal in U p × U p (here U p denotes the neighborhood defined by conjugated local coordinates).It is easy to see that fixing one of the two variables, the function D w (z) := D(z, w) is a Kähler potential for g, called diastasis function centered at w.The diastasis function has been introduced by Calabi in [4] for its property of being -once one of the variables is fixed -a Kähler potential invariant by pull-backs by holomorphic maps, i.e. if ( M , ω) is a second Kähler manifold and f : U p → M is holomorphic and such that f * ω = ω we have: where we denote by D p (z) the diastasis function of M on U p centered at p and by Df(p) the diastasis function for M in a neighborhood of f (p).
Let us denote by (b jk ) the ∞×∞ matrix of coefficients of the following power expansion: where we use a multi-index notation m j = (m j,1 , . . ., m j,n ), , and, setting |m j | := m j,1 + • • • + m j,n , the strings m j 's are ordered in such a way that m 0 = (0, . . ., 0), |m j | ≤ |m k | for j < k, and when |m j | = |m k | the order can be taken e.g. to be lexicographic.Furthermore, (2) where The importance of the diastasis function relies on the following theorem, which summarizes the results for projectively induced metrics proved by Calabi in his celebrated work [4].
Theorem 3 (E.Calabi [4,Theorems 8 and 9]).Let (M, g) be a real analytic Kähler manifold.Then, (M, g) admits a local Kähler immersion into CP N if and only if the matrix (b jk ) defined by (1) is positive semidefinite of rank at most N. Furthermore, the Kähler immersion is unique up to unitary transformations of the ambient space.
Remark 4. It is worth pointing out that the condition of being positive semidefinite as well as the rank of (b jk ) do not depend on the point p but only on the metric g.Furthermore, the rank of (b jk ) is exactly N when the immersion is full, i.e. when the image is not contained in any lower dimensional complex projective space.Observe also that when M is simply connected, the local Kähler immersions glue together to a global Kähler immersion of the whole M (see [4]).Finally a Kähler immersion of a compact Kähler manifold into CP ∞ is never full, as the immersion map is constructed using a basis of the space of global holomorphic sections of some holomorphic line bundle, and when M is compact such space is finite dimensional.
In this paper we are interested in the case when (M, ω) is compact and Kähler-Einstein (from now on KE).If we denote by ρ the Ricci form associated to ω, which can be written as ρ = −i∂ ∂ log det g, then the KE condition reads ρ = λω, for λ ∈ R.
In [12] D. Hulin studied compact projectively induced Kähler-Einstein manifolds proving the following: Theorem 5 ([12, Theorem 7.1]).Let (M, g) be a compact projectively induced Kähler-Einstein manifold of complex dimension n.Then M is simply connected, the immersion is global and the Einstein constant λ is rational.Furthermore, if we write λ = 2p/q > 0, where p/q is irreducible, then p ≤ n + 1, and:

Preliminaries on Sasakian geometry
We devote this section to recall the main definitions and results about Sasakian manifolds that we will need in the following.We mainly refer to [3,13] and references therein.Definition 6.A Riemannian manifold (S, g) is Sasakian if and only if its metric cone (C(S), ḡ) is Kähler, where C(S) := S × R + and ḡ := dt 2 + t 2 g, for t ∈ R + .
It follows that dim R S = 2n + 1, where dim C (C(S)) = n + 1, and the Kähler structure on the cone induces on S: (1) a contact 1-form η, i.e. η ∧ (dη) n = 0, that is the restriction to S of the form d c log t on the cone.(2) a vector field ξ, uniquely defined by the conditions η(ξ) = 1 and dη(ξ, • ) = 0, named Reeb vector field of η; (3) a (1, 1)−tensor field Φ which satisfies Φ 2 = −I + ξ ⊗ η, that is the restriction to the contact distribution ker η of the complex structure of the cone.
It follows that for any vector fields X, Y on S we have and Let us denote by F the Reeb foliation defined by the integral curves of the Reeb vector field ξ.If we denote by T F the tangent bundle to F , the tangent bundle to S splits canonically as T S = D ⊕ T F , where D := ker η is the codimension one subbundle, with natural almost complex structure defined by J := Φ| D .Accordingly, the metric g decomposes as g = g T + η ⊗ η, where g T is a metric on the contact distribution called transverse Kähler metric, which can be globally identified with g T (•, A Sasakian manifold is said to be regular, quasi-regular or irregular if the foliation defined by the Reeb vector field has the corresponding property, i.e. respectively each leaves of the Reeb foliation intersect every neighborhood of a point exactly one time, a finite number of times or neither of the previous two cases.In this paper we are interested in compact regular Sasakian manifolds, for which we recall the following fundamental result (see e.g.[3, Theorem 7.5.1]): Theorem 7 (Structure Theorem).Let (S, ξ, η, Φ, g) be a compact regular Sasakian manifold.Then the space of leaves of the Reeb foliation (X, ω) is a compact Kähler manifold with integral Kähler form 1  2π ω so that the projection p : (S, g) → (X, g ω ) is a Riemannian submersion, where g ω is the metric associated to ω.
We will call (X, g ω ) in Theorem 7 the Kähler manifold associated to S. This theorem allows us to describe the Kähler structure of the cone over S through the dual of a positive line bundle over X in the following way (see e.g.[7, p. 6]).Assume that S is a principal circle bundle p : S → X over a compact Hodge Kähler manifold (X, ω), namely a compact manifold X with integral Kähler form ω, such that p * ω = 1 2 dη.The Kähler class of ω defines an ample line bundle L over X such that C(S) = L −1 \ {0}, where L −1 is the line bundle dual to L. Furthermore, there exists a Hermitian metric h on L such that ω = −i∂ ∂ log h and the dual metric h −1 on L −1 defines the radial coordinate of the cone in the following way: (3) ).The Kähler metric ḡ on the cone has Kähler form Ω = i 2 ∂ ∂t 2 .We recall that for a > 0, by a D a -homothetic trasformation of (S, ξ, η, Φ, g) we mean a change of the structure tensors in the following way (see [15]): (4) It is important to notice that if we perform a D a -homothetic transformation of the Sasakian structure (ξ, η, Φ, g) over S, then the new Sasakian structure is still regular and the complex manifold below is still X, but its Kähler form ω a is ω rescaled by a, so that p * ω a = ap * ω = a 2 dη.Observe that setting a new coordinate t ′ = t a on the Kähler cone induces the same structure (ξ a , η a , Φ a , g a ) on S.
We conclude this section with the following theorem (see for instance [3,Th. 11.1.3,Lemma 11.1.5,Cor. 11.1.8])that summarizes what we need about Sasakian-Einstein manifolds, namely Sasakian manifolds whose metric g is Einstein in the Riemannian sense, i.e.Ric g = λg, for a constant λ.Theorem 8. Let (S, ξ, η, Φ, g) be a Sasakian manifold, then the following are equivalent: (1) the metric g is Sasakian-Einstein with Einstein constant 2n; (2) the metric ḡ on the Kähler cone is Ricci-flat.
In addition, if S is compact with associated Kähler manifold (X, ω), then the previous conditions are equivalent to ω being Kähler-Einstein with Einstein constant 2n + 2.
Lemma 9. Let (S, ξ, η, Φ, g) be a compact regular Sasakian manifold and let (X, ω a ) be its associated Kähler manifold.Assume ∂ψ on a open set U around x ∈ X, then the Kähler metric Ω on the cone over S is given by , where z 0 is the coordinate on C \ {0}.
Proof.Following the line bundle construction in the previous section, S is a principal circle bundle over a compact Hodge Kähler manifold (X, ω) and we can construct an ample line bundle π : L → X over X endowed with a Hermitian metric h such that ω = −i∂ ∂ log h.Observe that Ω a = i 2 ∂ ∂t 2 is the Kähler metric on the cone over the Sasakian manifold (S, ξ a , η a , Φ, g a ), where t is given by (3).Since to move from η a to η we need a D 1/a homothetic transformation, which corresponds on the cone to the change of variable t ′ = t 1/a , the Kähler metric on the cone over (S, ξ, η, Φ, g) is Ω = i 2 ∂ ∂t 2/a .Consider a trivialization {U, σ} of the line bundle L, where U is an open neighborhood of x ∈ X and σ : U → π −1 (U), x → (x, σ(x)), is a trivializing section.Recall that σ defines an isomorphism π −1 (U) → C × U by (w, x) → (α w , x), with w ∈ L x , and α w ∈ C defined by w = α w σ(x).Thus, any other section s : U → π −1 (U), x → (s(x), x) can be written as s(x) = f (x)σ(x) with f : U → C holomorphic.
The dual Hermitian metric h −1 is defined on x ∈ U by: where h ♯ : L −1 x → L x is the inverse of the canonical isomorphism induced by h on the fibers, h ♭ x : . Furthermore, the function h x (w, •) : L x → C applied to σ(x) gives: Thus, which implies: Then in (3), if we denote by z 0 the coordinate of a vector v ∈ L −1 x with respect to σ −1 we have: and on U and C \ {0} × U, we have: Notice that this construction is independent of the choice of the trivializing section, as the linear bundle is Hermitian and thus the transition functions are unitary.The conclusion follows by noticing that In our notation one obtains the canonical potential for the flat metric, i.e. |z 0 | 2 + ||z|| 2 , after performing the holomorphic change of variables (z 0 , z 1 , . . ., z n ) → z 0 , z 1 z 0 , . . ., zn z 0 .
Remark 10.It is worth pointing out that a similar construction holds in the noncompact setting.In fact, due to [7, Sec.5] a regular noncompact Sasakian manifold is a principal bundle over a noncompact Kähler manifold (X, ω).More precisely, the fiber of a noncompact Sasakian manifold over a compact X would be R, the principal bundle is forced to be trivial and the Kähler form on X must be exact, which is impossibile if X is compact.Thus a Sasaki noncompact manifold is either a circle bundle over a noncompact Kähler manifold (X, ω) or it is the product X × R. In both cases, if ω is integral, we construct a positive Hermitian line bundle (L, h) over X such that ω = −i∂ ∂h.Then Lemma 9 holds for noncompact Sasakian manifolds.

Projectively induced Kähler cones
We begin by proving the following proposition, interesting in its own sake and a key step in the proof of our main theorems.Proof.Observe that Ω c is real analytic if and only if cω is.Set coordinates z around a point p ∈ U such that z(p) = 0.
Assume first that cω is projectively induced, i.e. there exist holomorphic functions f j : U → C such that e cψ = ∞ j=0 |f j | 2 , with f 0 ≡ 1 and for all j ≥ 1, f j (0) = 0. Then we have, and thus: for some holomorphic functions k j defined on C \ {0} × U and such that k 0 = e |z 0 | 2c .It follows that k : C\{0}×U → CP ∞ , k(z 0 , z) = [k 0 : k 1 : • • • : k j : . . .] is a Kähler immersion and thus (C \ {0} × U, Ω c ) is projectively induced.Assume now Ω c to be projectively induced.We can assume without loss of generality that ψ is the diastasis function for ω centered at p, i.e. ψ(0) = 0.By Theorem 3, the matrix of coefficients (B jk ) in the power expansion around the origin of the diastasis function of Ω c is positive semidefinite.We need to show that (B jk ) ≥ 0 implies (b jk ) ≥ 0, where (b jk ) is the matrix of coefficients in the power expansion of e cψ − 1 (cf.( 1)).
Let q = (ǫ, p) ∈ C \ {0} × U, with ǫ ∈ R + .Perform a change of coordinates z 0 → z 0 − ǫ (we avoid to change the name of the variable to simplify the notation), so that q is the point of coordinates (0, 0).Observe that in this coordinates a potential for Ω c reads: Φ(z 0 , z) = |z 0 + ǫ| 2c e cψ(z) , and the diastasis for Ω c centered at q is given by: Observe that if (B jk ) is positive semidefinite, then any submatrix obtained from (B jk ) collecting the a 1 , . . ., a l -th rows and columns also is.In particular the matrix (u jk ) has to be positive semidefinite, where (5) u jk = 1 mj !mk !
, where comparing with the multi-index notation in (2) we are setting m j = (1, mj ), since we are isolating the derivatives with respect to z 0 and z0 .By direct computation: z) .
The matrix (u jk ) is positive semidefinite if and only if (v jk ) := c −2 ǫ 2−2c (u jk ) is, for any ǫ > 0. Since , is positive semidefinite for any ǫ > 0, it must remain positive semidefinite as ǫ goes to 0. The conclusion follows observing that for ǫ = 0 one has Proof of Theorem 1.If the metric is flat it is trivially Ricci-flat, furthermore by a result of Calabi [4] it is also projectively induced.Assume now that C(S) is Ricci-flat and projectively induced.By Theorem 8 the metric cone (C(S), ḡ, Ω) is Ricci-flat if and only if (S, ξ, η, Φ, g) is Sasaki Einstein and by Myers' Theorem, a complete Sasaki-Einstein manifold is forced to be compact.By the Structure Theorem 7 a compact regular Sasakian manifold is a principal circle bundle over a compact Hodge manifold (X, ω).Denote by p : S → X the bundle projection.Recall that the transverse Kähler metric g T is Kähler-Einstein with Einstein constant λ T = 2(n + 1) (cf.Theorem 8).Since for some a > 0, p * ω = a 2 dη, and 1 2 dη is the Kähler form associated to g T , then (X, 1 a ω) is a compact Kähler-Einstein manifold with Einstein constant 2(n + 1).
By Proposition 11, for any c > 0, cω is projectively induced if and only if Ω c is.Since by Lemma 9, Ω = Ω 1/a , we obtain that 1 a ω is projectively induced if and only if Ω is.Observe that the Kähler immersion of (X, 1  a ω) in CP N is also global since the manifold is Fano and thus simply connected (see Remark 4).By Hulin's Theorem 5, a projectively induced Kähler-Einstein compact manifold with Einstein constant 2(n + 1) is forced to be the complex projective space with the Fubini-Study metric, i.e. (X, 1 a ω) ≃ (CP n , ω F S ), and the Sasakian manifold is Sasaki equivalent to the sphere S 2n+1 with the standard Sasakian structure, whose cone is the complex Euclidean space with its flat metric (C(S), Ω) ≃ (C n+1 \ {0}, ω 0 ) (see [5,Ex. 5] and Example 1 above).
Remark 12. Observe that instead of applying Hulin's Theorem, in the last part of the proof of Theorem 1 we could have argued in the following way.The global Kähler immersion of (X, 1  a ω) into CP N <∞ induces by [5, Proposition 3] a Sasakian immersion of S in the Sasakian sphere S 2N +1 .Thus, by [5,Theorem 1], S is forced to be Sasakian equivalent to a standard Sasakian sphere and its cone to be biholomorphically isometric to C n+1 \ {0} with the flat metric.
We conclude the paper with the proof of Theorem 2 showing that, up to D a -homothetic transformation, Kähler cones over homogeneous compact Sasakian manifolds are projectively induced.
Proof of Theorem 2. By [3,Theorem 8.3.6], a compact homogeneous Sasakian manifold is regular and fibers over a simply connected homogeneous Kähler manifold (X, ω).By Theorem 7, ω is Hodge and p * ω = a 2 dη, where p : S → X is the fiber projection.By Lemma 9, if locally ω = Remark 13.Observe that in both the proofs of Theorem 1 and Theorem 2, the local arguments given by Lemma 9 and Proposition 11 could be extended to quasi regular Sasakian manifolds.However, in the quasi-regular case X is a Hodge Kähler orbifold and in this setting we do not have the techniques developed for Kähler immersions that are crucial in the concluding steps of our proofs.

Proposition 11 .
Let U be a contractible domain in C n , endowed with a Kähler metricω = i 2 ∂ ∂ψ.Consider on C \ {0} × U the Kähler metric Ω c = i 2 ∂ ∂(|z 0 | 2c e cψ) for a constant c > 0, where z 0 is the coordinate on C \ {0}.Then for any c > 0, Ω c is projectively induced if and only if c ω is.

i 2 ∂ 2 ∂ ∂|z 0 | 2 a e 1 a 2 a e 1 a
∂ψ, then locally the Kähler form on the cone reads Ω = i ψ .Recall that in [14, Section 2] Takeuchi proved that if the Kähler form ω of a compact and simply connected homogeneous Kähler manifold is integral, then there exists a positive integer k such that kω is projectively induced.The flag manifold (X, ω) satisfies the hypothesis of Takeuchi's theorem, thus kω admits a global Kähler immersion in CP N .Performing a D ak -homothetic transformation on (S, η) the potential t 2 = |z 0 | ψ on the Kähler cone changes accordingly in t 2ak = |z 0 | 2k e kψ .By Proposition 11, i 2 ∂ ∂|z 0 | 2k e kψ is projectively induced if and only if kω is, and we are done.