[论文解读] Notes on completely reducible subcomplexes of spherical buildings

Linus Kramer|arXiv (Cornell University)|Oct 1, 2010

Geometric and Algebraic Topology参考文献 8被引用 3

一句话总结

本文研究了球面建筑物中的完全可约子复形，证明此类子复形同胚于球面建筑物与球面的乘积，且可分解为平凡因子与考斯策尔复形的直积。关键结果表明，任意完全可约子复形均可实现为球面建筑物与多个 $\SS^0$ 的乘积的度量实现，从而推广了沙尔劳对弱球面建筑物的约化定理。

ABSTRACT

A completely reducible subcomplex of a spherical building is a spherical building.

研究动机与目标

• 刻画球面建筑物中完全可约子复形的结构。
• 确定球面建筑物的凸子复形在何种条件下自身也是球面建筑物。
• 将沙尔劳对弱球面建筑物的约化定理推广至完全可约子复形的设定。
• 分析对棱单体、李维球面与奇异大圆面在这些子复形分解中的作用。

提出的方法

• 利用 CAT(1) 几何与球面考斯策尔复形中的凸性，分析具有测地线唯一性与凸包性质的子复形。
• 应用“张量”与测地线延拓的概念，证明维度为 $m$ 的凸子复形包含于 $m$-球面中，且为纯胞腔复形。
• 引入李维球面作为包含单体的最大球面，通过奇异大圆面与反射群研究其结构。
• 通过避免经过奇异 $m-1$-单体的路径定义单体的 t-等价关系，进而定义 t-类与基本域。
• 构造共享同一单体或点的李维球面之间的等距同构，证明奇异结构与考斯策尔群作用的不变性。
• 利用沿奇异大圆面的度量反射对李维球面进行“手术”，构造新的李维球面，同时保持考斯策尔群结构。

实验结果

研究问题

• RQ1 在何种条件下，球面建筑物的凸子复形自身也是球面建筑物？
• RQ2 当子复形中某一单体存在对棱单体时，该条件在何种情况下可推出完全可约性？
• RQ3 李维球面与奇异大圆面如何共同影响完全可约子复形的全局结构？
• RQ4 考斯策尔群与基本域在完全可约子复形的分解中起何种作用？

主要发现

• 若球面建筑物的凸子复形 $A$ 的几何实现是凸的且维度 $m \geq 1$，则 $A$ 为纯胞腔复形。
• 若子复形 $A$ 中存在单体 $a$ 在 $A$ 中无对棱，则 $|A|$ 可通过测地线收缩映射到 $a$ 的内部，故为可缩的。
• 若 $A$ 中每个 $m$-单体均有对棱，则 $A$ 中任意维度的单体均有对棱，且 $A$ 为完全可约的。
• 完全可约子复形中任意一对单体均位于同一李维球面中，该李维球面为维度 $m$ 的球面建筑物。
• 李维球面中的奇异大圆面构成一个在反射下封闭的有限系统，且相关考斯策尔群 $W_S$ 的作用保持子复形的结构。
• 任意完全可约子复形 $A$ 同胚于 $Z * \SS^0 * \cdots * \SS^0$ 的度量实现，其中 $Z$ 为厚球面建筑物，从而推广了沙尔劳的约化定理。