[논문 리뷰] Holomorphic orbidiscs and Lagrangian Floer cohomology of symplectic toric orbifolds

Cheol-Hyun Cho, Mainak Poddar|arXiv (Cornell University)|2012. 06. 18.

Geometric and Algebraic Topology참고 문헌 22인용 수 20

한 줄 요약

이 논문은 심플렉틱 토릭 오비폴드에서 라그랑주 플로어 코hom로지의 일반화를 위해, 내부 오비폴드 특이점을 가진 J-홀로모르픽 디스크(오비디스크)를 분류하고, 비틀린 섹터를 이용한 블록-데오페르드 플로어 이론을 수립함으로써 이를 수행한다. 비틀린 지수를 재구성한 마스로프 지수를 도입하고, 잠재 함수를 가진 필터링된 A∞-대수를 구성하며, 오비폴드 사이클에 의한 블록 변형이 강한 해밀턴 역학을 드러내는 것을 보여주며, 푸카야-오-오하-오노 이론을 오비폴드 설정으로 일반화한다. 구체적인 예로 가중 투영 공간과 티어 드롭 오비폴드를 포함한다.

ABSTRACT

We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several examples that such bulk-deformation can be used to illustrate the very rigid Hamiltonian geometry of orbifolds. We define its potential and bulk-deformed potential, and develop the notion of leading order potential. We study leading term equations analogous to the case of toric manifolds by Fukaya, Oh, Ohta and Ono.

연구 동기 및 목표

• 콤��� 심플렉틱 토릭 오비폴드 내의 라그랑주 토르스 섬유에 대한 라그랑주 플로어 코hom로지 이론을 개발하는 것.
• 이 섬유 위에 있는 홀로모르픽 오비디스크를 분류하고, 스무스 유형과 오비폴드 유형을 구분하는 것.
• 비틀린 섹터의 기본 클래스를 사용하여 블록-데오페르드 플로어 코hom로지 이론을 구성하고, 강한 해밀턴 역학을 포착하는 것.
• 토릭 다양체에서의 잠재 함수와 주요 항 방정식을 오비폴드 설정으로 일반화하는 것.
• 가중 투영 공간과 티어 드롭 오비폴드를 포함한 구체적 예를 통해 이론을 검증하는 것.

제안 방법

• 모멘트 다면체의 면들과 일대일 대응을 통해 스무스 기본 디스크를 분류함으로써, 오비디스크를 분류한다.
• 토릭 오비폴드의 비틀린 섹터와 기본 오비디스크 사이의 일대일 대응을 수립한다.
• 오비폴드 디스크에 대한 탈특이화된 마스로프 지수를 정의하고, 이를 케른-바일 마스로프 지수와 연결한다.
• J-홀로모르픽 디스크와 스트립을 사용하여 라그랑주 부분다양체에 대한 필터링된 A∞-대수를 구성하며, 쿠란시 구조를 통해 프레드홀름 정규성을 검증한다.
• 비틀린 섹터의 기본 사이클을 사용하여 플로어 코hom로지의 블록 변형을 도입하고, 블록 오비-잠재함수를 유도한다.
• 주요 항의 잠재함수를 정의하고, 푸카야-오-오하-오노의 토릭 다양체 사례와 유사한 주요 항 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 심플렉틱 토릭 오비폴드에서 홀로모르픽 오비디스크는 어떻게 분류될 수 있으며, 그 기하학적·위상수학적 의미는 무엇인가?
• RQ2 오비폴드 J-홀로모르픽 디스크의 맥락에서 탈특이화된 마스로프 지수의 역할은 무엇인가?
• RQ3 비틀린 섹터 사이클에 의한 블록 변형은 오비폴드 내 라그랑주 토르스 섬유의 플로어 코hom로지에 어떤 영향을 미치는가?
• RQ4 블록 오비-잠재함수는 심플렉틱 토릭 오비폴드의 강한 해밀턴 기하학을 어떻게 포착하는가?
• RQ5 오비폴드 설정에서의 주요 항 방정식은 토릭 다양체 사례와 어떻게 비교되는가?

주요 결과

• 스무스 기본 디스크와 모멘트 다면체의 면들 사이의 일대일 대응이 수립되었으며, 이는 다양체의 경우를 일반화한다.
• 기본 오비디스크와 토릭 오비폴드의 비틀린 섹터 사이의 일대일 대응이 발견되어 오비폴드의 전반적 구조가 드러난다.
• 스무스 라그랑주 플로어 코hom로지가 잘 정의되어 있으며, 비틀린 섹터의 기본 클래스를 사용한 블록 변형이 가능함을 보였다.
• 블록 오비-잠재함수가 명시적으로 구성되었고, 그 주요 항 방정식이 도출되었으며, 토릭 다양체에서 관찰된 구조를 그대로 반영한다.
• 티어 드롭 오비폴드와 가중 투영 공간과 같은 예시들은, 블록 변형이 오비폴드 내 비자명한 해밀턴 강성(rigidity)을 감지할 수 있음을 보여준다.
• 특히 $\mathbb{P}(1,a,a)$, $\mathbb{P}(1,1,a)$, $\mathbb{P}(1,3,5)$ 등의 구체적 예에서 명시적 계산을 통해, 특정 경우에 블록 플로어 코호몰로지가 영이 아님을 확인하였다.