[论文解读] Polygons in buildings and their refined side lengths

Michael Kapovich, Bernhard Leeb+1 more|ArXiv.org|Jun 15, 2004

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

一句话总结

本文证明了厚欧几里得建筑物中定向 $n$-边形的 $Δ_{euc}$-值边长集合，仅依赖于该建筑物蒂茨边界中的球面韦伊 chamber $Δ_{sph}$。通过构造高斯映射，证明了此类边长恰好对应于蒂茨边界上半稳定加权配置的 $Δ_{euc}$-权，将几何多边形约束与几何不变量理论中的稳定性条件联系起来。

ABSTRACT

As in a symmetric space of noncompact type, one can associate to an oriented geodesic segment in a Euclidean building a vector valued length in the Euclidean Weyl chamber; in addition to the metric length it contains information on the direction of the segment. We study in this paper restrictions on the vector valued side lengths of polygons in (thick) Euclidean buildings. The main result is that the set of possible side lengths of n-gons depends only on the associated spherical Coxeter complex. We show moreover that it coincides with the space of vector valued weights of semistable weighted configurations on the Tits boundary. The side lengths of polygons in symmetric spaces of noncompact type are studied in the related paper [KLM1]. Applications of the geometric results in both papers to algebraic group theory are given in [KLM3].

研究动机与目标

• 刻画厚欧几里得建筑物中定向 $n$-边形的 $Δ_{euc}$-值边长集合。
• 建立此类多边形与蒂茨边界无穷远处加权配置之间的对应关系。
• 证明给定边长下多边形存在的充要条件是存在具有相同 $Δ_{euc}$-权的半稳定加权配置。
• 证明可能的边长空间仅依赖于球面考克斯特复形，而不依赖于特定建筑物。
• 通过统一的稳定性理论框架，将非紧类型对称空间的结果推广至厚欧几里得建筑物。

提出的方法

• 将测地线段的 $Δ$-长度定义为欧几里得韦伊 chamber $Δ_{euc}$ 中的向量，编码其度量长度与方向。
• 引入高斯映射构造，将欧几里得建筑物中的定向 $n$-边形与蒂茨边界 $Δ_{sph}$ 上的加权配置相关联。
• 利用加权布塞曼函数 $b_{ψ}$ 的渐近性质，定义球面建筑物上加权配置的半稳定性。
• 使用转移定理，将多边形存在性从蒂茨边界的锥提升至原始建筑物。
• 应用弱压缩映射的不动点理论，证明半稳定配置是实际多边形的高斯映射。
• 通过蒂茨边界的离散逼近及布塞曼函数有界下水平集，控制收敛性与存在性。

实验结果

研究问题

• RQ1 厚欧几里得建筑物中定向 $n$-边形的 $Δ_{euc}$-值边长受何种约束？
• RQ2 这些边长与无穷远处蒂茨边界上的配置有何关联？
• RQ3 能否通过边界上的稳定性条件表征给定 $Δ$-边长下多边形的存在性？
• RQ4 可能的 $Δ$-边长空间是否仅依赖于球面韦伊 chamber，还是也依赖于完整建筑物结构？
• RQ5 蒂茨边界上半稳定加权配置与建筑物中实际多边形之间的精确关系为何？

主要发现

• 厚欧几里得建筑物 $X$ 中定向 $n$-边形的 $Δ_{euc}$-值边长集合 ${\cal P}_n(X)$ 仅依赖于其蒂茨边界球面韦伊 chamber $Δ_{sph}$。
• 在 $X$ 中存在具有 $Δ$-边长 $h$ 的多边形，当且仅当存在具有 $Δ_{euc}$-权 $h$ 的半稳定加权配置于 $Δ_{sph}$ 上。
• 此类边长空间 ${\cal P}_n(\Delta_{sph})$ 对于源自对称空间的球面考克斯特复形而言，是一个有限边数的凸多面锥。
• 对于非源自对称空间的球面考克斯特复形（例如二面体群 $D_8$），${\cal P}_n(\Delta_{sph})$ 的结构仍为开放问题，尽管稳定性框架依然适用。
• 弱压缩映射在布塞曼函数下水平集上的不动点存在性，证实了半稳定配置确实是多边形的高斯映射。
• 转移定理使得多边形存在性可从蒂茨边界锥提升至原始建筑物，且 $Δ$-边长保持不变。