[论文解读] Around Quillen's theorem A

Bruno Kahn|arXiv (Cornell University)|Aug 11, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 3

一句话总结

本文引入了细胞函子的概念，以提供一种函子性、无需依赖定理A的索尔omon-Tits定理的证明，并构建一个收敛于整概形的 $K'$-理论空间同调的秩谱序列。关键贡献在于构造了一个谱序列，其 $E^1$-项以自同构群和约化Steinberg模的形式表达，推广了Quillen的正合序列，并通过Vogel的论证将其与同伦余纤维化联系起来。

ABSTRACT

We reformulate some exact sequences of Quillen into a spectral sequence converging to the homology of certain $K$-theory spaces.

研究动机与目标

• 提供Quillen对索尔omon-Tits定理证明的一种变体，避免依赖定理A。
• 将Quillen对 $K$-群的正合序列推广至函子性谱序列框架。
• 通过细胞函子和带系数的单纯复形构造，构建一个收敛于整概形的 $K'$-理论空间同调的秩谱序列。
• 通过同伦余纤维化将Quillen的 $K$-理论正合序列重新表述为谱序列，其对偶于定理A在纤维化中的作用。
• 建立谱序列的 $E^1$-项与一般线性群在函数域上的约化Steinberg模之间的联系。

提出的方法

• 引入细胞函子的概念，其在单纯复形构造下表现良好，可用来分析同伦余纤维序列。
• 应用Thomason关于格罗滕迪克构造的单纯复形的定理，将范畴的分类空间与同伦推广联系起来。
• 使用带系数的单纯复形来定义层范畴上的同调理论，系数取自阿贝尔群值函子。
• 通过 torsion-free 层按秩的滤过构造秩谱序列，利用其在一般纤维中的子对象格。
• 采用Vogel的论证，证明所得谱序列与Quillen原始正合序列一致，通过映射锥的同调群与相对同调之间的同构关系。
• 应用索尔omon-Tits定理，证明向量空间的真子空间格的单纯复形弱同伦等价于球面的楔和，从而识别出 $E^1$-项。

实验结果

研究问题

• RQ1 能否在不使用Quillen定理A的情况下重新证明索尔omon-Tits定理？
• RQ2 如何将Quillen对 $K$-群的正合序列重新解释为谱序列？
• RQ3 在 $K$-理论中，同伦余纤维化与所得谱序列之间存在何种关系？
• RQ4 秩谱序列的 $E^1$-项如何与一般线性群的约化Steinberg模相关联？
• RQ5 能否通过细胞函子和带系数的单纯复形构造，以完全函子性的方式构建该谱序列？

主要发现

• 本文构建了一个收敛于整概形的 $K'$-理论空间同调的秩谱序列，其 $E^1$-项为 $\bigoplus_{E_{\alpha}} H_q(\operatorname{Aut}(E_{\alpha}), \operatorname{st}(E_{\alpha}))$。
• $E^1$-项同构于秩为 $p$ 的 torsion-free 层的自同构群在其中心纤维的约化Steinberg模上的同调。
• 该谱序列源于 torsion-free 层按秩的滤过，且通过Vogel的论证与Quillen原始正合序列兼容。
• 索尔omon-Tits定理的证明被重新推导，不再依赖定理A，而是基于细胞函子框架和同伦余纤维结构。
• 通过Vogel的论证，建立了相对同调与锥同调之间的同构，证明该谱序列与Quillen正合序列等价。
• 该构造是函子性的，并将Quillen的方法推广至更广泛的范畴，包括整概形上的 torsion-free 层。