호몰로지 거울 대칭
호몰로지 거울 대칭(영어: Homological mirror symmetry)은 거울 대칭 가설을 공식화하는 하나의 방법이다. 막심 콘체비치가 제안하였다. 거울 대칭의 예시들이 많이 알려졌으나, 정확히 어느 범위에 해당하는 대상들이 어떤 방식으로 거울 대칭이란 성질을 가지는지 명료화 될 필요가 있다. 호몰로지 거울 대칭은 SYZ 추측과 함께 거울 대칭 가설의 주요 공식화 중 하나이다.
역사
1994년 취리히에서 열린 국제 수학자 회의에서 Kontsevich (1994) 한 쌍의 칼라비-야우 다양체 와 에 대한 거울 대칭이 의 대수 기하학으로부터 구성된 삼각 분할 범주(의 연접층의 유도 범주)와 의 심플렉틱 기하학으로 구성된 또 다른 삼각 분할 범주(유도된 후카야 범주)의 동치로 설명될 수 있다고 추측했다.
에드워드 위튼은 원래 N=(2,2) 초대칭 장 이론을 A 및 B 모델 위상 끈 이론이라고 부르는 위상수학적 왜곡으로 설명했다. 이러한 모델은 리만 곡면에서 고정된 목표(보통 칼라비-야우 다양체)로의 사상과 관련된다. 거울 대칭에 대한 대부분의 수학적 예측은 의 A-모델과 거울 의 B-모델의 물리적 동등성에 내재되어 있다. 리만 곡면에 빈 경계가 있으면 닫힌 끈의 세계면를 나타낸다. 열린 끈의 경우를 다루려면 초대칭을 보존하기 위한 경계 조건을 도입해야 한다. A-모델에서 이러한 경계 조건은 몇 가지 추가 구조(흔히 막 구조라고 함)가 있는 의 라그랑주 부분 다양체 형태로 나타난다. B-모델에서 경계 조건은 정칙(또는 대수) 벡터 다발이 있는 의 정칙 부분 다양체 또는 부분 대수 다형체 형태로 제공된다. 이들은 관련 범주를 구축하는 데 사용하는 대상이고 종종 각각 A막과 B막으로 불린다. 범주의 사상은 두 막 사이에 뻗어 있는 열린 끈의 질량 없는 스펙트럼에 의해 제공된다.
프린스턴 고등연구소 수학부는 2016년부터 호몰로지 거울 대칭에 1년을 바쳤다. 참가자 중에는 MIT의 Paul Seidel, IHÉS의 막심 콘체비치, 캘리포니아 대학교 버클리의 Denis Auroux가 있었다.[1]
예
수학자들은 몇 가지 예에서만 추측을 확인할 수 있었다. 콘세비치는 세미나 연설에서 세타 함수를 사용하여 타원곡선의 경우 추측이 증명될 수 있다고 언급했다. 이 경로를 따라 알렉산더 Polishchuk과 에릭 자슬로는 타원 곡선에 대한 추측 버전의 증거를 제공했다. 후카야 켄지는 아벨 다형체에 대한 추측의 요소를 확립할 수 있었다. 나중에 콘세비치와 얀 소이벨만은 SYZ 추측의 아이디어를 사용하여 아핀 다양체 위에 있는 비특이 원환면 다발에 대한 대부분의 추측에 대한 증명을 했다. 2003년에 Paul Seidel은 사차 대수 곡면의 경우에 대한 추측을 증명했다. 2002년에 Hausel & Thaddeus (2002) 히친 계와 랑글랜즈 쌍대성의 맥락에서 SYZ 추측을 설명했다.
호지 다이아몬드
조화 -미분 형식(동일하게 코호몰로지, 즉, 완전 형식을 법으로 닫힌 형식) 공간의 차원 는 일반적으로 호지 다이아몬드라 불리는 다이아몬드 형태로 배열된다. 이러한 -베티 수는 프리드리히 히르체브루흐가 설명한 생성 함수를 사용하여 완전 교차에 대해 계산될 수 있다.[2][3][4] 예를 들어 3차원의 경우 호지 다이아몬드의 p 와 q 범위는 0에서 3까지이다.
거울 대칭은 원래 다양체에 대한 차 미분 형식 의 차원을 원래 다양체의 거울 대칭 쌍을 이루는 다른 다양체에 대한 로 변환한다. 즉, 모든 칼라비-야우 다양체의 경우 호지 다이아몬드는 만큼 회전에 대하여 불변이며 거울 칼라비-야우 다양체의 호지 다이아몬드는 만큼 회전하여 관련된다.
1차원 칼라비-야우 다양체로 볼 수 있는 타원 곡선의 경우 호지 다이아몬드는 특히 간단하다. 다음 그림과 같다.

