[論文レビュー] Factorization homology of stratified spaces

David Ayala, John Francis+1 more|arXiv (Cornell University)|Sep 2, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 11

ひとこと要約

この論文は、接構造を備えた分類的空間上の因子化ホモロジーの基礎的枠組みを確立し、古典的ホモロジーと絡みの不変量を一般化する。一般化されたEilenberg–Steenrod公理的体系を示し、非可換Poincaré双対性を分類的設定に拡張することで、$ω$-カテゴリおよび$ω$-オペラッドを用いた新しい絡みのホモロジー理論を導出する。

ABSTRACT

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Our main theorem characterizes factorization homology theories by a generalization of the Eilenberg--Steenrod axioms; it can also be viewed as an analogue of the Baez--Dolan cobordism hypothesis formulated for the observables, rather than state spaces, of a topological quantum field theory. Using these axioms, we extend the nonabelian Poincaré duality of Salvatore and Lurie to the setting of stratified spaces -- this is a nonabelian version of the Poincaré duality given by intersection homology. We pay special attention to the simple case of singular manifolds whose singularity datum is a properly embedded submanifold and give a further simplified algebraic characterization of these homology theories. In the case of 3-manifolds with 1-dimensional submanifolds, these structure gives rise to knot and link homology theories.

研究の動機と目的

• 分類的空間に接構造を備えた因子化ホモロジーの一般理論を構築し、古典的ホモロジーおよび量子場理論の不変量を拡張すること。
• 因子化ホモロジーをホモトピー不変理論として特徴付けるために、Eilenberg–Steenrod公理を一般化すること。
• 非可換Poincaré双対性を、適切に埋め込まれた部分多様体をもつ特異多様体を含む分類的多様体に拡張すること。
• $ω$-オペラッドおよびフレームドディスク代数を用いて、1次元部分多様体をもつ3次元多様体から絡みとリンクのホモロジー理論を構成すること。
• 特に、1次元部分多様体をもつ3次元多様体の場合を含め、単純な分類的空間に対して因子化ホモロジーの代数的特徴づけを提供すること。

提案手法

• 著者たちは、分類的空間の幾何をモデル化するため、$ω$-カテゴリおよび$ω$-オペラッドを用い、ディスクの配置空間上の左Kan拡張を用いて因子化ホモロジーを定義する。
• 観測量に関する一般化されたcobordism仮説を導入し、因子化ホモロジーを、状態空間ではなく観測量に対して適応されたBaez–Dolan仮説に類似した公理を満たす関手として定式化する。
• フレームド$n$-多様体に$d$次元の部分多様体を備え、接構造を備えたカテゴリ$ω\mathsf{D}_{d\subset n}$を構築し、有限集合とその双対写像の$ω$-カテゴリを配置をモデル化するために用いる。
• 主要な技術的道具は、因子化ホモロジーを配置の群作用のコロイミットとして同定することであり、次の同値関係を用いる：$\operatorname{\mathcal{M}\mathsf{fld}}_{d\subset n}(i(J_n,J_d), X) / \mathsf{O}(n)^{J_n} \times \mathsf{O}(d\subset n)^{J_d} \simeq \mathsf{Conf}_{J_n}(M\setminus L) \times \mathsf{Conf}_{J_d}(L)$。
• 自己同型群を用いたテンソル積により、$ω\mathsf{D}_{d\subset n}$-代数上の自由代数を定義し、次の式を得る：$\int_{(L\subset M)} \operatorname{Free}_{\mathcal{E}}^{\delta(P,Q)} \simeq \operatorname{Conf}^P(M\setminus L) \otimes \operatorname{Conf}^Q(L)$。
• この構成は、押し出しとホモトピー同値に対して整合的であり、ホモトピー不変性および分類的空間全体にわたる自然性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Eilenberg–Steenrod公理の一般化を用いて、分類的空間における因子化ホモロジーをどのように公理化できるか？
• RQ2 接構造は、分類的多様体上の因子化ホモロジーを定義する上で果たす役割は何か？
• RQ3 非可換Poincaré双対性は、適切に埋め込まれた部分多様体をもつ特異多様体にどのように拡張できるか？
• RQ4 1次元部分多様体をもつ3次元多様体における因子化ホモロジーは、絡みとリンクのホモロジー理論を生じさせるか？
• RQ5 単純な分類的構造、特に1次元部分多様体をもつ3次元多様体の場合に、因子化ホモロジーの代数的特徴づけは何か？

主な発見

• この論文は、接構造を備えた分類的空間上の因子化ホモロジーに対して、一般化されたEilenberg–Steenrod公理的体系を確立し、それがホモトピー不変理論として特徴づけられることを示した。
• 特異多様体に適切に埋め込まれた部分多様体をもつ分類的空間に対して、非可換Poincaré双対性を証明し、SalvatoreとLurieの結果を特異多様体の設定に一般化した。
• 1次元部分多様体$L$をもつ3次元多様体$M$に対して、$ω\mathsf{D}_{1\subset 3}$-代数$\delta(P,Q)$の因子化ホモロジーは、$\operatorname{Conf}^P(M\setminus L) \otimes \operatorname{Conf}^Q(L)$に同値であり、これにより絡みとリンクのホモロジー理論が得られる。
• 因子化ホモロジーは、配置の群作用上の左Kan拡張として幾何的に実現され、コロイミットは自己同型群による商として表現される：$\coprod_{[(J_n,J_d)]} \left( \operatorname{\mathcal{M}\mathsf{fld}}_{d\subset n}(i(J_n,J_d),X) \right) \otimes_{\operatorname{Aut}(J_n,J_d)} (P^{\otimes J_n} \otimes Q^{\otimes J_d})$。
• この構成は、押し出しとホモトピー同値に対して整合的であり、得られるホモロジー理論がホモトピー不変であり、開埋め込みに関して自然であることが保証される。
• この枠組みは、一般の基本多様体のカテゴリ$\mathcal{B}$および写像$\mathcal{E} \to \mathcal{B}$へと一般化可能であり、標準的なフレームドディスクカテゴリを超えて広範な適用可能性を示している。