[論文レビュー] Generating families and constructible sheaves

Vivek Shende|arXiv (Cornell University)|Apr 6, 2015

Geometric and Algebraic Topology参考文献 32被引用数 4

ひとこと要約

本稿は、$X$ のジャンルス空間内のLegendrianの生成族表現と $X \times \mathbb{R}$ 上の局所定数層の間の標準的対応を確立し、生成族ホモロジーが関連層の自己準同型代数と同型であることを示している。$\mathbb{R}^3$ 内のLegendrian絡み目に対しては、この対応が同値であり、層論的技法を通じて生成族ホモロジーと線形化されたLegendrian接触ホモロジーを結びつける。

ABSTRACT

Let $Λ$ be a Legendrian in the jet space of some manifold $X$. To a generating family presentation of $Λ$, we associate a constructible sheaf on $X imes \mathbb{R}$ whose singular support at infinity is $Λ$, and such that the generating family homology is canonically isomorphic to the endomorphism algebra of this sheaf. That is, the theory of generating family homology embeds in sheaf theory, and more specifically in the category studied in [STZ]. When $X = \mathbb{R}$, i.e., for the theory of Legendrian knots and links in the standard contact $\mathbb{R}^3$, we use ideas from the proof of the h-cobordism theorem to show this embedding is an equivalence. Combined with the results of [NRSSZ], this implies in particular that the generating family homologies of a knot are the same as its linearized Legendrian contact homologies.

研究の動機と目的

• 生成族ホモロジー理論を局所定数層理論の枠組みに埋め込むこと。
• $X$ のジャンルス空間内のLegendrian $\Lambda$ の各生成族表現に対して、$X \times \mathbb{R}$ 上の局所定数層を関連付けること。
• 関連層の自己準同型代数が、$\Lambda$ の生成族ホモロジーと標準的に同型であることを示すこと。
• $X = \mathbb{R}$、すなわち $\mathbb{R}^3$ 内のLegendrian絡み目である場合に、この埋め込みが同値になることを証明すること。
• この層論的同値を用いて、生成族ホモロジーが線形化されたLegendrian接触ホモロジーと一致することを確立すること。

提案手法

• $X$ のジャンルス空間内のLegendrian $\Lambda$ の生成族表現から、$X \times \mathbb{R}$ 上の層を構成すること。
• 層の無限遠における特異的補足を用いて、元のLegendrian $\Lambda$ を回復すること。
• [STZ] の局所定数層の圏に関する結果を応用し、層の自己準同型代数を分析すること。
• $X = \mathbb{R}$ の場合に、h-コボルディズム定理のアイデアを活用して、層論的構成が完全かつ本質的に全射であることを証明すること。
• [NRSSZ] を用いて、同値を介して層の自己準同型代数と線形化されたLegendrian接触ホモロジーを結びつけること。
• 生成族ホモロジーと関連層の自己準同型代数との間に標準的同型を確立すること。

実験結果

リサーチクエスチョン

• RQ1 生成族ホモロジーは、$X \times \mathbb{R}$ 上の局所定数層の圏内でどのように実現可能か？
• RQ2 局所定数層の無限遠における特異的補足と、それが表すLegendrian部分多様体との正確な関係は何か？
• RQ3 $\mathbb{R}^3$ 内のLegendrian絡み目に対して、生成族ホモロジーの層論的実現は完全かつ本質的に全射か？
• RQ4 関連層の自己準同型代数を生成族ホモロジーと標準的に同一視できるか？
• RQ5 この層論的構成は、Legendrian絡み目に対して線形化されたLegendrian接触ホモロジーを回復できるか？

主な発見

• $X$ のジャンルス空間内のLegendrian $\Lambda$ の生成族表現から、無限遠における特異的補足が $\Lambda$ に一致する、$X \times \mathbb{R}$ 上の局所定数層が得られる。
• この層の自己準同型代数は、$\Lambda$ の生成族ホモロジーと標準的に同型である。
• $X = \mathbb{R}$ の場合、生成族ホモロジーの層理論への埋め込みは、圏の同値である。
• この同値性により、$\mathbb{R}^3$ 内のLegendrian絡み目の生成族ホモロジーが、その線形化されたLegendrian接触ホモロジーと一致することが示される。
• この構成により、生成族ホモロジーに層論的解釈が与えられ、接触ホモロジー不変量と統合される。
• 証明は、絡み目の場合に埋め込みの完全性と本質的全射性を示すために、h-コボルディズム定理のアイデアを模倣した技術に依拠している。