[论文解读] Generalized affine buildings

Petra Schwer|arXiv (Cornell University)|Feb 6, 2009

Structural Analysis and Optimization参考文献 21被引用 11

一句话总结

本文引入广义仿射建筑物作为具有 Weyl 群作用和满足三角不等式的距离函数的度量空间，将经典仿射建筑物推广至非离散和 $Λ$-值设置。它建立了关键的凸性性质，证明位于同一栋公寓内的两点之间的线段位于包含给定无穷远理想点的有限个公寓的并集中，并表明以无穷远为中心的收缩映射是保持距离非增的，将经典结果推广至更广泛的建筑物类别。

ABSTRACT

In the present thesis geometric properties of non-discrete affine buildings are studied. We cover in particular affine $Λ$-buildings, which were introduced by Curtis Bennett in 1990 and which already have proven to be useful for applications. The main results are as follow: First we prove an extension theorem for ecological isomorphisms of buildings at infinity. Further, complementing a joint project with L. Kramer and R. Weiss, we give an algebraic proof of the existence of (necessarily) non-discrete affine buildings having Suzuki-Ree buildings at infinity. Most of the effort is put in the generalization of Kostant's convexity theorem for symmetric spaces in the setting of simplicial affine and affine $Λ$-buildings. The proofs are based on connections to representation theory as well as on methods borrowed from metric geometry.

研究动机与目标

• 将仿射建筑物理论推广至非离散和 $Λ$-值设置，将度量与组合结构扩展至非离散赋值。
• 建立公寓中线段的凸性性质，证明其位于包含给定无穷远理想点的有限个公寓的并集中。
• 证明以无穷远为中心的收缩映射是距离非增的，将经典结果从离散推广至广义仿射建筑物。
• 为广义仿射建筑物中的度量与几何性质提供统一框架，包括 $Λ$-建筑物与 $Λ$-值度量。

提出的方法

• 本文通过一组公理 (A1)–(A6) 定义广义仿射建筑物，包括 Weyl 群作用和满足三角不等式的 $Λ$-值距离函数。
• 它采用从建筑物到以 Weyl 单元 $S$ 为中心的公寓 $A$ 的收缩映射 $r_{A,S}$ 的概念，并在三角不等式条件下证明其为距离非增。
• 证明依赖于构造包含线段 $\mathrm{seg}(x,y)$ 的有限个公寓链 $A_0, \dots, A_n$，其中相邻公寓重叠，以在收缩下保持距离。
• 它利用在一点处 Weyl 单元的芽与对角单元的概念，以控制建筑物中线段与收缩的行为。
• 本文应用度量几何中的结果，特别是 $\mathrm{CAT}(0)$ 性质，证明广义建筑物的几何实现继承了非正曲率。
• 它利用 Bennett 提出的 $Λ$-建筑物结构以及 Tits 的‘système d'appartements’公理框架，统一了离散与非离散情形。

实验结果

研究问题

• RQ1 如何在保持关键几何与度量性质的前提下，将仿射建筑物理论推广至非离散和 $Λ$-值设置？
• RQ2 当两点位于同一公寓中时，其线段在何种条件下位于包含给定无穷远理想点的有限个公寓的并集中？
• RQ3 在广义仿射建筑物中，以无穷远为中心的收缩映射是否为距离非增？哪些公理可确保此性质？
• RQ4 三角不等式在 $\Lambda$-值距离函数中起何作用，以确保度量凸性与收缩性质？

主要发现

• 位于同一公寓 $A$ 中的两点 $x$ 与 $y$ 之间的线段 $\mathrm{seg}(x,y)$ 包含于以任意点 $z$ 为基的有限个 Weyl 单元的并集中，满足条件 (FC')。
• 若 $\mu$ 是以 $z$ 为基的 Weyl 单元的芽，则 $\mathrm{seg}(x,y)$ 位于包含 $\mu$ 的有限个公寓的并集中，从而确立了局部凸性性质。
• 以 Weyl 单元 $S$ 为中心的收缩映射 $r_{A,S}$ 是距离非增的，通过将线段分解为跨越重叠公寓的子线段来证明。
• 对于任意无穷远处的理想点 $c$，线段 $\mathrm{seg}(x,y)$ 位于包含 $c$ 的有限个公寓的并集中，从而证明了条件 (FC)。
• 以无穷远为中心的收缩映射的距离非增性质源于 $\Lambda$-值距离函数上的三角不等式。
• 公理 (A5) 与 (A5') 之间的等价性得以确立：(A5') 是诱导距离函数上的三角不等式，其确保了距离非增收缩映射的存在性。