K3曲面

数学において、K3曲面 (英: K3 surface) とは、不正則数が 0 で、自明な標準バンドルを持っているという複素解析的、もしくは代数的な滑らかな最小完備曲面をいう。

エンリケス・小平の曲面の分類では、それらは小平次元がゼロの曲面の4つのクラスのうちの一つである。

K3曲面は、複素トーラスとともに2次元のカラビ・ヤウ多様体である。ほとんどの複素K3曲面は代数的ではない。このことは、K3曲面を多項式により定義される曲面として射影空間へ埋め込むことができないことを意味する。K3曲面はラマヌジャンが1910年代に発見したが未発表に終わり、後に Weil (1958) が再発見して、3人の代数幾何学者︵クンマー、ケーラー、小平邦彦︶と当時未踏峰だったK2に因みK3曲面と名付けた。

「	Dans la seconde partie de mon rapport, il s'agit des variétés kählériennes dites K3, ainsi nommées en l'honneur de Kummer, Kähler, Kodaira et de la belle montagne K2 au Cachemire	」
—André Weil (1958, p.546)の「K3曲面」という名前の理由について引用

定義

K3曲面の特徴づけに使える同値な性質は多数存在する。完備で滑らかな自明な標準バンドルを持つ曲面は、K3曲面と複素トーラス︵もしくはアーベル多様体︶なので、そこに何かしら後者を除外する条件を付け加えればK3曲面の定義になる。複素数上で曲面が単連結であるという条件が時として使われる。

定義にはいくつかの流儀があり、一部の研究者は射影曲面に限定しており、またデュヴァル特異点 (Du Val singularities)を持つ曲面を認める場合もある。

ベッチ数の計算

上の定義と同値であるが、K3曲面 Sは自明な標準バンドル K_S= 0 を持ち、不正則数 q= 0 である曲面として定義することができる。したがって Sから P¹への自明な写像が存在し、$q=h^{0,1}=\operatorname {dim} H^{1}(S,{\mathcal {O}}_{S})=0$$q=h^{0,1}=\operatorname {dim} H^{1}(S,{\mathcal {O}}_{S})=0$ である。

セール双対性より

$h^{2}(S,{\mathcal {O}}_{S})=h^{0}(S,K_{S})=1.$$h^{2}(S,{\mathcal {O}}_{S})=h^{0}(S,K_{S})=1.$
となる。これと組み合わせると、オイラー標数

$\chi (S,{\mathcal {O}}_{S}):=\sum _{i}(-1)^{i}h^{i}(S,{\mathcal {O}}_{S})=2$$\chi (S,{\mathcal {O}}_{S}):=\sum _{i}(-1)^{i}h^{i}(S,{\mathcal {O}}_{S})=2$
である。

一方、リーマン・ロッホの定理︵ネターの公式︶より、

${\displaystyle \chi (S,{\mathcal {O}}_{S})={\frac {1}{12}}(c_{1}($S)^{2}+c_{2}(S))} $\chi (S,{\mathcal {O}}_{S})={\frac {1}{12}}(c_{1}(S)^{2}+c_{2}(S))$
であり、ここに、c_i は i番目のチャーン類とする。K_S は自明であるから、第一チャーン類 c₁= 0 である。オイラー数 e(S) は第二チャーン類 c₂(S) に等しいので、e(S) = 24 を得る。したがって、b₁ = 0, b₂= 22 である。

性質

1. 全ての複素K3曲面は、互いに微分同相である︵小平邦彦が最初に証明した︶。

Siu (1983) は、全ての複素K3曲面がケーラー多様体であることを示した。このケーラー多様体であるという事実と、カラビ予想のヤウによる解の結果として、K3曲面はリッチ平坦な計量を持つ。

2. K3曲面の (p,q)-番目のホッジ数は、具体的によく知られている。ホッジダイアモンドは、

		1
	0		0
1		20		1
	0		0
		1

となる。

