[論文レビュー] Naturality and mapping class groups in Heegaard Floer homology

András Juhász, Dylan P. Thurston+1 more|arXiv (Cornell University)|Oct 18, 2012

Botulinum Toxin and Related Neurological Disorders被引用数 4

ひとこと要約

この論文は、Heegaard Floer homology、リンク Floer homology、およびサージャー・Floer homology が、基点付き 3 次元多様体（またはリンク、サージャー多様体）の圏から、可換な整数被覆群の圏へのファンクターとして定義されることを示す。これは、(基点付きの) 微分同相写像に対して同型を割り当て、その割り当てがホモトピーに関して不変であることを保証する。主な貢献は、Heegaard 図の空間の基本群の生成集合のまわりで Heegaard Floer homology がモノドロミーを持たないことを示したことである。これにより、理論のあらゆるバージョンにわたるファンクター性と自然性が保証される。

ABSTRACT

We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds.

研究の動機と目的

• Heegaard Floer homology の長年の自然性の問題を解決し、不変量が同型の意味でのみ定義されていたのを、明示的な群への割り当てと微分同相写像への同型の割り当てを伴う真のファンクター的不変量へと高める。
• hat、plus、minus、infinity、およびリンク／サージャー変種を含む、Heegaard Floer homology のすべてのバージョンが、(基点付きの) 微分同相写像に関してファンクター的であることを確立する。
• 多点付き Heegaard 図の不変量が、3 次元多様体、リンク、またはサージャー多様体の自然な不変量へと降下するための一般的な基準を提供する。
• 微分同相写像によって誘導される同型の割り当てがホモトピーに関して不変であることを示し、これによりコボルディズム写像の構成や、接触不変量のような特定の要素の研究が可能になる。

提案手法

• Heegaard 図の空間の基本群の単純な生成集合を特定する。これは、ハンドルスライド、安定化、不安定化、および微分同相写像からなる。
• Heegaard Floer homology がこれらの生成元のまわりでモノドロミーを持たないことを証明する。これは、図複体内での経路の選びに依存しない同型が誘導されることを示すことによって行う。
• ハンドルスライドの 2 複体 Y₂(B) の連結性と単連結性を用いて、経路に沿って定義された同型が適切に定義されており、長方形に沿って可換であることを保証する。
• α/β 同値、ハンドルスライドループ、安定化スライドに関する公理を満たす弱い不変量を拡張することで、強い Heegaard 不変量を構成する。
• トランスティヴ・システムおよび余極限の理論を用いて、図に割り当てられる群の系から普遍群を定義し、ファンクター性を保証する。
• 3 次元多様体上の勾配ベクトル場の分岐を、Heegaard 図上の移動に翻訳する。一般の 1 パラメータおよび 2 パラメータの勾配族を用いて、ホモトピーとハンドルスライドをモデル化する。

実験結果

リサーチクエスチョン

• RQ1 Heegaard Floer homology は、同型の意味での不変量から、基点付き 3 次元多様体に明示的な群を割り当て、微分同相写像に同型を割り当てる真のファンクター的不変量へと高められるか？
• RQ2 図に基づく不変量が、3 次元多様体、リンク、またはサージャー多様体の自然な不変量へと降下するための条件は何か？
• RQ3 Heegaard Floer homology は、Heegaard 図の空間の基本群の生成元のまわりでモノドロミーを示すか？もし示さないなら、その理由は何か？
• RQ4 Heegaard Floer 理論の文脈において、微分同相写像によって誘導される同型のホモトピー不変性はどのように確立されるか？
• RQ5 ハンドルスライドループと安定化スライドは、異なる図表現間での不変量の一貫性を保証するために果たす役割は何か？

主な発見

• hat、plus、minus、infinity、リンク、およびサージャー変種を含む、Heegaard Floer homology のすべてのバージョンが、自然な不変量である。これらは、基点付き 3 次元多様体、リンク、およびバランスの取れたサージャー多様体に明示的な群を割り当てる。
• 微分同相写像（および基点付き微分同相写像）への同型の割り当ては、ファンクター的かつホモトピー不変である。これは、写像類群への適切な作用が定義されることを意味する。
• Heegaard 図の空間の基本群の生成集合のまわりで Heegaard Floer homology はモノドロミーを持たない。これにより、不変量が経路の選びに依存せず、一意に定義される。
• ハンドルスライドの 2 複体 Y₂(B) は単連結である。これにより、ハンドルスライドの経路に沿って定義された同型が、経路の選びに依存しないことが保証される。
• 強い Heegaard 不変量が存在するための必要十分条件は、すべてのハンドルスライドループと安定化スライドに沿って不変量が可換であることである。これは、自然性の完全な基準を提供する。
• 弱い Heegaard 不変量が α/β 同値、ハンドルスライドループ、および安定化スライドに関する公理を満たす場合、それを強い不変量へと拡張する方法は一意に定まる。