2차원 칼라비-야우 다양체로 볼 수 있는 K3 곡면의 경우 배티 수는 이므로 호지 다이아몬드는 다음 그림과 같다.
일반적으로 칼라비-야우 다양체라고 불리는 3차원 사례에서는 아주 흥미로운 일이 발생한다. 때로는 대각선을 따라 서로 대칭인 호지 다이아몬드를 갖는 거울 쌍( 과 ) 이 있다.
과 는 끈 이론의 A-모델과 B-모델에 해당한다. 거울 대칭은 호몰로지 차원뿐만 아니라 거울 쌍의 심플렉틱 구조와 복소 구조도 대체한다. 이것이 호몰로지 거울 대칭의 기원이다.
1990~1991년에 Candelas 외. 1991은 열거 대수 기하학뿐만 아니라 넓은 범위에 영향을 미쳤고 Kontsevich (1994)에게 동기 부여가 되었다. 본 논문의 2개의 오차 삼중체의 거울 쌍에는 다음과 같은 호지 다이아몬드가 있다.

같이 보기
각주
- ↑ IAS school of mathematics: Special Year on Homological Mirror Symmetry
- ↑ “Hodge diamond of complete intersections”. 《math.stackexchange.com》. 2017년 3월 6일에 확인함.
- ↑ “Cohomology tables for complete intersections”. 《pbelmans.ncag.info》. 2017년 3월 6일에 확인함.
- ↑ Nicolaescu, Liviu. “Hodge Numbers of Complete Intersections” (PDF).
- Candelas, Philip; de la Ossa, Xenia C.; Green, Paul S.; Parkes, Linda (1991). “A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory”. 《Nuclear Physics B》 359 (1): 21–74. Bibcode:1991NuPhB.359...21C. doi:10.1016/0550-3213(91)90292-6. MR 1115626.
- Kontsevich, Maxim (1994). “Homological algebra of mirror symmetry”. arXiv:alg-geom/9411018.
- Kontsevich, Maxim; Soibelman, Yan (2000). “Homological Mirror Symmetry and torus fibrations”. arXiv:math.SG/0011041.
- Seidel, Paul (2003). “Homological mirror symmetry for the quartic surface”. arXiv:math.SG/0310414.
- Hausel, Tamas; Thaddeus, Michael (2002). “Mirror symmetry, Langlands duality, and the Hitchin system”. 《Inventiones Mathematicae》 153 (1): 197–229. arXiv:math.DG/0205236. Bibcode:2003InMat.153..197H. doi:10.1007/s00222-003-0286-7. S2CID 11948225.
- 영어 표기를 포함한 문서
- 잘못된 파일 링크가 포함된 문서
- 위키데이터 속성 P18을 사용하는 문서
- 위키데이터 속성 P41을 사용하는 문서
- 위키데이터 속성 P94를 사용하는 문서
- 위키데이터 속성 P117을 사용하는 문서
- 위키데이터 속성 P154를 사용하는 문서
- 위키데이터 속성 P213을 사용하는 문서
- 위키데이터 속성 P227을 사용하는 문서
- 위키데이터 속성 P242를 사용하는 문서
- 위키데이터 속성 P244를 사용하는 문서
- 위키데이터 속성 P245를 사용하는 문서
- 위키데이터 속성 P268을 사용하는 문서
- 위키데이터 속성 P269를 사용하는 문서
- 위키데이터 속성 P271을 사용하는 문서
- 위키데이터 속성 P347을 사용하는 문서
- 위키데이터 속성 P349를 사용하는 문서
- 위키데이터 속성 P350을 사용하는 문서
- 위키데이터 속성 P373을 사용하는 문서
- 위키데이터 속성 P380을 사용하는 문서
- 위키데이터 속성 P396을 사용하는 문서
- 위키데이터 속성 P409를 사용하는 문서
- 위키데이터 속성 P428을 사용하는 문서
- 위키데이터 속성 P434를 사용하는 문서
- 위키데이터 속성 P435를 사용하는 문서
- 위키데이터 속성 P436을 사용하는 문서
- 위키데이터 속성 P454를 사용하는 문서
- 위키데이터 속성 P496을 사용하는 문서
- 위키데이터 속성 P549를 사용하는 문서
- 위키데이터 속성 P650을 사용하는 문서
- 위키데이터 속성 P651을 사용하는 문서
- 위키데이터 속성 P691을 사용하는 문서
- 위키데이터 속성 P716을 사용하는 문서
- 위키데이터 속성 P781을 사용하는 문서
- 위키데이터 속성 P791을 사용하는 문서
- 위키데이터 속성 P864를 사용하는 문서
- 위키데이터 속성 P865를 사용하는 문서
- 위키데이터 속성 P886을 사용하는 문서
- 위키데이터 속성 P902를 사용하는 문서
- 위키데이터 속성 P906을 사용하는 문서
- 위키데이터 속성 P947을 사용하는 문서
- 위키데이터 속성 P950을 사용하는 문서
- 위키데이터 속성 P966을 사용하는 문서
- 위키데이터 속성 P982를 사용하는 문서
- 위키데이터 속성 P1003을 사용하는 문서
- 위키데이터 속성 P1004를 사용하는 문서
- 위키데이터 속성 P1005를 사용하는 문서
- 위키데이터 속성 P1006을 사용하는 문서
- 위키데이터 속성 P1015를 사용하는 문서
- 위키데이터 속성 P1045를 사용하는 문서
- 위키데이터 속성 P1048을 사용하는 문서
- 위키데이터 속성 P1053을 사용하는 문서
- 위키데이터 속성 P1146을 사용하는 문서
- 위키데이터 속성 P1153을 사용하는 문서
- 위키데이터 속성 P1157을 사용하는 문서
- 위키데이터 속성 P1186을 사용하는 문서
- 위키데이터 속성 P1225를 사용하는 문서
- 위키데이터 속성 P1248을 사용하는 문서
- 위키데이터 속성 P1273을 사용하는 문서
- 위키데이터 속성 P1315를 사용하는 문서
- 위키데이터 속성 P1323을 사용하는 문서
- 위키데이터 속성 P1330을 사용하는 문서
- 위키데이터 속성 P1362를 사용하는 문서
- 위키데이터 속성 P1368을 사용하는 문서
- 위키데이터 속성 P1375를 사용하는 문서
- 위키데이터 속성 P1407을 사용하는 문서
- 위키데이터 속성 P1556을 사용하는 문서
- 위키데이터 속성 P1584를 사용하는 문서
- 위키데이터 속성 P1695를 사용하는 문서
- 위키데이터 속성 P1707을 사용하는 문서
- 위키데이터 속성 P1736을 사용하는 문서
- 위키데이터 속성 P1886을 사용하는 문서
- 위키데이터 속성 P1890을 사용하는 문서
- 위키데이터 속성 P1907을 사용하는 문서
- 위키데이터 속성 P1908을 사용하는 문서
- 위키데이터 속성 P1960을 사용하는 문서
- 위키데이터 속성 P1986을 사용하는 문서
- 위키데이터 속성 P2041을 사용하는 문서
- 위키데이터 속성 P2163을 사용하는 문서
- 위키데이터 속성 P2174를 사용하는 문서
- 위키데이터 속성 P2268을 사용하는 문서
- 위키데이터 속성 P2349를 사용하는 문서
- 위키데이터 속성 P2418을 사용하는 문서
- 위키데이터 속성 P2456을 사용하는 문서
- 위키데이터 속성 P2484를 사용하는 문서
- 위키데이터 속성 P2558을 사용하는 문서
- 위키데이터 속성 P2750을 사용하는 문서
- 위키데이터 속성 P2980을 사용하는 문서
- 위키데이터 속성 P3223을 사용하는 문서
- 위키데이터 속성 P3233을 사용하는 문서
- 위키데이터 속성 P3348을 사용하는 문서
- 위키데이터 속성 P3372를 사용하는 문서
- 위키데이터 속성 P3407을 사용하는 문서
- 위키데이터 속성 P3430을 사용하는 문서
- 위키데이터 속성 P3544를 사용하는 문서
- 위키데이터 속성 P3562를 사용하는 문서
- 위키데이터 속성 P3563을 사용하는 문서
- 위키데이터 속성 P3601을 사용하는 문서
- 위키데이터 속성 P3723을 사용하는 문서
- 위키데이터 속성 P3788을 사용하는 문서
- 위키데이터 속성 P3829를 사용하는 문서
- 위키데이터 속성 P3863을 사용하는 문서
- 위키데이터 속성 P3920을 사용하는 문서
- 위키데이터 속성 P3993을 사용하는 문서
- 위키데이터 속성 P4038을 사용하는 문서
- 위키데이터 속성 P4055를 사용하는 문서
- 위키데이터 속성 P4114를 사용하는 문서
- 위키데이터 속성 P4143을 사용하는 문서
- 위키데이터 속성 P4186을 사용하는 문서
- 위키데이터 속성 P4423을 사용하는 문서
- 위키데이터 속성 P4457을 사용하는 문서
- 위키데이터 속성 P4534를 사용하는 문서
- 위키데이터 속성 P4535를 사용하는 문서
- 위키데이터 속성 P4581을 사용하는 문서
- 위키데이터 속성 P4613을 사용하는 문서
- 위키데이터 속성 P4955를 사용하는 문서
- 위키데이터 속성 P5034를 사용하는 문서
- 위키데이터 속성 P5226을 사용하는 문서
- 위키데이터 속성 P5288을 사용하는 문서
- 위키데이터 속성 P5302를 사용하는 문서
- 위키데이터 속성 P5321을 사용하는 문서
- 위키데이터 속성 P5368을 사용하는 문서
- 위키데이터 속성 P5504를 사용하는 문서
- 위키데이터 속성 P5587을 사용하는 문서
- 위키데이터 속성 P5736을 사용하는 문서
- 위키데이터 속성 P5818을 사용하는 문서
- 위키데이터 속성 P6213을 사용하는 문서
- 위키데이터 속성 P6734를 사용하는 문서
- 위키데이터 속성 P6792를 사용하는 문서
- 위키데이터 속성 P6804를 사용하는 문서
- 위키데이터 속성 P6829를 사용하는 문서
- 위키데이터 속성 P7293을 사용하는 문서
- 위키데이터 속성 P7303을 사용하는 문서
- 위키데이터 속성 P7314를 사용하는 문서
- 위키데이터 속성 P7902를 사용하는 문서
- 위키데이터 속성 P8034를 사용하는 문서
- 위키데이터 속성 P8189를 사용하는 문서
- 위키데이터 속성 P8381을 사용하는 문서
- 위키데이터 속성 P8671을 사용하는 문서
- 위키데이터 속성 P8980을 사용하는 문서
- 위키데이터 속성 P9070을 사용하는 문서
- 위키데이터 속성 P9692를 사용하는 문서
- 위키데이터 속성 P9725를 사용하는 문서
- 위키데이터 속성 P9984를 사용하는 문서
- 위키데이터 속성 P10020을 사용하는 문서
- 위키데이터 속성 P10299를 사용하는 문서
- 위키데이터 속성 P10608을 사용하는 문서
- 위키데이터 속성 P10832를 사용하는 문서
- 위키데이터 속성 P11249를 사용하는 문서
- 위키데이터 속성 P11646을 사용하는 문서
- 위키데이터 속성 P11729를 사용하는 문서
- 위키데이터 속성 P12204를 사용하는 문서
- 위키데이터 속성 P12362를 사용하는 문서
- 위키데이터 속성 P12754를 사용하는 문서
- 위키데이터 속성 P13049를 사용하는 문서
- 미분기하학
- 쌍대성이론
- 끈 이론
- 대칭
- 추측