[論文レビュー] Representation stability for the pure cactus group

Joaquín Maya Duque, Rita Jiménez Rolland|arXiv (Cornell University)|Jan 12, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 4

ひとこと要約

この論文は、FI加群理論を用いて、純カクタス群のコホモロジーにおける一様表現安定性を確立する。有理コホモロジー群 $ H^i(M_n, \mathbb{Q}) $ は $ n \geq 6i $ のとき、一様に表現安定な $ S_n $-表現をなす。コホモロジーリングは、各次数で有限生成である、$ FI $-代数としての構造を持つ。特性は、次数が高々 $ 3i $ の明示的な特性多項式で与えられ、ベッチ数は $ n $ について高々 $ 3i $ 次の多項式で与えられる。

ABSTRACT

The fundamental group of the real locus of the Deligne-Mumford compactification of the moduli space of rational curves with $n$ marked points, the pure cactus group, resembles the pure braid group in many ways. As it is the case for several "pure braid like" groups, it is known that its cohomology ring is generated by its first cohomology. In this note we survey what the $FI$-module theory developed by Church, Ellenberg and Farb can tell us about those examples. As a consequence we obtain uniform representation stability for the sequence of cohomology groups of the pure cactus group.

研究の動機と目的

• 純カクタス群 $ \pi_1(M_n) $ のコホモロジーにおける一様表現安定性を確立すること、ここで $ M_n = \overline{\mathcal{M}}_{0,n}(\mathbb{R}) $ である。
• FI加群理論を適用し、$ M_n $ の有理コホモロジーリングが、各次数で有限生成な、$ FI $-代数としての構造を持つことを示すこと。
• 有理コホモロジー群 $ H^i(M_n, \mathbb{Q}) $ の $ S_n $-表現の特性が、次数 $ \leq 3i $ の一意な特性多項式で与えられることを示すこと。
• $ n \geq 6i $ のとき、ベッチ数 $ b_i(M_n) $ が多項式的成長を示し、その次数が高々 $ 3i $ であることの回復。
• 他の「純ブレード型」群や空間（例：配置空間、一般化純ブレード群）とのコホモロジー構造を比較し、表現安定性における類似点と相違点を強調すること。

提案手法

• Church, Ellenberg, Farb が開発した $ FI $-加群理論の枠組みを、$ M_n $ がデリーニ・ムーディのコンパクト化 $ \overline{\mathcal{M}}_{0,n} $ の実的局所であるような空間列 $ \{M_n\} $ に適用する。
• $ M_n $ の有理コホモロジーリング $ H^*(M_n, \mathbb{Q}) $ が、各次数で有限生成である、$ FI $-代数としての構造を持つことを示す。
• $ FI $-加群の各コホモロジー次数における有限生成性を用いて、$ H^i(M_n, \mathbb{Q}) $ が $ S_n $-表現として一様に表現安定であることを導出する。
• $ S_n $-表現 $ H^i(M_n, \mathbb{Q}) $ の特性多項式を導出し、サイクル数関数 $ X_l $ における多項式として特性を表現する。
• $ FI $-加群理論の性質から、特性が $ r > 3i $ の $ r $-サイクルに依存しないことが示され、$ \leq 3i $ の長さのサイクルにのみ依存する。
• $ n \geq 6i $ のとき、ベッチ数 $ b_i(M_n) $ が $ n $ について高々 $ 3i $ 次の多項式 $ p_i(n) $ として得られることを回復する。

実験結果

リサーチクエスチョン

• RQ1 純カクタス群のコホモロジー群 $ H^i(M_n, \mathbb{Q}) $ の列は、$ S_n $-表現として一様に表現安定性を示すか？
• RQ2 $ M_n $ のコホモロジーリングは、有限生成な各次数を持つ $ FI $-代数として記述可能か？ もしそうなら、何が生成するか？
• RQ3 $ S_n $-表現 $ H^i(M_n, \mathbb{Q}) $ の特性は特性多項式で与えられるか？ その次数の上限は何か？
• RQ4 $ i $-番目のベッチ数 $ b_i(M_n) $ の漸近的多項式的成長は何か？ その $ n $ における次数は？
• RQ5 他の「純ブレード型」群（例：配置空間、一般化純ブレード群）と比較して、$ M_n $ のコホモロジー構造は表現安定性においてどのように類似・相違するか？

主な発見

• $ \{H^i(M_n, \mathbb{Q})\}_{n} $ の $ S_n $-表現の列は、すべての $ i \geq 0 $ に対して一様に表現安定であり、$ n \geq 6i $ のとき安定性が成立する。
• $ H^i(M_n, \mathbb{Q}) $ の特性は、次数 $ \leq 3i $ の一意な特性多項式 $ P_i $ で与えられ、$ \sigma \in S_n $ の巡回型、特に長さ $ \leq 3i $ の巡回にのみ依存する。
• $ n \geq 4 $ のとき、最初のベッチ数 $ b_1(M_n) $ は立方多項式 $ \frac{(n-1)(n-2)(n-3)}{6} $ で与えられ、次数3の多項式的成長を確認する。
• $ i $-番目のベッチ数 $ b_i(M_n) $ は、$ n \geq 6i $ のとき、高々 $ 3i $ 次の多項式 $ p_i(n) $ に等しくなる。これは Etingof ら（2010）の結果を回復する。
• $ H^*(M_n, \mathbb{Q}) $ のコホモロジーリングは、最初のコホモロジーによって乗法的に生成され、$ FI $-加群構造から各次数での有限生成性が導かれる。
• $ H^*(M_n, \mathbb{Q}) $ の $ FI $-加群構造から、特性がサイクル数 $ X_l $ に関して多項式的であり、理論が $ n $ 全体にわたる一様安定性を保証する。