[论文解读] Polyhedral Horofunction Compactification as a Polyhedral Ball

Lizhen Ji, Anna-Sofie Schilling|arXiv (Cornell University)|Jul 2, 2016

Geometric and Algebraic Topology参考文献 6被引用 10

一句话总结

本文证明了具有多面体范数的有限维赋范空间的Horofunction紧化与该范数的对偶单位球之间通过显式映射同胚。该构造推广了射影代数几何中的矩量映射，将空间中的点和边界上的Horofunction分别映射到对偶多面体的内部和相对内部，从而在紧化与对偶单位球之间建立了拓扑等价性。

ABSTRACT

In this paper we answer positively a question raised by Kapovich and Leeb in a paper titled "Finsler bordifications of symmetric and certain locally symmetric spaces". Specifically, we show that for a finite-dimensional vector space with a polyhedral norm, its horofunction compactification is homeomorphic to the dual unit ball of the norm by an explicit map. To prove this, we establish a criterion for converging sequences in the horofunction compactification and generalize the basic notion of the moment map in the theory of toric varieties.

研究动机与目标

• 解决Kapovich和Leeb提出的问题：关于多面体Horofunction紧化的拓扑结构。
• 建立具有多面体范数的有限维赋范空间的Horofunction紧化与该范数对偶单位球之间的同胚关系。
• 提供一个显式且具有几何意义的映射——推广自射影代数几何中的矩量映射——以实现该同胚。
• 通过双对偶单位球的面结构及其相关子空间，刻画Horofunction紧化中收敛序列的性质。

提出的方法

• 定义从向量空间 $ X $ 到凸多面体 $ C $ 内部的映射 $ m^{C} $，基于对偶配对的指数权重：$ m^{C}(x) = \sum_{i=1}^{r} \frac{e^{-\langle c_i|x\rangle}}{\sum_{k=1}^{r} e^{-\langle c_k|x\rangle}} c_i $。
• 将Horofunction紧化 $ \overline{X}^{\text{hor}} $ 构造为 $ X $ 在对偶空间 $ X^* $ 上连续函数空间中的闭包，使用由对偶单位球的面 $ E $ 和子空间中的点 $ p $ 参数化的Horofunction $ h_{E,p} $。
• 通过在对偶单位球的每个面 $ E $ 上组合映射 $ m^{E} $，将矩量映射概念推广，定义全局同胚映射 $ m: \overline{X}^{\text{hor}} \to B^\circ $，其中 $ B^\circ $ 为对偶单位球。
• 通过分析 $ X $ 中序列收敛于Horofunction $ h_{E,p} $ 的行为，证明 $ m $ 的连续性，表明其在 $ m^E(p) $ 处收敛于面 $ E $ 内部。
• 利用第二作者硕士论文中关于收敛序列的刻画，将 $ X $ 中序列的渐近行为与它们在对偶多面体中的像联系起来。
• 在紧致且Hausdorff的空间 $ \overline{X}^{\text{hor}} $ 和 $ B^\circ $ 上建立 $ m $ 的双射性与连续性，从而得出 $ m $ 是同胚映射。

实验结果

研究问题

• RQ1 具有多面体范数的有限维赋范空间的Horofunction紧化是否与该范数的对偶单位球同胚？
• RQ2 能否构造一个显式且具有几何自然性的映射，以实现该同胚关系？
• RQ3 空间中的序列如何收敛于边界上的Horofunction？这与对偶单位球的面结构有何关联？
• RQ4 射影代数几何中的矩量映射在多大程度上可推广以描述Horofunction紧化？
• RQ5 单位球的几何结构与Horofunction边界分层结构之间的确切关系是什么？

主要发现

• 具有多面体范数的有限维赋范空间 $ X $ 的Horofunction紧化 $ \overline{X}^{\text{hor}} $ 与该范数的对偶单位球 $ B^\circ $ 同胚。
• 该同胚由映射 $ m $ 显式给出，该映射将 $ X $ 中的点 $ x $ 映射到 $ B^\circ $ 的内部，即 $ m^{B^\circ}(x) $，并将边界上的Horofunction $ h_{E,p} $ 映射到面 $ E \subset B^\circ $ 的相对内部中的点 $ m^E(p) $。
• 映射 $ m $ 推广了射影代数几何中多面体的矩量映射，基于对偶多面体顶点的对偶配对使用指数权重。
• 收敛于Horofunction $ h_{E,p} $ 的 $ X $ 中序列，其投影 $ z_n^F $ 收敛于 $ p $，其中 $ F $ 是 $ E $ 的对面对。
• 通过降维至子空间并利用 $ m^{E^{F}} $ 在投影多面体上的连续性，证明了映射 $ m $ 在面边界上保持连续。
• 该证明表明Horofunction紧化继承了对偶单位球的分层结构，其中 $ B^\circ $ 的每个面 $ E $ 对应于与 $ B $ 中对面对 $ F \subset B $ 相关的Horofunction。