[論文レビュー] Descent and the Koszul Duality for Locally Constant Factorisation Algebras

Takuo Matsuoka|arXiv (Cornell University)|Jan 1, 2014

Advanced Topics in Algebra被引用数 3

ひとこと要約

この論文は、対称モノイダル安定 ∞-圏におけるコシュール双対性の構成を用いて、局所定数因子化代数のヴェルディエ型同値性を確立する。これは、切除とトポロジカル・チラルホモロジーを用いてルーリエの非可換ポアンカレ双対性を一般化したものである。因子化被覆に関する降下性を証明し、因子化代数およびそのねじれバージョンの ∞-圏に対する積公式を導出する。

ABSTRACT

Generalizing Jacob Lurie's idea on the relation between the Verdier and the iterated loop space theory, we study the Koszul for locally constant factorization algebras. We formulate an analogue of Lurie's nonabelian Poincare duality theorem (which is closely related to earlier results of Graeme Segal, of Dusa McDuff, and of Paolo Salvatore) in a symmetric monoidal stable infinity category carefully, using John Francis' notion of excision. Its proof is done by first studying the Koszul for E_n-algebras in detail. As a consequence, we obtain a Verdier type equivalence for factorization algebras by a Koszul construction. At a foundational level, we study descent properties of 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 category of factorization algebras, and its twisted generalization.

研究の動機と目的

• 対称モノイダル安定 ∞-圏における局所定数因子化代数へ、ルーリエの非可換ポアンカレ双対性を一般化すること。
• コシュール双対性を用いて因子化代数に対するヴェルディエ型同値性を確立すること。
• トポロジカル・チラルホモロジーがコスタロとギルリアムが定義した因子化被覆に関して降下性を満たすことを証明すること。
• ルーリエのアプローチを一般化し、因子化代数およびそのねじれバージョンの ∞-圏に対する積公式を導出すること。

提案手法

• ジョン・フランシスの切除の概念を適応し、対称モノイダル安定 ∞-圏の文脈で、ルーリエの非可換ポアンカレ双対性の正確な類似形を定式化すること。
• 主な双対性結果への基礎を築くために、E_n-代数におけるコシュール双対性を研究すること。
• ルーリエのトポロジカル・チラルホモロジーの枠組みを用い、因子化被覆に関してその降下性を証明すること。
• チラルホモロジーの一般化に基づくアプローチを一般化し、因子化代数の ∞-圏に対する積公式を構成すること。
• 同じホモロジー的・カテゴリカルな道具立てを用いて、ねじれ因子化代数へと枠組みを拡張すること。
• ∞-圏的技法を用いて、導来代数的幾何における対称モノイダル構造と双対性を扱うこと。

実験結果

リサーチクエスチョン

• RQ1 ルーリエの非可換ポアンカレ双対性は、対称モノイダル安定 ∞-圏における局所定数因子化代数の文脈にどのように適応可能か？
• RQ2 この文脈における E_n-代数のコシュール双対性の正確な定式化と証明は何か？
• RQ3 コスタロとギルリアムの定義する意味で、トポロジカル・チラルホモロジーは因子化被覆に関して降下性を満たすか？
• RQ4 一般化されたチラルホモロジーを用いて、因子化代数の ∞-圏に対する積公式を導出可能か？
• RQ5 この枠組みにおいて、コシュール構成からどのように因子化代数のヴェルディエ型同値性が生じるか？

主な発見

• 対称モノイダル安定 ∞-圏におけるコシュール双対性の構成を用いて、局所定数因子化代数のヴェルディエ型同値性が確立された。
• トポロジカル・チラルホモロジーは因子化被覆に関して降下性を満たし、ルーリエの結果をより広い被覆のクラスへ一般化した。
• 因子化代数の ∞-圏は、一般化されたチラルホモロジーへのアプローチから導出された積公式を有する。
• ねじれ因子化代数へとコシュール双対性と降下性の枠組みを拡張することで、積公式のねじれ一般化が得られた。
• E_n-代数のコシュール双対性の研究は、主な双対性結果への基礎的段階を提供した。
• 切除を用いて、ルーリエの非可換ポアンカレ双対性が局所定数因子化代数の文脈へ成功裏に一般化された。