[论文解读] (Non-)completeness of R-buildings and fixed point theorems

Koen Struyve|ArXiv.org|Sep 17, 2009

Topological and Geometric Data Analysis参考文献 7被引用 7

一句话总结

本文将关于 R-建筑物的两个基础结果推广：证明了在非完备 R-建筑物上作用的有限生成群存在不动点；并建立了 R-建筑物的完备性与墙树完备性之间的几何准则——将 Bruhat-Tits 的先前代数结果推广至所有 R-建筑物。

ABSTRACT

We prove two generalizations of results proved by Bruhat and Tits involving metrical completeness and R-buildings. Firstly, we give a generalization of the Bruhat-Tits fixed point theorem also valid for non-complete R-buildings, but with the added condition that the group is finitely generated. Secondly, we generalize a criterion which reduces the problem of completeness to the wall trees of the R-building.

研究动机与目标

• 将 Bruhat-Tits 不动点定理推广至非完备 R-建筑物，增加作用群为有限生成的条件。
• 将 Bruhat-Tits 的完备性准则从代数构造推广至所有 R-建筑物：即由带赋值的根系数据构造的 R-建筑物的完备性等价于其墙树的完备性。
• 提供完备性准则的几何证明，取代先前的代数方法，从而扩大其适用范围。
• 建立全局 R-建筑物的完备性与其中一维墙树完备性之间的联系，使全局问题可约化为更简单的情形。
• 通过将非完备 R-建筑物嵌入完备 R-建筑物并分析其在环境空间中的收敛行为，解决非完备 R-建筑物的问题。

提出的方法

• 基于将墙树中的柯西序列通过等距嵌入到 R-树与 R-直线的积空间中，实现向 R-建筑物的提升，采用几何论证方法。
• 应用在无穷远处的球面建筑物与局部区域中的中心猜想，以确保群作用下不动点的存在性。
• 利用点处扇形面的芽的概念，分析渐近行为，并判断极限点是否位于公共仿射子图中。
• 利用局部区域中非颤动的墙道概念，保持极限下的组合结构，验证极限点位于适当的仿射子图中。
• 应用引理 4.4，将非完备 R-建筑物嵌入完备 R-建筑物中，从而可在环境空间中利用完备性推导原空间的性质。
• 利用推论 4.5 证明：以极限点为顶点的扇形内部位于原始 R-建筑物中，并应用墙面树的完备性，将序列延拓并导出假设不完备时的矛盾。

实验结果

研究问题

• RQ1 在有限生成群作用条件下，能否将 Bruhat-Tits 不动点定理推广至非完备 R-建筑物？
• RQ2 R-建筑物的完备性是否等价于其所有墙树的完备性，即使在不依赖根系数据与赋值的构造下也成立？
• RQ3 R-建筑物的完备性准则能否以几何方式而非代数方式证明？
• RQ4 当非完备 R-建筑物中的柯西序列被嵌入完备 R-建筑物时，其行为如何？
• RQ5 在何种条件下，可利用墙树与芽的性质，证明 R-建筑物中柯西序列的极限点位于原始空间中？

主要发现

• 有限生成的等距同构群作用于非完备 R-建筑物时存在不动点，推广了 Bruhat-Tits 不动点定理。
• R-建筑物在度量意义下完备，当且仅当其所有墙树均完备，通过几何证明将 [4] 中的结果推广至所有 R-建筑物。
• 墙树的完备性完全决定了整个 R-建筑物的完备性，从而将全局完备性问题约化为一维情形。
• 非完备 R-建筑物中柯西序列的极限位于原空间中，当且仅当其对应墙树中的序列收敛，而当墙树完备时该收敛性得以保证。
• 将非完备 R-建筑物嵌入完备 R-建筑物的过程，保留了通过墙树分析收敛性与完备性所需的结构。
• 若假设极限点位于原始 R-建筑物之外，则会导致残留在局部区域中本应相邻的芽变得不相邻——违反建筑物的结构。