K3 surface
= 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.