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


I have two questions where I do not really know how to deal with them. Let $(M,J,g)$ be a Kähler manifold, where $g$ is the Riemannian metric and denote by $\omega(\cdot , \cdot) = g(J \cdot , \cdot)$ the Kähler form. How can one show:

  1. If $\pi_{1}(M)=0$ and $Ric(g)=0$ then the canonical bundle $K_{M} := \Lambda^{(n,0)}M$ is trivial.

  2. If $Ric(g)=0$ and $K_{M}$ is trivial then $Hol(g) \subseteq SU(n)$.

I have no idea and I also dont find any proof. Do you know any reference where I can find these? Thanks


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

The answer to the first question is that the Ricci tensor defines a (1,1) form (called the Ricci form) and this is the curvature of the connection on $K_M$ induced by the Levi-Civita connection on $T M$. So if the manifold is Ricci-flat, $K_M$ is flat and hence if $M$ is simply-connected it is trivial. Flatness says the restricted holonomy group acts trivially, simply-connectedness says the holonomy group coincides with the restricted holonomy group.

The answer to the second question is that the holonomy representation on $K_M$ is the determinant of the holonomy representation on the holomorphic tangent bundle $T^{(1,0)}M$. Hence if $K_M$ is trivial, the determinant representation is trivial: the holonomy around any loop has determinant $1$. Since the manifold is Kähler, the holonomy representation is in $U(n) \subset SO(2n)$, whence the unit determinant condition says it is actually in $SU(n) \subset SO(2n)$.

This ought to be explained in Besse or in Joyce, to mention but two books. I don't have them handy, since I'm travelling, so cannot be more precise as to where in the books to find them.


I found a copy of Besse's Einstein Manifolds. You may wish to look at Chapter 2F in that book for the answer to the first question and in Chapter 10 (especially 10.28-10.30) for the answer to the second question.

share|cite|improve this answer

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.