A K3 surfaces is a compact connected complex 2-dimensional manifold $X$ with $\omega_X\cong\mathcal O_X$ and $H^1(X,\mathcal O_X)=0$.