[논문 리뷰] A spectral sequence for symplectic homology

Mark McLean|arXiv (Cornell University)|2010. 11. 10.

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

한 줄 요약

이 논문은 레프셰츠 필버레이션의 심플렉틱 호몰로지로 수렴하는 스펙트럴 시퀀스를 구성한다. E¹ 항은 단일 변환의 플로어 호몰로지와 그 반복에 관련되어 있으며, 핵심 결과로는 심플렉틱 호몰로지와 심플렉틱 동형사상의 플로어 호몰로지 사이의 다리를 놓으며, 고정점에 대한 새로운 고정점 제약 조건과 심플렉틱 위상수학에의 응용을 가능하게 한다. 이는 장기 정확수열과 플로어 호몰로지 군 위의 군 작용을 통해 이루어진다.

ABSTRACT

We construct a spectral sequence converging to symplectic homology of a Lefschetz fibration whose E1 page is related to Floer homology of the monodromy symplectomorphism and its iterates. We use this to show the existence of fixed points of certain symplectomorphisms.

연구 동기 및 목표

• 레프셰츠 필버레이션의 심플렉틱 호몰로지를 그의 단일 변환 심플렉틱 동형사상의 플로어 호몰로지와 연결하기 위해.
• 단일 변환 지도의 반복 플로어 호몰로지 군을 코딩하는 E¹ 항을 가진 스펙트럴 시퀀스를 구성하기 위해.
• 이 스펙트럴 시퀀스를 사용하여 심플렉틱 동형사상에 대한 고정점 존재에 대한 새로운 제약 조건을 도출하기 위해.
• 장기 정확수열과 플로어 호몰로지 군 위의 군 작용을 통해 다양한 플로어 호몰로지 군 간의 구조적 관계를 확립하기 위해.
• 단일 변환의 동역학을 이용한 심플렉틱 호몰로지의 계산 도구를 제공하기 위해.

제안 방법

• 레프셰츠 필버레이션 $\pi: E \to \mathbb{C}$ 의 하나의 양의 끝을 가진 심플렉틱 호몰로지 $SH_*(\widehat{M})$ 로 수렴하는 스펙트럴 시퀀스를 구성한다.
• 플로어 호몰로지 군 $HF_*(\phi, k)$ 를 사용하여 $E^1$ 항을 정의하며, 이는 $\phi^k$ 의 고정점과 $\mathbb{Z}/k\mathbb{Z}$-오빗에 모odulo된 것으로 생성된다.
• 콜라르 이웃과 리우빌 도메인의 완비화를 사용하여 ц린드릭 끝의 구조를 정의하며, $[1,\infty) \times \partial F$ 에서 $\lambda = r\alpha$ 임을 보장한다.
• 플로어 궤도에 대한 최소 원리 적용으로, 정규 섬유 외부에 머무르는 해는 반드시 중심 끝에 머무르며, 이는 전기성과 컴actness를 보장한다.
• $HF_*(\phi^k, 1)$ 위에 $\mathbb{Z}/k\mathbb{Z}$-작용 $\Gamma$ 를 정의하며, 계수 체가 특성 0 또는 $p \nmid k$ 를 만족할 경우 $HF_*(\phi, k) \cong HF_*(\phi^k, 1)^\Gamma$ 를 보인다.
• 장기 정확수열을 유도하여 $HF^*(\phi)$, $HF_*(\phi,1)$, $HF^{*-1}(\phi)$ 를 연결하며, 기존의 지신 수열과 유사하다.

실험 결과

연구 질문

• RQ1 레프셰츠 필버레이션의 심플렉틱 호몰로지를 그의 단일 변환 심플렉틱 동형사상의 플로어 호몰로지와 어떻게 연결할 수 있는가?
• RQ2 단일 변환의 반복 역학과 총공간의 심플렉틱 호몰로지를 연결하는 스펙트럴 시퀀스의 구조는 무엇인가?
• RQ3 이 스펙트럴 시퀀스를 사용하여 심플렉틱 동형사상에 대한 새로운 고정점 제약 조건을 유도할 수 있는가?
• RQ4 군 작용 하에서 $HF_*(\phi,k)$ 와 $HF_*(\phi^k,1)$ 간의 정확한 관계는 무엇인가?
• RQ5 플로어 호몰로지 군 간의 장기 정확수열은 단일 변환의 위상구조를 어떻게 反영하는가?

주요 결과

• 스펙트럴 시퀀스는 $SH_*(\widehat{M})$ 으로 수렴하며, $E^1_{0,q} = H^{n-q}(M)$ 이고, $p > 1$ 에서는 $E^1_{p,q} = HF_{q-p}(\phi,p)$ 이며, 그 외에는 0이다.
• 비어 있는 필버레이션 $\widehat{F} \times \mathbb{C}$ 에서 스펙트럴 시퀀스는 첫 번째 항에서 분해되며, 이는 $SH_*(\widehat{F} \times \mathbb{C}) = 0$ 을 의미한다.
• $HF_*(\phi^k,1)$ 위에 $\mathbb{Z}/k\mathbb{Z}$-작용 $\Gamma$ 가 존재하며, 계수 체의 특성이 0 또는 $p \nmid k$ 를 만족할 경우 $HF_*(\phi, k) \cong HF_*(\phi^k, 1)^\Gamma$ 이다.
• 장기 정확수열이 $HF^*(\phi)$, $HF_*(\phi,1)$, $HF^{*-1}(\phi)$ 를 연결하며, 코homological 과 homological 플로어 이론 간의 구조적 연결 고리를 제공한다.
• 스펙트럴 시퀀스는 단일 변환 지도의 동역학을 이용한 심플렉틱 호몰로지의 계산 프레임워크를 제공한다.
• 최소 원리에 의해, 중심 끝의 오빗들 사이를 연결하는 플로어 궤도는 그 영역에 머무르며, 이는 전기성과 컴actness를 지원한다.