[论文解读] Distances on a masure (affine ordered hovel)

Auguste Hébert|arXiv (Cornell University)|Nov 18, 2016

Algebraic structures and combinatorial models参考文献 10被引用 7

一句话总结

本文通过引入正类型与负类型的距离，构建并分析了与非阿基米德局部域上分裂 Kac-Moody 群相关的 masure —— 这类对象是 Bruhat-Tits 建筑物的推广 —— 这些距离保持了单体上的仿射拓扑，并确保群作用与收缩映射的连续性。关键贡献在于构造了混合距离（正类型与负类型距离之和），其在诱导出的拓扑下具有良好的性质：完备、局部紧致，且 masure 是可缩的，群作用为 Lipschitz 连续。

ABSTRACT

A masure (a.k.a affine ordered hovel) I is a generalization of the Bruhat-Tits building that is associated to a split Kac-Moody group G over a non-archimedean local field. This is a union of affine spaces called apartments. When G is a reductive group, I is a building and there is a G-invariant distance inducing a norm on each apartment. In this paper, we study distances on I inducing the affine topology on each apartment. We show that some properties (completeness, local compactness, ...) cannot be satisfyed when G is not reductive. Nevertheless, we construct distances such that each element of G is a continuous automorphism of I.

研究动机与目标

• 定义 masure 上的距离，使其在每个单体上诱导出仿射拓扑，并与 Kac-Moody 群 G 的作用相容。
• 解决非建筑型 masure 上缺乏完备、局部紧致且 G-不变距离的问题，此类距离无法支持范数受限的度量。
• 构造距离，使得所有群元素及以扇形芽为中心的收缩映射均为 Lipschitz 连续。
• 引入结合正类型与负类型的距离的混合距离，以实现完备性、局部紧致性与离散轨道。
• 证明在正类型、负类型与混合距离诱导的拓扑下，masure 是可缩的，从而保证拓扑上的可处理性。

提出的方法

• 利用扇形芽与收缩映射，基于标准单体上的固定范数，定义正类型与负类型的距离。
• 通过以扇形芽为中心的收缩构造距离，确保同号收缩映射为 1-Lipschitz，且群元素保持 Lipschitz 连续。
• 证明所有正类型（相应地负类型）距离在关系 $kd_1 \leq d_2 \leq \ell d_1$（$k,\ell > 0$）下等价，从而确立唯一的拓扑 $\mathscr{T}_+$ 与 $\mathscr{T}_-$。
• 将混合距离定义为正类型与负类型距离之和，确保与所有群作用及收缩映射的相容性。
• 利用映射 $+_{+\infty}$ 与收缩映射 $\rho_{\pm\infty}$ 的连续性，证明路径在拓扑下的收敛性与连续性。
• 通过平移与收缩映射显式构造形变收缩 $\chi_u$ 与 $\Upsilon_u$，以证明 masure 的可缩性。

实验结果

研究问题

• RQ1 若 masure 不是建筑，则是否存在 G-不变的距离，使其在每个单体上诱导出仿射拓扑？
• RQ2 与群作用及收缩映射相容的 masure 上的距离，其拓扑与度量性质（完备性、局部紧致性）为何？
• RQ3 是否存在 masure 上的距离，使得所有 $g \in G$ 的作用均为 Lipschitz 映射，且以扇形芽为中心的所有收缩映射均为 Lipschitz？
• RQ4 能否在 masure 上构造一种拓扑，使得特殊顶点的 G-轨道为离散集，同时保持收缩映射与群作用的连续性？
• RQ5 在正类型、负类型或混合距离诱导的拓扑下，masure 是否可缩？

主要发现

• masure 上的任何距离均无法在每个单体上诱导出范数，且若收缩映射连续，则此类距离既不完备也非局部紧致。
• masure 上所有正类型距离彼此等价，定义出唯一的拓扑 $\mathscr{T}_+$；负类型距离亦同理，定义出 $\mathscr{T}_-$。
• 当 masure 不是建筑时，拓扑 $\mathscr{T}_+$ 与 $\mathscr{T}_-$ 不同；但当其为建筑时，二者与标准建筑拓扑一致。
• 混合距离（即正类型与负类型距离之和）在所有此类构造中等价，并产生一个完备、局部紧致的拓扑 $\mathscr{T}_m$。
• 在混合拓扑 $\mathscr{T}_m$ 下，特殊顶点的 G-轨道 $\mathcal{I}_0$ 为离散集，且所有群元素与收缩映射均为 Lipschitz。
• 在 $\mathscr{T}_+$、$\mathscr{T}_-$ 与 $\mathscr{T}_m$ 下，masure $\mathcal{I}$ 均为可缩的，且通过平移与收缩映射显式构造了强形变收缩。