[论文解读] Relative completions of linear groups over Z[t] and Z[t,t^{-1}]

K. Knudson|ArXiv.org|Jan 21, 1998

Geometric and Algebraic Topology参考文献 12被引用 3

一句话总结

本文计算了 SL_n(Z[t]) 和 SL_n(Z[t,t⁻¹]) 相对于其自然同态到 SL_n(Q) 的相对完备化，推广了 Malcev 完备化。文中提供了这些完备化的显式描述，并对这些群的有理第二上同调群进行了部分计算，推进了对 Z 上多项式环与洛朗多项式环上算术群的理解。

ABSTRACT

We compute the completion of the groups SL_n(Z[t]) and SL_n(Z[t,t^{-1}]) relative to the obvious homomorphisms to SL_n(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups.

研究动机与目标

• 将经典的 Malcev 完备化推广至 Z[t] 和 Z[t,t⁻¹] 上线性群的相对完备化。
• 确定 SL_n(Z[t]) 和 SL_n(Z[t,t⁻¹]) 相对于其到 SL_n(Q) 的同态的完备化结构。
• 计算这些线性群的部分有理第二上同调群。
• 将 K-理论与群上同调的技巧扩展至多项式环上的算术群。
• 为理解 Z[t] 和 Z[t,t⁻¹] 上线性群的同伦与上同调性质提供基础结果。

提出的方法

• 使用 Malcev 意义下的相对完备化技术，并将其适配于 Z[t] 和 Z[t,t⁻¹] 上线性群的设定。
• 应用代数 K-理论与群上同调的方法，分析完备化的结构。
• 利用谱序列与有理同伦理论研究具有有理系数的第二上同调。
• 利用 Z[t] 和 Z[t,t⁻¹] 到 Q 的自然包含关系，通过到 SL_n(Q) 的同态定义相对完备化。
• 通过分析下中心列及其对应的分次李代数，描述完备化结构。
• 利用算术群与代数群的理论结果，推导完备化描述。

实验结果

研究问题

• RQ1 SL_n(Z[t]) 相对于其到 SL_n(Q) 的同态的相对完备化是什么？
• RQ2 SL_n(Z[t,t⁻¹]) 的相对完备化与 SL_n(Z[t]) 的相对完备化有何不同？
• RQ3 有理第二上同调群 H²(SL_n(Z[t]), Q) 和 H²(SL_n(Z[t,t⁻¹]), Q) 的结构是什么？
• RQ4 Malcev 完备化在多项式环上线性群的背景下，能在多大程度上被推广为相对完备化？
• RQ5 从这些线性群的相对完备化中，可以提取出哪些代数与同伦不变量？

主要发现

• SL_n(Z[t]) 的相对完备化被显式描述为 SL_n(Q) 上的一个拟幂零群扩张，推广了 Malcev 完备化。
• SL_n(Z[t,t⁻¹]) 的相对完备化被证明同构于涉及 Z[t,t⁻¹] 的环路群结构的某种完备化。
• 对有理第二上同调群 H²(SL_n(Z[t]), Q) 和 H²(SL_n(Z[t,t⁻¹]), Q) 的部分计算结果已获得，揭示了在某些次数中存在非平凡的有理上同调。
• 完备化结构被证明与由 t 中多项式次数诱导的自然滤子相容。
• 结果表明，相对完备化捕捉了 Z[t] 和 Z[t,t⁻¹] 上线性群的本质算术与几何数据。
• 该方法为计算其他类似环上算术群的完备化提供了框架。