An -dimensional Calabi-Yau variety is an -dimensional Kähler manifold with (holomorphically, rather than topologically) trivial canonical bundle. This is equivalent to saying that it is real Riemannian manifold of even dimension which has special holonomy in the subgroup .
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 .
|G-structure||special holonomy||dimension||preserved differential form|
|Kähler manifold||U(k)||Kähler forms|
|G2 manifold||G2||associative 3-form|
|Spin(7) manifold||Spin(7)||8||Cayley form|