[論文レビュー] Representation stability, secondary stability, and polynomial functors

Jeremy Miller, Peter Patzt+1 more|arXiv (Cornell University)|Oct 12, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 40被引用数 6

ひとこと要約

本稿は、多項式ファンクターと導来表現安定性に基づく枠組みを導入することで、多項式係数系を備えた群の族における表現安定性および2次的ホモロジー安定性を確立する。多項式係数が導来表現安定性を意味することを証明し、双曲的写像類群、合同部分群、微分同相群、球面スペクトルの一般線型群に対して、より良い安定範囲を伴う新しい安定性定理を可能にする。

ABSTRACT

We prove a general representation stability result for polynomial coefficient systems which lets us prove representation stability and secondary homological stability for many families of groups with polynomial coefficients. This gives two generalizations of classical homological stability theorems with twisted coefficients. We apply our results to prove homological stability for hyperelliptic mapping class groups with twisted coefficients, prove new representation stability results for congruence subgroups, establish secondary homological stability for groups of diffeomorphisms of surfaces viewed as discrete groups, and improve the known stable range for homological stability for general linear groups of the sphere spectrum.

研究の動機と目的

• 多項式係数系を備えた枠組みにおける表現安定性および2次的ホモロジー安定性の一般理論を構築すること。
• 多項式係数系が導来表現安定性を意味することを証明し、古典的設定を超えた安定性定理の確立を可能にすること。
• 多項式性を十分条件として用いることで、古典的ホモロジー安定性定理をねじれ係数へと拡張すること。
• 本枠組みを、双曲的写像類群や曲面の微分同相群を含む新しい群族に適用すること。
• 球面スペクトルの一般線型群 GL_n(𝕊) のホモロジー安定性における安定範囲を、多項式ファンクターを用いて改善すること。

提案手法

• ホモロジー安定性におけるねじれ係数をモデル化するために、多項式ファンクターと多項式係数系を用いる。
• 中心的安定性複体とコシュール解体を用いて、導来表現安定性を分析する。
• 三重複体を用いたスペクトル系列の議論を導入し、ホモロジー安定性と表現安定性を関連付ける。
• コホモロジー的技法と Tor の計算を用いて、導来表現安定性の仮定を多項式性に置き換える。
• 多項式性が導来表現安定性を意味することを活用し、スペクトル系列を単純化する。
• 等変ホモトピー論におけるコーン構成を応用し、表現論的設定に適合させることで安定性を測定する。

実験結果

リサーチクエスチョン

• RQ1 群作用を伴う群族において、多項式係数系が導来表現安定性を保証できるか？
• RQ2 係数の多項式性が、ねじれホモロジーにおける表現安定性および2次的ホモロジー安定性を確立するのに十分か？
• RQ3 多項式係数を備えたスペクトル系列をどのように単純化すれば、安定性定理を証明できるか？
• RQ4 本枠組みは、ねじれ係数を備えた双曲的写像類群および合同部分群に適用可能か？
• RQ5 多項式ファンクターを用いることで、GL_n(𝕊) のホモロジー安定性における安定範囲をどの程度改善できるか？

主な発見

• 多項式係数系は導来表現安定性を意味し、ねじれ設定における表現安定性の十分条件を提供する。
• 本枠組みにより、多項式係数を備えた合同部分群の表現安定性が証明され、既知の結果が拡張される。
• 微分同相群を離散群とみなした場合、曲面の微分同相群に対して2次的ホモロジー安定性が確立される。
• 多項式ファンクターを用いることで、GL_n(𝕊) のホモロジー安定性の安定範囲が向上する。
• 多項式性のもとでスペクトル系列はゼロに収束し、E^1頁が単純化されることで、新たな安定性定理が得られる。
• 多項式性を用いることで、古典的ホモロジー安定性定理がねじれ係数へと一般化され、複数の安定性現象が統一される。