8

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!

Michael Albanese
  • 18,817
Italo
  • 1,697

1 Answers1

18

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.

Robert Bryant
  • 106,220
  • 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 http://mathoverflow.net/questions/33614 (Does elliptic regularity guarantee analytic solutions?). – Robert Bryant Oct 28 '12 at 13:10