[論文レビュー] FI-modules and the cohomology of modular representations of symmetric groups

Rohit Nagpal|arXiv (Cornell University)|May 16, 2015

Algebraic structures and combinatorial models参考文献 38被引用数 50

ひとこと要約

本稿では、特性 $ p $ の体上の有限生成 FI-加群について、コホモロジー群 $ H^t(\frak{S}_n, V_n) $ が $ n $ に関して最終的に周期的であり、その周期は常に $ p $ のべきであることを確立する。この結果は、次元が 2 以上のコンパクトで向き付け可能な多様体 $ \mathcal{M} $ の無順序配置空間 $ \operatorname{conf}_n(\mathcal{M}) $ の mod-$ p $ コホモロジーへと拡張され、$ p $ のべき周期を持つ周期性が示される。

ABSTRACT

An FI-module $V$ over a commutative ring $\bf{k}$ encodes a sequence $(V_n)_{n \geq 0}$ of representations of the symmetric groups $(\mathfrak{S}_n)_{n \geq 0}$ over $\bf{k}$. In this paper, we show that for a "finitely generated" FI-module $V$ over a field of characteristic $p$, the cohomology groups $H^t(\mathfrak{S}_n, V_n)$ are eventually periodic in $n$. We describe a recursive way to calculate the period and the periodicity range and show that the period is always a power of $p$. As an application, we show that if $\mathcal{M}$ is a compact, connected, oriented manifold of dimension $\geq 2$ and $\mathit{conf}_n(\mathcal{M})$ is the configuration space of unordered $n$-tuples of distinct points in $\mathcal{M}$ then the mod-$p$ cohomology groups $H^{t}(\mathit{conf}_n(\mathcal{M}),\bf{k})$ are eventually periodic in $n$ with period a power of $p$.

研究の動機と目的

• 正の特性の体上の有限生成 FI-加群によって符号化された対称群表現のコホモロジーにおける周期性を確立すること。
• FI-加群の枠組みを用いて、自明な表現からの周期性結果を一貫性のある表現の系列へと拡張すること。
• 周期性定理を、次元 $ \geq 2 $ のコンパクトで向き付け可能な多様体 $ \mathcal{M} $ の無順序配置空間 $ \operatorname{conf}_n(\mathcal{M}) $ の mod-$ p $ コホモロジーに適用すること。
• 周期の再帰的構造と特性 $ p $ への依存関係を記述すること。

提案手法

• ネーター的環上の $ \sharp $-フィルター付き FI-加群の理論を用い、正の特性における有限生成 FI-加群の構造を分析する。
• ねじれサイクルを上げるのを助け、周期性を保つ方法でコホモロジー不変量を分析するための「よいリフト」構成を導入する。
• 配置空間に関連する FI-加群の複体にスペクトル系列技術を適用し、コホモロジー群が周期的に安定することを示す。
• $ V_n $ ($ n \geq N $) が $ j \leq N $ の以前の $ V_j $ によって決定されるという、有限生成 FI-加群の帰納的記述を用い、コホモロジー的挙動を制御する。
• $ H^t(\frak{S}_n, V_n) $ が $ \operatorname{Hom}_{\frak{S}_n}(\mathcal{B}_y(\frak{S}_n), H^x(V^\bullet)_n) $ に同型であるという事実を活用し、スペクトル系列の解析を可能にする。
• グロテンディーク＝ライシュツの固定点定理と [CEF2] の結果を用い、FI-加群と代数的多様体上の点数の間の関係を確立し、フレームワークの広範な適用可能性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 特性 $ p $ の体上の有限生成 FI-加群 $ V $ に対して、$ H^t(\frak{S}_n, V_n) $ は $ n $ に関して最終的に周期的か？
• RQ2 このコホモロジーの周期は再帰的に計算可能であり、常に $ p $ のべきか？
• RQ3 次元 $ \geq 2 $ のコンパクトで向き付け可能な多様体 $ \mathcal{M} $ に対して、無順序配置空間 $ \operatorname{conf}_n(\mathcal{M}) $ の mod-$ p $ コホモロジーは、$ p $ のべき周期を持つ最終的周期性を示すか？
• RQ4 整数環上での $ \sharp $-フィルター付き FI-加群として有限生成であるような $ \frak{S}_n $-表現のコホモロジーは、最終的に周期的か？
• RQ5 正の特性の体 $ \mathbb{K} $ 上の有限生成 FI-加群に対して、$ \operatorname{Ext}_{\mathbb{K}[\frak{S}_n]}(V_n, W_n) $ の Ext-群も最終的に周期的か？

主な発見

• 特性 $ p $ の体上の有限生成 FI-加群 $ V $ に対して、コホモロジー群 $ H^t(\frak{S}_n, V_n) $ は $ n $ に関して最終的に周期的であり、その周期は常に $ p $ のべきである。
• 「よいリフト」構成と $ \sharp $-フィルター付き FI-加群に関する組合せ的補題を用いて、周期の範囲と周期を再帰的に計算可能である。
• 次元 $ \geq 2 $ のコンパクトで連結で向き付け可能な多様体 $ \mathcal{M} $ に対して、$ \operatorname{conf}_n(\mathcal{M}) $ の mod-$ p $ コホモロジーは $ n $ に関して最終的に周期的であり、周期は $ p $ のべきである。
• $ H^t(\operatorname{conf}_n(\mathcal{M}), \mathbb{K}) $ の次元は、最終的に次数が高々 $ 2t $ の多項式となる。スペクトル系列の解析により、最大シフト $ \vec{M}^t_\infty $ の上界が $ (t+3)(2t+2) $ であることが得られる。
• 結果は整数係数へは拡張されない：$ H^2(\operatorname{conf}_n(S^2), \mathbb{Z}) $ は最終的に周期的でないため、正の特性の必要性が示される。
• 本稿では、$ \operatorname{FI}_d $-加群に対して、$ \dim H^t(\frak{S}_n, V_n) $ は高々 $ d-1 $ 次の準多項式であるという予想を提示し、周期性のパターンを一般化する。