[論文レビュー] Bordered Floer homology for manifolds with torus boundary via immersed curves

Jonathan Hanselman, Jacob Rasmussen+1 more|arXiv (Cornell University)|Apr 12, 2016

Geometric and Algebraic Topology被引用数 11

ひとこと要約

この論文は、トーラス境界をもつ3次元多様体の境界付きヘーガードフローリングホモロジーを幾何的で曲線に基づく記述により提供し、タイプD構造を境界トーラス上の埋め込まれた曲線と局所系を用いて表現する。2つの多様体を境界トーラスのホメオモーフィズムにより貼り合わせて得られる閉じた多様体のヘーガードフローリングホモロジーは、これらの曲線のラグランジュ交叉フローリングホモロジーによって計算され、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次元多様体の境界付きヘーガードフローリングホモロジーを幾何的で曲線に基づく解釈で提供すること。
• タイプD構造 $\widehat{\mathit{CFD}}$ が境界トーラス上の埋め込み曲線と局所系の集合と同値であることを示すこと。
• 境界付き多様体の貼り合わせによって得られる閉じた多様体のヘーガードフローリングホモロジーが、これらの曲線集合のラグランジュ交叉フローリングホモロジーによって計算されることを確立すること。
• この枠組みを用いて、L空間、トーラル多様体、およびサテライト絡み目に関する新しい結果を証明すること。

提案手法

• トーラス境界をもつ3次元多様体のタイプD構造 $\widehat{\mathit{CFD}}$ を、境界トーラス内の埋め込み曲線の集合として表現し、局所系を装飾する。
• 曲線の正則ホモトピーと局所系の同型を、周囲の同倫的変形のもとで不変量として用いる。
• 2つの多様体の境界トーラスのホメオモーフィズムによる貼り合わせを、それぞれの曲線集合のラグランジュ交叉フローリングホモロジーの計算によって定義する。
• 曲線形式を用いて位相的不変量と $\widehat{\mathit{HF}}$ の次元に関する境界を導出する。
• 曲線モデルを用いて、L空間と本質的トーラスに関する結果を再証明および拡張する。
• 幾何的枠組みを活用して、サテライトL空間絡み目のための予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、埋め込み曲線と局所系を用いて、トーラス境界をもつ3次元多様体の境界付きヘーガードフローリングホモロジーを幾何的に実現できるか？
• RQ2 曲線集合のラグランジュ交叉フローリングホモロジーと、貼り合わせによって得られる閉じた多様体のヘーガードフローリングホモロジーとの関係は何か？
• RQ3 曲線モデルは、本質的トーラスをもつ多様体の $\widehat{\mathit{HF}}$ の次元に対して、どのように新しい境界を与えるか？
• RQ4 曲線形式を用いて、Eftekharyの定理（L空間ホモロジー球はアトロイダルである）を再証明または拡張できるか？
• RQ5 曲線モデルは、トーラルL空間とサテライトL空間絡み目の貼り合わせデータに関して、何を明らかにするか？

主な発見

• 次数1の写像（ピンチ）による写像では $\widehat{\mathit{HF}}$ の次元が減少するため、これに対する新たな障害が得られる。
• 有理数ホモロジー球に本質的で分離するトーラスが存在するならば、$\widehat{\mathit{HF}}$ の次元に下界が存在する。
• 有理数ホモロジー球 $Y$ で $\widehat{\mathit{HF}}(Y) < 5$ である場合、$Y$ は幾何的である、すなわち幾何的分解をもつ。
• 本論文は、曲線形式を用いて、トーラルL空間をその貼り合わせデータの観点から完全に特徴づける。
• Hom, Lidman, および Vafaeeの予想（サテライトL空間絡み目）は、埋め込み曲線フレームワークを用いて証明された。
• 本フレームワークにより、L空間ホモロジー球がアトロイダルであるというEftekharyの定理の新しい幾何的証明が得られた。