[論文レビュー] Linear stable range for homology of congruence subgroups via FI-modules

Wee Liang Gan, Liping Li|arXiv (Cornell University)|Dec 4, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 5

ひとこと要約

この論文は、Bassの安定範囲条件 SR_{d+2} を満たす環 R に対して、一般線形群の合同部分群のホモロジーの線形安定範囲を確立する。FI-加群理論を用いて、ホモロジーの次数 k に対して n > 4k + 2d + 6 であるとき、GL_n(R,I) のホモロジーが安定することを示す。これは、Church, Miller, Nagpal, Reinhold が提起した FI-加群の表現次数に関する問いに答えを提供する。

ABSTRACT

We answer positively a question of Church, Miller, Nagpal and Reinhold on existence of a linear bound on the presentation degree of the homology of a complex of FI-modules. This implies a linear stable range for the homology of congruence subgroups of general linear groups.

研究の動機と目的

• Church, Miller, Nagpal, Reinhold が提起した、FI-加群のホモロジーの表現次数に対する線形境界の存在に関する問いを解決すること。
• Bassの安定範囲条件 SR_{d+2} を満たす R に対して、GL_n(R,I) のホモロジーの線形安定範囲を確立すること。
• FI-加群理論を応用し、ホモロジー次数 k と環論的パrameter d に基づく、群ホモロジーの安定化に対する明示的かつ線形の境界を導出すること。
• 従来の結果を強化し、明示的かつ線形の安定範囲関数を提供すること。

提案手法

• 著者たちは、FI-加群の枠組みを用いて、GL_n(R,I) のホモロジーを有限集合上の関手として分析する。
• ホモロジー FI-加群の t_i-不変量が k と d の線形関数によって有界であることを証明し、特に t_1(H_k) ≤ 4k + 2d + 6 を得る。
• 主な技術的ステップは、誘導 FI-加群の性質とバーレゾリューションの構造を用いて、ホモロジー FI-加群の表現次数を有界化することである。
• Church-Miller-Nagpal-Reinhold が得たバーレゾリューション複体の t_k-不変量に関する結果を応用し、これらが 2k + d で有界であることを用いる。
• 証明はスペクトル系列の議論と、FI-加群の複体のホモロジーにおける部分商の次数の有界性に依存する。
• 主な結果は、これらの有界性を固定サイズの部分集合への余極限の安定化に関する定理と組み合わせることで得られる。

実験結果

リサーチクエスチョン

• RQ1 Church, Miller, Nagpal, Reinhold が予想したように、FI-加群の複体のホモロジーの表現次数に対して線形境界が存在するか？
• RQ2 Bassの安定範囲条件 SR_{d+2} を満たす R に対して、GL_n(R,I) のホモロジーの線形安定範囲を確立できるか？
• RQ3 安定範囲がホモロジー次数 k と環パrameter d に対してどのように依存するか？
• RQ4 GL_n(R,I) ホモロジーの FI-加群構造は、その安定化行動をどのように制約するか？

主な発見

• この論文は線形安定範囲を確立する：GL_n(R,I) に対して、R が SR_{d+2} を満たすとき、n > 4k + 2d + 6 であればホモロジー H_k は安定する。
• FI-加群 H_k(GL(R,I);A) の表現次数は 4k + 2d + 6 で有界であり、これは鋭い線形境界を提供する。
• ホモロジー FI-加群の t_1-不変量は 4k + 2d + 6 で有界であり、これは加群内の関係の次数を制御する。
• t_0-不変量は 4k + 2d + 1 で有界であり、これは生成子の次数を制御する。
• Church-Ellenberg-Farb-Nagpal や Putman の先行研究を強化し、以前の結果が指数的または非明示的であったのに対し、明示的かつ線形の境界を提供する。
• 整数環を含む数体の環（SR_3 を満たす）に対しては、安定範囲は n > 8k + 10 であり、体上のホモロジー次元は n > 8k + 10 に対して n の多項式である。