[论文解读] On topological twin buildings and topological split Kac-Moody groups

Tobias Hartnick, Ralf Köhl+1 more|arXiv (Cornell University)|Jan 17, 2012

Algebraic structures and combinatorial models参考文献 41被引用 9

一句话总结

该论文证明了局部域上的两球对称分裂 Kac–Moody 群在 Kac–Peterson 拓扑下自然地诱导出拓扑对孪建筑，证明了其连续性，并通过 Dynkin 树对这类结构进行分类。关键贡献在于利用具有特定边标签和方向的标记图的同构类，对树类型的 $k$-分裂拓扑对孪建筑进行了分类。

ABSTRACT

We prove that a two-spherical split Kac-Moody group over a local field naturally provides a topological twin building in the sense of Kramer. This existence result and the local-to-global principle for twin building topologies combined with the theory of Moufang foundations as introduced and studied by Mühlherr, Ronan, and Tits allows one to immediately obtain a classification of two-spherical split Moufang topological twin buildings whose underlying Coxeter diagram contains no loop and no isolated vertices.

研究动机与目标

• 建立局部域上两球对称分裂 Kac–Moody 群在 Kac–Peterson 拓扑下，使其关联的对孪建筑成为 Kramer 意义下的拓扑孪建筑。
• 利用 Dynkin 图的组合数据对树类型的 $k$-分裂拓扑对孪建筑进行分类。
• 统一处理特征为 0 和正特征局部域下连通与完全不连通情形的理论。
• 通过 Kac–Moody 群论中的群论与拓扑工具，扩展拓扑对孪建筑的理论。
• 提供分裂 Kac–Moody 群上 Kac–Peterson 拓扑的普遍刻画，尤其在非球对称情形下。

提出的方法

• 利用直接极限拓扑和 RGD 系统理论，在局部域上的两球对称分裂 Kac–Moody 群上构造 Kac–Peterson 拓扑。
• 通过证明乘法映射 $U_+ \times T \times U_- \to B_+B_-$ 在商拓扑下是开映射，验证对孪建筑中合射映射的连续性。
• 利用对孪建筑拓扑的局部到整体原则以及 Moufang 基础理论，将群论性质提升至几何层面。
• 应用 [12] 中关于直接极限拓扑的结果，确保 Kac–Peterson 拓扑定义良好且为 $k_\omega$-正则，尽管在非球对称情形下不具有局部紧性或度量性。
• 利用 Kac–Peterson 拓扑的普遍性质，证明其在球对称情形下与李群拓扑一致。
• 利用 Lang 映射和准对称变换分析拓扑对孪建筑设定下的对称空间与余距离函数。

实验结果

研究问题

• RQ1 与局部域上两球对称分裂 Kac–Moody 群相关联的对孪建筑是否具有自然拓扑，使其成为 Kramer 意义下的拓扑对孪建筑？
• RQ2 在何种条件下，此类群上的 Kac–Peterson 拓扑能诱导出强拓扑对孪建筑结构？
• RQ3 如何将树类型 $k$-分裂拓扑对孪建筑的分类简化为 Dynkin 图上的组合数据？
• RQ4 Kac–Moody 群及其对孪建筑的拓扑性质（连通或完全不连通）如何依赖于局部域的类型？
• RQ5 Kac–Peterson 拓扑在非球对称 Kac–Moody 群上在多大程度上不具有局部紧性或度量性？

主要发现

• 在 Kac–Peterson 拓扑和商拓扑下，局部域上两球对称单连通分裂 Kac–Moody 群所关联的对孪建筑是一个强拓扑对孪建筑。
• 对于非球对称 Kac–Moody 群，Kac–Peterson 拓扑是 $k_\omega$ 的，但不具有局部紧性或度量性。
• 在阿耳克米德局部域（如 $\mathbb{R}$ 或 $\mathbb{C}$）下，群是连通的；在非阿耳克米德域下，它是完全不连通的。
• 在球对称情形下，Kac–Peterson 拓扑与李群拓扑一致。
• 映射 $[\Delta] \mapsto [\mathcal{D}(\Delta)]$ 诱导出树类型 $k$-分裂拓扑对孪建筑的同构类与具有标记 3、4、6 且边带方向（标记为 4 或 6）的单连通简单图的同构类之间的双射。
• 每个 Dynkin 树都是拓扑 $k$-可积的，即此类树上的每个拓扑 $k$-分裂 Moufang 基础都源自具有 Kac–Peterson 拓扑的分裂 Kac–Moody 群。