MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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!

share|cite|improve this question
up vote 17 down vote accepted

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.

share|cite|improve this answer
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? – Italo Oct 28 '12 at 12:37
@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 (Does elliptic regularity guarantee analytic solutions?). – Robert Bryant Oct 28 '12 at 13:10
Thank you very much for the answer and the references! – Italo Oct 28 '12 at 13:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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