🔢 mathematics

Non-residually finite $\tilde{C}_2$ -lattices

本文展示了不可约建筑上非剩余有限格的已知首个实例，其中包括首批具有性质 (T) 的单纯 CAT(0)-群，以及首批不同于直积的 CAT(0)-群，同时还对厚度为三的 $\tilde{A}_2$ 建筑上的类型保持顶点正则格进行了分类，并确定了一个新的算术实例。

原作者： Thomas Titz Mite, Stefan Witzel

发布于 2026-08-21

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Thomas Titz Mite, Stefan Witzel

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在现代数学的广袤版图中，有一个领域致力于通过群论的视角来理解对称与形状。在这种语境下，一个“群”仅仅是能够被组合且可逆的对称性集合，就像旋转或翻转一个几何物体的方式一样。一个多世纪以来，数学家们一直对“格（lattices）”非常感兴趣，这些格是作用于被称为“建筑（buildings）”的复杂几何结构上的特定类型群。这些建筑并非由砖块和灰泥构成，而是由三角形和正方形组成的、向各个方向无限延伸的高维网络。一个关键问题长期困扰着研究人员，即这些格是否是“剩余有限的（residually finite）”。这一属性本质上是在询问：一个群是否由足够多的较小的有限部分组成，以至于可以通过观察其有限投影来完全理解它。如果一个群是剩余有限的，这意味着对于群内的任何不同移动，都存在一个有限映射，使得该移动看起来并不等同于什么都没做。如果它不是，则意味着该群包含了无法通过任何有限测试检测到的隐藏的无限复杂性。几十年来，已知作用在这些奇异、非标准建筑上的格被怀疑是非剩余有限的，但至今尚未有人能证明其中任何一个案例。

一组研究人员现在提供了第一个此类群存在的具体证明。他们构造了五个特定的、由三角形组成的有限形状，作为这些无限结构的蓝图。当这些形状被展开成无限版本时，它们创造了被称为 $\tilde{C}_2$ 类型的奇异建筑。与这些形状相关的基本群（即描述如何在其中绕圈行走的数学描述）已被证明是非剩余有限的。这意味着在这些群中，存在某些非平凡的移动，在所有可能的有限版本中看起来都像是没做任何事。研究人员并非仅仅靠猜测，而是结合了计算机辅助搜索来寻找正确的形状，并使用严密的数学验证来确认所得出的群确实具有这种难以捉摸的属性。

这一发现具有重要意义，因为它打破了该领域的一项长期障碍。在此项工作之前，唯一已知的非剩余有限格仅存在于本质上是树（一种更简单的、一维的网络）之积的结构上。而这些新颖的例子是“不可约的（irreducible）”，意味着它们不能被分解为更简单的乘积；它们是真正的二维且复杂的。这一发现还表明，这些群的有限剩余是“单的（simple）”，这个术词意味着它们没有非平凡的正规子群可以躲避，从而使其结构非常僵硬。此外，这些群拥有一种称为“卡兹丹性质 (T)（Kazhdan's property (T)）”的属性，这暗示了一种刚性，即该群会抵抗被简化结构所变形或近似。这种拥有单的有限剩余、具备刚性且是非剩余有限的组合，此前在不可约建筑的格的世界中是未知的。

为了找到这些例子，作者采用了大规模的计算搜索。他们探索了一个极其广阔的可能三角形复形空间，寻找那些满足特定几何规则、能确保生成的无限结构是一个有效建筑的复形。他们找到了五个这样的复形，并用索引进行区分。对于第一个涉及厚度为三的例子，该群是如此僵硬，以至于它本身就是其有限剩余，这意味着整个群都是那个无法在有限商中被看到的隐藏的无限部分。对于其他四个涉及厚度为四的例子，情况略有不同，但仍然证实了其非剩余有限的性质。研究人员通过检查群内某些复杂的环路是否能在任何有限设置中被简化为零，验证了这些结果，这项任务需要大量的计算机计算来处理庞大的可能性。

除了主要发现外，论文还对另一种相关但截然不同的、性质良好的格类型进行了完整的分类。研究人员编目了所有正则作用于厚度为三的 $\tilde{A}_2$ 型建筑顶点上的格。他们恰好找到了十三种这样的格。其中大多数已知是“算术的（arithmetic）”，即源自数论和代数方程。然而，这十三种中有一个被证明是全新的、此前未知的算术例子。这个特定的格是利用一个包含负二十三平方根的数域构建的，这一细节将几何结构与深层的数论属性联系了起来。另外十二个格作用于“奇异”建筑，这些建筑并非源自数论的标准结构，进一步凸显了这些几何结构的多元性。

