[論文レビュー] Higher representation stability for ordered configuration spaces and twisted commutative factorization algebras

Quoc P. Ho|arXiv (Cornell University)|Apr 1, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 5

ひとこと要約

本稿は、ねじれ可換代数（TCAs）を係数とする因子化ホモロジーを用いて、順序付き配置空間のコホモロジーにおけるより高い表現安定性を確立する。有限生成性を示す反復的手順を提供し、導来非分解的成分の明示的境界を計算する。特定の $C_\infty$-作用素が消える場合、配置空間コホモロジーが自由 TCA-加群をなすことを示し、Church–Ellenberg–Farb の結果を一般化するとともに、Miller–Wilson による予想をこれらの条件下で解決する。

ABSTRACT

Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces of a scheme/topological space $X$. First, we provide an iterative procedure to study higher representation stability using actions coming from the cohomology of $X$ and prove that all the modules involved are finitely generated over the corresponding TCAs. More quantitatively, we compute explicit bounds for the derived indecomposables in the sense of Galatius-Kupers-Randal-Williams. Secondly, when certain $C_\infty$-operations on the cohomology of $X$ vanish, we prove that the cohomology of its configuration spaces forms a free module over a TCA built out of the configuration spaces of the affine space. This generalizes a result of Church-Ellenberg-Farb on the freeness of $\mathrm{FI}$-modules arising from the cohomology of configuration spaces of open manifolds and, moreover, resolves the various conjectures of Miller-Wilson under these conditions.

研究の動機と目的

• スキームまたは位相空間 $X$ の一般化された配置空間のコホモロジーにおけるより高い表現安定性を確立すること。
• $X$ のコホモロジーからの作用を用いた反復的手法を考案し、ねじれ可換代数（TCAs）上の有限生成性を証明すること。
• Galatius–Kupers–Randal-Williams の意味における導来非分解的成分の明示的境界を計算すること。
• $C_\infty$-作用素が消える場合、$\operatorname{FI}$-加群に関する Church–Ellenberg–Farb の自由性結果を TCAs に一般化すること。
• $C_\infty$-作用素が消える条件下で、Miller–Wilson が提起したより高い表現安定性に関する予想を解決すること。

提案手法

• ねじれ可換代数（TCAs）を係数とする因子化ホモロジーを用いて、配置空間コホモロジーを分析する。
• 配置空間をカテゴリカルにモデル化するため、ねじれ可換 $\operatorname{Ran}$ 空間 $\operatorname{Ran}(X,\operatorname{FB}_+)$ を構成する。
• $\operatorname{ComAlg}$ と $\operatorname{coLie}$ 間の Koszul双対性を適用し、コホモロジーとリー代数作用を関連付ける。
• $\operatorname{Ran}(X,\operatorname{FB}_+)$ に基数フィルトレーションを導入し、デヴィッサージュ系列を用いてコホモロジーを分解する。
• 対角切断と $\operatorname{Ran}(f)$ 構造との整合性を用いて、問題を $X$ 上の TCAs の研究に還元する。
• 営利的因子化コホモロジーと $\Lambda_0$-テンソル構成を用い、反復的 $\operatorname{FI}$-ホモロジー類似を計算する。

実験結果

リサーチクエスチョン

• RQ1 TCA 作用を用いて、配置空間コホモロジーにおけるより高い表現安定性を体系的にどのように研究できるか。
• RQ2 一般化された配置空間のコホモロジーにおける導来非分解的成分の正確な境界は何か。
• RQ3 配置空間のコホモロジーがアフィン空間配置から構成された TCA 上の自由加群をなすための条件は何か。
• RQ4 $X$ のコホモロジーにおける $C_\infty$-作用素の消えることが、配置空間コホモロジーの自由性と安定性にどのように影響するか。
• RQ5 この枠組みは、Church–Ellenberg–Farb の $\operatorname{FI}$-加群自由性結果を、より高い表現安定性へどの程度一般化できるか。

主な発見

• 一般化された配置空間のコホモロジーが、それに対応するねじれ可換代数（TCA）上で有限生成であることが示された。
• 反復的 $\Lambda_0 \otimes_{\mathcal{O}_{2,\leq m}(X)}$ 構成を用いて、コホモロジーにおける導来非分解的成分の明示的境界が計算された。
• $X$ が $\operatorname{T}_m$ 条件を満たし、$C_\infty$-作用素が消える場合、その配置空間のコホモロジーはアフィン空間配置から構成された TCA 上の自由加群をなす。
• 本稿は [Miller–Wilson, 予想 3.31] を $\operatorname{T}_m$-ケースで解決し、$\mathrm{H}^c(\Lambda_0 \otimes_{\mathcal{O}_{2,m}(X)} \cdots \otimes_{\mathcal{O}_{2,1}(X)} \mathcal{A}_2(X))_k = 0$ が $k > c/b$ のとき成り立つことを示した。
• この枠組みは、Church–Ellenberg–Farb の $\operatorname{FI}$-加群自由性結果を、より高い表現安定性を伴う TCA の文脈に一般化した。
• コホモロジー次数が正確に追跡されており、関与する加群の自由性に起因する $\operatorname{FI}$-ハイパーホモロジー計算と整合する結果が得られた。