14
$\begingroup$

I believe that I once saw a statement that every compact, smooth Calabi-Yau manifold in dimension at least 3 is algebraic, but I can remember neither the reference nor the proof (which would have been quite short) and I might just be confusing this with something else. Is it true?

$\endgroup$

1 Answer 1

15
$\begingroup$

It depends a little bit on your definition of CY. If you're using a good one, it will imply that the Hodge numbers $h^{0,p} = 0$ for $p \neq 0,d$ (see, for example, Prop. 5.3 of Joyce's http://arxiv.org/abs/math/0108088). This implies that $H^2(X) \cong H^{1,1}(X)$. Since the Kaehler cone is an open set in $H^{1,1}(X)$, it contains an rational class, and we can scale that to be an integral class. So, by Kodaira and Chow, we're done.

$\endgroup$
3
  • $\begingroup$ Yes, that's what I was looking for, thanks! (That may even be the original reference I was thinking of.) $\endgroup$ Commented Jul 5, 2010 at 16:23
  • 1
    $\begingroup$ Well, in Joyce's paper he uses the vanishing Ricci curvature definition of Calabi-Yau. This is the same as saying that a power of the canonical bundle is trivial. The more typical (I guess) definition of Calabi-Yau is trivial canonical bundle. So if we use the more typical definition, this is still true. $\endgroup$ Commented Oct 12, 2010 at 21:29
  • 2
    $\begingroup$ It's not true in either of those cases. Take the example of T^2 cross a non-algebraic K3 surface. Joyce requires that the holonomy group equals SU(N) and isn't a lower rank subgroup. $\endgroup$ Commented Oct 13, 2010 at 2:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .