[论文解读] 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 移动和封顶操作将简单三维多面体分解为广义四面体，从而计算其双曲体积，并将体积与势函数的临界值联系起来。进一步推测该几何分解与多面体 1-骨架的 Kirillov-Reshetikhin 不变量渐近行为之间存在深刻联系，为证明双曲多面体的体积猜想提供了潜在路径。

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$ 中简单三维多面体的双曲体积。
• 建立双曲多面体体积与其中心骨架（作为三价图）的 Kirillov-Reshetikhin 不变量渐近行为之间的几何联系。
• 探索用于体积计算的 I-H 和封顶操作序列是否与用于计算 Kirillov-Reshetikhin 不变量的序列相对应。
• 通过柱体和十二面体的显式计算，提供支持双曲多面体体积猜想的数值证据。

提出的方法

• 将简单双曲多面体 $P$ 分解为广义四面体 $T_i$，使得 $\mathrm{Vol}(P) = \sum \mathrm{Vol}(T_i)$。
• 应用一系列 I-H（Whitehead）移动和封顶操作，将 $P$ 的 1-骨架 $\Gamma$ 简化为一个四面体，同时保持几何与组合结构。
• 为每个分解关联一个依赖于面之间公共垂线长度的势函数 $\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$ 时，这些不变量的渐近行为与多面体 $P$ 的体积一致，通过量子 $6j$-符号的极限实现。

实验结果

研究问题

• RQ1 能否通过对其 1-骨架应用一系列 I-H 和封顶操作，计算 $\mathbb{H}^3$ 中简单多面体的双曲体积？
• RQ2 用于简化多面体 1-骨架的操作序列，是否与用于计算其 Kirillov-Reshetikhin 不变量的序列相对应？
• RQ3 多面体 1-骨架 $\Gamma$ 的 Kirillov-Reshetikhin 不变量的渐近行为是否收敛于原始多面体 $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）结果一致。
• 该方法成功计算了具有 Coxeter 二面角的十二面体体积，证明其在 Coxeter 多面体之外也具有适用性。
• 作者观察到 Kirillov-Reshetikhin 不变量的渐近行为与双曲体积之间存在强烈数值一致性，支持双曲多面体的体积猜想。