K3曲面
原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。 (2015年2月 )
数学 において、K3曲面 (英 : K3 surface ) とは、不正則数 が 0 で、自明な標準バンドル を持っているという複素解析的、もしくは代数的な滑らかな最小完備曲面をいう。
エンリケス・小平の曲面の分類 では、それらは小平次元 がゼロの曲面の 4つのクラスのうちの一つである。
K3曲面は、複素トーラス とともに 2次元のカラビ・ヤウ多様体 である。ほとんどの複素K3曲面は代数的ではない。このことは、K3曲面を多項式により定義される曲面として射影空間へ埋め込むことができないことを意味する。K3曲面はラマヌジャン が1910年代に発見したが未発表に終わり[1] [2] 、後に 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)[3] を持つ曲面を認める場合もある。
ベッチ数の計算
上の定義と同値であるが、K3曲面 S は自明な標準バンドル KS = 0 を持ち、不正則数 q = 0 である曲面として定義することができる。したがって S から P 1 への自明な写像が存在し、
q
=
h
0
,
1
=
dim
-->
H
1
(
S
,
O
S
)
=
0
{\displaystyle q=h^{0,1}=\operatorname {dim} H^{1}(S,{\mathcal {O}}_{S})=0}
である。
セール双対性 より
h
2
(
S
,
O
S
)
=
h
0
(
S
,
K
S
)
=
1.
{\displaystyle h^{2}(S,{\mathcal {O}}_{S})=h^{0}(S,K_{S})=1.}
となる。これと組み合わせると、オイラー標数
χ χ -->
(
S
,
O
S
)
:=
∑ ∑ -->
i
(
− − -->
1
)
i
h
i
(
S
,
O
S
)
=
2
{\displaystyle \chi (S,{\mathcal {O}}_{S}):=\sum _{i}(-1)^{i}h^{i}(S,{\mathcal {O}}_{S})=2}
である。
一方、リーマン・ロッホの定理(ネターの公式) より、
χ χ -->
(
S
,
O
S
)
=
1
12
(
c
1
(
S
)
2
+
c
2
(
S
)
)
{\displaystyle \chi (S,{\mathcal {O}}_{S})={\frac {1}{12}}(c_{1}(S)^{2}+c_{2}(S))}
であり、ここに、ci は i 番目のチャーン類 とする。KS は自明であるから、第一チャーン類 c 1 = 0 である。オイラー数 e (S ) は第二チャーン類 c2 (S ) に等しいので、e (S ) = 24 を得る。したがって、b 1 = 0 , b 2 = 22 である。
性質
1. 全ての複素K3曲面は、互いに微分同相 である(小平邦彦 が最初に証明した)。
Siu (1983) は、全ての複素K3曲面がケーラー多様体 であることを示した。このケーラー多様体であるという事実と、カラビ予想 のヤウによる解の結果として、K3曲面はリッチ平坦 な計量を持つ。
2. K3曲面の (p ,q ) -番目のホッジ数は、具体的によく知られている。ホッジダイアモンド は、
となる。
3. K3曲面の
H
2
(
S
,
Z
)
{\displaystyle H^{2}(S,\mathbb {Z} )}
上に、このことは格子構造を定義し、K3格子 と呼ばれる。これは次のセクションに記述する。
上記のK3曲面の性質のおかげで、現在、代数幾何だけではなく、カッツ・ムーディ代数 、ミラー対称性 や弦理論 で広く研究されている。特に、格子構造は、その上にネロン・セヴィリ群 の構造をもつモジュラ性をもたらす。
周期写像
マーク付き(点の付いた)の複素K3曲面の荒いモジュライ空間 が存在し、複素次元 20 の非ハウスドルフ的な滑らかな空間となる。複素K3曲面に対しては、周期写像 が存在し、トレリの定理 (英語版 ) が成り立つ。
M が K3曲面 S と H1,1 (S,R ) のケーラー類のペアであれば、M は自然な方法で、60次元の実解析多様体となる。M から空間 KΩ0 への精密化された周期写像で、同型となるものが存在する。周期の空間は次のように明確に記述できる。
L は偶のユニモジュラ格子 (英語版 ) II3,19 である
Ω はエルミート対称空間 (英語版 ) であり、(ω, ω) = 0 , (ω, ω* ) > 0 である元 ω で表現されるような複素射影空間 L⊗C の元から構成される
KΩ は (κ, E(ω)) = 0 , (κ, κ) > 0 を満たす (L⊗R , Ω) の組 (κ, [ω]) の集合である
KΩ0 は (d , d ) = −2 である L の全ての d に対して (κd ) ≠ 0 を満たす KΩ の元 (κ, [ω]) の集合である
射影的K3曲面
L をK3曲面上のラインバンドルとすると、一次系の中の曲線は種数 g となる。ここに、c 1 2 (L ) = 2g − 2 である。このようなラインバンドル L を持つK3曲面を種数 g のK3曲面という。K3曲面は、g の異なる値に対し、 種数 g のK3曲面への写像を持つ多くのラインバンドルがあるかもしれない。ラインバンドルの切断の空間は g + 1 次元なので、g 次元の射影空間へのK3曲面からの射が存在する。c 1 2 (L ) = 2g − 2 である豊富なバンドル L を持つK3曲面のモジュライ空間 Fg が存在し、この空間は次元が g ≥ 2 に対し 19 次元で空集合ではない。Mukai (2006) は、g ≤ 13 であればモジュライ空間 Fg は単有理的であることを示し、V. A. Gritsenko, Klaus Hulek, and G. K. Sankaran (2007 ) は、g ≥ 63 であれば、モジュライ空間が一般型 であることを示した。Voisin (2008) はこの分野のサーベイである。
弦双対性との関係
K3曲面は、弦双対性 (英語版 ) のほとんどの箇所に現れ、重要なツールを提供する。弦のコンパクト化 に対して、K3曲面は、自明な空間ではないが、詳細な性質のほぼ全部を解明できる空間である。タイプ IIA 弦、タイプ IIB 弦、E8 × E8 ヘテロ弦、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曲面である。
P3 の中の次数 4 の非特異曲面は、種数 3 のK3曲面である。
P4 の中の 2次と 3次の交叉は、種数 4 のK3曲面である。
P5 の中の 3つの 2次の交叉は、種数 5 のK3曲面である。
Brown (2007) にK3曲面の計算機によるデータベースが掲載されている。
関連項目
脚注
参考文献
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, MR 728990 , 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 , MR 785216
Brown, Gavin (2007), “A database of polarized K3 surfaces” , Experimental Mathematics 16 (1): 7–20, doi :10.1080/10586458.2007.10128983 , MR 2312974 , 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, MR 0447635 , 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 , MR 2306149
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 , MR 2336040
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, MR 2310254
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 , MR 0284440
Siu, Y. T. (1983), “Every K3 surface is Kähler”, Inventiones Mathematicae 73 (1): 139–150, Bibcode : 1983InMat..73..139S , doi :10.1007/BF01393829 , MR 707352
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 , MR 2487743 , 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 , MR 537935
Aspinwall, Paul (1996). "K3 Surfaces and String Duality". arXiv :hep-th/9611137 。
外部リンク