Two conjectures on Ricci-flat Kaehler metrics
Andrea Loi, Filippo Salis, Fabio Zuddas

TL;DR
This paper proposes and verifies two conjectures relating Ricci-flat Kähler metrics to flatness, using specific conditions like radial symmetry, stability, and ALE properties, and demonstrates the necessity of Ricci-flatness.
Contribution
It introduces two conjectures linking Ricci-flatness to flatness in Kähler metrics and verifies them under various geometric conditions.
Findings
Conjecture 1 verified for radial, stable-projectively induced metrics.
Conjecture 2 verified for radial or complete ALE complex surfaces.
Ricci-flatness cannot be replaced by scalar-flatness in these conjectures.
Abstract
We propose two conjectures about Ricci-flat metrics: Conjecture 1: A Ricci-flat projectively induced metric is flat. Conjecture 2: A Ricci-flat metric on an -dimensional complex manifold such that the coefficient of the TYZ expansion vanishes is flat. We verify Conjecture 1 (see Theorem 1.1) under the assumptions that the metric is radial and stable-projectively induced and Conjecture 2 (see Theorem 1.2) for complex surfaces whose metric is either radial or complete and ALE. We end the paper by showing, by means of the Simanca metric, that the assumption of Ricci-flatness in Conjecture 1 and in Theorem 1.2 cannot be weakened to scalar-flatness (see Theorem 1.3).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometry and complex manifolds · Geometric Analysis and Curvature Flows · Advanced Differential Geometry Research
Two conjectures on Ricci-flat Kähler metrics
Andrea Loi, Filippo Salis, Fabio Zuddas
Dipartimento di Matematica e Informatica, Università di Cagliari
Via Ospedale 72, 09124 Cagliari (Italy)
[email protected], [email protected], [email protected]
Abstract.
We propose two conjectures about Ricci-flat Kähler metrics:
Conjecture 1: A Ricci-flat projectively induced metric is flat.
Conjecture 2: A Ricci-flat metric on an -dimensional complex manifold such that the coefficient of the TYZ expansion vanishes is flat.
We verify Conjecture 1 (see Theorem 1.1) under the assumptions that the metric is radial and stable-projectively induced and Conjecture 2 (see Theorem 1.2) for complex surfaces whose metric is either radial or complete and ALE. We end the paper by showing, by means of the Simanca metric, that the assumption of Ricci-flatness in Conjecture 1 and in Theorem 1.2 cannot be weakened to scalar-flatness (see Theorem 1.3).
Key words and phrases:
Kähler manifolds; TYZ asymptotic expansion; Ricci-flat metrics; projectively induced metrics
2010 Mathematics Subject Classification:
53C55; 58C25; 58F06
The first author was supported by Prin 2015 – Real and Complex Manifolds; Geometry, Topology and Harmonic Analysis – Italy, by INdAM. GNSAGA - Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni and also by GESTA - Funded by Fondazione di Sardegna and Regione Autonoma della Sardegna.
Contents
- 1 Introduction
- 2 Radial projectively induced metrics
- 3 Proof of Theorem 1.1
- 4 Proof of Theorem 1.2 and Theorem 1.3
1. Introduction
An interesting open question in Kähler geometry is concerned with the characterization of Kähler-Einstein projectively induced metrics. Here a Kähler metric on a complex manifold is said to be projectively induced if there exists a Kähler (isometric and holomorphic) immersion of into the complex projective space , , endowed with the Fubini–Study metric , namely the metric whose associated Kähler form is given in homogeneous coordinates by .
When is finite, the only known examples of complete Kähler-Einstein projectively induced metrics are compact and homogeneous and it is still an open problem to show that these are the only possibilities (see [11], [36], [19], [2], [3], [37]). Indeed one can prove (see, e.g. [12]) that, given a compact simply connected homogeneous Kähler (Einstein) manifold with integral Kähler form , then the Kodaira map suitably normalized is a Kähler immersion. One can see [12] that the assumptions of simply-connectedness and compactness of and the integrality of are necessary (this excludes for example the compact flat torus to be projectively induced). Moreover, if the Kähler form of a compact and simply-connected homogeneous Kähler manifold is integral then there exists a positive integer such that is projectively induced (see [37] for a proof based on semisimple Lie groups and Dynkin diagrams). This last assertion is valid also for noncompact simply-connected homogeneous Kähler (Einstein) manifolds by considering instead of the Kodaira map the coherent states map (coming from the theory of geometric quantization) and by allowing the ambient space to be infinite dimensional, namely by considering Kähler immersion into (see [25]). Nevertheless there exist complete and nonhomogeneous projectively induced Kähler-Einstein metrics on Cartan-Hartogs domains with negative (constant) scalar curvature (see [27]).
Notice that in the noncompact case, due for example to the fact that is always integral provided is contractible, the structure of the set of the positive real numbers for which is projectively induced is in general less trivial than in the compact case (where it is always discrete). For example, in the noncompact symmetric case one has the following (see also [26] for the more general case of bounded homogeneous domains):
Theorem A (Theorem 2 in [27]) Let be an irreducible bounded symmetric domain endowed with its Bergman metric . Then there exist a positive real number and an integer (both depending on ) such that admits an equivariant Kähler immersion into if and only if belongs to the set
[TABLE]
From this theorem it follows that the only irreducible bounded symmetric domain where is projectively induced for all is the complex hyperbolic space. More generally, for a homogeneous bounded domain we have that is projectively induced for all if and only if , where ([12], Theorem 4).
Inspired by these results, we give the following definition:
A Kähler metric is said to be stable-projectively induced if there exists such that is projectively induced for all . A Kähler metric is said to be unstable if it is not stable-projectively induced.
Obviously a Kähler metric on a compact complex manifold is always unstable and Theorem A shows that there exists metrics which are projectively induced and unstable and which become stable-projectively induced by multiplying them for a suitable constant. Notice also that the flat metric on the complex Euclidean space is stable-projectively induced by the map (see [7]). Consequently, many examples of stable-projectively induced metrics can be constructed on those complex manifolds which admit a holomorphic immersion into (e.g. Stein manifolds) by simply taking the restriction of the flat metric to .
For the case of Ricci-flat metrics, namely Kähler-Einstein metrics with Einstein constant zero, D. Hulin [20] proves that a compact Kähler-Einstein manifold Kähler immersed into has positive scalar curvature. This result implies for example that a Calabi-Yau manifold does not admit a Kähler immersion into . On the other hand there are many interesting examples of Ricci-flat metrics on noncompact complex manifolds, for example the celebrated Taub-NUT metric, defined as the family (constructed by C. Le Brun) of complete Kähler forms on given by , for , where and and are implicitly defined by , (notice that for one gets the flat metric on ). Then one can prove [30] that for there does not exist a Kähler immersion of into .
Thus, we believe the validity of the following conjecture:
Conjecture 1**.**
A Ricci-flat projectively induced metric is flat.
In this paper we verify Conjecture 1 under the assumptions that the metric involved is stable-projectively induced and restricting ourselves to radial Kähler metrics, i.e. those admitting a Kähler potential which depends only on the sum of the local coordinates’ moduli. Our first result is then the following:
Theorem 1.1**.**
The only Ricci-flat, stable-projectively induced and radial Kähler metric is the flat one.
Notice that without assuming the Ricci-flatness the thesis of the previous theorem does not hold. For example the radial non-flat Kähler metric on is stable-projectively induced being the pull-back of the flat metric on via the embedding .
The requirement that a Kähler metric is projectively induced is a somehow strong assumption. Thus it is natural to try to approximate a Kähler metric on a complex manifold with projectively induced ones. In the last two decades a lot of work has been done in this direction both in the noncompact and compact case. Roughly speaking, if the Kähler form associated to is integral, then for every positive integer one can construct a holomorphic map into an -dimensional () complex projective space such that
[TABLE]
More precisely, under suitable assumptions (automatically satisfied in the compact case) (see, e.g. [1]) there exists a smooth function on , depending on and on the metric , such that
[TABLE]
and admitting the so called Tian–Yau–Zelditch expansion (TYZ in the sequel)
[TABLE]
where and , are smooth functions on depending on the curvature and its covariant derivatives at of the metric (see [42] for details). In particular, Z. Lu [31] computed the first three coeffcients:
[TABLE]
where , , Ric denote respectively the scalar curvature, the curvature tensor and the Ricci tensor of , and we are using the following notations (in local coordinates ):
[TABLE]
where the ’s denote the entries of the inverse matrix of the metric (i.e. ), “ ,p” represents the covariant derivative in the direction and we are using the summation convention for repeated indices.
The reader is also referred to [23] and [24] for a recursive formula for the coefficients ’s and an alternative computation of for using Calabi’s diastasis function (see also [40] for a graph-theoretic interpretation of this recursive formula).
Due to Donaldson’s work (cfr. [13, 14, 1]) in the compact case and respectively to the theory of quantization in the noncompact case (see, e.g. [6, 9, 10]), it is natural to study metrics with the coefficients of the TYZ expansion being prescribed. In this regard Z. Lu and G. Tian [32] (see also [16] and [4] for the symmetric and homogenous case respectively) prove that the PDEs ( and a smooth function on ) are elliptic and that if the logterm of the Bergman and Szegö kernel of the unit disk bundle over vanishes then , for ( being the complex dimension of ). The study of these PDEs makes sense regardless of the existence of a TYZ expansion and so given any Kähler manifold it makes sense to call the ’s the coefficients associated to metric . In the noncompact case in [30] one can find a characterization of the flat metric as a Taub-Nut metric with while Feng and Tu [17] solve a conjecture formulated in [41] by showing that the complex hyperbolic space is the only Cartan-Hartogs domain where the coefficient is constant. In a recent paper [28] the first author together with M. Zedda prove that a locally hermitian symmetric space with vanishing and is flat.
In this paper we address the following:
Conjecture 2**.**
A Ricci-flat metric on an -dimensional complex manifold such that is flat.
In the following theorem, which represents our second result, we verify Conjecture 2 for (compact or noncompact) complex surfaces under the assumption that the metric is either ALE (Asymptotically Locally Euclidean) or radial.
Roughly speaking, an -dimensional complete Riemannian manifold is said to be ALE if there exists a compact subset such that is diffeomorphic to the quotient of (the ball of radius ) by a finite group , and such that the metric on this open subset tends to the flat euclidean metric at infinity. For the exact definition and construction of ALE Kähler metrics, which are interesting both from the mathematical and the physical point of view, the reader is referred to the foundational paper [22] (see also [5], [18], [34], [33]): in this paper we will need just the fact that the norm of the curvature tensor of such metrics vanishes at infinity.
Theorem 1.2**.**
Let be a Ricci-flat Kähler surface such that the third coefficient of the TYZ expansion vanishes. Assume that one of the following two conditions holds true:
* is complete and ALE (asymptotically locally Euclidean);*
- 2.
* is radial.*
Then is flat.
We end the paper by showing that the assumption of Ricci-flatness in Conjecture 1 and in Theorem 1.2 cannot be weakened to scalar-flatness. Indeed we prove the following:
Theorem 1.3**.**
The Simanca metric on the blown-up of at one point is an ALE complete radial projectively induced scalar flat (and not Ricci-flat) metric with vanishing .
The paper is organized as follows. In Section 2 we recall the definition and properties of Calabi’s diastasis function, which is the main tool for the proof of our results, and we apply Calabi’s theory to radial metrics defined on open domains of obtaining Lemma 2.2, a fundamental tool in this paper. Finally, Section 3 and 4 are dedicated to the proofs of Theorem 1.1 and Theorems 1.2 and 1.3 respectively.
2. Radial projectively induced metrics
In order to prove our theorems we need to recall the definition of Calabi’s diastasis function and some of its properties. Let be a Kähler manifold with a local Kähler potential , i.e. such that , where is the Kähler form associated to . A Kähler potential is not unique, but it is defined up to an addition of the real part of a holomorphic function. If (and hence ) is assumed to be real analytic, by duplicating the variables and , can be complex analytically continued to a function defined in a neighbourhood of the diagonal containing (here denotes the manifold conjugated to ).
Then the diastasis function for is defined to be the unique Kähler potential around given by
[TABLE]
By shrinking if necessary we can assume that is defined on .
As shown by the statement of the following lemma, the diastasis turns out to be an important tool to study projectively induced metrics.
Lemma 2.1** (Calabi [7]).**
Let be a Kähler manifold. There exists a neighborhood of a point that admits a Kähler immersion into , with , if and only if the metric is -resolvable at of rank at most . If is connected the -resolvability does not depend on the point chosen. Moreover, if is simply-connected and is -resolvable at a point then there exists a global Kähler immersion from into .
A Kähler metric with diastasis is -resolvable at of rank if the matrix , defined by considering the expansion around the point of the function , is positive semidefinite and its rank is . Here, denotes the monomial in variables and we arrange every -tuple of nonnegative integers as a sequence such that , for all positive integer and all the ’s with the same using lexicographic order.
In particular, we are going to study metrics which admit a Kähler potential that depends only on the sum of the local coordinates’ moduli defined on a domain that does not contain the origin. Namely, there exists , , such that
[TABLE]
where
[TABLE]
Unlike the case in which the origin is contained in the domain of definition of the diastasis, the matrix is not diagonal, so it is more difficult to apply Lemma 2.1 (see, e.g. [29] for the case on which the origin is contained). The following lemma is the key ingredient for the proof of our results.
Lemma 2.2**.**
Let and , with , , be a point of the complex domain on which is defined a radial metric with radial Kähler potential and corresponding diastasis . Let defined by (4) and, for , let given by:
[TABLE]
Assume that the entries of the following infinite matrix
[TABLE]
are positive when evaluated in . Then the metric is -resolvable at of infinite rank.
Proof.
Let , let and let be the diastasis function. We observe that if then
[TABLE]
In fact, by definition of diastasis, is the the sum of the Kähler potential , the constant and the real part of a holomorphic function which depends only on and which is equal to if evaluated in . Therefore
[TABLE]
where . From which we can deduce obviously (7) and also
[TABLE]
Now, notice that in order to check if a metric is -resolvable, we are free to change the above arrangement of the multiindices ’s, because this has just the effect to apply the same permutation to both rows and columns of the matrix B_{i,j}=\frac{1}{m_{i}!m_{j}!}\frac{\partial^{|m_{i}|+|m_{j}|}(e^{D_{p}(z)}-1)}{\partial z^{m_{i}}\partial\overline{z}^{m_{j}}}\big{|}_{p} defined by the expansion around the point of the function , and then yields a similar matrix, which is positive definite if and only if the original one is. In particular, let us change the ordering of the ’s as follows: , , .
With this order, the square submatrix of relative to multi-indices such that assumes the following form
[TABLE]
where is the square matrix relative to multi-indices such that or and , while is the matrix relative to multi-indices such that and . Indeed, if and , then because, if not, we would have ; similarly we clearly have provided and . This, by (7), explains the null blocks in (10). Moreover, it follows again by (7), combined with the fact that , and imply , that is diagonal (and the entries on the diagonal are described by (9)) Now, if every matrix is positive definite, namely if for every positive integer the matrix is positive definite and the entries of are positive, the metric examined is -resolvable at of infinite rank.
Since we obtain the entries of by multiplying for a positive constant, these are positive for every integer if and only if the entries of the first row () of the matrix (6), given by , are positive.
Now we consider the matrix and we change again the order of the ’s as follows: , if and precedes with respect to the lexicographical order or if and then . Then, after the corresponding rows and columns exchanges on and by using (7) we obtain a block matrix of the following form:
[TABLE]
where are square matrices whose main diagonal belongs to the main diagonal of the whole matrix and, for the same reason, are themselves block matrices of the same type. By (8), each block of is equal to
[TABLE]
multiplied by a positive constant. Therefore, by using Sylvester’s criterion, if the entries from the second row onwards of the matrix (6) are positive, is positive definite for every integer . ∎
Corollary 2.3**.**
Under the same assumptions of Lemma 2.2, if there exists and such that the function given by (5) is negative, namely , then the metric is not projectively induced.
Proof.
If follows by combining Lemma 2.1, Lemma 2.2 and the observation that the entries of the first row of the matrix (6) are given by , . ∎
3. Proof of Theorem 1.1
In order to prove Theorem 1.1 we need the following (well-known) classification of the potentials of radial Ricci-flat metrics (cfr. [8]).
Lemma 3.1**.**
Let be a complex domain of equipped with a radial Kähler Ricci-flat metric . Then there esist and such that the function defined by (4) has the following expression
[TABLE]
Proof.
The Kähler form associated to reads as:
[TABLE]
Sinces Ricci-flat its Ricci form vanishes, namely
[TABLE]
where
[TABLE]
Thus, one easily sees that
[TABLE]
If we denote , equation (12) is equivalent to the following equations
[TABLE]
This yields , i.e.
[TABLE]
for some constant .
Setting and , we get
[TABLE]
which rewrites as the following linear O.D.E. in
[TABLE]
Therefore, one finds
[TABLE]
that is
[TABLE]
and then the general solution is
[TABLE]
which is equivalent to (11) after a change of variables. ∎
Remark 3.2**.**
It is known that the metrics corresponding to the Kähler potentials (11) are non-complete and non-flat except in the case of the Euclidean metric ().
Proof of Theorem 1.1.
Let us denote by the Kähler form corresponding to the potential (11) with , namely
[TABLE]
where
[TABLE]
Notice that is flat either for or . We will show that for we have the following:
- (a)
is not projectively induced for any ;
- (b)
is not projectively induced for any .
Then the proof of Theorem 1.1 will follow by the very definition of stable-projectively induced metric.
A simple computation shows that the function (namely (5) for ) for the potential is given by:
[TABLE]
Hence, one has and the proof of (a) follows by Corollary 2.3.
In order to prove (b) we first show by induction that the function for the potential is given by:
[TABLE]
where and . This statement is trivially true for , because it is equal to . The functions can be defined recursively as
[TABLE]
where . Hence
[TABLE]
with
[TABLE]
and (16) is proved. Therefore, if
[TABLE]
where denotes the integral part of . Thus, Corollary 2.3 implies (b) and this concludes the proof of the theorem. ∎
Notice that we are able to extend the proof of (b) also for some fixed integer values of with a case by case analysis. For example when one obtains the following table which expresses , for suitable values of , depending on the dimension of the domain, for :
[TABLE]
Moreover, for any , we have:
[TABLE]
which is seen to be negative for . We believe (in accordance with Conjecture 1) that is not projectively induced for all integer values of even if we are not able to provide a general proof.
Notice that for and one can explicitly express a Kähler potential for the Kähler metric on , namely
[TABLE]
If denotes the blow-up of at the origin and denotes the exceptional divisor one can prove (see [15]) that there exists a complete Ricci-flat and ALE Kähler metric on whose restriction to has Kähler potential given by (17). This metric is known in the literature as the Eguchi–Hanson metric and denoted here by .
Therefore as a byproduct of our analysis one gets the following:
Corollary 3.3**.**
The Eguchi–Hanson metric is not projectively induced.
Remark 3.4**.**
Notice that if one will be able to prove that is not projectively induced for all (in accordance with our conjecture), this will provide an example of Ricci-flat and complete Kähler metric which does not admit a Kähler immersion into any finite or infinite dimensional complex space form (the reader is referred to [29] for details related to this issue).
4. Proof of Theorem 1.2 and Theorem 1.3
Proof of Theorem 1.2.
By (2) the assumption implies . By a celebrated result of Yau [39] (being complete) does not admit a nonconstant positive harmonic function. Hence is constant. Being an ALE metric and so the metric is forced to be flat. This proves 1.
In order to prove 2. it is enough to show that the vanishing of the term for the Kähler metric associated to the Kähler form given by (14) implies is flat, i.e. either or . Since
[TABLE]
one easily sees that the non-vanishing components of the curvature tensor of the metric at are:
\begin{array}[]{l}R_{1\bar{1}1\bar{1}}=2f_{\epsilon}^{\prime\prime}+4f_{\epsilon}^{\prime\prime\prime}|z_{1}|^{2}+f_{\epsilon}^{\prime\prime\prime\prime}|z_{1}|^{4}-\frac{1}{(f_{\epsilon}^{\prime}+f_{\epsilon}^{\prime\prime}|z_{1}|^{2})}(2f_{\epsilon}^{\prime\prime}+f_{\epsilon}^{\prime\prime\prime}|z_{1}|^{2})^{2}|z_{1}|^{2},\\ R_{1\bar{1}i\bar{i}}=f_{\epsilon}^{\prime\prime}+f_{\epsilon}^{\prime\prime\prime}|z_{1}|^{2}-\frac{1}{f_{\epsilon}^{\prime}}(f_{\epsilon}^{\prime\prime})^{2}|z_{1}|^{2},\\ R_{i\bar{i}i\bar{i}}=2R_{i\bar{i}j\bar{j}}=2f_{\epsilon}^{\prime\prime},\end{array}
where and .
Therefore, after a straightforward but long computation, taking into account the curvature tensors symmetries and the invariance of under unitary transformations, we get
[TABLE]
Since
[TABLE]
this yields (by Ricci-flatness)
[TABLE]
which vanishes either for or . ∎
In order to prove Theorem 1.3 we recall the definition of Simanca’s metric.
Let be the blow-up of at the origin and denote by the exceptional divisor. Let be the standard coordinates of . In [35] Simanca constructs a scalar flat Kähler complete (not Ricci-flat) metric on , whose Kähler potential on can be written as
[TABLE]
Proof of Theorem 1.3.
The holomorphic map
[TABLE]
given by
[TABLE]
is a Kähler immersion from into , where denotes the restriction of the Simanca metric to . Indeed
[TABLE]
Since is simply-connected it follows by Lemma 2.1 that extends to a Kähler immersion from into . It remains to show that .
By (2) and (3) and taking into account that and hence (see [28, Example 1]) one gets:
[TABLE]
[TABLE]
Since is invariant under unitary transformations, we only need to compute in . By (19) we have
[TABLE]
so that, for ,
[TABLE]
Combining this with (18) we deduce that the unique components different from zero when evaluated at are:
\begin{array}[]{l}R_{1\bar{1}1\bar{1}}=2\Phi_{S}^{\prime\prime}+4\Phi_{S}^{\prime\prime\prime}|z_{1}|^{2}+\Phi_{S}^{\prime\prime\prime\prime}|z_{1}|^{4}-\frac{1}{(\Phi_{S}^{\prime}+\Phi_{S}^{\prime\prime}|z_{1}|^{2})}(2\Phi_{S}^{\prime\prime}+\Phi_{S}^{\prime\prime\prime}|z_{1}|^{2})^{2}|z_{1}|^{2}=0\\ R_{1\bar{1}2\bar{2}}=\Phi_{S}^{\prime\prime}+\Phi_{S}^{\prime\prime\prime}|z_{1}|^{2}-\frac{1}{\Phi_{S}^{\prime}}(\Phi_{S}^{\prime\prime})^{2}|z_{1}|^{2}=\frac{1}{|z_{1}|^{2}(|z_{1}|^{2}+1)}\\ R_{2\bar{2}2\bar{2}}=2\Phi_{S}^{\prime\prime}=-\frac{2}{|z_{1}|^{4}}\end{array}
By recalling that one gets:
[TABLE]
By definition , where are Christoffel’s symbols, given by .
A straightforward computation gives that the unique first covariant derivatives different from zero are
\begin{array}[]{l}Ric_{1\bar{1},1}=\frac{2}{(|z_{1}|^{2}+1)^{3}}\bar{z}_{1}\\ Ric_{2\bar{2},1}=Ric_{1\bar{2},2}=-\frac{2}{|z_{1}|^{2}(|z_{1}|^{2}+1)^{2}}\bar{z}_{1}\end{array}
Finally, we compute only the following second covariant derivatives (by definition ).
\begin{array}[]{l}Ric_{1\bar{1},2\bar{2}}=Ric_{2\bar{1},1\bar{2}}=\frac{4(4|z_{1}|^{2}-1)}{|z_{1}|^{2}(|z_{1}|^{2}+1)^{6}}-\frac{1}{|z_{1}|^{2}(|z_{1}|^{2}+1)^{3}}\\ Ric_{2\bar{2},1\bar{1}}=Ric_{1\bar{2},2\bar{1}}=\frac{4(4|z_{1}|^{2}-1)}{|z_{1}|^{2}(|z_{1}|^{2}+1)^{6}}+\frac{1}{|z_{1}|^{2}(|z_{1}|^{2}+1)^{3}}\\ Ric_{2\bar{2},2\bar{2}}=-\frac{4}{|z_{1}|^{2}(|z_{1}|^{2}+1)^{2}}\end{array}
Substituting in (4), after a long but straightforward computation one gets , and we are done. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] C. Arezzo, A. Loi, Moment maps, scalar curvature and quantization of Kähler manifolds , Comm. Math. Phys. 243 (2004), 543-559.
- 2[2] C. Arezzo, A. Loi, A note on Kähler-Einstein metrics and Boechner coordinates , Abh. Math. Sem. Univ. Hamburg 74 (2004), 49-55.
- 3[3] C. Arezzo, A. Loi, F. Zuddas, On homothetic balanced metrics , Ann. Glob. Anal. Geom. (2012) 41, 473-491.
- 4[4] C. Arezzo, A. Loi, F. Zuddas, Szegö kernel, regular quantizations and spherical CR-structures , Math. Z. (2013) 275, 1207-1216.
- 5[5] S. Bando, A. Kasue, H. Nakajima, On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth , Invent. math. 97 (1989), 313-349.
- 6[6] F. A. Berezin, Quantization , Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), 1116–1175 (Russian).
- 7[7] E. Calabi, Isometric Imbedding of Complex Manifolds , Ann. of Math. 58 (1953), 1–23.
- 8[8] E. Calabi, A construction of nonhomogeneous Einstein metrics , Proceedings of Symposia in Pure Mathematics, Vol. 27 (1975), 18–24.
