[论文解读] Kac-Moody groups as discrete groups

Bertrand Rémy|arXiv (Cornell University)|Feb 18, 2004

Geometric and Algebraic Topology参考文献 21被引用 9

一句话总结

本文将有限域上的 Kac-Moody 群表示为作用在负曲率双曲建筑物上的有限生成离散群，确立了其非线性性，并引入拓扑 Kac-Moody 群以证明它们是超越经典算术群的新非线性群。关键贡献是一个利用共轭子群超刚性与 p 进子群分析来区分这些群与线性群的框架。

ABSTRACT

This survey paper presents the discrete group viewpoint on Kac-Moody groups. Over finite fields, the latter groups are finitely generated; they act on new buildings enjoying remarkable negative curvature properties. The study of these groups is shared between proving results supporting the analogy with some $S$-arithmetic groups, and exhibiting properties showing that they are new groups.

研究动机与目标

• 将 Kac-Moody 群重新表述为作用在建筑物上的离散群，强调其几何与动力学性质。
• 研究有限生成的 Kac-Moody 群在任意域上是否为线性群，特别是将其与经典 S-算术群区分开来。
• 通过分析其拓扑完备化与 p 进子群，确立某些 Kac-Moody 群非线性。
• 探索 Kac-Moody 建筑物自同构群中格的算术性，将经典概念推广至非阿基米德几何。
• 确定拓扑 Kac-Moody 群为非阿贝尔且抽象简单性的条件，利用 CAT(-1) 几何与 Furstenberg 型引理。

提出的方法

• 利用 BN-对与双根数据结构定义有限域上的 Kac-Moody 群，通过组合群论将其与建筑物联系起来。
• 将拓扑 Kac-Moody 群构造为离散 Kac-Moody 群的完备化，以分析不可数且完全不连通的群。
• 应用共轭子群超刚性以证明非线性性：若群的共轭子群在其拓扑完备化中稠密，则其不能为线性群。
• 运用 Gromov 双曲几何与 CAT(-1) 空间技术，证明在特定条件下拓扑 Kac-Moody 群的非阿贝尔性。
• 分析拓扑 Kac-Moody 群中 p 进子群以检测非线性性，利用 Zelmanov 关于自由 p 进群的结果。
• 应用 Furstenberg 在 CAT(-1) 空间上的引理，证明当 Weyl 群为 Gromov 双曲时的非阿贝尔性，避免依赖性质 (T)。

实验结果

研究问题

• RQ1 当广义 Cartan 矩阵满足何种条件时，有限生成的 Kac-Moody 群为非线性？
• RQ2 是否存在超越仿射型（已知为线性）的非线性 Kac-Moody 群？
• RQ3 Kac-Moody 群中负面固定子群在正建筑物自同构群中是否为算术群？
• RQ4 拓扑 Kac-Moody 群是否包含非线性 p 进子群，这对其线性性意味着什么？
• RQ5 拓扑 Kac-Moody 群是否为非阿贝尔，且能否在不假设性质 (T) 或双曲性的情况下证明？

主要发现

• 当广义 Cartan 矩阵非仿射型时，有限生成的 Kac-Moody 群在任意域上均非线性。
• 当 Weyl 群为 Gromov 双曲时，通过 CAT(-1) 空间上的 Furstenberg 引理，证明了拓扑 Kac-Moody 群的非阿贝尔性。
• Kac-Moody 群中负面固定子群的共轭子群在拓扑 Kac-Moody 群中稠密，暗示其在建筑物自同构群中为算术群。
• 拓扑 Kac-Moody 群中存在非线性 p 进子群，构成线性性的一个关键障碍。
• 尽管拓扑 Kac-Moody 群是拓扑简单群的积，但其并非抽象简单群的直积。
• 在特定条件下，由 Kac-Moody 群导出的双曲建筑物的完整自同构群为抽象简单群，推广了 Tits 对树的结果。