K3曲面
K3曲面は、弦双対性(英語版)のほとんどの箇所に現れ、重要なツールを提供する。弦のコンパクト化に対して、K3曲面は、自明な空間ではないが、詳細な性質のほぼ全部を解明できる空間である。タイプ IIA 弦、タイプ IIB 弦、E8 × E8 ヘテロ弦、Spin(32)/Z2 ヘテロ弦、および M-理論は、K3曲面上のコンパクト化により関連付けらることができる。例えば、K3曲面上へコンパクト化されたタイプ IIA 弦は、4-トーラス上へコンパクト化されたヘテロ弦に等価である。Aspinwall (1996)