[論文レビュー] Zero-pointed manifolds

David Ayala, John Francis|arXiv (Cornell University)|Sep 9, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 17

ひとこと要約

本稿は、基点の補集合が $n$-多様体である点付き局所コンパクト空間のカテゴリーであるゼロポイント付き多様体——Poincaré双対性と $\mathcal{E}_n$-代数におけるKoszul双対性を統一するためのもの——を導入する。因子化ホモロジーをこのカテゴリーに拡張することで、バー構成による $\mathcal{E}_n$-operad の自己Koszul双対性を実現する双対性写像を構成し、非可換Poincaré双対性の幾何的実現を確立する。

ABSTRACT

We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin-Thom collapse maps, so as to present a common generalization of Poincaré duality in topology and Koszul duality in $\mathcal{E}_n$-algebra.

研究の動機と目的

• 多様体トポロジーにおけるホモロジー理論とコホモロジー理論の共通の幾何的枠組みの欠如を解決すること。
• 埋め込みとPontryagin–Thomの折りたたみ写像に関して閉じた多様体の最小カテゴリーを導入することで、因子化ホモロジーをPoincaré双対性に一般化すること。
• $n$-ディスク代数上のバー構成を用いて、$\mathcal{E}_n$-operad のKoszul自己双対性の幾何的実現を提供すること。
• ゼロポイント付き多様体の構造を用いて、因子化ホモロジーとコホモロジーの間の双対性写像を確立すること。
• $n$-重繰り返しバー構成が、拡張された $\mathcal{E}_n$-代数に自然な $\mathcal{E}_n$-コアルゲブラ構造をもつことの証明。

提案手法

• 基点の補集合が $n$-多様体である点付き空間としてゼロポイント付き多様体を定義し、基点を除く部分で開埋め込みに制限される点付き写像をその射とする。
• $\mathcal{M}\mathsf{fld}_n$ とその反対カテゴリーを含むカテゴリー $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$ を構成し、両方の押し出し関手とゼロ拡張関手を可能にする。
• $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$ に因子化ホモロジーを拡張し、$\mathbb{R}^n_+$ 上のピンチ写像を用いてゼロ拡張写像とコアルゲブラ構造を導入する。
• $\mathbb{R}^n_+$ の因子化ホモロジーが、拡張された $\mathcal{E}_n$-代数の $n$-重繰り返しバー構成と一致することを同定する。
• $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$ とその反対カテゴリーの双対性を用いて、因子化ホモロジーの文脈でPoincaré/Koszul双対性写像を定義する。
• 対称モノイダル $\infty$-カテゴリーと最終単位の理論を適用し、$\mathcal{M} \to \mathcal{M}_+$ に沿った制限が関手圏に同値を誘導することを証明し、双対化関手の表現性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジーとコホモロジー理論の両方をサポートする共通の幾何的カテゴリーを構築できるか？
• RQ2 因子化ホモロジーを、押し出しとゼロ拡張写像の両方をサポートするように拡張できるか？
• RQ3 $\mathcal{E}_n$-operad のKoszul自己双対性の幾何的実現とは何か？
• RQ4 $n$-重繰り返しバー構成が、拡張された $\mathcal{E}_n$-代数に $\mathcal{E}_n$-コアルゲブラ構造を自然に持ち得るか？
• RQ5 Poincaré双対性を一般化する因子化ホモロジーとコホモロジーの間の自然な双対性写像が存在するか？

主な発見

• $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$ であるゼロポイント付き $n$-多様体のカテゴリーは、否定関手 $\neg$ を通じて自然な自己双対性を備え、同型 $\mathcal{Z}\mathcal{M}\mathsf{fld}_n \cong \mathcal{Z}\mathcal{M}\mathsf{fld}_n^{\mathsf{op}}$ を誘導する。
• $\mathbb{R}^n_+$、すなわち $\mathbb{R}^n$ の1点コンパクト化の因子化ホモロジーは、ピンチ写像を通じて自然に $n$-ディスクコアルゲブラとみなされ、$n$-重繰り返しバー構成がコアルゲブラとして実現される。
• 拡張された $\mathcal{E}_n$-代数の $n$-重繰り返しバー構成は、自然な $\mathcal{E}_n$-コアルゲブラ構造を備え、$\mathcal{E}_n$-operad のKoszul自己双対性を幾何的に実現する。
• $\operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}, \mathcal{V})$ は $\mathcal{V}_{/\mathbbm{1}}$ によって表現され、$\mathcal{V}$ の単位が最終的であるとき、$\mathcal{M} \to \mathcal{M}_+$ に沿った制限は対称モノイダル関手に同値を誘導する。
• $\mathcal{M}_+$ と $\mathcal{M}_{+,\sf disj}$ を含む対称モノイダル $\infty$-カテゴリーの図式は同値の意味で可換であり、$\mathcal{M}_+$ における単位の終極性により、忘却関手が同値である。
• カテゴリー $\mathcal{V}_{/\mathbbm{1}}$ に自然な対称モノイダル構造を備えることで、$\mathcal{V}$ に最終単位があるとき、関手 $\operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}_+, \mathcal{V}) \to \operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}, \mathcal{V})$ が同値であることが示され、双対化関手の表現性が証明される。