[論文レビュー] Descent properties of the topological chiral homology

Takuo Matsuoka|arXiv (Cornell University)|Sep 24, 2014

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

ひとこと要約

この論文は、コステロとギルリアムが定義した因数分解被覆に関して、トポロジカル的キラルホモロジー—ファクタリゼーション代数のためのルリエのホモロジー理論—が降下性を満たすことを確立する。Lurieの枠組みを一般化して、ファクタリゼーション代数およびそのねじれ付き変種の∞1圏に対する積公式を導出し、適切な条件下でファイバー束に沿った制限関手が同値であることを証明することで、シーヴ的およびホモトピー的アプローチを統合する。

ABSTRACT

We study descent properties of Jacob Lurie's topological chiral homology. We prove that this homology theory satisfies descent for a factorizing cover, as defined by Kevin Costello and Owen Gwilliam. We also obtain a generalization of Lurie's approach to this homology theory, which leads to a product formula for the infinity $1$-category of factorization algebras, and its twisted generalization.

研究の動機と目的

• コステロとギルリアムが定義した因数分解被覆に関して、トポロジカル的キラルホモロジーの降下性を確立すること。
• ホモトピー的設定においてLurieのトポロジカル的キラルホモロジーのアプローチを一般化し、ファクタリゼーション代数の∞1圏に対する積公式を導くこと。
• ファイバー束上のねじれ付きファクタリゼーション代数へ理論を拡張し、適切な条件下で制限関手が同値であることを証明すること。
• コステロ–ギルリアムのČech風のアプローチと、Lurieの特異的ホモロジー枠組みを降下性によって統合すること。

提案手法

• 高階圏論とホモトピー代数を用いて、対称モノイド∞1圏が分離ホモトピーコロイミットについて閉じている場合に、ファクタリゼーション代数を局所定数コシーブに値をとるものとして定義する。
• 定理2.26を適用し、ファイバー束 p: E → B を介して全空間 E 上のファクタリゼーション代数から底空間 B 上への制限関手が、バンドルがディスク上では自明であるとき同値であることを示す。
• 底空間のディスクの逆像をファイバーとの積に分解し、局所的自明性に帰着させ、定理3.14の適用を可能にする。
• 全空間上の代数を射影によって引き戻すことにより、底空間上のねじれ付きファクタリゼーション代数を構成し、ファイバー構造を用いる。
• 底空間の互いに交わらない開集合の族の極限を用いて、ファクタリゼーション代数の圏を表現し、モノイド構造の整合性を活用する。
• 制限関手の自然性を用い、グローバルな同値性を、互いに交わらないディスク上の自明バンドルの場合に還元し、この場合に限り、補題3.22から結果が従う。

実験結果

リサーチクエスチョン

• RQ1 コステロとギルリアムの定義する因数分解被覆に関して、トポロジカル的キラルホモロジーは降下性を満たすか？
• RQ2 Lurieのトポロジカル的キラルホモロジーの枠組みを一般化することで、ファクタリゼーション代数の∞1圏に対する積公式を得られるか？
• RQ3 ファイバー束 p: E → B を介して全空間 E 上のファクタリゼーション代数から底空間 B 上への制限関手は、ねじれ付き設定において同値か？
• RQ4 降下結果は、n圏や∞-圏といったより高いターゲット圏へどの程度拡張可能か？

主な発見

• トポロジカル的キラルホモロジーは、定理2.11で示されるように、コステロとギルリアムの定義する因数分解被覆に関して降下性を満たす。これにより、コステロ–ギルリアムのČech風の手法と、Lurieの特異的ホモロジー構成が結びつけられる。
• ファイバー束 p: E → B を介して多様体 E 上のファクタリゼーション代数から多様体 B 上への制限関手は、代数が局所定数で底空間がディスクで被覆されるとき同値である。
• E 上の局所定数な前代数（圏値）に対して、底空間 B 上への制限関手は、E 上のファクタリゼーション代数の∞1圏と、ファイバーごとの代数圏値をとるB上のファクタリゼーション代数の∞1圏との間に同値を誘導する。
• ねじれ付き一般化された制限関手に対しても同値性が成り立つことが定理3.21で示され、圏値をとる代数へ拡張される。
• 結果はより高いターゲット圏へ一般化可能である：ターゲットがn圏である場合、同値性はn圏的レベルで成り立ち、∞-圏の場合には∞-圏的設定で同値性が成立する。
• 証明は、問題を互いに交わらないディスク上の自明バンドルに還元し、この場合に補題3.22により同値性が従うことに依拠している。