[論文レビュー] FI-modules: a new approach to stability for S_n-representations

Thomas M. Church, Jordan S. Ellenberg+1 more|arXiv (Cornell University)|Apr 20, 2012

Advanced Combinatorial Mathematics被引用数 8

ひとこと要約

この論文は、対称群表現における安定性を研究するためのフレームワークとしてFI加群を導入する。固定された次数において、Sn表現の特徴標は、最終的になんらかの巡回数関数に関する多項式で与えられることが示され、次に次第に次元がnに関する多項式で与えられるようになる。この理論は、多様な代数的および位相的設定において、表現安定性を統一的かつ拡張的に扱うものである。

ABSTRACT

In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: • the cohomology of the configuration space of ordered n-tuples on an arbitrary manifold • the diagonal coinvariant algebra on r sets of n variables • the cohomology and tautological ring of the moduli space of n-pointed curves • the space of polynomials on rank varieties of n × n matrices • the subalgebra of the cohomology of the genus n Torelli group generated by H 1 and more. The symmetric group Sn acts on each of these vector spaces. In most cases almost nothing is known about the characters of these representations, or even their dimensions. We prove that in each fixed degree the character is given, for n large enough, by a polynomial in the cycle-counting functions that is independent of n. In particular, the dimension is eventually a polynomial in n. FI-modules are a refinement of Church–Farb’s theory of representation stability for Snrepresentations. In this framework, a complicated sequence of Sn-representations becomes a

研究の動機と目的

• 対称群表現（S_n表現）の系列における安定性を理解するための体系的フレームワークを構築すること。
• S_nの主要な代数的および位相的表現における特徴標と次元についての知識の不足を解消すること。
• Church–Farbの表現安定性理論を一般化するために、FI加群をカテゴリカルな精錬として導入すること。
• 配置空間、モジュライ空間、トーリー群のコhomologyといった多様な設定を、共通の代数的構造の下に統一すること。
• 固定された次数において、表現の特徴標が巡回数関数に関する普遍的多項式によって与えられることを示すこと。

提案手法

• 有限集合と単射のなす圏からベクトル空間の圏への関手としてFI加群を導入する。
• FI加群の構造を用いて、互いに整合性のある作用を持つS_n表現の系列を符号化する。
• 特にその安定性の性質を解析するため、ホモロジー代数の技法を適用する。
• FI加群が有限型であると、固定された次数において特徴標が安定することを活用し、多項式的挙動を導出する。
• 固定された次数成分の特徴標が、十分大きなnに対してnとは無関係に、巡回数関数に関する多項式として与えられることを確立する。
• 配置空間、対角コインvariant代数、および曲線のモジュライ空間といった具体的な設定に、このフレームワークを適用する。

実験結果

リサーチクエスチョン

• RQ1 多様な代数的および位相的文脈において、S_n表現の安定性を説明する統一的フレームワークは可能か？
• RQ2 固定された次数におけるS_n表現の特徴標は、どの程度まで、巡回数関数に関する普遍的多項式で記述可能か？
• RQ3 十分に大きなnに対して、固定された次数における表現の次元はnに関する多項式に漸近的に近づくか？
• RQ4 FI加群の構造は、Church–Farbの表現安定性理論をどの程度精錬し、一般化できるか？
• RQ5 FI加群を用いて、モジュライ空間におけるコhomology環やタウトロジカルクラスに関する新しい結果を導出可能か？

主な発見

• 各固定された次数において、S_n表現の特徴標は、nとは無関係に、最終的になんらかの巡回数関数に関する多項式で与えられる。
• 固定された次数における表現の次元は、最終的にnに関する多項式になる。これは、漸近的挙動に関する長年の未解決問題を解決する。
• この理論は、多様体の配置空間、対角コインvariant代数、曲線のモジュライ空間、Torelli群のコhomologyといった設定に一貫して適用可能である。
• FI加群は、従来のアプローチの範囲を超えて、表現安定性理論を精錬・拡張するカテゴリカルなフレームワークを提供する。
• H^1で生成される、種数nのTorelli群のコhomologyは、普遍的多項式によって記述される安定な特徴標挙動を示す。
• r組のn変数を持つ対角コインvariant代数は、FI加群構造を介して、固定された次数において安定な特徴標記述を持つ。