K3曲面
数学において、K3曲面 () とは、不正則数が で、自明な標準バンドルを持っているという複素解析的、もしくは代数的な滑らかな最小完備曲面をいう。
エンリケス・小平の曲面の分類では、それらは小平次元がゼロの曲面の 4つのクラスのうちの一つである。
K3曲面は、複素トーラスとともに 2次元のカラビ・ヤウ多様体である。ほとんどの複素K3曲面は代数的ではない。このことは、K3曲面を多項式により定義される曲面として射影空間へ埋め込むことができないことを意味する。K3曲面はラマヌジャンが1910年代に発見したが未発表に終わり、後に が再発見して、3人の代数幾何学者（クンマー、ケーラー、小平邦彦）と当時未踏峰だったK2に因みK3曲面と名付けた。