An -dimensional Calabi-Yau variety is an -dimensional Kähler manifold with (holomorphically, rather than topologically) trivial canonical bundle. This is equivalent to say that it is an even dimensional real Riemannian manifold of dimension whose holonomy is in the subgroup .
For compact Kähler manifolds, Yau's theorem? (also known as the Calabi conjecture?) implies that the above conditions are also equivalent to the vanishing of the first Chern class.
Is it also true for non-compact?
Note that implies in general that the canonical bundle is topologically trivial. But if is a compact Kähler manifold, implies further that the canonical bundle is holomorphically trivial.
The language used in this article is implicitly analytic, rather than algebraic. Is this OK? Or should I make this explicit?
A Calabi-Yau variety can be described algebraically as a smooth proper variety of dimension over a field (not necessarily algebraically closed and not necessarily of characteristic ) in which and also for all .
If the base field is , then one can form the analyticification of and obtain a compact manifold that satisfies the first given definition.
classification of special holonomy manifolds by Berger's theorem: