Hi to all!

Perhaps it is a silly question, if so i'll delete this post. Suppose we have a compact Kahler manifold $(M,g)$ of complex dimension $m$ with constant scalar curvature with respect to its metric $g$. My question is: does the condition of constant scalar curvature imply that the metric $g$ automatically real analytic? When i say that the metric is real analytic i mean that in a holomorphic coordinate chart with coordinate functions

$$(z^1,\ldots, z^m)\quad \textrm{ with } z^j=x^j+iy^j \textrm{ for }1\leq j\leq m$$

the coefficients $(g_{i\bar{j}})_{1\leq i,j\leq m}$ are analytic functions w.r.t. $x^k,y^k$.

Thank you in advance!


1 Answer 1


It's not a silly question, but there's a standard answer, and it's a purely local result: If the Kähler metric is $C^2$ and has constant scalar curvature, then it is real-analytic with respect to the real-analytic structure that underlies the complex-analytic structure. The reason is that setting the scalar curvature equal to a constant is an elliptic equation for the potential of the metric that is an analytic function of its arguments in the local real-analytic coordinates that you define, and so the elliptic regularity results of Hopf and Morrey apply.

  • $\begingroup$ Thank you for the answer! My doubt is this: if have a $C^{2}$ metric i can set the equation for constant scalar curvature on a small coordinate chart and i get an elliptic (nonlinear) equation of fourth order on the potential of the metric. By elliptic regularity i have that the solution is $C^{\infty}$ but how can i conclude that the solution of this equation is analytic? $\endgroup$
    – Italo
    Oct 28, 2012 at 12:37
  • $\begingroup$ @Italo: The reason is that the equation itself is a real analytic function of its arguments, which implies that any smooth solution is real-analytic. I believe that the original version of this for a single equation for one unknown (which is true in your case) is due to E. Hopf, but this was generalized to systems in a classic work by C. B. Morrey (American Jour. of Math., v. 80, 1958). You can also consult the references in mathoverflow.net/questions/33614 (Does elliptic regularity guarantee analytic solutions?). $\endgroup$ Oct 28, 2012 at 13:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.