K3 曲面(K3 Surface)

一个 K3 曲面是一个维数为 $2$ 的卡拉比丘簇，并且它的皮卡簇是 $0$ 维的。或者说，它是一个具有平凡典范丛 $\omega_X = \bigwedge^2 \Omega_X = \calO_X$ 并且 $H^1(X,\calO_X) = 0$ 的复代数曲面。