[논문 리뷰] Polyhedral Horofunction Compactification as a Polyhedral Ball

Lizhen Ji, Anna-Sofie Schilling|arXiv (Cornell University)|2016. 07. 02.

Geometric and Algebraic Topology참고 문헌 6인용 수 10

한 줄 요약

이 논문은 유한차원 노름 공간에서 다각형 노름을 갖는 경우의 호로함수 컴actsification이 노름의 쌍대 단위구와 위상적으로 동형임을 증명한다. 이는 명시적인 사상에 의해 이루어지며, 토릭 기하학의 모멘트 맵을 일반화하여, 공간의 점들과 경계의 호로함수를 각각 쌍대 다각형의 내부와 상대 내부로 매핑함으로써, 컴actsification과 쌍대 단위구 사이의 위상적 동치를 확립한다.

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.

연구 동기 및 목표

• 카포비치와 루브가 제기한 다각형 호로함수 컴actsification의 위상적 구조에 관한 질문을 해결하기 위해.
• 유한차원 노름 공간에 다각형 노름을 부여한 경우의 호로함수 컴actsification과 그 노름의 쌍대 단위구 사이의 위상동형을 수립하기 위해.
• 이 위상동형을 실현하는 명시적이고 기하학적으로 의미 있는 사상—토릭 기하학의 모멘트 맵을 일반화한 것—을 제공하기 위해.
• 쌍대 단위구의 면 구조와 관련 부분공간을 이용해 호로함수 컴actsification 내 수렴하는 수열을 특성화하기 위해.

제안 방법

• 벡터 공간 $ 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 $ 의 클로처로 호로함수 $ h_{E,p} $ 를 면 $ E $ 와 부분공간에 속한 점 $ p $ 에 따라 매개변수화하여 호로함수 컴actsification $ \overline{X}^{\text{hor}} $ 을 구성한다.
• 각 면 $ E $ 에서의 사상 $ m^{E} $ 를 조합하여, $ B^\circ $ (쌍대 단위구)로의 전역 위상동형 사상 $ m: \overline{X}^{\text{hor}} \to B^\circ $ 을 정의함으로써 모멘트 맵 개념을 일반화한다.
• 수열이 $ X $ 에서 호로함수 $ h_{E,p} $ 로 수렴할 때의 수렴성을 분석하여 $ m $ 의 연속성을 증명한다. 이는 $ m $ 의 상이 면 $ E $ 내에서 $ m^E(p) $ 로 수렴함을 보여준다.
• 제2저자의 diploma thesis 에서의 수렴 수열 특성화를 활용하여, $ X $ 내 수열의 渐近 행동과 그 쌍대 다각형 내 상의 이미지 사이의 관계를 연결한다.
• 컴actsification 공간 $ \overline{X}^{\text{hor}} $ 와 $ B^\circ $ 가 모두 컴acts하고 하우스도르프이므로, $ m $ 이 전단사이고 연속임을 증명하고, 따라서 $ m $ 이 위상동형임을 결론짓는다.

실험 결과

연구 질문

• RQ1 유한차원 노름 공간에 다각형 노름을 갖는 경우의 호로함수 컴actsification은 그 노름의 쌍대 단위구와 위상동형인가?
• RQ2 이 위상동형을 실현하는 명시적이고 기하학적으로 자연스러운 사상을 구성할 수 있는가?
• RQ3 공간 내 수열이 경계의 호로함수로 수렴할 때, 이는 쌍대 단위구의 면 구조와 어떻게 관련되는가?
• RQ4 토릭 기하학의 모멘트 맵은 어느 정도 일반화되어 호로함수 컴actsification을 묘사할 수 있는가?
• RQ5 단위구의 기하학과 호로함수 경계의 분할 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• 다각형 노름을 갖는 유한차원 노름 공간 $ X $ 의 호로함수 컴actsification $ \overline{X}^{\text{hor}} $ 은 노름의 쌍대 단위구 $ B^\circ $ 와 위상동형이다.
• 이 위상동형은 명시적으로 주어진 사상 $ m $ 을 통해 이루어지며, $ x \in X $ 는 $ m^{B^\circ}(x) $ 를 통해 $ B^\circ $ 의 내부로, 경계의 호로함수 $ h_{E,p} $ 는 면 $ E \subset B^\circ $ 의 상대 내부에 속하는 점 $ m^E(p) $ 로 매핑된다.
• 사상 $ m $ 은 토릭 다양체의 모멘트 맵을 일반화한 것으로, 쌍대 다각형의 정점들과의 쌍대 쌍대성 기반의 지수 가중치를 사용한다.
• 호로함수 $ h_{E,p} $ 로 수렴하는 $ X $ 내 수열은, $ E $ 와 쌍대되는 면 $ F $ 에 대한 투영 $ z_n^F $ 가 $ p $ 로 수렴함으로써 특성화된다.
• 면의 경계를 넘어선 연속성은, 더 낮은 차원의 부분공간으로 환원하고, 투영된 다각형에서 $ m^{E^{F}} $ 의 연속성을 이용하여 증명된다.
• 이 증명은 호로함수 컴actsification이 쌍대 단위구의 분할 구조를 그대로 이어받으며, 각 면 $ E \subset B^\circ $ 는 다각형 $ B $ 의 쌍대 면 $ F \subset B $ 와 관련된 호로함수들과 대응됨을 보여준다.