[論文レビュー] Combinatorial decompositions, Kirillov-Reshetikhin invariants and the Volume Conjecture for hyperbolic polyhedra

Alexander Kolpakov, Jun Murakami|arXiv (Cornell University)|Mar 7, 2016

Geometric and Algebraic Topology参考文献 14被引用数 4

ひとこと要約

本稿では、I-Hおよびキャッピング移動を用いて単純な3次元多面体を一般化された四面体に分解することで、双曲的体積を組み合わせ論的に計算する手法を提案する。この手法により、体積はポテンシャル関数の臨界値と関連づけられる。さらに、この幾何的分解と多面体の1次スケルトンのキリロフ＝レシティヒン不変量の漸近的挙動との間に深い関係があると予想し、双曲的多面体の体積予想を証明するための可能性のある道筋を提示する。

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.

研究の動機と目的

• 双曲的空間 $\mathbb{H}^3$ 内の単純な3次元多面体の体積を、組み合わせ論的分解を用いて体系的に計算する手法の開発。
• 双曲的多面体の体積とその1次スケルトン（3価グラフとして）のキリロフ＝レシティヒン不変量の漸近的挙動との幾何的関係の確立。
• 体積計算に用いられるI-Hおよびキャッピング移動の列が、キリロフ＝レシティヒン不変量の計算に用いられる列と一致するかの検討。
• 角柱およびドデカヘドロンに対する明示的計算を通じて、双曲的多面体の体積予想を支持する数値的証拠の提供。

提案手法

• 単純な双曲的多面体 $P$ を一般化された四面体 $T_i$ に分解し、$\mathrm{Vol}(P) = \sum \mathrm{Vol}(T_i)$ が成り立つようにする。
• 多面体 $P$ の1次スケルトン $\Gamma$ を、I-H（ホワイトヘッド）移動およびキャッピング移動の列を用いて四面体に縮小する。この過程で幾何的および組み合わせ論的構造を保存する。
• 各分解に対して、面どうしの共通垂線の長さ $\ell_1, \dots, \ell_m$ に依存するポテンシャル関数 $\Phi(\ell_1, \dots, \ell_m)$ を関連づけ、体積は臨界値 $\Phi(\ell^*_1, \dots, \ell^*_m)$ によって決定される。
• Wolfram Mathematica® における数値実装を用い、Orb ソフトウェアと照合することで体積およびキリロフ＝レシティヒン不変量を計算する。
• 多面体 $P$ の二面角に基づく辺の彩色を定義し、奇数の $r$ に対してキリロフ＝レシティヒン不変量 $\langle \Gamma, c^{(r)} \rangle$ を計算する。
• キリロフ＝レシティヒン不変量の $r \to \infty$ における漸近的挙動が、体積に一致するという予想を提示。これは量子 $6j$-記号の極限を介して実現される。

実験結果

リサーチクエスチョン

• RQ1 双曲的空間 $\mathbb{H}^3$ 内の単純な多面体の体積は、その1次スケルトンにI-Hおよびキャッピング移動の列を適用することで計算可能か？
• RQ2 多面体の1次スケルトンを縮小するための移動の列と、そのキリロフ＝レシティヒン不変量を計算するための移動の列との間に対応関係があるか？
• RQ3 1次スケルトン $\Gamma$ のキリロフ＝レシティヒン不変量の漸近的挙動は、元の多面体 $P$ の双曲的体積に収束するか？
• RQ4 一般化された双曲的四面体の体積は、その二面角に関連する量子 $6j$-記号の極限から回復可能か？
• RQ5 角柱およびドデカヘドロンに対する明示的計算から得られる数値的証拠は、双曲的多面体の体積予想を支持するか？

主な発見

• 双曲的多面体 $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）との一貫性が確認された。
• コクセターの二面角を持つドデカヘドロンに対しても、本手法が適応可能であることが示され、コクセター多面体を超える応用可能性が裏付けられた。
• 著者らは、キリロフ＝レシティヒン不変量の漸近的挙動と双曲的体積との間に強く一致する数値的証拠を観察し、双曲的多面体の体積予想を支持する。