K3 곡면

대수기하학과 미분기하학에서 K3 곡면(K3曲面, 영어: K3 surface)은 원환면이 아닌 2차원 칼라비-야우 다양체이다. K3 곡면은 복소수체 위의 비특이 대수 곡면 가운데, 표준 선다발이 자명하며 2차원 아벨 다양체가 아닌 것이다. 복소수체가 아닌 다른 체에 대해서도 K3 곡면을 정의할 수 있다. K3 곡면 X {\displaystyle X} 위에 복소수 선다발 L {\displaystyle L} 이 주어졌다고 하자. 그렇다면 이 선다발에 대응하는 인자는 대수 곡선으로서 종수 g {\displaystyle g} 가 다음과 같다. c 1 ( L ) 2 = 2 g − 2 {\displaystyle c_{1}(L)^{2}=2g-2} 여기서 c 1 ( L ) {\displaystyle c_{1}(L)} 은 L {\displaystyle L} 의 천 특성류이다. 이와 같이, 종수 g {\displaystyle g} 의 선다발을 갖춘 K3 곡면 ( X , L ) {\displaystyle (X,L)} 을 종수 g {\displaystyle g} 의 K3 곡면이라고 한다. 미분기하학에서, 콤팩트 단일 연결 복소수 2차원 칼라비-야우 다양체를 K3 다양체(영어: K3 manifold)라고 한다. 모든 K3 곡면(에 대응되는 켈러 다양체)은 K3 다양체이다. 반대로, 일부 K3 다양체는 (고다이라 매장 정리 따위로 인하여) 복소수체 위의 대수 곡선을 이루지만, 일반적 K3 다양체는 복소수 대수다양체가 아니다. 복소수체에서, 모든 K3 곡면(또는 K3 다양체)은 서로 미분 동형이다. 즉, 복소수 K3 곡면은 4차원 매끄러운 다양체로서 유일하다. 복소수 K3 곡면의 정수 계수를 가진 특이 호몰로지는 꼬임(torsion)을 갖지 않는다. K3 곡면의 교차 형식은 다음과 같다. Intersection ⁡ ( K3 ) = 2 ( − E 8 ) ⊕ 3 H {\displaystyle \operatorname {Intersection} (\operatorname {K3} )=2(-E_{8})\oplus 3H} H = ( 0 1 1 0 ) {\displaystyle H={\begin{pmatrix}0&1\\1&0\end{pmatrix}}} E 8 = ( 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 1 2 1 1 2 1 2 ) {\displaystyle E_{8}={\begin{pmatrix}2&1\\1&2&1\\&1&2&1\\&&1&2&1\\&&&1&2&1&&1\\&&&&1&2&1\\&&&&&1&2&\\&&&&1&&&2&\\\end{pmatrix}}} E 8 {\displaystyle E_{8}} 은 단순 리 군 E8의 근계 격자인 유니모듈러 격자이다. 이에 따라, K3 곡면의 베티 수는 다음과 같다. b 0 ( K3 ) = 1 {\displaystyle b_{0}(\operatorname {K3} )=1} b 1 ( K3 ) = 0 {\displaystyle b_{1}(\operatorname {K3} )=0} b 2 + ( K3 ) = 3 {\displaystyle b_{2}^{+}(\operatorname {K3} )=3} b 2 − ( K3 ) = 8 ⋅ 2 + 3 = 19 {\displaystyle b_{2}^{-}(\operatorname {K3} )=8\cdot 2+3=19} b 3 ( K3 ) = 0 {\displaystyle b_{3}(\operatorname {K3} )=0} b 4 ( K3 ) = 1 {\displaystyle b_{4}(\operatorname {K3} )=1} K3 곡면의 호모토피 군은 다음과 같다.:Theorem A π 0 ( K3 ) = 0 {\displaystyle \pi _{0}(\operatorname {K3} )=0} π 1 ( K3 ) = 0 {\displaystyle \pi _{1}(\operatorname {K3} )=0} π 2 ( K3 ) = Z 22 {\displaystyle \pi _{2}(\operatorname {K3} )=\mathbb {Z} ^{22}} π 3 ( K3 ) = Z 252 {\displaystyle \pi _{3}(\operatorname {K3} )=\mathbb {Z} ^{252}} π 4 ( K3 ) = Z 3520 ⊕ ( Z / 2 ) 42 {\displaystyle \pi _{4}(\operatorname {K3} )=\mathbb {Z} ^{3520}\oplus (\mathbb {Z} /2)^{42}} π k ( K3 ) = π k ( # 21 ⁡ ( S 2 × S 3 ) ) ( k ≥ 3 ) {\displaystyle \pi _{k}(\operatorname {K3} )=\pi _{k}\left(\operatorname {\#} ^{21}(\mathbb {S} ^{2}\times \mathbb {S} ^{3})\right)\qquad (k\geq 3)} 일반적 K3 다양체는 대수 곡선이 아니며, 정칙 곡선은 상수 함수밖에 존재하지 않는다. 따라서, K3 곡면의 양자 코호몰로지는 특이 코호몰로지와 일치한다.:348, Example 8.4 복소수 K3 곡면은 칼라비-야우 다양체이며, 원환면이 아닌 유일한 복소 2차원 (실수 4차원) 콤팩트 칼라비-야우 다양체이다. SU(2)=USp(2)이므로, K3 곡면은 초켈러 다양체이다. K3 곡면은 고다이라 차원이 0이며, 그 호지 수는 다음과 같다. K3 다양체는 57개의 복소구조 모듈라이와 1개의 켈러 모듈라이를 가진다. 여기서 57=3×19개의 복소구조 모듈라이는 다음과 같이 해석할 수 있다. K3 곡면의 2차 베티 수는 22인데, 그 중 3개는 호지 쌍대에 대하여 고윳값이 +1인 2차 조화 형식으로, 19개는 고윳값이 −1인 2차 조화 형식으로 나타낼 수 있다. 복소구조 모듈라이의 변화는 2차 코호몰로지 동치류들 사이의 선형 변환으로 나타낼 수 있으므로, 복소구조 모듈라이 공간은 대략 동차 공간 SO(3,19)/(SO(19)×SO(3)) 의 꼴로 나타낼 수 있다. 이 동차 공간의 차원은 19×3이다. 좀 더 정확히 말하면, K3의 복소구조 모듈라이 공간은 다음과 같은 오비폴드다. SO(3,19;ℤ)\SO(3,19)/(SO(19)×SO(3)) K3의 유일한 켈러 모듈라이는 K3의 크기를 나타낸다. 즉, K3의 총 모듈라이 공간은 ℝ+×(SO(3,19;ℤ)\SO(3,19)/(SO(19)×SO(3))) 이다. 다음과 같은 사영 대수다양체들은 K3 곡면을 이룬다. 3차원 복소수 사영 공간 속의 4차 곡면. 이 경우, 사영 공간으로부터 유도되는 선다발의 종수는 3이다. 4차원 복소수 사영 공간에서, 2차 초곡면과 3차 초곡면의 교집합. 이 경우, 사영 공간으로부터 유도되는 선다발의 종수는 4이다. 5차원 복소수 사영 공간에서, 세 개의 2차 초곡면들의 교집합. 이 경우, 사영 공간으로부터 유도되는 선다발의 종수는 5이다. 이 밖에도, 다음과 같이 K3 곡면을 얻을 수 있다. 사영 평면 C P 2 {\displaystyle \mathbb {CP} ^{2}} 속의 비특이 6차 대수 곡선 C ⊂ C P 2 {\displaystyle C\subset \mathbb {CP} ^{2}} 을 따라 두 겹 피복 공간을 취하면, K3 곡면을 얻는다. 이 경우, 사영 평면으로부터 유도되는 선다발의 종수는 2이다. 2차원 아벨 다양체 A {\displaystyle A} 에서, a ↦ − a {\displaystyle a\mapsto -a} 에 대한 몫공간을 취한 것을 쿠머 곡면(영어: Kummer surface)이라고 한다. 쿠머 곡면의 최소 분해(영어: minimal resolution)는 K3 곡면을 이룬다. K3 곡면은 비교적 다루기 쉬운 칼라비-야우 다양체이므로, 끈 이론을 축소화할 때 쓰인다. K3에 축소화한 끈 이론에는 다음과 같은 이중성들이 존재한다. (타원 다발 구조를 갖춘) K3에 축소화한 F이론 = T2에 축소화한 잡종 끈 이론 K3에 축소화한 M이론 = T3에 축소화한 잡종 끈 이론 K3에 축소화한 ⅡA종 끈 이론 = T4에 축소화한 잡종 끈 이론 K3×S1에 축소화한 ⅡB종 끈 이론 = T5에 축소화한 잡종 끈 이론 특히, K3 곡면의 모듈러스들을 M이론-잡종 끈 이론 이중성을 사용하여 해석할 수 있다. SO(n,16+n,ℤ)\SO(n,16+n)/(SO(n)×SO(16+n)는 Tn에 축소화한 잡종 끈 이론의 모듈라이이다. (이는 잡종 끈 이론의 보손 정의(영어: bosonic construction)에서 사용하는 격자의 모듈라이다.) 켈러 모듈러스는 잡종 끈 이론의 딜라톤에 해당한다. 앙드레 베유가 1958년에 명명하였다.:546 베유는 "K3"라는 이름을 다음과 같이 설명하였다. 보고서 제2부에서는 이런 켈러 다양체를 "K3"라고 부르겠다. 이는 쿠머 · 켈러 · 고다이라와 카슈미르의 아름다운 K2 산을 기리기 위한 것이다. 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. 여기서 에른스트 쿠머와 에리히 켈러, 고다이라 구니히코는 모두 이름의 머릿글자가 "K"인 세 명의 유명한 대수기하학자들이다. 테이트 추측 Huybrechts, D. “Lectures on K3 surfaces” (PDF).  Basu, Samik; Basu, Somnath (2015). “Homotopy groups and periodic geodesics of closed 4-manifolds”. 《International Journal of Mathematics》 (영어) 26 (8): 1550059. arXiv:1303.3328. doi:10.1142/S0129167X15500597.  Ruan, Yongbin; Tian, Gang (1995년 9월). “A mathematical theory of quantum cohomology”. 《Journal of Differential Geometry》 (영어) 42 (2): 259–367. MR 1366548. Zbl 0860.58005.  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. Zbl 557.32004.  Aspinwall, Paul S. (1996). “K3 surfaces and string duality” (영어). arXiv:hep-th/9611137. Bibcode:1996hep.th...11137A.  Weil, André (1958). 〈Final report on contract AF 18(603)-57〉. 《Scientific works. Collected papers》 (프랑스어) II. Berlin, New York: Springer-Verlag. 390–395, 545–547쪽. ISBN 978-0-387-90330-9. MR 537935.  Dolgachev, Igor V.; Kondō, Shigeyuki (2007). 〈Moduli spaces of K3 surfaces and complex ball quotients〉. 《Arithmetic and Geometry Around Hypergeometric Functions. Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005》. Progress in Mathematics 260. Basel: Birkhäuser. 43–100쪽. arXiv:math/0511051. Bibcode:2005math.....11051D. doi:10.1007/978-3-7643-8284-1_3. MR 2306149. Zbl 1124.14032.  Laza, Radu; Schütt, Matthias; Yui, Noriko (2013년 5월). 《Arithmetic and geometry of K3 surfaces and Calabi–Yau threefolds》. Fields Institute Communications (영어) 67. Springer. doi:10.1007/978-1-4614-6403-7. ISBN 978-1-4614-6402-0. ISSN 1069-5265.  Gritsenko, V.; Hulek, K.; Sankaran, G.K. (2011). “Moduli of K3 surfaces and irreducible symplectic manifolds” (영어). arXiv:1012.4155. Bibcode:2010arXiv1012.4155G.  Dolgachev, Igor V. (1995). “Mirror symmetry for lattice polarized K3 surfaces” (영어). arXiv:alg-geom/9502005. Bibcode:1995alg.geom..2005D.  Rudakov, A.N. (2001). “K3-surface”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. ISBN 978-1-55608-010-4.  “K3 surface”. 《nLab》 (영어).  “K3-spectrum”. 《nLab》 (영어).  “Duality between F-theory and heterotic string theory”. 《nLab》 (영어).  “What are the higher homotopy groups of a K3 suface?” (영어). Math Overflow.  “Mirror symmetry for hyperkahler manifold” (영어). Math Overflow.