[논문 리뷰] Bordered Floer homology for manifolds with torus boundary via immersed curves

Jonathan Hanselman, Jacob Rasmussen외 1명|arXiv (Cornell University)|2016. 04. 12.

Geometric and Algebraic Topology인용 수 11

한 줄 요약

이 논문은 토러스 경계를 가진 3차원 다면체에 대해 경계 토러스 위의 국소 시스템을 지닌 임베딩된 곡선으로 표현된 기하학적, 곡선 기반의 경계 Heegaard Floer homology를 제공한다. 이에 따라, 접합을 통해 얻어진 닫힌 다면체의 Heegaard Floer homology는 이러한 곡선들의 라그랑주 교차 Floer homology를 통해 계산되며, 이는 L-공간, 토로이드럴 다면체, 그리고 링크 이론에 대한 새로운 불변량과 적용 가능성을 제공한다.

ABSTRACT

This paper gives a geometric interpretation of bordered Heegaard Floer homology for manifolds with torus boundary. If $M$ is such a manifold, we show that the type D structure $\widehat{\mathit{CFD}}$ may be viewed as a set of immersed curves decorated with local systems in $\partial M$. These curves-with-decoration are invariants of the underlying three-manifold up to regular homotopy of the curves and isomorphism of the local systems. Given two such manifolds and a homeomorphism $h$ between the boundary tori, the Heegaard Floer homology of the closed manifold obtained by gluing with $h$ is obtained from the Lagrangian intersection Floer homology of the curve-sets. This machinery has several applications: We establish that the dimension of $\widehat{\mathit{HF}}$ decreases under a certain class of degree one maps (pinches) and we establish that the existence of an essential separating torus gives rise to a lower bound on the dimension of $\widehat{\mathit{HF}}$. In particular, it follows that a prime rational homology sphere $Y$ with $\widehat{\mathit{HF}}(Y)<5$ must be geometric. Other results include a new proof of Eftekhary's theorem that L-space homology spheres are atoroidal; a complete characterisation of toroidal L-spaces in terms of gluing data; and a proof of a conjecture of Hom, Lidman, and Vafaee on satellite L-space knots.

연구 동기 및 목표

• 토러스 경계를 가진 3차원 다면체에 대해 경계 Heegaard Floer homology의 기하학적, 곡선 기반의 해석을 제공한다.
• 경계 토러스 위의 국소 시스템을 지닌 임베딩된 곡선의 집합과 동치인 $\widehat{\mathit{CFD}}$ 유형의 구조를 보여준다.
• 접합을 통해 얻어진 닫힌 다면체의 Heegaard Floer homology가 이러한 곡선 집합의 라그랑주 교차 Floer homology를 통해 계산됨을 확립한다.
• 이 프레임워크를 활용하여 L-공간, 토로이드럴 다면체, 그리고 위성 링크에 대한 새로운 결과를 증명한다.

제안 방법

• 토러스 경계를 가진 3차원 다면체의 $\widehat{\mathit{CFD}}$ 유형의 구조를 경계 토러스 위의 임베딩된 곡선 집합으로 표현하며, 국소 시스템을 장식한다.
• 곡선의 정규 호모토피와 국소 시스템의 동형을 환경 위상에 대한 불변량으로 사용한다.
• 두 다면체의 경계 토러스 간의 호메오모르피즘을 통해 접합을 정의하며, 각각의 곡선 집합에 대한 라그랑주 교차 Floer homology를 계산한다.
• 곡선 형식을 활용하여 위상수학적 불변량과 $\widehat{\mathit{HF}}$ 차원에 대한 경계를 도출한다.
• 곡선 모델을 사용하여 L-공간과 본질적인 토러스에 관한 기존 결과를 재증명하고 확장한다.
• 기하학적 프레임워크를 활용하여 위성 L-공간 링크에 대한 추측을 증명한다.

실험 결과

연구 질문

• RQ1 경계 토러스 위의 임베딩된 곡선과 국소 시스템을 사용하여, 토러스 경계를 가진 3차원 다면체에 대해 경계 Heegaard Floer homology를 어떻게 기하학적으로 실현할 수 있는가?
• RQ2 곡선 집합의 라그랑주 교차 Floer homology와 접합 후 얻어진 닫힌 다면체의 Heegaard Floer homology 사이의 관계는 무엇인가?
• RQ3 곡선 모델은 본질적인 토러스를 가진 다면체에 대해 $\widehat{\mathit{HF}}$ 차원에 대한 새로운 경계를 어떻게 제공하는가?
• RQ4 곡선 형식을 사용하여 Eftekhary의 정리(즉, L-공간 호모로지 구류가 토로이드럴 아님)를 재증명하거나 확장할 수 있는가?
• RQ5 곡선 모델은 토로이드럴 L-공간과 위성 L-공간 링크의 접합 자료에 대해 무엇을 드러내는가?

주요 결과

• 도수 1 사상(압축)에 의해 $\widehat{\mathit{HF}}$ 차원이 감소하며, 이는 이러한 사상에 대한 새로운 차단 조건을 제공한다.
• 유리수 호모로지 구류에 본질적인 분리 토러스가 존재하면 $\widehat{\mathit{HF}}$ 차원에 하한이 존재한다.
• 유리수 호모로지 구류 $Y$가 $\widehat{\mathit{HF}}(Y) < 5$ 를 만족하면, 기하학적 분해를 가진 기하학적 다면체여야 한다.
• 논문은 곡선 형식을 통해 토로이드럴 L-공간의 완전한 특성화를 접합 자료에 기반하여 제공한다.
• Hom, Lidman, Vafaee의 위성 L-공간 링크에 대한 추측은 임베딩된 곡선 프레임워크를 통해 증명되었다.
• 이 프레임워크는 L-공간 호모로지 구류가 토로이드럴이 아니라는 Eftekhary의 정리에 대해 새로운 기하학적 증명을 제공한다.