[논문 리뷰] Floer cohomology of real Lagrangians in the Fermat quintic threefold

Garrett Alston|arXiv (Cornell University)|2010. 10. 19.

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

한 줄 요약

이 논문은 페르마의 오목한 3차원 다면체에서 실수 라그랑주 부분다발 쌍 간의 플로어 코호몰로지를 계산한다. 이는 동차 방정식 $X_0^5 + \cdots + X_4^5 = 0$로 정의된 칼라비-유우 3차원 다양체이다. 저자는 저에너지 힐베르트 스트립과 디스크의 명시적 기술, 마스로프 지수, 차단 다발, 그리고 반사에 의한 스트립과 구 사이의 관계를 설정하는 새로운 방법을 조합하여 대부분의 경우 플로어 코호몰로지를 계산하며, 실수 라그랑주 부분다발의 성질이 이러한 기법에 필수적임을 보여준다. 주요 기여는 625개의 실수 라그랑주 부분다발 쌍 중 624개에 대해 플로어 코호몰로지를 완전히 계산한 것이다.

ABSTRACT

Let X be the Fermat quintic threefold. The set of real solutions L forms a Lagrangian submanifold of X. Multiplying the homogeneous coordinates of X by various fifth roots of unity gives automorphisms of X; the images of L under these automorphisms defines a family of 625 different Lagrangian submanifolds, called real Lagrangians. In this paper we try to calculate the Floer cohomology between all pairs of these Lagrangians. We are able to complete most of the calculations, but there are a few cases we cannot do. The basic idea is to explicitly describe some low energy moduli spaces and then use this knowledge to calculate the differential on the E_2 page of the standard spectral sequence for Floer cohomology. It turns out that this is often enough to calculate the cohomology completely. Several techniques are developed to help describe these low energy moduli spaces, including a formula for the Maslov index, a formula for the obstruction bundle, and a way to relate holomorphic strips and discs to holomorphic spheres. The real nature of the Lagrangians is crucial for the development of these techniques.

연구 동기 및 목표

• 페르마의 오목한 3차원 다면체에 존재하는 625개의 실수 라그랑주 부분다발 쌍 간의 플로어 코호몰로지를 계산하는 것.
• 특히 실수 라그랑주 부분다발의 구조를 활용하여 저에너지 힐베르트 디스크와 스트립을 기술하는 데 쓰이는 마스로프 지수 및 차단 다발에 대한 공식을 개발하는 것.
• 실수 라그랑주 부분다발 간의 힐베르트 스트립을 반사 구조를 통해 힐베르트 구로 연결함으로써, 기존의 구 모듈리 공간 결과를 활용할 수 있도록 하는 것.
• 스펙트럴 시퀀스의 $E_2$ 페이지에 응용하여, 저에너지 모듈리 공간의 미분 데이터로부터 전체 플로어 코호몰로지를 유도하는 것.
• 실수 라그랑주 부분다발이 비차단임을 입증하고, 그 플로어 코호몰로지가 해밀토니안 이sov의에 대해 불변임을 보여, 이들이 호모로지 거울 대칭에서의 역할을 뒷받침하는 것.

제안 방법

• 다각형 지수 공식을 사용하여 힐베르트 디스크와 스트립의 마스로프 지수를 명시적으로 계산함으로써 플로어 복합체의 등급을 부여하는 데 핵심적인 역할을 한다.
• 실수 라그랑주 부분다발의 맥락에서 차단 다발에 대한 공식을 구축하여, 플로어 복합체의 비차단성을 제어한다.
• 공액 및 반사 기법을 사용하여 실수 라그랑주 부분다발 간의 힐베르트 스트립을 힐베르트 구로 매핑함으로써, 실수 구조를 활용하여 모듈리 공간을 연결한다.
• 쿠라니시 이론을 적용하여 힐베르트 스트립과 디스크의 모듈리 공간에 쿠라니시 구조를 구축함으로써, 컴actification과 가상 기본류의 구성이 가능해진다.
• 플로어 코호몰로지의 스펙트럴 시퀀스를 활용하여, $E_2$-페이지의 미분—저에너지 모듈리 공간에서 유도된 자료—가 종종 전체 코호몰로지를 계산하는 데 충분함을 보여준다.
• 쿠라니시 공간에서 다중단면과 가상 기본 체인을 활용하여 전이성과 모듈리 공간의 가상 차원을 정의한다.

실험 결과

연구 질문

• RQ1 페르마의 오목한 3차원 다면체에서 실수 라그랑주 부분다발 쌍 간의 플로어 코호몰로지는 무엇이며, 특히 그 교차가 $\mathbb{RP}^3$, $\mathbb{RP}^2$, $\mathbb{RP}^1$, 또는 $\mathbb{RP}^0$일 경우 어떻게 되는가?
• RQ2 실수 라그랑주 부분다발이 존재할 때 힐베르트 디스크와 스트립의 마스로프 지수는 어떻게 계산되며, 이는 플로어 복합체의 등급과 어떻게 관련되는가?
• RQ3 실수 라그랑주 부분다발 간의 힐베르트 스트립은 기하학적 반사 구조를 통해 체계적으로 힐베르트 구와 연결될 수 있는가? 그리고 이는 모듈리 공간 정보의 이행을 가능하게 하는가?
• RQ4 실수 라그랑주 부분다발의 구조는 차단 다발 계산과 플로어 복합체의 비차단성 계산에 얼마나 기여하는가?
• RQ5 스펙트럴 시퀀스의 $E_2$-페이지 미분이 플로어 코호몰로지를 완전히 결정하는 경우는 언제이며, 추가적인 편향 또는 고차 페이지 자료가 필요한 경우는 언제인가?

주요 결과

• 625개의 실수 라그랑주 부분다발 쌍 중 624개에 대해 플로어 코호몰로지가 완전히 계산되었으며, 기술적 장애로 인해 몇몇 경우만 미해결 상태에 남아 있다.
• 실수 라그랑주 부분다발은 비차단적이며, 플로어 복합체가 잘 정의되고 미분 $m_1$이 잘 행동함을 의미한다. 이 결과는 실수 구조와 함께 개발된 차단 다발 공식 덕분이다.
• 힐베르트 디스크와 스트립의 마스로프 지수는 다각형 지수 공식을 통해 계산되었으며, 이는 플로어 복합체의 등급을 정하고 $A_\infty$-구조와의 일致성을 확보하는 데 필수적이다.
• 새로운 반사 구조를 통해 실수 라그랑주 부분다발 간의 힐베르트 스트립을 힐베르트 구로 매핑함으로써, 기존의 구 모듈리 공간 결과를 활용하여 스트립 모듈리 공간을 분석할 수 있게 되었다.
• 대부분의 경우 플로어 코호몰로지의 스펙트럴 시퀀스는 $E_2$ 페이지에서 붕괴하며, 이 페이지의 미분은 저에너지 모듈리 공간의 명시적 기술에 의해 완전히 결정된다.
• 힐베르트 스트립의 모듈리 공간의 가상 기본류는 다중단면과 쿠라니시 구조를 통해 구성되었으며, 방향성 자료와 군 작용을 이용하여 승수를 할당함으로써 잘 정의된 가상 차원을 확보하였다.