[논문 리뷰] Combinatorial decompositions, Kirillov-Reshetikhin invariants and the Volume Conjecture for hyperbolic polyhedra

Alexander Kolpakov, Jun Murakami|arXiv (Cornell University)|2016. 03. 07.

Geometric and Algebraic Topology참고 문헌 14인용 수 4

한 줄 요약

이 논문은 단순한 3차원 다면체를 I-H 및 캡핑 이동을 통해 일반화된 사면체로 분해함으로써, 잠재 함수의 임계값과 관련된 hyperbolic 다면체 부피를 계산하는 조합적 방법을 제안한다. 또한 이 기하학적 분해와 다면체의 1-스켈레톤에 대한 Kirillov-Reshetikhin 불변량의 점근적 행동 사이에 깊은 연결 고리가 있음을 추측하며, hyperbolic 다면체에 대한 부피 추측을 증명할 잠재적 길을 제시한다.

ABSTRACT

We suggest a method of computing volume for a simple polytope $P$ in three-dimensional hyperbolic space $\\mathbb{H}^3$. This method combines the combinatorial reduction of $P$ as a trivalent graph $\\Gamma$ (the $1$-skeleton of $P$) by $I-H$, or Whitehead, moves (together with shrinking of triangular faces) aligned with its geometric splitting into generalised tetrahedra. With each decomposition (under some conditions) we associate a potential function $\\Phi$ such that the volume of $P$ can be expressed through a critical values of $\\Phi$. The results of our numeric experiments with this method suggest that one may associated the above mentioned sequence of combinatorial moves with the sequence of moves required for computing the Kirillov-Reshetikhin invariants of the trivalent graph $\\Gamma$. Then the corresponding geometric decomposition of $P$ might be used in order to establish a link between the volume of $P$ and the asymptotic behaviour of the Kirillov-Reshetikhin invariants of $\\Gamma$, which is colloquially know as the Volume Conjecture.

연구 동기 및 목표

• 3차원 hyperbolic 다면체 $P$의 부피를 $\mathbb{H}^3$에서 조합적 분해를 통해 체계적으로 계산하는 방법을 개발한다.
• hyperbolic 다면체의 부피와 그 1-스켈레톤(삼중도 그래프)의 Kirillov-Reshetikhin 불변량의 점근적 행동 사이의 기하학적 연결 고리를 확립한다.
• 부피 계산에 사용된 I-H 및 캡핑 이동의 순서가 Kirillov-Reshetikhin 불변량을 계산하는 데 사용된 순서와 일치하는지 탐색한다.
• 기하학적 다면체의 부피 추측을 지지하는 수치적 증거를, 각기둥과 도데카에드론에 대한 명시적 계산을 통해 제공한다.

제안 방법

• 단순한 hyperbolic 다면체 $P$를 일반화된 사면체 $T_i$로 분해하여 $\mathrm{Vol}(P) = \sum \mathrm{Vol}(T_i)$ 를 만족시킨다.
• 1-스켈레톤 $\Gamma$ 를 기하학적 및 조합적 구조를 유지하면서 사면체로 줄이기 위해 I-H(Whitehead) 이동과 캡핑 이동의 순서를 적용한다.
• 각 분해에 대해 공면 간 수직 거리의 길이에 따라 의존하는 잠재 함수 $\Phi(\ell_1, \dots, \ell_m)$ 를 연결하며, 이 함수의 임계값 $\Phi(\ell^*_1, \dots, \ell^*_m)$ 이 부피를 결정한다.
• Wolfram Mathematica®에서의 수치적 구현과 Orb 소프트웨어를 통한 상호 검증을 통해 부피와 Kirillov-Reshetikhin 불변량을 계산한다.
• 다면체의 이면각에 기반한 $\Gamma$ 의 변 색채우기를 정의하여, 홀수 $r$ 에 대해 Kirillov-Reshetikhin 불변량 $\langle \Gamma, c^{(r)} \rangle$ 을 계산한다.
• 이러한 불변량의 점근적 행동이 $r \to \infty$ 일 때, 양자 $6j$-기호의 극한을 통해 다면체의 부피와 일치함을 추측한다.

실험 결과

연구 질문

• RQ1 3차원 hyperbolic 다면체의 1-스켈레톤에 I-H 및 캡핑 이동의 순서를 적용함으로써 그 부피를 계산할 수 있는가?
• RQ2 다면체의 1-스켈레톤을 단순화하는 데 사용된 이동 순서와 그 다면체의 Kirillov-Reshetikhin 불변량을 계산하는 데 사용된 순서 사이에 대응 관계가 존재하는가?
• RQ3 1-스켈레톤 $\Gamma$ 의 Kirillov-Reshetikhin 불변량의 점근적 행동이 원래 다면체 $P$ 의 hyperbolic 부피로 수렴하는가?
• RQ4 일반화된 hyperbolic 사면체의 부피는 그 이면각에 관련된 양자 $6j$-기호의 극한으로 복원될 수 있는가?
• RQ5 기하학적 다면체의 부피 추측은 각기둥과 도데카에드론에 대한 명시적 계산을 통해 수치적 증거로 뒷받침되는가?

주요 결과

• hyperbolic 다면체 $P$ 의 부피는 일반화된 사면체로의 분해에 기반한 기하학적 매개변수에서 유도된 잠재 함수 $\Phi$ 의 임계값으로 표현될 수 있다.
• 이면각이 $\alpha$ 인 정규 이상 사면체에 대해, 극한 $2\pi \lim_{r\to\infty} \frac{1}{r} \log \left| \left\{ \begin{smallmatrix} k & k & k \\ k & k & k \end{smallmatrix} \right\}_{q=\exp(4\pi i / r)}^{RW} \right| = \mathrm{Vol}(T_\alpha)$ 는 사면체의 부피와 일치한다.
• 이면각이 $\alpha, \beta$ 인 이중으로 잘린 사면체에 대해, 부피는 $2\pi \lim_{r\to\infty} \sum_{j\,\text{odd}} \frac{1}{r} \log \left| \left\{ \begin{smallmatrix} a^{(r)} & b^{(r)} & e^{(r)} \\ d^{(r)} & c^{(r)} & \frac{j-1}{2} \end{smallmatrix} \right\}_{q=\exp(4\pi i / r)}^{RW} \cdot \frac{\{(j+1)(2f^{(r)}+1)\}}{\{j\}} \right| = \mathrm{Vol}(T)$ 로 복원된다.
• 오각기둥 $\Pi$ 와 휘어진 기둥 $\mathscr{P}$ 에 대한 수치 실험은 분해를 통한 부피 계산과 기존 소프트웨어(Orb) 간의 일관성을 확인한다.
• Coxeter 이면각을 가진 도데카에드론에 대해서도 이 방법이 성공적으로 적용되었으며, Coxeter 다면체를 초월한 적용 가능성도 입증하였다.
• 저자들은 Kirillov-Reshetikhin 불변량의 점근적 행동과 hyperbolic 부피 사이에 강력한 수치적 일치를 관찰하였으며, 이는 hyperbolic 다면체에 대한 부피 추측을 지지한다.