3. K3曲面の $H^{2}(S,\mathbb {Z} )$$H^{2}(S,\mathbb {Z} )$上に、このことは格子構造を定義し、K3格子と呼ばれる。これは次のセクションに記述する。

上記のK3曲面の性質のおかげで、現在、代数幾何だけではなく、カッツ・ムーディ代数、ミラー対称性や弦理論で広く研究されている。特に、格子構造は、その上にネロン・セヴィリ群の構造をもつモジュラ性をもたらす。

周期写像

マーク付き︵点の付いた︶の複素K3曲面の荒いモジュライ空間が存在し、複素次元20の非ハウスドルフ的な滑らかな空間となる。複素K3曲面に対しては、周期写像が存在し、トレリの定理が成り立つ。

Mが K3曲面 SとH^1,1(S,R) のケーラー類のペアであれば、Mは自然な方法で、60次元の実解析多様体となる。Mから空間 KΩ⁰ への精密化された周期写像で、同型となるものが存在する。周期の空間は次のように明確に記述できる。

●Lは偶のユニモジュラ格子II_3,19 である

●Ω はエルミート対称空間であり、(ω, ω) = 0, (ω, ω^*) > 0 である元 ω で表現されるような複素射影空間 L⊗C の元から構成される

●KΩ は (κ, E(ω)) = 0, (κ, κ) > 0 を満たす (L⊗R, Ω) の組 (κ, [ω]) の集合である

●KΩ⁰ は (d, d) = −2 である Lの全ての dに対して (κd) ≠ 0 を満たす KΩ の元 (κ, [ω]) の集合である

射影的K3曲面

L をK3曲面上のラインバンドルとすると、一次系の中の曲線は種数 gとなる。ここに、c₁²(L) = 2g − 2 である。このようなラインバンドル Lを持つK3曲面を種数 gのK3曲面という。K3曲面は、g の異なる値に対し、 種数 gのK3曲面への写像を持つ多くのラインバンドルがあるかもしれない。ラインバンドルの切断の空間は g+ 1次元なので、g 次元の射影空間へのK3曲面からの射が存在する。c₁²(L) = 2g − 2 である豊富なバンドル Lを持つK3曲面のモジュライ空間 F_gが存在し、この空間は次元が g≥ 2 に対し19次元で空集合ではない。Mukai (2006) は、g ≤ 13 であればモジュライ空間 F_gは単有理的であることを示し、V. A. Gritsenko, Klaus Hulek, and G. K. Sankaran (2007) は、g ≥ 63 であれば、モジュライ空間が一般型であることを示した。Voisin (2008) はこの分野のサーベイである。

弦双対性との関係

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

例

●非特異な次数6の曲線に沿って分岐した射影平面の二重被覆は、種数2のK3曲面である。

●クンマー曲面(Kummer surface)は、2次元のアーベル多様体Aの作用 a→ −a による商である。この結果は、Aの 2-トーションの点で16個の特異点を持つという結果になる。この商の最小特異点解消(minimal resolution)は、種数3のK3曲面である。

●P³ の中の次数4の非特異曲面は、種数3のK3曲面である。

●P⁴ の中の2次と3次の交叉は、種数4のK3曲面である。

●P⁵ の中の3つの2次の交叉は、種数5のK3曲面である。

●Brown (2007) にK3曲面の計算機によるデータベースが掲載されている。

関連項目

●超特異K3曲面

●代数曲面の分類

●アンブラルムーンシャイン K3曲面とマチュー群 M24の奇妙な関係。

脚注

参考文献

●Ono, Ken; Trebat-Leder, Sarah (2016-10-17), “The 1729 K3 surface”, Research in Number Theory (Springer), https://resnumtheor.springeropen.com/articles/10.1007/s40993-016-0058-2 2017年4月18日閲覧。 

●Ono, Ken; Trebat-Leder, Sarah (2017-02-10), “Erratum to: The 1729 K3 surface”, Research in Number Theory (Springer), https://resnumtheor.springeropen.com/articles/10.1007/s40993-017-0076-8 2017年4月18日閲覧。 

●Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), Compact Complex Surfaces, Berlin: Springer, ISBN 3-540-00832-2 

●Beauville, Arnaud (1983), “Surfaces K3”, Bourbaki seminar, Vol. 1982/83 Exp 609, Astérisque, 105, Paris: Société Mathématique de France, pp. 217–229, MR728990, http://www.numdam.org/item?id=SB_1982-1983__25__217_0 

●Beauville, A.; Bourguignon, J.-P.; Demazure, M. (1985), Géométrie des surfaces K3: modules et périodes, Séminaires Palaiseau, Astérisque, 126, Paris: Société Mathématique de France, MR785216 

●Brown, Gavin (2007), “A database of polarized K3 surfaces”, Experimental Mathematics 16 (1): 7–20, doi:10.1080/10586458.2007.10128983, MR2312974, http://projecteuclid.org/euclid.em/1175789798 

●Burns, Dan; Rapoport, Michael (1975), “On the Torelli problem for kählerian K-3 surfaces”, Annales Scientifiques de l'École Normale Supérieure. Quatrième Série 8 (2): 235–273, MR0447635, http://www.numdam.org/item?id=ASENS_1975_4_8_2_235_0 

●Dolgachev, Igor V.; Kondo, Shigeyuki (2007), “Moduli of K3 surfaces and complex ball quotients”, in Rolf-Peter Holzapfel, A. Muhammed Uludağ and Masaaki Yoshida, Arithmetic and geometry around hypergeometric functions, Progr. Math., 260, Basel, Boston, Berlin: Birkhäuser, pp. 43–100, arXiv:math/0511051, Bibcode: 2005math.....11051D, ISBN 978-3-7643-8283-4, MR2306149 

●Gritsenko, V. A.; Hulek, Klaus; Sankaran, G. K. (2007), “The Kodaira dimension of the moduli of K3 surfaces”, Inventiones Mathematicae 169 (3): 519–567, arXiv:math/0607339, Bibcode: 2007InMat.169..519G, doi:10.1007/s00222-007-0054-1, MR2336040 

●Mukai, Shigeru (2006), “Polarized K3 surfaces of genus thirteen”, Moduli spaces and arithmetic geometry, Adv. Stud. Pure Math., 45, Tokyo: Math. Soc. Japan, pp. 315–326, MR2310254 

●Rudakov, A.N. (2001), “K3 surface”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=K3-surface 

●Pjateckiĭ-Šapiro, I. I.; Šafarevič, I. R. (1971), “Torelli's theorem for algebraic surfaces of type K3”, Math Ussr Izv, 5 (3): 547–588, Bibcode: 1971IzMat...5..547P, doi:10.1070/IM1971v005n03ABEH001075, MR0284440 

●Siu, Y. T. (1983), “Every K3 surface is Kähler”, Inventiones Mathematicae 73 (1): 139–150, Bibcode: 1983InMat..73..139S, doi:10.1007/BF01393829, MR707352 

●Voisin, Claire (2008), “Géométrie des espaces de modules de courbes et de surfaces K3 (d'après Gritsenko-Hulek-Sankaran, Farkas-Popa, Mukai, Verra, et al.)”, Astérisque, Séminaire Bourbaki. 2006/2007. Exp 981 (317): 467–490, ISBN 978-2-85629-253-2, MR2487743, http://www.math.polytechnique.fr/~voisin/Articlesweb/Exp.981.C.Voisin.pdf 

●Weil, André (1958), “Final report on contract AF 18(603)-57”, Scientific works. Collected papers, II, Berlin, New York: Springer-Verlag, pp. 390–395, 545–547, ISBN 978-0-387-90330-9, MR537935 

●Aspinwall, Paul (1996). "K3 Surfaces and String Duality". arXiv:hep-th/9611137。

外部リンク

●Graded Ring Database homepage for a catalog of K3 surfaces

●The Geometry of K3 surfaces, by David Morrison

●K3 database for the Magma computer algebra system