[論文レビュー] Lattice Spectral Sequences and Cohomology of Configuration Spaces

Philip Tosteson|arXiv (Cornell University)|Dec 19, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 6

ひとこと要約

この論文は、分割ラティスと $X^n$ の対に関する相対コホモロジーから導かれるスペクトル系列を用いて、配置空間 $
\mathrm{Conf}_n(X)$ のコホモロジーから得られる FI 加群の有限生成性に関するホモロジー的基準を確立する。主な結果は、$X$ が局所的に $\mathbb{R}^2$ 的であるか、または $2$ 次元以上の局所的構造を持つならば、すべての $i$ に対して $H^i(\mathrm{Conf}_n(X),k)$ が有限生成 FI 加群であることが示され、表現安定性が多様体に限らずより広い位相的空間へと拡張されることを示している。

ABSTRACT

For a topological space $X$, we introduce a criterion for the $ m FI$ module $H^i({ m Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C imes \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.

研究の動機と目的

• 多様体を超えてより一般の位相的空間へと、$H^i(\mathrm{Conf}_n(X),k)$ が FI 加群としての有限生成性を拡張すること。
• 相対コホモロジー $H^i(X^n, X^n - \Delta X, k)$ が十分大きな $n$ で消失するというホモロジー的基準を提供すること。
• FI 加群の枠組みを通じて、先行する表現安定性とホモロジー的安定性の結果を統一・一般化すること。
• すべての $i$ に対して $H^i(\mathrm{Conf}_n(X),k)$ が大きな $n$ で一様な振る舞いを示すための条件を確立すること、特に正の特性を持つ場合を含む。

提案手法

• 分割ラティスのホモロジー代数からスペクトル系列を導出し、配置空間のコホモロジーを分析する。
• ヴェルディエ双対性と双対化複体 $\omega_X$ を用いて、相対コホモロジー $H^i(X^n, X^n - \Delta X, k)$ を $\mathrm{R}\Delta_n^!\underline{k} \simeq (\omega_X^*)^{\otimes n-1}$ として再表現する。
• 局所コホモロジーの Künneth 公式を適用して、相対コホモロジーの計算を局所的データの積に還元する。
• 局所的基準を確立：$X$ が局所的に $V \times \mathbb{R}^2$ の形をしているならば、コホモロジー FI 加群は有限生成である。
• $\mathrm{R}i^!$ ファンクターの局所化を用いて、グローバルなコホモロジー的条件を局所的条件に還元する。
• 点を一つ取り除いても近傍が非連結にならないならば、すべての $i$ に対して $H^i(\mathrm{Conf}_n(X),k)$ は有限生成 FI 加群であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような位相的条件を満たせば、$X$ に対して FI 加群 $n \mapsto H^i(\mathrm{Conf}_n(X),k)$ が有限生成になるか？
• RQ2 相対コホモロジー $H^i(X^n, X^n - \Delta X, k)$ は、配置空間コホモロジーの有限生成性を検出するためにどのように利用できるか？
• RQ3 多様体から拡張された有限生成性の結果は、$2$ 次元以上の局所的構造を持つ分岐的または非多様体的空間へも拡張可能か？
• RQ4 双対化複体 $\omega_X$ は、配置空間のコホモロジー的挙動を決定づける役割を果たすか？
• RQ5 分割ラティスから得られるスペクトル系列は、配置空間コホモロジーの表現安定性とどのように関係するか？

主な発見

• もし $X$ が有限連結 CW 複体であれば、$X \times \mathbb{R}^2$ は有限生成基準を満たすため、すべての $i$ に対して $H^i(\mathrm{Conf}_n(X \times \mathbb{R}^2),k)$ は有限生成 FI 加群である。
• 任意のハウスドルフかつ局所可縮可能な空間 $X$ で、各点 $p$ が局所的積構造 $V_p \times \mathbb{R}^2$ を持つならば、すべての $i$ に対して $H^i(\mathrm{Conf}_n(X),k)$ は有限生成 FI 加群である。
• すべての点 $p$ が、$p$ を除いたときに非連結にならないような可縮近傍 $U$ を持つならば、すべての $i$ に対して $H^i(\mathrm{Conf}_n(X),k)$ は有限生成 FI 加群である。
• $\mathbb{R}^d$ 上の配置空間のコホモロジーは、$d \geq 2$ である場合に限り有限生成基準を満たし、$H^{(d-1)n}(\mathbb{R}^{dn}, \mathbb{R}^{dn} - \Delta \mathbb{R}^d, k) \cong k$ が成り立つ。
• 連結な有限グラフ $G$ に対して、$H^i(\mathrm{Conf}_n(G \times \mathbb{R}^1),k)$ はすべての $i$ に対して有限生成 FI 加群であるが、$G \times \mathbb{R}^1$ は $2$ 次元であるにもかかわらずそうなる。
• 双対化複体 $\omega_X$ は $\mathrm{R}\Delta_n^!\underline{k} \simeq (\omega_X^*)^{\otimes n-1}$ を満たし、これにより消失条件の双対性に基づく再定式化が可能になる。