这些发现的影响延伸到了数学家看待几何与代数关系的维度。论文表明，这些新颖的格不仅与旧有的不同，而且在宏观几何上有着本质的区别。利用一种称为“拟等距（quasi-isometry）”的概念（用于衡量形状在远距离观察下的外观），作者证明了这些新格之间，以及它们与任何已知格之间，都无法在不扭曲其本质结构的情况下相互转化。这意味着，这些群的数学宇宙比此前认为的要丰富和多样得多。这项工作还提供了一种确定这些建筑全对称群的新方法，表明对于新颖的例子，其对称群是离散且在扩展中有限的，这一属性有助于将其与其他已知结构区分开来。

研究人员采用了一种巧妙的策略来证明其主要结果，即依赖于这些新格包含了一些已知是非剩余有限的子群这一事实。通过将这些已知的“坏”子群嵌入到新的、更大的结构中，他们确保了较大的群继承了同样的隐藏复杂性。随后，他们使用计算机验证了新群没有意外获得额外的对称性，从而使其行为发生改变。这个过程涉及重建无限结构的有限“球体”并检查其局部对称性，这项任务确认了这些群正如理论预测的那样具有刚性和唯一性。其结果是五组新的、具体的例子，它们是第一个被证实的、作用在不可约建筑上的非剩余有限格，为进一步探索几何对称性的隐藏深度打开了大门。

技术摘要：非剩余有限的 $\tilde{C}_2$ -格点

问题陈述

本文探讨了几何群论和建筑理论（theory of buildings）中一个长期存在的开放问题：在不可约欧几里得建筑上是否存在非剩余有限（non-residually finite）的格点。虽然在树的乘积（可约建筑）上的格点是非剩余有限的（例如 Burger–Mozes–Wise 群）已是公认的事实，且人们普遍猜想在不可约“异质”（exotic）建筑（即非由代数群导出的建筑）上的格点通常不是剩余有限的，但在本研究之前，尚未有明确的实例被验证。具体而言，作者旨在构造并验证首个在不可约 $\tilde{C}_2$ -建筑上的非剩余有限格点示例。

方法论

作者结合了计算搜索、组合群论和几何刚性论证。

通过 Radu 图进行计算搜索：
构造的核心依赖于对有限非正曲率组合腔复形（GABs）的搜索算法。作者利用了编码复形局部几何结构的“Radu 图”概念。他们定义了一个基于部分三角形覆盖大小的“评分”函数，并在类型保持置换下的 Radow 图轨道中进行贪婪搜索。该搜索识别出了特定的复形 $Y^q_i$ ，它们可以作为所需格点的基本域。
嵌入非剩余有限子群：
为了证明非剩余有限性，作者构造了新的格点 $\Gamma^q_i$ ，使其包含已知的非剩余有限子群作为子复形。
- 对于 $q=2$ 的情况，复形 $Y^2_1$ 包含与 Radu 群 $\Gamma_R$ （一个在树乘积上的 BMW 群）相关的方格复形 $S_R$ 的细分。
- 对于 $q=3$ 的情况，复形 $Y^3_k$ 包含与 Janzen–Wise 群 $\Gamma_{JW}$ 相关的方格复形 $S_{JW}$ 的细分。
  根据引理 2.2（局部凸子复形基本群的单射性），这些子复形的基本群嵌入到 $\Gamma^q_i$ 中。由于这些子群已知是非剩余有限的，因此较大的群也继承了这一性质。
范式与刚性：
为了进一步分析这些群（特别是确定自同构群并验证单性），作者开发了一种计算这些格点中词的“范式”（normal forms）的算法。这涉及定义其通用覆盖（建筑）中的规范路径并建立重写规则。该算法允许计算 Cayley 图中的有限球，这些球被用于证明这些格点是各自建筑的全自同构群（或具有特定的有限指数扩张）。
$\tilde{A}_2$ -格点的分类：
作为一项次要但独立的成果，作者执行了详尽搜索，以分类所有厚度为 3 的 $\tilde{A}_2$ -建筑上的类型保持、顶点正则格点。这涉及枚举所有满足特定组合约束的 GABs 并分析它们的基本群。

