In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity zero. An K3 surface over any field means a smooth proper geometrically connected algebraic... Wikipedia