[論文レビュー] On L-spaces and non left-orderable 3-manifold groups

Thomas D. Peters|ArXiv.org|Mar 26, 2009

Geometric and Algebraic Topology参考文献 23被引用数 29

ひとこと要約

本稿では、特定のリンク—トーラスリンク、プレッツェルリンク、2-ブリdgeリンク、および特定のプレッツェル型リンク—の巡回的分岐被覆として得られるすべての3次元多様体が、ヘーガードフローリングホモロジーL空間であることを確立している。これらの多様体が、準代数的リンクの分岐二重被覆として実現可能であることを用い、オルツヴァートとツァボーの定理を適用することで、L空間性が確認され、既知の結果が、非左順序可能基本群をもつ新しい無限族の双曲的3次元多様体へと拡張される。

ABSTRACT

We show that a class of 3-manifolds with non left-orderable fundamental group are Heegaard Floer homology L-spaces

研究の動機と目的

• 特定のリンクの巡回的分岐被覆として得られる3次元多様体がL空間であるかどうかを特定すること。
• 非左順序可能基本群と3次元多様体におけるL空間性の間の関係を確立すること。
• Seifertファイバー空間および球面多様体を超えて、新しい双曲的3次元多様体の族を含むL空間分類を拡張すること。
• 準代数的リンクを用いた統一的な枠組みを提供し、これらの被覆におけるL空間性を証明すること。

提案手法

• Dabkowski, Przytycki, Toghaの定理から得られる多様体を、準代数的リンクの分岐二重被覆として実現すること。
• OzsváthとSzabóの定理（S³内の準代数的リンクの分岐二重被覆はL空間である）を適用すること。
• 図式的変換（ブロー・アップ／ブロー・ダウン）を用いて、スケーリング図を準代数的リンクの簡約黒グラフに変換すること。
• 帰納法と分解による議論を用い、ある交差での両方の分解が連結な交代図式をもつならば、リンクは準代数的であることを示すこと。
• リンク図から導かれる特定の符号付き行列に対する行列式の計算を用い、正の行列式が得られることを確認することで、準代数的性を裏付ける。
• トーラスリンクの場合について、被覆が交代的プレッツェルリンクの分岐二重被覆であることを示す独立した証明を提供すること。

実験結果

リサーチクエスチョン

• RQ1 Dabkowski, Przytycki, Toghaの論文の定理1.3に現れるリンクの巡回的分岐被覆として得られる3次元多様体は、すべてヘーガードフローリングホモロジーL空間であるか？
• RQ2 これらの被覆のL空間性は、それらが準代数的リンクの分岐二重被覆として実現可能であることに基づいて確立可能か？
• RQ3 非左順序可能基本群と双曲的3次元多様体におけるL空間性との間にどのような関係があるか？
• RQ4 非交代的リンクに対して、リンクの被覆がL空間である一般的な基準は存在するか？
• RQ5 定理1.3に現れるリンク族の準代数的性は、図式的および行列式に基づく手法を用いて体系的に検証可能か？

主な発見

• 定理1.3のケース(1)および(2)に現れる—トーラスリンクおよびプレツェルリンクの分岐被覆—は、いずれもSeifertファイバー空間であるため、先行研究によりL空間であることが保証される。
• ケース(3)の2-ブリッジリンクL_{[2k,2m]}の分岐二重被覆は、準代数的リンクの分岐二重被覆であるため、L空間である。
• ケース(4)のリンクL_{[n₁,1,n₃]}（n₁およびn₃が正の奇数）の分岐被覆は、準代数的リンクの分岐二重被覆として実現可能であるため、L空間である。
• 著者は、三葉結び（Σ₃(3₁)）のケースについて独立した証明を提供し、それが交代的プレツェルリンクの分岐二重被覆であることを示すことで、L空間性を確認した。
• リンク族K(p,q)に対して、pq > 1のときK(p,q)は準代数的であることを証明した。これにより、その分岐二重被覆はL空間であることが導かれる。
• リンク図から得られる符号付き行列に対する行列式の計算により、関連するリンクが準代数的であることが確認された。具体的には、分解行列の行列式が正であることが示され、準代数的性の基準を満たしている。