[論文レビュー] On lattice cohomology and left-orderability

Mauro Mauricio|arXiv (Cornell University)|Aug 8, 2013

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

ひとこと要約

この論文は、ヘガード・フロアー L-空間と基本群の非左順序可能性の間のボイヤー＝ゴードン＝ウォルトゥン予想を、格子コhomologyを用いて負定値グラフ多様体において調査する。絶縁されたプラムビンググラフ（非常に悪い頂点を含まない）は L-空間であり、基本群は左順序可能でないことが示され、一方非常に悪い頂点を含むグラフ、または E₈ の部分グラフを含むグラフは L-空間ではなく、基本群は左順序可能である。これは、3次元多様体の広い族において予想を支持する。

ABSTRACT

It has been recently conjectured by Boyer-Gordon-Watson that a closed, orientable, irreducible $3$-manifold $M$ is a Heegaard Floer $L$-space if and only if $π_1(M)$ is not left-orderable. In this article, we study this conjecture from the point of view of lattice cohomology, an invariant introduced by Némethi which is conjecturally isomorphic to the $HF^+$ version of Heegaard Floer homology. Using the invariant's combinatorial tractability as a stepping stone, we produce some interesting quite general families of negative-definite graph manifolds against which to test the Boyer-Gordon-Watson conjecture. Then, using horizontal foliation arguments and direct manipulation of the fundamental group, we prove that these families do indeed satisfy the conjecture.

研究の動機と目的

• 3次元多様体がヘガード・フロアー L-空間であることと、その基本群が左順序可能でないことの必要十分条件であるボイヤー＝ゴードン＝ウォルトゥン予想を裏付けること。
• 格子コhomologyを組合せ論的道具として用い、負定値プラムビンググラフにおける L-空間性を分析すること。
• 基本群の左順序可能性または非左順序可能性を証明することにより、予想が成り立つグラフ多様体の族を確立すること。
• プラムビンググラフにおける基本群の構造を通じて、きつい foliation と左順序可能性の関係を明らかにすること。
• セイフェルト被覆空間およびグラフ多様体の整数ホモロジー球面に関する既知の結果を、より広いクラスの負定値グラフへと拡張すること。

提案手法

• L-空間性の条件に対応する、HF⁺ と同型であると予想される組合せ論的不変量である格子コhomologyを用い、プラムビンググラフ Γ が格子コhomology L-空間かどうかを判定する。
• ラウファーのアルゴリズムを適用し、縮小された格子コhomologyの消滅をテストすることで、L-空間条件を検証する。
• 「絶縁された」グラフという概念を導入する——非常に悪い頂点を含まず、特定の不足度および近隣制約を満たす負定値木。
• 頂点の不足度と近隣関係に基づく群論的議論を用い、π₁(Γ) の左順序可能性を分析する。
• 木の高さに関する帰納法を用い、群生成子に関する補題を適用することで、すべての頂点が条件 A もしくは A* を満たさない限り、左順序性が矛盾を引き起こすことを示す。
• 根頂点が再ルート化された木において最大でないことを応用し、左順序が存在するならば矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 非常に悪い頂点を含まない負定値プラムビンググラフに対して、ボイヤー＝ゴードン＝ウォルトゥン予想は成立するか？
• RQ2 格子コhomologyを用いて、グラフ多様体の L-空間を体系的に同定できるか？
• RQ3 プラムビンググラフにどのような条件を課すと、π₁(Γ) が左順序可能でなくなるか？
• RQ4 格子コhomologyおよびプラムビンググラフの文脈において、きつい foliation と左順序可能性の関係は何か？
• RQ5 非常に悪い頂点を含む、または E₈ の部分グラフを含むプラムビンググラフは、どのような条件下で L-空間でなくなるか？

主な発見

• プラムビンググラフ Γ に非常に悪い頂点が存在する場合、π₁(Γ) は左順序可能であり、Γ はヘガード・フロアー L-空間ではない。
• プラムビンググラフ Γ に真の負定値 E₈ の部分グラフが含まれる場合、π₁(Γ) は左順序可能であり、Γ はヘガード・フロアー L-空間ではない。
• 絶縁されたグラフ（非常に悪い頂点を含まず、特定の不足度および近隣制約を満たす）に対しては、π₁(Γ) は左順序可能ではなく、Γ はヘガード・フロアー L-空間である。
• 左順序が存在すると再ルート化による矛盾が生じることを示すことで、証明は根拠にしている。これは、一貫した全順序が存在できないことを示唆する。
• 最小プラムビンググラフにおける葉の基本群は自明でない。これは、頂点条件に関する帰納法的議論において不可欠である。
• 負定値性の仮定のもとで結果は成り立つが、この条件がなければ予想は成り立たない。例として、ピオンカーレのホモロジー球面が反例として示される。