[論文レビュー] Genuine equivariant factorization homology

Asaf Horev|arXiv (Cornell University)|Oct 16, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 7

ひとこと要約

本稿は、有限群 $G$ に対して、真の $G$-等変な要因分解ホモロジーの拡張を構成する。この理論は、$G$-作用をもつ多様体に真の $G$-スペクトルを割り当てる。また、Hill-Hopkins-Ravenel のノームと $\otimes$- excision とに整合し、$G$-圏と $G$-対称モノイド構造を用いた公理的特徴づけを提供する。応用として、実トポロジカル Hochschild ホモロジーと $C_n$-環スペクトルの相対ホモロジーが含まれる。

ABSTRACT

We construct a genuine $G$-equivariant extension of factorization homology for $G$ a finite group, assigning a genuine $G$-spectrum to a manifold with $G$-action. We show that $G$-factorization homology is compatible with Hill-Hopkins-Ravenel norms and satisfies equivariant $\otimes$-excision. Following Ayala-Francis we prove an axiomatic characterization of genuine $G$-factorization homology. Applications include a description of real topological Hochschild homology and relative topological Hochschild homology of $C_n$-rings using genuine $G$-factorization homology.

研究の動機と目的

• 標準的因子分解ホモロジーが一貫したホモトピー的作用しか得られないという制限を克服し、真の $G$-スペクトル構造を備えた理論を構築する。
• $G$-多様体に真の $G$-スペクトルを割り当てる真の $G$-等変因子分解ホモロジー理論への拡張を実現する。
• 理論が Hill-Hopkins-Ravenel のノームと $\otimes$-excision とに整合することを確立し、等変安定ホモトピー論と整合性を持つように保証する。
• $G$-圏と $G$-対称モノイド構造を用いて、真の $G$-因子分解ホモロジーの公理的特徴づけを提供する。
• 理論を用いて、実トポロジカル Hochschild ホモロジーと $C_n$-環スペクトルの相対トポロジカル Hochschild ホモロジーを $G$-因子分解ホモロジーによって記述する。

提案手法

• $G$-多様体と $G$-ディスクの $G$-圏を、$G$-対称モノイド構造とパラメータ化された $Π$-圏を用いて構成する。
• 対称モノイド包の構成を用いて、$G$-ディスクの $G$-圏から真の $G$-スペクトルへの関手として $G$-ディスク代数を定義する。
• $f$-フレームド $G$-多様体の $G$-圏に沿った左カルタン拡張を用いて、因子分解ホモロジーを $G$-関手へ拡張する。
• $G$-コカーテシアングローブを $G$-圏上で用いて、$G$-等変 $ϴ$-excision を実装する。
• Ayala-Francis の公理的枠組みを $G$-等変設定に一般化し、普遍的性質を用いて理論を特徴付ける。
• Hill-Hopkins-Ravenel のノーム構成を用いて、$G$-因子分解ホモロジーを有限 $G$-集合上のインデックススメッシュ積と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 因子分解ホモロジーを、$G$-多様体に真の $G$-スペクトルを割り当てるように、どのように拡張できるか？
• RQ2 真の $G$-等変因子分解ホモロジー理論の正しい公理は何か？ そして、普遍的にどのように特徴づけられるか？
• RQ3 理論が $G$-等変設定において Hill-Hopkins-Ravenel のノームと $\otimes$-excision とどのように作用するか？
• RQ4 実トポロジカル Hochschild ホモロジーは、真の $G$-因子分解ホモロジーの特別な場合として回復可能か？
• RQ5 $G$-ディスクと $G$-フレームド多様体は、$G$-等変因子分解ホモロジー関手を構成する際に果たす役割は何か？

主な発見

• 真の $G$-因子分解ホモロジーは、任意の $G$-多様体に真の $G$-スペクトルを割り当て、直和に関して構造が保存される。
• 理論は $G$-等変 $\otimes$-excision を満たす。つまり、開被覆 $M = M' \cup M''$ に対して、$M$ の因子分解ホモロジーは $M'$ と $M''$ のホモロジーのスメッシュ積と同値である。
• 理論は Hill-Hopkins-Ravenel のノームと整合する。$G$-多様体の因子分解ホモロジーは、部分群上の因子分解ホモロジーのノームと同型である。
• 理論は $G$-圏と $G$-対称モノイド関手を用いた公理的特徴づけを備え、Ayala-Francis フレームワークを真の等変設定に一般化する。
• 実トポロジカル Hochschild ホモロジーは、自明な $C_2$-作用をもつ点の真の $C_2$-因子分解ホモロジーとして実現される。
• $C_n$-環スペクトルの相対トポロジカル Hochschild ホモロジーは、$G = C_n$ に対する真の $G$-因子分解ホモロジーによって記述され、新しい幾何的解釈が得られる。