[论文解读] Homology stability for symplectic groups

Behrooz Mirzaii, Wilberd van der Kallen|arXiv (Cornell University)|Oct 16, 2001

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

一句话总结

该论文通过证明对偶 unimodular 序列的偏序集具有高度连通性，确立了在有限稳定秩的交换环上，辛群的同调稳定性，从而证实了 Charney 的一个猜想。作者利用一种新颖的偏序集单纯复形定理和归纳连通性论证，表明此类序列的偏序集具有高度连通性，从而得出 Sp(2n, R) 的同调稳定性结果。

ABSTRACT

In this paper the homology stability for symplectic groups over a ring with finite stable rank is established. First we develop a `nerve theorem' on the homotopy type of a poset in terms of a cover by subposets, where the cover is itself indexed by a poset. We use the nerve theorem to show that a poset of sequences of isotropic vectors is highly connected, as conjectured by Charney in the eighties.

研究动机与目标

• 确立在有限稳定秩环上辛群的同调稳定性。
• 证实 Charney 在 1980 年代提出的猜想：对偶 unimodular 序列的偏序集具有高度连通性。
• 将 Quillen 的连通性定理推广至用于同伦型计算的定量偏序集单纯复形定理。
• 提供一个适用于不依赖无限域的环（如有限生成的 Z-代数）的框架。
• 将关于戴德金整环上正交群与辛群的结果推广至具有有限稳定秩的一般环。

提出的方法

• 为偏序集开发一种新的“单纯复形定理”，用偏序集及其序结构替代拓扑空间与开覆盖。
• 使用满足链条件的序列偏序集作为群作用下单纯复形的替代物。
• 基于 van der Kallen 所证明的 unimodular 序列偏序集的高连通性，应用归纳论证。
• 利用 Hurewicz 定理将同调平凡性与几何实现的连通性联系起来。
• 构造锥体，并利用 Mayer-Vietoris 与 Van Kampen 定理分析子偏序集的连通性。
• 利用 R^{2n} 中每个 unimodular 向量在标准辛形式下均为对偶这一事实，简化连通性论证。

实验结果

研究问题

• RQ1 在有限稳定秩环上，对偶 unimodular 序列的偏序集是否具有高度连通性？
• RQ2 能否通过偏序集的连通性建立在有限稳定秩环上辛群的同调稳定性？
• RQ3 定量偏序集单纯复形定理是否能实现对群作用下偏序集同伦型的分析？
• RQ4 是否可以在不假设基环为无限域的条件下，证明对偶 unimodular 序列偏序集的连通性？
• RQ5 与二次型相比，辛形式的结构在何种程度上使得辛情形下能获得更强的连通性结果？

主要发现

• 在 R^{2n} 中，对偶 unimodular 序列的偏序集至少是 ⌊(n − sr(R) − 3)/2⌋-连通的，其中 sr(R) 是 R 的稳定秩。
• R^{2n} 中 unimodular 序列的偏序集已知具有高度连通性，该性质被用于归纳证明对偶子偏序集的连通性。
• 作者证明了对偶 unimodular 序列的偏序集 X 是 l-连通的，其中 l = min{l−1, l−|v|+1}，在对低维子偏序集的归纳假设下成立。
• Mayer-Vietoris 序列与 Van Kampen 定理被用于表明子偏序集的包含映射在同调上诱导同构，在基本群上诱导平凡映射。
• 关键结果是：对偶 unimodular 序列的偏序集具有高度连通性，从而证实了 Charney 对标准辛形式的猜想。
• 作为推论，辛群的同调稳定性定理成立：当 n ≥ 2i + sr(R) + 3 时，H_i(Sp(2n,R), L) → H_i(Sp(2n+2,R), L) 是双射；当 n ≥ 2i + sr(R) + 2 时为满射。