核心贡献与结果

1. 非剩余有限不可约格点的存在性（定理 A）

主要贡献是构造了五个有限三角形复形 $Y^2_1, Y^3_1, Y^3_2, Y^3_3, Y^3_4$ 。

它们的通用覆盖 $X^q_i$ 是厚度为 $q+1$ 的异质 $\tilde{C}_2$ -建筑（对于 $q=2$ 厚度为 3，对于 $q=3$ 厚度为 4）。
它们的基本群 $\Gamma^q_i = \pi_1(Y^q_i)$ 是均匀格点，且不是剩余有限的。
具体而言，有限剩余 $\check{\Gamma}^q_i = (\Gamma^q_i)^{(\infty)}$ $\overset{ˇ}{Γ}_{i}^{q} = (Γ_{i}^{q})^{(\infty)}$ 在 $\Gamma^q_i$ $Γ_{i}^{q}$ 中具有有限指数。
- 对于 $q=2$ ， $\Gamma^2_1$ 是其自身的有限剩余（即它没有真有限指数子群）。
- 对于 $q=3$ ，指数 $[\Gamma^3_i : \check{\Gamma}^3_i]$ 对于 $i=1,2$ 为 4，对于 $i=3,4$ 为 8。

2. 具有性质 (T) 的单 CAT(0) 群（推论 B）

通过结合主定理与先前结果（特别是 [LW26]），作者推导出有限剩余 $\check{\Gamma}^q_i$ 是单群。

这些群是 CAT(0) 群（因为它们在 CAT(0) 空间上进行适当且紧致的动作）。
它们拥有 Kazhdan 性质 (T)。作者使用 Ozawa 方法和半正定规划验证了 $\bar{\Gamma}^2_1$ 的性质 (T)，确立了至少为 $0.4147$ 的 Kazhdan 常数。
至关重要的是，这些群不拟等距于一个真直接乘积。这使它们区别于已知的在树乘积上的非剩余有限格点，后者是拟等距于树的乘积的。

3. 刚性与非同构性

作者证明了建筑 $X^q_i$ 之间是两两互不同构的，且格点 $\Gamma^q_i$ 之间是两两不拟等距的。

这是通过重建 Cayley 图中的有限球，并表明所得商空间 $\check{\Gamma}^q_i \backslash X^q_i$ 是互不同构的来实现的。
这些建筑的自同构群是离散的，证实了它们的“异质”本质。

4. $\tilde{A}_2$ -格点的分类（定理 C 和定理 6.1）

本文提供了厚度为 3 的 $\tilde{A}_2$ -建筑上类型保持、顶点正则格点的完整分类。

共有 13 个这样的格点（在等变意义下）。
算术示例： 其中 6 个是算术的。值得注意的是，其中一个算术示例（与 $\Gamma_6$ 相关）定义在域 $K = \mathbb{Q}(\sqrt{-23})$ 上，且与之前研究过的格点互不共模。作者提供了该格点嵌入到一般酉群 $GU(f)(\mathbb{Q}_2)$ 中的显式方法。
异质示例： 剩余的 7 个格点作用在异质建筑上。作者分析了它们的自同构群和商，识别出其中一些是没有任何小商的完美群。

意义

本文声称提供了首个已知的在不可约建筑上的非剩余有限格点示例。这解决了关于此类对象存在但一直未被验证的猜想。

其意义延伸至多个领域：

群论： 它产生了首批已知的、不拟等距于直接乘积的具有性质 (T) 的单 CAT(0) 群。这挑战了直觉，即在这种语境下，性质 (T) 和单性可能与可约结构相关联。
几何刚性： 结果表明，非剩余有限行为并不局限于可约建筑（树的乘积），而是也发生在不可约设置中，从而扩大了已知格点行为的版图。
分类： 对厚度为 3 的 $\tilde{A}_2$ -格点的详尽分类，为理解算术格点与异质格点之间的关系提供了具体的数据库，揭示了新的算术示例以及丰富的异质结构。

作者强调，该构造依赖于计算机辅助搜索与验证，特别是在通过检查特定元素是否属于有限剩余来确定非剩余有限性，以及通过计算大球的自同构群方面。代码和数据均已公开，以支持这些验证工作。

技术摘要：非剩余有限的 C~2\tilde{C}_2C~2​-格点