[論文レビュー] Polyhedral Horofunction Compactification as a Polyhedral Ball

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

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

ひとこと要約

この論文は、多面体的ノルムを備えた有限次元ノルム空間のホロファンコンパクト化が、明示的な写像を介してそのノルムの双対単位球に位相的に同相であることを証明している。この構成は、トーリック幾何におけるモーメント写像を一般化し、空間内の点と境界上のホロファンクションを、それぞれ双対多面体の内部および相対内部へ写像する。これにより、コンパクト化と双対単位球の間の位相的同値性が確立される。

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.

研究の動機と目的

• カポビッチとルーブが提起した、多面体的ホロファンコンパクト化の位相的構造に関する問題を解消すること。
• 有限次元ノルム空間に多面体的ノルムが与えられたとき、そのホロファンコンパクト化とそのノルムの双対単位球との間に位相同型を確立すること。
• この位相同型を実現する明示的で幾何的に意味のある写像（トーリック幾何におけるモーメント写像の一般化）を提供すること。
• 双対単位球の面構造と関連部分空間を用いて、ホロファンコンパクト化における収束列を特徴付けること。

提案手法

• 双対ペアリングに基づく指数的重みを用いて、ベクトル空間 $ 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 $。
• 双対空間 $ X^* $ 上の連続関数空間における $ X $ の閉包としてホロファンクションコンパクト化 $ \overline{X}^{\text{hor}} $ を構成する。ホロファンクション $ h_{E,p} $ は、双対単位球の面 $ E $ と $ X $ の部分空間内の点 $ p $ によってパrameter化される。
• 各面 $ E $ における写像 $ m^{E} $ を組み合わせることで、全体としての位相同型写像 $ m: \overline{X}^{\text{hor}} \to B^\circ $（$ B^\circ $ は双対単位球）を定義する。この写像はモーメント写像の一般化である。
• 空間 $ X $ 内の列がホロファンクション $ h_{E,p} $ に収束する際の収束を解析することで、写像 $ m $ の連続性を証明する。具体的には、$ m $ による像が面 $ E $ 内の $ m^E(p) $ に収束することを示す。
• 第二著者の修士論文における収束列の特徴づけを用い、$ X $ 内の列の漸近的挙動とその双対多面体内での像との関係を結びつける。
• コンパクトかつハウスドルフ空間である $ \overline{X}^{\text{hor}} $ と $ B^\circ $ 上で $ m $ が全単射かつ連続であることを示し、結論として $ m $ が位相同型であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 有限次元ノルム空間に多面体的ノルムが与えられたとき、そのホロファンコンパクト化はノルムの双対単位球に位相的に同型であるか？
• RQ2 この位相同型を実現する明示的で幾何的に自然な写像を構成できるか？
• RQ3 空間内の列が境界上のホロファンクションに収束するとき、その収束の仕組みは双対単位球の面構造とどのように関係するか？
• RQ4 トーリック幾何におけるモーメント写像は、どの程度ホロファンコンパクト化を記述するために一般化可能か？
• RQ5 単位球の幾何とホロファンクション境界のストラティフィケーションとの間の正確な関係は何か？

主な発見

• 有限次元ノルム空間 $ X $ に多面体的ノルムが与えられたとき、そのホロファンコンパクト化 $ \overline{X}^{\text{hor}} $ はノルムの双対単位球 $ B^\circ $ に位相的に同型である。
• この位相同型は、点 $ x \in X $ を $ B^\circ $ の内部へ写像する $ m^{B^\circ}(x) $ を通じて明示的に与えられ、境界上のホロファンクション $ h_{E,p} $ は、面 $ E \subset B^\circ $ の相対内部内の点 $ m^E(p) $ へ写像される。
• 写像 $ m $ はトーリック多様体におけるモーメント写像を一般化し、双対多面体の頂点との双対ペアリングに基づく指数的重みを用いている。
• ホロファンクション $ h_{E,p} $ に収束する $ X $ 内の列は、$ E $ の双対面 $ F \subset B $ に対応する射影 $ z_n^F $ が $ p $ に収束することによって特徴づけられる。
• 写像 $ m $ は面の境界を越えて連続であることが証明されており、低次元部分空間への還元と、射影された多面体上での $ m^{E^{F}} $ の連続性を用いる。
• 証明により、ホロファンコンパクト化は双対単位球のストラティフィケーション構造を引き継ぐことが示され、各面 $ E \subset B^\circ $ は双対面 $ F \subset B $ に付随するホロファンクションに対応する。