[论文解读] 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 稳定范围条件的环上一般线性群的同调的线性稳定范围。利用 FI-模理论，证明了当 n 超过同调度数 k 的线性函数时，GL_n(R,I) 的同调会稳定，具体为 n > 4k + 2d + 6，其中 d 与环的稳定范围相关。该结果解决了 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-模同调表示度是否存在线性界。
• 在环 R 满足 Bass 稳定范围条件 SR_{d+2} 时，建立 GL_n(R,I) 同余子群同调的线性稳定范围。
• 应用 FI-模理论，以同调度数 k 和环论参数 d 表示，推导出群同调稳定化的显式线性界。
• 通过提供显式线性稳定范围函数，强化先前关于同调稳定性的结果。

提出的方法

• 作者使用 FI-模框架分析同余子群 GL_n(R,I) 的同调，将其视为有限集上的函子。
• 证明了同调 FI-模的 t_i-不变量被 k 和 d 的线性函数有界，具体为 t_1(H_k) ≤ 4k + 2d + 6。
• 关键技术步骤涉及利用诱导 FI-模的性质和 bar 单纯复形的结构，对同调 FI-模的表示度进行有界。
• 他们应用了 Church-Miller-Nagpal-Reinhold 的一个结果，即 bar 单纯复形的 t_k-不变量有界于 2k + d。
• 证明依赖于谱序列论证以及 FI-模复形子商的次数的有界性。
• 通过将这些有界性与关于固定大小子集上余极限稳定性的定理相结合，得出主要结果。

实验结果

研究问题

• RQ1 Church、Miller、Nagpal 和 Reinhold 所猜想的：是否存在 FI-模复形同调的表示度的线性界？
• RQ2 当环 R 满足 Bass 稳定范围条件 SR_{d+2} 时，能否为同余子群 GL_n(R,I) 的同调建立线性稳定范围？
• RQ3 稳定范围对同调度数 k 和环参数 d 的精确依赖关系是什么？
• RQ4 GL_n(R,I) 同调的 FI-模结构如何约束其稳定化行为？

主要发现

• 本文建立了线性稳定范围：对于 GL_n(R,I)，当 n > 4k + 2d + 6 时，同调 H_k 稳定，其中 d 满足 R 满足 SR_{d+2}。
• 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 的多项式。