[논문 리뷰] Combinatorial Floer Homology

Vin de Silva, Joel W. Robbin외 1명|arXiv (Cornell University)|2012. 05. 02.

Geometric and Algebraic Topology참고 문헌 36인용 수 12

한 줄 요약

이 논문은 폐포된, 방향이 주어진 표면 위의 교차하고, 수축 가능하지 않으며, 동형사상이 아닌 원들을 대상으로 하여, 해석학적 힐버트 스트립 대신 반디스크로의 매끄러운 임베딩(조합적 루나)을 사용하는 순수 조합론적 공식화를 제시한다. 주요 기여는 조합적 경계 연산자가 이러한 루나를 2로 나눈 나머지 모듈로로 세며, 이로써 해석학적 이론과 동일한 호모로지 이론을 얻고 ∂² = 0을 만족하며, 동형사상에 대한 불변성과 함께 dim HF(α,β) = geo(α,β)를 보여주는 공식을 유도한다.

ABSTRACT

We define combinatorial Floer homology of a transverse pair of noncontractibe nonisotopic embedded loops in an oriented 2-manifold without boundary, prove that it is invariant under isotopy, and prove that it is isomorphic to the original Lagrangian Floer homology.

연구 동기 및 목표

• 표면 위의 라그랑주 교차에 대한 해석학적 플로어 호모로지의 순수 조합론적 대체 이론을 개발한다.
• 조합적 플로어 호모로지가 플로어 원래의 결과에서처럼 해밀토니안 동형사상 뿐 아니라 일반적인 동형사상에 대해서도 불변임을 증명한다.
• 플로어 호모로지의 차원과 곡선의 기하적 교차 수 사이의 관계를 기술하는 공식을 수립한다.
• 도함수 함수와 추적 공식을 통해 매끄러운 루나를 조합론적으로 특성화하여 피카르–뢰블러 문제의 특수한 경우를 해결한다.
• 경계 연산자가 해석학적 도구 없이도 순수 위상수학적 및 조합론적 자료만으로 ∂² = 0을 만족함을 보인다.

제안 방법

• 경계가 α와 β 위에 있는 매끄러운 임베딩 u: 𝔻 → Σ(루나로 불림)를 사용하여 조합적 플로어 호모로지를 정의하며, -1과 1이 각각 교차점 x와 y로 사상된다.
• Σ ∖ (α ∪ β) → ℤ인 도함수 함수 w를 정의하며, 이는 u에 대한 전이의 대수적 수를 의미하며, 호모토피에 대해 불변이다.
• 루나의 호모토피 유형이 정점 x, y와 도함수 함수 w에 의해 고유하게 결정됨을 제2.4정리로 증명한다.
• 비테르보–마슬로프 지수에 대한 추적 공식을 수립한다: μ(u) = (mₓ(Λᵤ) + mᵧ(Λᵤ))/2이며, 여기서 mₓ와 mᵧ는 x와 y 근처의 w값의 합이다.
• 이 추적 공식을 사용하여 마슬로프 지수를 조합론적으로 정의하고, 지수 1인 루나가 경계 연산자 기여를 하는 것으로 보여준다.
• 같은 w와 정점들을 가진 두 루나는 동형사상임을 증명한다(정리 6.8), 이는 2로 나눈 나머지 모듈로로의 세기의 잘 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 표면 위의 교차하고, 수축 가능하지 않으며, 동형사상이 아닌 원들에 대한 라그랑주 플로어 호모로지를 해석학적 도구 없이 순수히 조합론적 자료로 기술할 수 있는가?
• RQ2 지수 1인 루나를 세는 조합적 경계 연산자는 해석학적 도구 없이 잘 정의되고 ∂² = 0을 만족하는가?
• RQ3 조합적 이론은 해밀토니안 동형사상 뿐 아니라 일반적인 동형사상에 대해서도 불변인가, 해석학적 이론과 동일한가?
• RQ4 기하적 교차 수 geo(α,β)는 조합적 공식을 통해 플로어 호모로지의 차원으로 복원 가능한가?
• RQ5 어떤 조합적 불변량(예: 도함수 함수 w)이 매끄러운 루나의 호모토피 유형을 완전히 특성화하는가?

주요 결과

• 조합적 플로어 호모로지가 ℤ/2ℤ 위에서 해석학적 플로어 호모로지와 동형임을 제9.3정리로 보여준다.
• 경계 연산자 ∂는 추적 공식과 루나 분류를 통해 조합론적으로 ∂² = 0임을 증명한다.
• 이론은 α와 β의 동형사상에 대해 불변이며, 플로어 원래의 결과에서처럼 해밀토니안 동형사상 뿐 아니라 일반적인 동형사상에 대해서도 성립한다. 이는 중요한 개선이다.
• 플로어 호모로지의 차원은 dim HF(α,β) = geo(α,β)로 주어지며, 이는 제9.5결론에서 서술된다.
• 매끄러운 루나는 자신의 이미지 내부에 정점들을 포함할 수 없다. 이는 조합론적 특성화의 비자명한 결과이다.
• 루나의 호모토피 유형은 정점과 도함수 함수 w에 의해 고유하게 결정되며, 제2.4정리에서 입증되었다.