K3曲面
数学において、K3曲面 () とは、不正則数が で、自明な標準バンドルを持っているという複素解析的、もしくは代数的な滑らかな最小完備曲面をいう。
エンリケス・小平の曲面の分類では、それらは小平次元がゼロの曲面の 4つのクラスのうちの一つである。
K3曲面は、複素トーラスとともに 2次元のカラビ・ヤウ多様体である。ほとんどの複素K3曲面は代数的ではない。このことは、K3曲面を多項式により定義される曲面として射影空間へ埋め込むことができないことを意味する。K3曲面はラマヌジャンが1910年代に発見したが未発表に終わり、後に が再発見して、3人の代数幾何学者（クンマー、ケーラー、小平邦彦）と当時未踏峰だったK2に因みK3曲面と名付けた。
K3曲面の特徴づけに使える同値な性質は多数存在する。完備で滑らかな自明な標準バンドルを持つ曲面は、K3曲面と複素トーラス（もしくはアーベル多様体）なので、そこに何かしら後者を除外する条件を付け加えればK3曲面の定義になる。複素数上で曲面が単連結であるという条件が時として使われる。
定義にはいくつかの流儀があり、一部の研究者は射影曲面に限定しており、また (Du Val singularities)を持つ曲面を認める場合もある。
上の定義と同値であるが、K3曲面 は自明な標準バンドル を持ち、不正則数 である曲面として定義することができる。したがって から への自明な写像が存在し、formula_1 である。
セール双対性より
となる。これと組み合わせると、オイラー標数
である。
一方、リーマン・ロッホの定理（ネターの公式）より、
であり、ここに、 は 番目のチャーン類とする。 は自明であるから、第一チャーン類 である。オイラー数 は第二チャーン類 に等しいので、 を得る。したがって、, である。
1. 全ての複素K3曲面は、互いに微分同相である（小平邦彦が最初に証明した）。
2. K3曲面の -番目のホッジ数は、具体的によく知られている。ホッジダイアモンドは、
3. K3曲面の formula_5 上に、このことは格子構造を定義し、K3格子と呼ばれる。これは次のセクションに記述する。
上記のK3曲面の性質のおかげで、現在、代数幾何だけではなく、カッツ・ムーディ代数、ミラー対称性や弦理論で広く研究されている。特に、格子構造は、その上にネロン・セヴィリ群の構造をもつモジュラ性をもたらす。
マーク付き（点の付いた）の複素K3曲面の荒いモジュライ空間が存在し、複素次元 20 の非ハウスドルフ的な滑らかな空間となる。複素K3曲面に対しては、周期写像が存在し、が成り立つ。
M が K3曲面 と H(S,R) のケーラー類のペアであれば、M は自然な方法で、60次元の実解析多様体となる。M から空間 KΩ への精密化された周期写像で、同型となるものが存在する。周期の空間は次のように明確に記述できる。
をK3曲面上のラインバンドルとすると、一次系の中の曲線は種数 となる。ここに、 である。このようなラインバンドル を持つK3曲面を種数 のK3曲面という。K3曲面は、 の異なる値に対し、 種数 のK3曲面への写像を持つ多くのラインバンドルがあるかもしれない。ラインバンドルの切断の空間は 次元なので、 次元の射影空間へのK3曲面からの射が存在する。 である豊富なバンドル を持つK3曲面のモジュライ空間 が存在し、この空間は次元が に対し 19 次元で空集合ではない。 は、 であればモジュライ空間 は単有理的であることを示し、 は、 であれば、モジュライ空間が一般型であることを示した。 はこの分野のサーベイである。
K3曲面は、のほとんどの箇所に現れ、重要なツールを提供する。弦のコンパクト化に対して、K3曲面は、自明な空間ではないが、詳細な性質のほぼ全部を解明できる空間である。タイプ IIA 弦、タイプ IIB 弦、E × E ヘテロ弦、Spin(32)/Z2 ヘテロ弦、および M-理論は、K3曲面上のコンパクト化により関連付けらることができる。例えば、K3曲面上へコンパクト化されたタイプ IIA 弦は、4-トーラス上へコンパクト化されたヘテロ弦に等価である。