K3 surface (source code)

= K3 surface
{c}
{wiki}

A K3 surface is a smooth projective surface with trivial <canonical bundle> and $H^1(X,\mathcal O_X)=0$. Over the complex numbers it is equivalently a simply connected compact complex surface with a nowhere-vanishing holomorphic two-form.