[论文解读] Removing chambers in Bruhat-Tits buildings

Sylvain Barré, Mikaël Pichot|arXiv (Cornell University)|Mar 24, 2010

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

一句话总结

本论文引入了'缺腔建筑'——通过等变地从二维欧氏建筑中移除腔室而形成的CAT(0)空间，从而构造出新的可数群，其作用在空间上具有紧致商空间。关键结果表明，仅移除一个腔室即可使空间的秩从2骤降至1，导致其万有覆叠空间变为双曲空间，展示了此类空间可能表现出中间秩行为，且双曲性可由对建筑的最小手术操作产生。

ABSTRACT

We introduce and study a family of countable groups constructed from Euclidean buildings by "removing" suitably chosen subsets of chambers.

研究动机与目标

• 通过等变方式从欧氏建筑中移除腔室，构造新的CAT(0)空间族与可数群族。
• 探索高阶欧氏建筑与双曲空间之间'秩插值'现象。
• 研究此类群何时为双曲群或包含Z²子群，以检验双曲性与Z²子群包含之间的二选一性质。
• 定义并分析二维CAT(0)空间的局部秩不变量，利用度量图与邻域几何。
• 确定具有缺腔空间的全局秩是否能通过局部数据（如顶点处的邻域结构）检测。

提出的方法

• 通过从二维欧氏建筑$X$中移除腔室的轨道构造空间，该建筑配备一个可数群$\Gamma$的真等距作用，且商空间紧致。
• 为所得空间赋予分段线性度量，证明当至少移除一个腔室且$\dim X = 2$时，该空间为CAT(0)空间。
• 为满足girth $\geq 2\pi$的度量图$G$定义局部秩不变量$\mathrm{rk}(G) \in [1,2] \cap \mathbb{Q}$，通过在极端情况间进行线性插值实现。
• 利用$X$中顶点$x$的邻域定义$\mathrm{rk}(G)$，该量度量在$x$处切锥中平坦子空间的比例。
• 应用涉及测地线同伦与邻域投影的几何论证，证明$X \setminus U_t$恰好有两个连通分支，从而确立墙的存在。
• 为$(X,\Gamma)$定义一个'不变图'，用于检测空间是否为缺腔建筑，并在存在时界定可能的扩展数量。

实验结果

研究问题

• RQ1 从二维欧氏建筑中仅移除一个腔室，是否可导致其万有覆叠空间为双曲空间？
• RQ2 被移除腔室的比例与空间最终秩之间存在何种关系？
• RQ3 是否能通过局部数据（如顶点邻域结构）确定具有缺腔空间的全局秩？
• RQ4 当群$\Gamma$作用于缺腔建筑时，其具有Haagerup性质的条件是什么？
• RQ5 此类群在何种条件下可真作用于一个CAT(0)立方复形上，且商空间紧致？

主要发现

• 存在一个二维欧氏建筑$X$与一个群$\Gamma$，其作用为真等距且商空间紧致，使得移除单个腔室的轨道后，其万有覆叠空间变为双曲空间。
• 对于满足girth $\geq 2\pi$的度量图$G$，其局部秩不变量$\mathrm{rk}(G)$取值于$[1,2] \cap \mathbb{Q}$，其中1与2分别对应双曲与球面对应的极端情况。
• Moebius–Kantor图的局部秩为$\frac{7}{4}$，证实其在新不变量意义下作为中间秩的模型。
• 从空间中移除一个腔室轨道后得到的$X \setminus U_t$恰好有两个连通分支，且定义了两个相关联的墙。
• 具有缺腔空间的全局结构无法仅通过邻域的局部结构检测，反例表明：所有邻域均为缺腔建筑，但空间本身并非缺腔建筑。
• 构造了一个实用的不变图，用于检测给定空间是否为缺腔建筑，并在存在时界定可能的扩展数量。