[논문 리뷰] Special Bohr - Sommerfeld geometry

Nikolai Andreevich Tyurin|arXiv (Cornell University)|2015. 08. 27.

Geometric and Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 보르-쇼르머펠트(SBS) 라그랑주 부분다양체—보어-쇼르머펠트 조건과 복소 섹션에 연관된 새로운 특수성 조건을 동시에 만족하는 라그랑주 순환체—를 도입하여 유한차원 모듈리 공간을 도출한다. 선형 번들의 O(1,1)를 가진 3차 과립형에서, 모듈리 공간은 ℂℙ³∖Q′와 동형이며, 자연스러운 컴actification을 통해 ℂℙ³로 확장되며, 이는 양자화 호환 구조를 통한 미러 대칭의 새로운 기하적 프레임워크를 제공한다.

ABSTRACT

We present a new approach to special lagrangian geometry which works for Bohr - Sommerfeld lagrangian submanifolds of symplectic manifolds with integer symplectic forms. This leads to construction of finite dimensional moduli spaces of SBS lagrangian cycles over algebraic varieties.

연구 동기 및 목표

• 미러 대칭에서 라그랑주 모듈리 공간의 무한성을 해결하기 위해 새로운 유한성 조건을 도입한다.
• 사전 양자화된 라그랑주 다양체에 대한 새로운 특수성 조건을 통해 보어-쇼르머펠트와 특수 라그랑주 기하학을 통합한다.
• 기하 양자화와 미러 dualit와 호환되는 유한차원 라그랑주 부분다양체 모듈리 공간을 구축한다.
• 양자선다발과 접속이 모듈리 공간 위에서 자연스럽게 정의될 수 있는 기하적 설정을 제공하여, 향후 추가적인 양자화를 가능하게 한다.

제안 방법

• 고정된 섹션의 제약이 공변적으로 일정한 섹션에 대해 상대적인 각도가 일정한 보어-쇼르머펠트 부분다양체를 SBS 라그랑주 다양체로 정의한다.
• 예비 양자화 자료로, 곡률이 2πiω인 헤르미트 선다발 L을 사용하여 공변적으로 일정한 섹션을 통해 보어-쇼르머펠트 조건을 정의한다.
• ℬ_S는 고정된 위상형의 보어-쇼르머펠트 라그랑주 다양체의 모듈리 공간이 되는 ℙ(Γ(M,L)) × ℬ_S에서의 입사 사이클을 구성한다.
• p₁*𝒪(1) ⊗ p₂*L 형태의 텐서곱 선다발 E를 모듈리 공간에 부여하고, 곡률 형식과 U(1)-항등성 수평 이송을 통해 유도된 헤르미트 접속 A를 갖춘다.
• 적합한 복소 구조와 리만 계량을 사용하여 ℬ_S 위의 선다발 ℒ에 대해 표준적인 수평 분해를 정의함으로써 잘 정의된 접속 A_I를 가능하게 한다.
• E 위의 총 접속 𝔸의 곡률을 조사하여, 그것이 카일러 형식에 비례하는지 여부를 판단함으로써 기하 양자화의 핵심 조건을 확인한다.

실험 결과

연구 질문

• RQ1 라그랑주 부분다양체에 새로운 유한성 조건을 도입하여 심플렉틱 기하학에서 그 모듈리 공간을 안정화시킬 수 있는가?
• RQ2 보어-쇼르머펠트 조건과 섹션 기반 특수성 조건 간의 상호작용이 라그랑주 순환체의 기하학을 어떻게 제약하는가?
• RQ3 특정 대수적 다양체, 예를 들어 3차 과립형과 같은 경우에 대해 특수 보어-쇼르머펠트 라그랑주 다양체의 모듈리 공간의 구조는 어떠한가?
• RQ4 SBS 라그랑주 다양체의 모듈리 공간은 자연스럽게 컴 pactify 될 수 있으며, 그 기하학적 구조는 무엇인가?
• RQ5 모듈리 공간에 유도된 접속의 곡률이 카일러 형식에 비례하는가? 이는 기하 양자화 프레임워크를 완전히 실현할 수 있는가?

주요 결과

• O(1,1) 선다발과 함께 3차 과립형 Q에서 S ≅ S² 이며 (1,-1) 계열인 경우, 모듈리 공간 ℳ_SBS는 ℂℙ³∖Q′와 동형이며, 여기서 Q′는 사영적으로 쌍대된 과립형이다.
• 모듈리 공간 ℳ_SBS는 자연스러운 컴 pactification을 통해 ℂℙ³와 동형이 되며, 완전한 기하학적 구조를 나타낸다.
• 입사 사이클 𝒰_SBS는 ℙ(Γ(M,L)) × ℬ_S에 매립되어 있으며, s가 섹션이고 S가 SBS 라그랑주 다양체인 쌍 (s, S)를 매개변수화한다.
• 직접 상사 영상에 의해 ℬ_S 위에 자연스러운 선다발 ℒ이 구성되며, U(1)-항등성 접속 A_I를 갖는다.
• ℳ_SBS 위의 텐서곱 다발 E에 대한 총 접속 𝔸는 𝒪(1)과 A_I의 곡률를 조합하며, 그 곡률가 카일러 형식에 비례하는지 여부는 현재 조사 중이다.
• 이 프레임워크는 접속 𝔸의 곡률가 카일러 형식에 비례할 경우, 기하 양자화가 모듈리 공간에 적용될 수 있음을 시사하며, 이 조건은 현재 활발히 연구 중이다.