[論文レビュー] An absolute Z/2 grading on bordered Heegaard Floer homology

Ina Petkova|arXiv (Cornell University)|Jan 12, 2014

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

ひとこと要約

この論文は、境界付きヘーガードフローホモロジーにおける相対的Z/2グレーディングを絶対的グレーディングに高めるために、境界付きヘーガード図式におけるα-およびβ-曲線の順序と向きの標準的選択を導入することで、絶対的Z/2グレーディングを確立した。得られるZ/2-グレーディング付き型D構造はホモトピー同値に関して不変であり、適切な almost complex 構造やヘーガード図式の選択に依存せず、境界付き3次元多様体の位相的不変量をなす。

ABSTRACT

Bordered Heegaard Floer homology is an invariant for 3-manifolds, which associates to a surface F an algebra A(F), and to a 3-manifold Y with boundary, together with an orientation-preserving diffeomorphism from F to the boundary of Y, a module over A(F). In a previous paper, we defined relative Z/2 differential gradings on the algebra A(F) and the modules over it. In this paper, we turn the relative grading into an absolute one, and show that the resulting Z/2-graded module is an invariant of the bordered 3-manifold.

研究の動機と目的

• 境界付きヘーガードフローホモロジーの相対的Z/2グレーディングにおける不確かさを、標準的構成によって絶対的グレーディングに高めること。
• 境界付きヘーガード図式Hを用いて、型DモジュールCFD̂(H)に標準的かつ計算可能なZ/2グレーディングを構成すること。
• 得られるZ/2-グレーディング付きモジュールがホモトピー同値に関して不変であり、almost complex 構造および適切な図式の選択に依存しないことを証明すること。
• グレーディング付きモジュール構造（単なるスパンではなく）自体が境界付き3次元多様体の位相的不変量であることを示すこと。

提案手法

• マッチドサークルとα-アークの所定の順序に基づいて、曲面のホモロジー類の集合に標準的全順序を定義する。
• 固定された基準ヘーガード図式とホモロジー類への順序の誘導に基づいて、α-およびβ-曲線に向きを割り当てる。
• ラグランジュ基底の順序付き集合における生成子の位置を比較することで、型Dモジュールの生成子にZ/2グレーディングを構成する。
• グレーディングが均質性条件 m(ax) = m(a) + m(x) と微分条件 m(∂x) = m(x) − 1 を満たすように保証する。
• グレーディング構造がホモロジー情報と標準的順序にのみ依存することを示すことにより、almost complex 構造およびヘーガード図式の変更に対する不変性を証明する。
• 交差形式と標準的向きの整合性を用いて、基準ヘーガード図式の選択に依存しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 相対的Z/2グレーディングを、標準的構成によって絶対的グレーディングに高めることは可能か？
• RQ2 得られる絶対的Z/2グレーディングは、適切なヘーガード図式およびalmost complex 構造の選択に依存しないか？
• RQ3 接合後に、型Dモジュールの絶対的グレーディングが閉じた3次元多様体不変量の絶対的Z/2グレーディングを回復するか？
• RQ4 スピン^c構造のすべてにわたって、ヘーガード図式のデータのみを用いてグレーディングを一様に定義可能か？
• RQ5 グレーディング付きモジュール構造自体が、スパンの不変量ではなく、位相的不変量であるか？

主な発見

• 境界付きヘーガード図式Hの型DモジュールCFD̂(H)に、α-およびβ-曲線の標準的順序と向きに基づく絶対的Z/2グレーディングが定義された。
• グレーディングは均質性条件 m(ax) = m(a) + m(x) と微分条件 m(∂x) = m(x) − 1 を満たし、代数的構造と整合的である。
• 得られるZ/2-グレーディング付きモジュールはホモトピー同値に関して不変であり、適切なalmost complex 構造およびヘーガード図式の選択に依存しない。
• グレーディング付きモジュール構造 [CFD̂(H)] は境界付き3次元多様体の位相的不変量であり、スパンにおける符号の不確かさを解消する。
• この構成は双モジュールへ一般化可能であり、Z係数での脱カテゴリフィケーションにおいて、既存の結果を拡張する。
• 絶対的グレーディングは、接合後に閉多様体不変量の絶対的Z/2グレーディングを回復しないことが、Hanselmanによって示された。