[논문 리뷰] Floer cohomology of immersed Lagrangian spheres in smoothings of $A_N$ surfaces

Garrett Alston|arXiv (Cornell University)|2013. 11. 11.

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

한 줄 요약

이 논문은 $A_N$ 표면의 스무딩에서 임베딩된 정확한 라그랑주 2차원 구의 자기-플로어 코homology를 $\mathbb{Z}_2$ 계수를 사용하여 계산한다. 이는 모어 흐름선과 해석적 스트립을 조합한 펄리 궤적 모델을 사용한다. 주요 결과는 매칭 경로가 임의의 임계 값을 둘러싸지 않을 경우 플로어 코homology가 자명하고, 적어도 하나의 임계 값을 둘러싸면 차수 $-1, 0, 2, 3$에서 $(\mathbb{Z}_2)^4$와 동형임을 보여준다.

ABSTRACT

We calculate the self-Floer cohomology with Z/2 coefficients of some immersed Lagrangian spheres in the affine symplectic submanifolds of C^3 that are smoothings of A_N surfaces. The immersed spheres are exact and graded. Moreover, they satisfy a positivity assumption that allows us to calculate the Floer cohomology as follows: Given auxiliary data a Morse function on S^2 and a time-dependent almost complex structure, the Floer cochain complex is the Morse complex plus two generators for each self-intersection point of the Lagrangian sphere. The Floer differential is defined by counting combinations of Morse flow lines and holomorphic strips. Using a Lefschetz fibration allows us to explicitly calculate all holomorphic strips and describe the Floer differential. For most of the immersed spheres the Floer differential is zero (with Z/2-coefficients).

연구 동기 및 목표

• 스무딩된 $A_N$ 표면에서 임베딩된 정확한 라그랑주 2차원 구의 자기-플로어 코hom로지를 계산한다.
• 펄리 궤적 모델을 사용하여 교차하는 자기자신을 가진 임베딩 라그랑주에 대한 플로어 코호몰로지 프레임워크를 확장한다.
• 플로어 미분이 사라지거나 비자명해지는 조건을 규명하며, 특히 둘러싸인 임계 값의 수에 따라 결정됨을 밝힌다.
• 토러스 피브리케이션의 결과를 일반화하여 매칭 경로를 따라 생성된 임의의 임베딩된 2차원 구로의 결과를 일반화한다.

제안 방법

• 자기 교차점 각각에 대해 $S^2$ 위의 모어 함수의 모어 복합체와 $\mathbb{Z}_2$-스팬 생성자를 합한 것으로 플로어 코호몰로지 복합체를 구성한다.
• 펄리 궤적을 통한 플로어 미분 정의: 자기 교차점에서 분기 점프를 가지는 모어 흐름선과 해석적 스트립의 조합을 세는 방식이다.
• 해석적 스트립을 라그랑주 2차원 구에 의해 둘러싸이는 것을 분류하기 위해 Lefschetz 피브리케이션 $\pi_N: M_N \to \mathbb{C}$를 사용한다.
• 디스크 버블링을 제거하기 위해 양성도 가정을 적용하고, 이는 차단되지 않음을 보장하며, Blaschke 곱의 구조를 통해 해석적 스트립을 명시적으로 계산할 수 있게 한다.
• 매칭 경로가 둘러싸는 임계 값의 수가 해석적 스트립 구성 요소의 수를 결정하며, 이로 인해 $2^C$개의 기여하는 해석적 스트립이 존재함을 이용한다.
• 지수 계산과 그레딩 불변성을 활용하여 생성자의 차수와 미분의 작용을 결정한다.

실험 결과

연구 질문

• RQ1 스무딩된 $A_N$ 표면에서 임베딩된 라그랑주 2차원 구의 플로어 코호몰로지는 무엇인가?
• RQ2 매칭 경로가 둘러싸는 임계 값의 존재가 플로어 미분에 어떤 영향을 미치는가?
• RQ3 임베딩된 라그랑주 2차원 구에서 플로어 미분이 사라지는 조건은 무엇인가?
• RQ4 시간에 따라 변하는 거의 복소 구조와 모어 흐름선을 포함한 펄리 궤적 모델을 사용하여 임베딩된 라그랑주에 대한 플로어 코호몰로지를 계산할 수 있는가?
• RQ5 둘러싸인 임계 값의 수가 플로어 코호몰로지의 차원과 그레딩에 어떤 영향을 미치는가?

주요 결과

• $r=1$일 때, 즉 매칭 경로가 임계 값을 둘러싸지 않을 때 $L_{N,r}$의 자기-플로어 코호몰로지는 자명하다($0$).
• $r > 1$일 경우 플로어 코호몰로지는 $(\mathbb{Z}_2)^4$와 동형이며, 각각 차수 $-1$, $0$, $2$, $3$에서 일차원 성분을 가진다.
• 일반적인 매칭 경로 $\gamma$에 대해 생성된 임베딩된 2차원 구 $\Sigma_\gamma$의 플로어 코호몰로지는 $\gamma$가 임계 값을 둘러싸지 않을 경우 자명하다.
• $\gamma$의 내부에 $C \geq 1$개의 임계 값이 포함되어 있을 경우 $\mathrm{HF}(\iota) \cong (\mathbb{Z}_2)^4$이며, $r > 1$의 경우와 동일한 그레딩 분포를 가진다.
• 미분에 기여하는 해석적 스트립의 수는 $2^C$이며, 여기서 $C$는 둘러싸인 임계 값의 수이다. 이는 미분의 비자명성을 결정한다.
• 모든 그레딩에서 생성자 $p_{\text{min}}$와 $p_{\text{max}}$의 지수는 각각 $-1$과 $3$이며, 이는 코호몰로지에서의 그레딩 이동을 확인한다.