[論文レビュー] A topological grading on bordered Heegaard Floer homology

Yang Huang, Vinicius G. B. Ramos|arXiv (Cornell University)|Nov 30, 2012

Geometric and Algebraic Topology参考文献 6被引用数 3

ひとこと要約

この論文は、境界を持つ3次元多様体上の非退化するベクトル場のホモトピー型を用いて、境界付きヘーガードフローリングホモロジーに標準的な位相的次数を導入する。閉じた3次元多様体からの絶対的次数の一般化として、$F \times [0,1]$ 上のコアーディネート平面場の群ガロワ（groupoid）を定義し、接続写像がこの次数を保存することを証明することで、境界付き状況への絶対的次数の拡張を実現する。

ABSTRACT

In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group defined by Lipshitz-Ozsváth-Thurston.

研究の動機と目的

• 閉じた3次元多様体から境界付き3次元多様体へ、ヘーガードフローリングホモロジーの絶対的次数を拡張すること。
• 非退化するベクトル場のホモトピー型を用いて、境界付き不変量 $\widehat{\mathit{CFA}}(Y)$ および $\widehat{\mathit{CFD}}(Y)$ に幾何的次数を定義すること。
• パラメトライズドされた曲面 $F$ に関連するストランド代数 $\mathcal{A}(F)$ のための次数群ガロワ $G(F)$ を構成すること。
• 境界付き接続写像 $\Phi$ が次数を保存することを証明し、部分集合の相対的次数を閉じた多様体上の絶対的次数に結びつけること。

提案手法

• ホモトピー型を modulo とする、$F \times [0,1]$ 上のコアーディネート平面場の群ガロワ $G(F)$ を定義し、$\mathbb{Z}$-作用 $\lambda^n$ を備える。
• ストランド代数 $\mathcal{A}(F)$ に値をとる次数関数 $\mathrm{gr}$ を構成し、$\mathrm{gr}(a \cdot b) = \mathrm{gr}(a) \cdot \mathrm{gr}(b)$ および $\mathrm{gr}(\partial a) = \lambda^{-1} \mathrm{gr}(a)$ を満たすようにする。
• $\mathrm{gr}$ が左 $G(-F)$ および右 $G(F)$ の作用を持つ両側 $G(F)$-加群 $S(Y)$ を定義し、これは $\widehat{\mathit{CFA}}(Y)$ および $\widehat{\mathit{CFD}}(Y)$ の次数集合として機能する。
• 接続写像 $\Psi: S(Y_1) \otimes_{G(F)} S(Y_2) \to \mathrm{Vect}(Y)$ を構成し、次数のテンソル積を閉じた多様体 $Y = Y_1 \cup_F Y_2$ 上の絶対的次数へ写像する。
• ポントリャーギン＝トムの構成を用いて、$Y_1$ および $Y_2$ 上のベクトル場のホモトピー型を、接続された多様体 $Y$ 上のそれらと関連付ける。
• 接続写像 $\Phi$ が次数を保存すること、すなわち $\widetilde{\mathrm{gr}}(\Phi(a \otimes b)) = \Psi(\mathrm{gr}(a) \otimes \mathrm{gr}(b))$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 閉じた3次元多様体におけるヘーガードフローリングホモロジーの絶対的次数を、境界を持つ3次元多様体へ拡張することは可能か？
• RQ2 ベクトル場などの位相的データを用いて、境界付き不変量 $\widehat{\mathit{CFA}}(Y)$ および $\widehat{\mathit{CFD}}(Y)$ に幾何的次数をどのように定義できるか？
• RQ3 境界付きヘーガードフローリングホモロジーにおける接続写像は、この新しい次数構造と整合性を持つか？
• RQ4 次数集合の代数的構造は何か？ そして、$\mathcal{A}_\infty$-加群作用とどのように作用するか？
• RQ5 境界付き不変量の次数は、接続によって得られる閉じた多様体上の絶対的次数とどのように関係するか？

主な発見

• 非退化するベクトル場のホモトピー型を用いて、境界付きヘーガードフローリングホモロジー不変量 $\widehat{\mathit{CFA}}(Y)$ および $\widehat{\mathit{CFD}}(Y)$ に標準的な次数を構成する。
• 次数は、ホモトピー型を modulo とする、$F \times [0,1]$ 上のコアーディネート平面場の群ガロワ $G(F)$ に値をとり、$\mathbb{Z}$-作用 $\lambda^n$ を備える。
• 次数は、$\mathcal{A}(F)$ の生成元について $\mathrm{gr}(a \cdot b) = \mathrm{gr}(a) \cdot \mathrm{gr}(b)$ および $\mathrm{gr}(\partial a) = \lambda^{-1} \mathrm{gr}(a)$ を満たす。
• $\widehat{\mathit{CFA}}(Y)$ に対して、加群作用の次数は $\mathrm{gr}(m_{l+1}(x; a_1, \dots, a_l)) = \lambda^{l-1} \mathrm{gr}(x) \cdot \mathrm{gr}(a_1) \cdots \mathrm{gr}(a_l)$ を満たす。
• 接続写像 $\Phi: \widehat{\mathit{CFA}}(Y_1) \widetilde{\otimes} \widehat{\mathit{CFD}}(Y_2) \to \widehat{\mathit{CF}}(Y_1 \cup_F Y_2)$ は次数を保存し、$\widetilde{\mathrm{gr}}(\Phi(a \otimes b)) = \Psi(\mathrm{gr}(a) \otimes \mathrm{gr}(b))$ を満たす。
• $\Psi: S(Y_1) \otimes_{G(F)} S(Y_2) \to \mathrm{Vect}(Y)$ は全単射であり、適合する次数構造と閉じた多様体上の絶対的ベクトル場ホモトピー型との間の一対一対応を確立する。