[논문 리뷰] Lagrangian Floer homology of the Clifford torus and real projective space in odd dimensions

Garrett Alston|ArXiv.org|2009. 02. 02.

Geometric and Algebraic Topology참고 문헌 17인용 수 4

한 줄 요약

이 논문은 $\mathbb{C}P^{2n-1}$에서 클리포드 토러스와 실수 사영 공간의 라그랑주 플로어 homology를 $\mathbb{Z}_2$ 계수를 사용하여 계산하며, $HF(\olink{\mathbb{R}P^{2n-1}}, T^{2n-1}; \mathbb{Z}_2) = (\mathbb{Z}_2)^{2^n}$임을 증명한다. 이 결과는 이러한 라그랑주 다양체가 해밀턴 변형에 의해 분리될 수 없으며, 최소 $2^n$개의 점에서 만난다는 것을 의미하며, 교차 수에 대한 하한을 제공하고 심플렉틱 기하학의 체적 최소화 추측을 뒷받침한다.

ABSTRACT

The Floer homology of (RP^n,T^n) is calculated, for n odd.

연구 동기 및 목표

• 클리포드 토러스 $T^{2n-1}$와 실수 사영 공간 $\nolink{\mathbb{R}P^{2n-1}}$ 사이의 최소 교차 점 수를 해밀턴 변형 하에서 결정하는 것.
• 홀드레인 차원에서 라그랑주 플로어 호모로지 $HF(\nolink{\mathbb{R}P^{2n-1}}, T^{2n-1}; \mathbb{Z}_2)$를 계산하는 것.
• 이 호모로지 계산이 클리포드 토러스의 해밀턴 변형 계열 내에서 체적 최소화 추측에 미치는 영향을 조사하는 것.
• 플로어 호모로지 계산을 노비코프 링 $\Lambda_{\mathbb{Z}_2}$ 계수로 확장하고 해밀턴 변형에 대해 불변임을 검증하는 것.

제안 방법

• 해밀턴 변형 하에서의 교차 점이 $2^{2n}$개인 $\nolink{\mathbb{R}P^{2n-1}}$와 $T^{2n-1}$의 교차 점들로 생성되는 $\mathbb{Z}_2$ 계수 위의 플로어 체인 복합체 $CF(L_0, L_1)$를 구성한다.
• 해당 교차 점들을 연결하는 고립된 $J$-홀로모르픽 스트립(플로어 궤적)의 $\mod 2$ 수를 사용하여 경계 연산자 $\partial$를 정의한다.
• 선형화된 $\bar{\partial}_J$-연산자의 인덱스가 마스лов 인덱스 $\mu(u)$와 일치함을 증명하여, 홀로모르픽 스트립의 모듈리 공간이 잘 정의됨을 보장한다.
• 스펙트럴 플로우와 홀로모르픽 스트립 위의 $\mathbb{R}$-행동을 사용하여 몫 모듈리 공간 $\mathcal{M}_J(L_0, L_1)$을 정의하고, 고립된 0차원 성분을 통해 경계 연산자를 계산한다.
• 정규성과 전이성 조건을 바탕으로, $J$의 정규성과 전이성 보장 하에 $\partial^2 = 0$임을 검증하여 플로어 호모로지가 잘 정의됨을 입증한다.
• 경계 연산자의 역행렬 변환을 통해 호모로지가 $(\Lambda_{\mathbb{Z}_2})^{2^n}$과 동형임을 보여, 계수를 노비코프 링 $\Lambda_{\mathbb{Z}_2}$로 확장한다.

실험 결과

연구 질문

• RQ1 해밀턴 변형 하에서 클리포드 토러스 $T^{2n-1}$와 실수 사영 공간 $\nolink{\mathbb{R}P^{2n-1}}$ 사이의 최소 교차 점 수는 얼마인가?
• RQ2 라그랑주 플로어 호모로지 $HF(\nolink{\mathbb{R}P^{2n-1}}, T^{2n-1}; \mathbb{Z}_2)$는 비자명한가? 그리고 홀드레인 차원에서 그 구조는 어떠한가?
• RQ3 플로어 호모로지 계산은 노비코프 링 $\Lambda_{\mathbb{Z}_2}$ 계수로 확장될 수 있으며, 그로 인해 호모로지 구조가 유지되는가?
• RQ4 비자명한 플로어 호모로지가 $\nolink{\mathbb{R}P^{2n-1}}$와 $T^{2n-1}$이 해밀턴 변형에 의해 분리될 수 없다는 것을 의미하는가?
• RQ5 라그랑주 크로프톤 공식을 통해 교차 수 하한 $2^n$으로부터 체적 최소화에 어떤 영향을 미치는가?

주요 결과

• 플로어 호모로지 $HF(\nolink{\mathbb{R}P^{2n-1}}, T^{2n-1}; \mathbb{Z}_2)$는 홀로모르픽 스트립의 $\mod 2$ 수를 통해 계산되며, $(\mathbb{Z}_2)^{2^n}$과 동형이다.
• 비자명한 호모로지 결과는 $\nolink{\mathbb{R}P^{2n-1}}$와 $T^{2n-1}$이 해밀턴 변형에 의해 분리될 수 없으며, 최소 $2^n$개의 점에서 교차해야 한다는 것을 의미한다.
• 디스크 버블링 기여의 상쇄로 인해 홀드레인 차원에서만 이 계산이 유효하며, 짝수 차원에서는 플로어 호모로지가 잘 정의되지 않는다.
• 노비코프 링 $\Lambda_{\mathbb{Z}_2}$ 계수 위의 호모로지는 $(\Lambda_{\mathbb{Z}_2})^{2^n}$과 동형이며, 해밀턴 변형에 대해 불변임을 확인하고 더 넓은 계수 체계로 결과를 확장한다.
• 라그랑주 크로프톤 공식을 사용하여 $\frac{\mathrm{vol}(\phi(T^{2n-1}))}{\mathrm{vol}(\mathbb{R}P^{2n-1})} \geq \frac{2^n}{2n}$임을 유도하며, 해밀턴 변형 하에서 체적 성장에 대한 하한을 제공한다.
• 특히 $n=1$과 $n=2$일 때, $T^1$과 $T^3$의 체적 비율은 각각 $1$과 약 $1.57$이지만, 이 하한은 $T^{2n-1}$의 전역적 체적 최소화 추측을 해결하지 못한다.