It seems to me that there are two definition of Ricci flatness; real and complex ones. The real Ricci flatness claims vanishing of Ricci curvature. To define complex Ricci flatness, one needs to introduce so called the Ricci form for a Kahler manifold $(X,g)$ defined by $$ Ric(\omega)=-i\partial \overline{\partial}\log\det(g_{i,\overline{j}}), $$ where $g=(g_{i,\overline{j}})$ is a Kahler metric. A Kahler manifold$(X,g)$ is called Ricci flat if $Ric(\omega)$ vanishes.

I wonder if the complex one coincides with real one for a Kahler manifold $(X,g)$. How Ricci curvature and Ricci form are related?

  • 5
    $\begingroup$ They're the same thing. You should work it out yourself. When you do it for the first time, it's rather involved and confusing but sorting out all the details is for me an important step when learning the subject. $\endgroup$ – Deane Yang Oct 25 '12 at 0:52
  • $\begingroup$ I see. Thanks for the information; I will try to prove. $\endgroup$ – Pooya Oct 25 '12 at 3:26

The whole point is that if the metric is Kähler, then the Chern connection coincides with the complexification of Levi-Civita connection of the riemanian metric on the underlying real manifold given by the real part of the Kähler hermitian metric.

Moreover, this happens if and only if the starting metric is Kähler (and is indeed my favorite definition of Kähler metric).

So, let me give you a hint.

If $\omega$ is any hermitian metric on $X$, then $\det\omega$ is the induced metric on $\det T_X$ (this line bundle is usually referred as to the anticanonical bundle $K_X^{*}$). The Chern curvature $\Theta$ of this metric is given by $$ i\Theta(K_X^*,\det\omega)=-i\partial\bar\partial\log\det\omega. $$ Now, in general, the Chern curvature (with respect to the induced hermitian metric) of the determinant $\det E$ of a hermitian holomorphic vector bundle $(E,h)$ is given by the trace of the Chern curvature of $E$: $$ i\Theta(\det E,\det h)=i\operatorname{Tr}\Theta(E,h). $$ Therefore, $$ -i\partial\bar\partial\log\det\omega=i\operatorname{Tr}\Theta(T_X,\omega). $$ But $\Theta(T_X,\omega)$ is the complexification of the curvature $R^{LC}$ of the Levi-Civita connection of $X$ $\nabla^{LC}_{X,\Re\omega}$ with respect to $\Re\omega$, where $\Re\omega$ is the induced riemannian metric on the underlying real manifold.

Finally, by definition, the Ricci curvature of $(X,\Re\omega)$ is the trace of $R^{LC}$.

There is a small missing point in my sketchy argument: the riemannian Ricci curvature is a symmetric $2$-controvariant tensor, while the Ricci form is a closed real $(1,1)$-form. You have to show that in fact the riemannian Ricci curvature of (the real part of) a Kähler metric is invariant with respect to the complex structure $J$, then you apply the $1-1$ correspondence between real $(1,1)$-forms and symmetric $J$-invariant $2$-controvariant tensors.

  • $\begingroup$ just a comment that al the mathematician think this formula of Ricci form is from Hodge but it is from student of Cartan, Mohsen Hashtroodi $\endgroup$ – user21574 Apr 27 '17 at 4:38

If you only have an almost complex manifold with a compatible metric i.e. an almost Hermitian manifold $(M,g,J)$ then you can define the Ricci form globally by $$\rho(X,Y):=Ric(JX,Y).$$ And vanishing of $Ric$, $\rho$ are equivalent. You don't need your manifold to be complex or Kähler.


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.