[論文レビュー] Representation stability for cohomology of configuration spaces in $\mathbf{R}^d$

Patricia Hersh, Victor Reiner|arXiv (Cornell University)|May 15, 2015

Topological and Geometric Data Analysis参考文献 30被引用数 17

ひとこと要約

この論文は、対称群 $S_n$ の作用の下で、$ℝ^d$ 内の $n$ 個の順序付き点の配置空間のコホモロジーに対する鋭い安定化境界を確立する。奇数 $d$ の場合、$S_n$-表現は $n = 3i$ で鋭く安定化し、偶数 $d$ の場合 $n = 3i+1$ で安定化する。これは、偶数 $d$ の場合のホイットニーホモロジーと奇数 $d$ の場合の高次リーワイズ表現を用いて示され、ウィルティシャー＝ゴードンの予想を解決する。

ABSTRACT

This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even). The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the higher Lie representations for $d$ odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by $n\geq 4i$, where $i$ is the maximum rank selected. Further properties of the Whitney homology and more refined stability statements for $S_n$-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.

研究の動機と目的

• 配置空間の $S_n$-表現が $ℝ^d$ でいつ安定化するかを正確に特定すること。
• チャーチの以前の表現安定化結果を、鋭い安定化閾値を確立することで精緻化すること。
• J. ウィルティシャー＝ゴードンが提起したホイットニーホモロジーと同型成分の安定化に関する予想を解消すること。
• 分割ラティス内のランク選択部分格子を分析し、ホモロジー安定化境界を証明すること。

提案手法

• 奇数 $d$ の場合の高次リーマン表現と偶数 $d$ の場合の集合分割ラティスのホイットニーホモロジーを用いて、$H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ 上の $S_n$-表現を既知の記述で分析する。
• コホモロジーを $M_n(\widehat{\mathrm{Lie}}_m^i)$ または $M_n(\widehat{W}_m^i)$ の直和として再定式化し、ここで $m$ は $i+1$ から $2i$ まで変化する。
• 分割ラティスに関連する複体 $C^\bullet(n)$ にスペクトル系列の技法を適用し、正確性の議論を用いて低次のコホモロジーの消滅を証明する。
• $n$ に関する帰納法とスペクトル系列の $E_1$-頁の分析を用い、$H^i(\widehat{W}_n^\bullet)$ が $i \leq n-2$ で消えることを示し、主要な消滅結果を確立する。
• FI-モジュールおよびFI生成モジュールの理論を用いて、表現 $M_n(\chi)$ をFI生成子からの誘導表現として解釈する。
• 双対性とスペクトル系列の微分を活用し、$E_\infty$-頁に残る項が特定のものに限られることを示し、必要な次数での消滅を示す。

実験結果

リサーチクエスチョン

• RQ1 $d \geq 2$ のとき、$S_n$-表現 $H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ が安定化する最小の $n$ は何か？
• RQ2 ホイットニーホモロジーと高次リーワイズ表現は、$ℝ^d$ 内の配置空間のコホモロジーをどのように制御するか？
• RQ3 分割ラティス $\Pi_n$ のランク選択部分格子のホモロジーの鋭い安定化閾値は何か？
• RQ4 コホモロジーの同型成分は、全表現と同じ速度で安定化するのか？また、関係する $S_n$-表現についてそれが証明可能か？
• RQ5 J. ウィルティシャー＝ゴードンのホイットニーホモロジーと同型成分の構造に関する予想は、検証可能か？

主な発見

• 奇数 $d \geq 3$ の場合、$H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ 上の $S_n$-表現は $n = 3i$ で鋭く安定化する。
• 偶数 $d \geq 2$ の場合、コホモロジーは $n = 3i + 1$ で鋭く安定化し、ここで $i$ はコホモロジー次数のインデックスである。
• 分割ラティス $\Pi_n$ 内の任意のランク選択部分格子のホモロジーは、$n \geq 4i$ で安定化する。ここで $i$ は選択された最大ランクである。
• $S_n$-表現 $H^{i(d-1)}(\mathrm{Conf}(n,\mathbb{R}^d))$ は、奇数 $d$ の場合 $\bigoplus_{m=i+1}^{2i} M_n(\widehat{\mathrm{Lie}}_m^i)$ に同型であり、偶数 $d$ の場合 $\bigoplus_{m=i+1}^{2i} M_n(\widehat{W}_m^i)$ に同型である。ここで $M_n(\chi)$ はFI生成子からの誘導表現を表す。
• $H^i(\widehat{W}_n^\bullet)$ は $i \leq n-2$ で消える。これは鋭い安定化境界を証明する上で鍵となる。
• これらの結果は、J. ウィルティシャー＝ゴードンが提起した同型成分の安定化とホイットニーホモロジーの構造に関する予想を確認する。