[논문 리뷰] Horofunction Compactifications of Symmetric Spaces

Thomas Haettel, Anna-Sofie Schilling외 2명|arXiv (Cornell University)|2017. 05. 14.

Advanced Algebra and Geometry참고 문헌 6인용 수 7

한 줄 요약

이 논문은 비콤팩트형 대칭 공간의 모든 일반화된 사타케 콪팩티피케이션은 다면체 $G$-불변 편리드 메트릭에 대한 호로펑션 콩팩티피케이션으로 실현될 수 있음을 증명한다. 핵심 결과는 이러한 메트릭의 단위구가 표현 $\tau$의 고유값들의 볼록결합의 쌍대임을 보이며, 이 메트릭에 대한 대칭 공간의 호로펑션 콩팩티피케이션은 $\tau$에 관련된 일반화된 사타케 콩팩티피케이션을 실현한다. 이는 고전적이고 일반화된 사타케 콩팩티피케이션의 메트릭 이론적 구성법을 제공한다.

ABSTRACT

We consider horofunction compactifications of symmetric spaces with respect to invariant Finsler metrics. We show that any (generalized) Satake compactification can be realized as a horofunction compactification with respect to a polyhedral Finsler metric.

연구 동기 및 목표

• 비콤팩트형 대칭 공간의 일반화된 사타케 콩팩티피케이션의 메트릭 이론적 실현을 확립하기 위해.
• 모든 일반화된 사타케 콩팩티피케이션은 어떤 $G$-불변 다면체 편리드 메트릭에 대한 호로펑션 콩팩티피케이션으로 나타남을 보이기 위해.
• 주어진 일반화된 사타케 콩팩티피케이션을 실현하는 호로펑션 콩팩티피케이션을 유도하는 편리드 메트릭을 표현의 고유값들의 볼록결합의 쌍대를 통해 특성화하기 위해.
• 호로펑션 콩팩티피케이션의 기하학적 성질을 고전적 기하 콩팩티피케이션과 연결함으로써 대칭 공간 내에서의 호로펑션 콩팩티피케이션에 대한 이해를 확장하기 위해.

제안 방법

• 대칭 공간의 호로펑션 콩팩티피케이션 연구를 최대 평면 $F \cong \mathbb{R}^k$ 의 콩팩티피케이션 연구로 줄이기 위해 카르탕 분해 $G = KAK$ 를 사용한다.
• 최대 평면 $\mathfrak{a} \cong \mathbb{R}^k$ 에서의 웨일군 불변 다면체 단위구를 지정하여 대칭 공간 $X = G/K$ 에 $G$-불변 편리드 메트릭을 정의한다.
• 표현 $\tau: G \to \mathrm{PSL}(n,\mathbb{C})$ 의 고유값 $\mu_i$ 에 대해, 그 평면 $\mathfrak{a}$ 에서의 단위구가 $-\operatorname{conv}(\mu_1, \dots, \mu_k)$ 의 쌍대임을 만족하도록 편리드 메트릭을 구성한다.
• 이 편리드 메트릭에 대한 대칭 공간 $X$ 의 호로펑션 콩팩티피케이션은 일반화된 사타케 콩팩티피케이션 $\overline{X}_\tau^S$ 와 동형임을 증명한다.
• 볼록성 보조정리와 거의 지오데식선 및 부스만 점의 성질을 이용하여 호로펑션 경계의 구조를 분석한다.
• 호로펑션 콩팩티피케이션 내에서 최대 평면의 폐포가 그에 유도된 노름에 대한 평면의 호로펑션 콩팩티피케이션과 동형임을 확립한다.

실험 결과

연구 질문

• RQ1 모든 대칭 공간의 일반화된 사타케 콩팩티피케이션은 어떤 $G$-불변 편리드 메트릭에 대한 호로펑션 콩팩티피케이션으로 실현될 수 있는가?
• RQ2 주어진 일반화된 사타케 콩팩티피케이션을 실현하는 호로펑션 콩팩티피케이션을 유도하는 정확한 편리드 메트릭은 무엇인가?
• RQ3 표현 $\tau$ 의 고유값 다면체의 기하학은 관련된 호로펑션 콩팩티피케이션의 구조를 어떻게 결정하는가?
• RQ4 일반화된 사타케 콩팩티피케이션과 그에 대응하는 이중 다면체를 통한 호로펑션 실현 사이에 이중성 관계가 존재하는가?

주요 결과

• 비콤팩트형 대칭 공간 $X = G/K$ 의 모든 일반화된 사타케 콩팩티피케이션 $\overline{X}_\tau^S$ 는 $G$-불변 다면체 편리드 메트릭 $d$ 에 대한 호로펑션 콩팩티피케이션 $\overline{X}_d^{\text{hor}}$ 와 동형이다.
• 표현 $\tau$ 를 실현하는 편리드 메트릭의 단위구는 최대 평면 $\mathfrak{a} \cong \mathbb{R}^k$ 에서 $-\operatorname{conv}(\mu_1, \dots, \mu_k)$ 의 쌍대임을 만족한다. 여기서 $\mu_i$ 는 표현 $\tau$ 의 고유값이다.
• 최대 평면 $F \subset X$ 의 호로펑션 콩팩티피케이션은 그에 유도된 웨일군 불변 편리드 노름에 대해, $\mathbb{R}^k$ 의 호로펑션 콩팩티피케이션과 동형이다.
• 표현 $\tau$ 가 정규 방향에 최고 고유값을 가질 경우, 고유값 다면체 $D = \operatorname{conv}(W(\mu_\tau))$ 는 차원 $n-1$ 의 페르뮤토헤드론이 된다.
• 최고 고유값이 웨일 카메라 벽 위에 있을 경우, 다면체 $D$ 는 특이적이며, 그 이중 $B = -D^\circ$ 는 다른 조합 구조를 가지며, 예를 들어 $\mathrm{SL}(4,\mathbb{C})$ 의 경우 14개의 꼭짓점과 12개의 면을 가진다.
• 일반화된 사타케 콩팩티피케이션 $\overline{X}_\tau^{S*}$ 는 단위구가 $D = \operatorname{conv}(\mu_1, \dots, \mu_k)$ 인 편리드 메트릭에 대한 호로펑션 콩팩티피케이션으로 정의되며, 이는 $\overline{X}_\tau^S$ 와 $\overline{X}_\tau^{S*}$ 사이의 이중성 관계를 시사한다.