[논문 리뷰] Geometric quantization and mirror symmetry

Andrei Tyurin|ArXiv.org|1999. 02. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 32

한 줄 요약

이 논문은 캘라비-ยอ우 다양체 내의 특수 라그랑주(spLag) 사이클과 안정 벡터(bundle) 사이를 거울 대칭 구조를 통해 연결하는 기하적 양자화 프레임워크를 수립한다. 단위 위상 맵과 일반화된 푸리에-토르(Generalized Fourier–Torre, GFT) 변환을 도입하여, 안정 벡터(bundle)에서 spLag 사이클로의 GFT 사상이 차수 1임을 보이며, 코homological 및 변형 이론적 증거를 통해 캘라비-요우 3-다양체의 경우 SYZ 거울 대칭 추측을 지지한다.

ABSTRACT

After the appearance of my preprint [T3] (Special Lagrangian geometry and slightly deformed algebraic geometry (spLag and sdAG), Warwick preprint 22/1998, alg-geom/9806006, 54 pp.). I received an e-mail from Cumrun Vafa, who recognized that the subject is closely related to that of his preprint [V] (Extending mirror conjecture to Calabi-Yau with bundles, hep-th/9804131, 7 pp.). This text started out as an e-mail ``reply'' to his letter. All the constructions we propose have well known ``spectral curve'' prototypes (see for example Friedman and other [FMW], Bershadsky and other [BJPS] and a number of others). Roughly speaking, our constructions are the spectral curve construction plus the phase geometry described in [T3]. So this text should really come before [T3], as motivation for the development of the geometry of the phase map in [T3].

연구 동기 및 목표

• 위상 맵과 라그랑주 사이클을 사용하여 거울 대칭을 위한 기하적 양자화 프레임워크를 개발한다.
• 일반화된 푸리에-토르(GFT) 변환을 통해 캘라비-요우 다양체의 안정 벡터(bundle)와 그 거울에서의 특수 라그랑주 사이클 사이의 대응을 수립한다.
• 벡터(bundle)의 변형 이론과 spLag 사이클의 변형 이론을 연결하여 SYZ 거울 대칭 추측에 대한 증거를 제공한다.

제안 방법

• 라그랑주 사이클 $ \mathcal{L} $ 위에서 다중값 함수로 정의된 위상 맵 $ m_I $ 를 정의하며, 그 로그 도함수는 잘 정의된 1-형식임을 보인다.
• 라그랑주 사이클 $ \mathcal{L} \subset S $ 의 가우스 립트 $ G(i) $ 를 방향 있는 라그랑주 그라스만ian $ \Lambda_{\uparrow}(S) $ 로 올리고, 그 다음 행렬식 사상으로 $ S^1(L_{-K}) $ 로 구성한다.
• 안정 벡터(bundle) $ E $ 에 대해 $ c_1(E) = \lambda \cdot [\omega] $ 를 만족할 때, 일반화된 푸리에-토르(GFT) 변환 $ \operatorname{GFT}(E) \subset X' $ 을 정의하며, 이는 $ \operatorname{rank} E $ 차수의 spLag 다중분할로 매핑된다.
• 벡터(bundle) $ E $ 에서 헤르미트-에인슈타인 접속을 사용하여 $ \mathcal{L} $ 에 평탄한 접속을 정의하고, 이를 통해 특성 $ \chi^\kappa $ 를 유도하며, 위상 맵을 유니버설 커버로 올려 $ \operatorname{U}(1) $-값 함수 $ m_I $ 를 얻는다.
• 모듈리 공간의 안정 벡터(bundle)에서 슈퍼사이클 구조 $ (\Sigma, \chi) $ 를 정의하고, 忘却 사상 $ f $ 와 sGFT 사상 $ \operatorname{sGFT} $ 를 모듈리 공간에서 슈퍼사이클 공간으로 구성한다.
• 변형 이론을 적용하여 $ \dim_{\mathbb{C}} \mathcal{M}_m^s \leq b_1(\operatorname{GFT}(E)) $ 를 보이고, 안정성과 비자명한 호모모르피즘의 논증을 통해 $ \operatorname{sGFT} $ 가 차수 1 사상임을 증명한다.

실험 결과

연구 질문

• RQ1 기하적 양자화를 어떻게 활용하여 캘라비-요우 다양체 내의 안정 벡터(bundle)와 특수 라그랑주 사이클 사이의 거울 대응을 구성할 수 있는가?
• RQ2 위상 맵은 보르-좀머펠드 및 특수 라그랑주 사이클을 특성화하는 데 어떤 역할을 하는가?
• RQ3 일반화된 푸리에-토르(GFT) 변환은 안정 벡터(bundle)의 모듈리 공간과 거울 다양체 내의 spLag 사이클 공간을 어떻게 연결하는가?
• RQ4 GFT 사상이 변형 공간 수준에서 동형사상이 되는 조건은 무엇인가?
• RQ5 등식 $ \operatorname{rank} H^1(X, \operatorname{ad} E) = \operatorname{rank} H^1(\operatorname{GFT}(E), \mathbb{C}) $ 는 어느 정도까지 성립하며, 이는 어떻게 SYZ 추측을 지지하는가?

주요 결과

• GFT 사상 $ \operatorname{GFT} $ 는 안정 벡터(bundle) $ E $ 를 $ \operatorname{GFT}(E) \subset X' $ 의 spLag 다중분할로 매핑하며, 그 코homology 클래스는 거울 사상 $ \operatorname{mir} $ 에 의해 결정된다.
• 안정 벡터(bundle)의 모듈리 공간 $ \mathcal{M}_m^s $ 에서 슈퍼사이클 공간으로의 사상 $ \operatorname{sGFT} $ 는 차수 1 사상이며, 이는 $ \operatorname{sGFT}(E_1) = \operatorname{sGFT}(E_2) $ 이면 $ E_1 = E_2 $ 를 의미한다.
• 벡터(bundle)의 변형 공간은 $ \dim_{\mathbb{C}} \mathcal{M}_m^s \leq b_1(\operatorname{GFT}(E)) $ 를 만족하며, 정규 경우 또는 둘 다의 변형 이론이 차단되지 않을 경우 등식이 성립한다.
• 접선(bundle) $ T_X $ 에 대해 등식 $ H^1(X, \operatorname{ad} T_X) = H^1(\operatorname{GFT}(T_X), \mathbb{C}) $ 가 성립하며, 이는 SYZ 거울 추측의 핵심에 대한 강력한 증거를 제공한다.
• sGFT 의 미분은 포함사상 $ d\operatorname{sGFT}: H^1(X, \operatorname{ad} E) \to H^1(\operatorname{GFT}(E), \mathbb{C}) $ 를 유도하며, 쿠라니시 맵과 호환된다.