[論文レビュー] Algebraic structures on cohomology of configuration spaces of manifolds with flows

Jordan S. Ellenberg, John D. Wiltshire-Gordon|arXiv (Cornell University)|Aug 10, 2015

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

ひとこと要約

この論文は、滑らかで、連結で、可縮で、有限型の次元2以上の多様体 $M$ が、至る所非零のベクトル場を持つ場合、順序付き配置空間のコホモロジーが自然に $\pi_0\mathcal{F}E_1$-加群構造を持つことを確立している。この $\pi_0\mathcal{F}E_1$ は非可換有限集合の圏 $\mathcal{N}$ に同型であり、この構造により、コホモロジー表現の特徴関数が即時多項式的であることが従い、無向配置空間の有理コホモロジー次元が $n$ に関して非減少であることが証明される。これは、幾何的フロー構造を用いて、閉多様体に対する安定性問題を解決する。

ABSTRACT

Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polynomiality results for the cohomology groups H^i(PConf^n M, k). In the case of unordered configuration space Conf^n M = (PConf^n M)/S_n and rational coefficients, we show that cohomology dimension in fixed degree is nondecreasing.

研究の動機と目的

• フローを持つ多様体上の配置空間のコホモロジー群の表現論的構造を理解すること。
• 多様体 $M$ が至る所非零のベクトル場を持つとき、コホモロジー群 $H^i(\operatorname{PConf}^n M, k)$ が非可換有限集合の圏 $\mathcal{N}$ にたいして有限生成加群をなすことの確立。
• 有理係数をもつ無向配置空間 $\operatorname{Conf}^n M$ のコホモロジー次元が $n$ に関して非減少であることを証明すること。
• フローの幾何的データ（$l$-フレームを介して）が配置空間に自然な作用を誘導し、それによって圏的加群構造が得られることを示すこと。

提案手法

• 著者たちは、多様体 $M$ 上の滑らかに変化する $l$-フレームを用いて、$\operatorname{Emb}^f(\mathbb{D}^l_n, M) \simeq \operatorname{PConf}^n M$ というホモトピー同値を構成し、$l$ 次元の球体の埋め込みを用いて配置空間をモデル化する。
• 互いに交わらない $l$-球体の埋め込みの圏 $\mathcal{F}E_l$ を定義し、その位相的構造を備えた上で、そのパス成分 $\pi_0\mathcal{F}E_l$ を考察し、配置空間に作用する圏的構造を定義する。
• $\pi_0\mathcal{F}E_l$ の $\operatorname{PConf}^n M$ への作用を、前結合を介してコホモロジーに引き上げることで、$H^i(\operatorname{PConf}^n M, k)$ に $\pi_0\mathcal{F}E_l$-加群構造を定義する。
• $l=1$ の場合、$\pi_0\mathcal{F}E_1 \cong \mathcal{N}$ であり、非可換有限集合の圏であるため、コホモロジー群は $\mathcal{N}$-加群を自然に持つ。
• $l \geq 2$ の場合、$\pi_0\mathcal{F}E_l \cong \mathcal{F}$ となり、有限集合と単射の圏となるため、構造が単純化される。
• 有限生成性は、[CEF15] のスペクトル系列の議論を用いて、$\mathcal{FI} \subset \mathcal{N}$ であるという事実を活用して導出される。

実験結果

リサーチクエスチョン

• RQ1 至る所非零のベクトル場を持つ多様体上の順序付き配置空間のコホモロジーは、対称群作用を超えて自然な代数的構造を持つのか？
• RQ2 コホモロジー群 $H^i(\operatorname{PConf}^n M, k)$ の表現論的特徴関数が、即時的（最終的ではなく）多項式的であることを示せるか？
• RQ3 閉多様体にフローが存在する場合、無向配置空間の有理コホモロジー次元は $n$ に関して非減少であるか？
• RQ4 非可換有限集合の圏 $\mathcal{N}$ を用いることで、配置空間コホモロジーにおける既存の安定性結果を統一または強化できるか？

主な発見

• 多様体 $M$ が滑らかで、連結で、可縮で、有限型の次元2以上の多様体であり、至る所非零のベクトル場を持つとき、コホモロジー群 $H^i(\operatorname{PConf}^n M, k)$ は $\mathcal{N}$-加群として有限生成である。
• $l=1$ の場合、$\pi_0\mathcal{F}E_1$ は $\mathcal{N}$ に同型であり、コホモロジー群は自然に $\mathcal{N}$-加群構造をもつ。
• $M$ が $l \geq 2$ 個の線形独立なベクトル場を持つとき、$\mathcal{N}$-加群構造は $\mathcal{F}$-加群構造に低下し、表現論が単純化される。
• 無向配置空間の有理コホモロジー次元は、$\dim H^i(\operatorname{Conf}^n M, \mathbb{Q}) \leq \dim H^i(\operatorname{Conf}^{n+1} M, \mathbb{Q})$ を満たし、非減少性が証明される。
• $\mathcal{N}$-加群構造により、コホモロジーにおける対称群の特徴関数が即時多項式的であることが保証され、以前の結果が最終的多項式性しか示さなかったのを改善する。
• 構成は、$l$-フレームを伴う $l$-球体の埋め込みによる幾何的モデルを用い、その埋め込み空間のホモトピー型は純粋配置空間 $\operatorname{PConf}^n M$ と同値である。