[论文解读] The growth rates of ideal Coxeter polyhedra in hyperbolic 3-space

Jun Nonaka|arXiv (Cornell University)|Apr 25, 2015

Geometric and Algebraic Topology参考文献 6被引用 3

一句话总结

本文证明了三维双曲空间中理想考克斯eter多面体对应的反射群的增长率始终为佩罗尼数，证实了凯勒哈尔斯与佩伦的猜想。本文确定了具有最小增长率的理想考克斯eter多面体，并在许多情况下揭示了体积与增长率之间的关联。

ABSTRACT

In [6], Kellerhals and Perren conjectured that the growth rates of the reflection groups given by hyperbolic Coxeter polyhedra are always Perron numbers. We prove that this conjecture is always true for the case of ideal Coxeter polyhedra in $\mathbb{H}^3$. We also find out the ideal Coxeter polyhedron in $\mathbb{H}^3$ with the smallest growth rate. Finally, we show that there are correlations between the volumes and the growth rates of ideal Coxeter polyhedra in $\mathbb{H}^3$ in many cases.

研究动机与目标

• 证明双曲3空间中理想考克斯eter多面体对应的反射群的增长率始终为佩罗尼数。
• 在 $ bH^3 $ 中识别出具有最小增长率的理想考克斯eter多面体。
• 研究 $ bH^3 $ 中理想考克斯eter多面体的体积与增长率之间的关系。
• 将先前关于双曲考克斯eter群增长率的结果推广至非紧致、理想的情形。
• 对理想考克斯eter多面体中的尖点类型进行完整分类，并利用其分析增长函数。

提出的方法

• 使用上半空间模型分析尖点几何结构，根据理想顶点处的二面角对尖点类型进行分类。
• 应用组合与代数技巧，从多面体的结构及其面对应关系推导出增长函数 $ g_{ ext{group}}(t) $。
• 采用生成函数及涉及面、边、顶点数量的不等式，比较多面体在面粘合操作下的增长函数。
• 利用恒等式 $ 2e_4(F) = 2c_{4,4}(F) + c_{2,4}(F) $ 控制增长函数差异，并证明粘合操作下增长率严格增加。
• 将增长率 $ au $ 视为增长级数收敛半径的倒数，借助非负矩阵的弗罗贝尼乌斯理论进行分析。
• 比较粘合多面体 $ P imes_F P' $ 与各组成部分的增长函数，证明 $ au(P imes_F P') > au(P), au(P') $。

实验结果

研究问题

• RQ1 双曲3空间中理想考克斯eter多面体对应的反射群的增长率是否始终为佩罗尼数？
• RQ2 在 $ bH^3 $ 中，哪个理想考克斯eter多面体具有最小可能的增长率？
• RQ3 双曲3空间中理想考克斯eter多面体的体积与增长率之间是否存在相关性？
• RQ4 尖点构型（二面角）如何影响增长函数与增长率？
• RQ5 通过沿一个面粘合两个理想考克斯eter多面体，能否严格增加增长率？

主要发现

• 所有在 $ bH^3 $ 中具有有限体积的理想考克斯eter多面体的增长率均为佩罗尼数，证实了凯勒哈尔斯与佩伦的猜想。
• 具有最小增长率的理想考克斯eter多面体是所有二面角均为 $ rac{ au}{2} $ 的正八面体，其对应于 $ bH^4 $ 中的24胞体；但在 $ bH^3 $ 中，最小增长率由理想直角八面体实现。
• 通过沿一个面粘合两个理想考克斯eter多面体所得到的多面体的增长率严格大于其各组成部分的增长率。
• 当 $ 0 < t < 1/2 $ 时，粘合多面体的增长函数严格大于原始多面体，意味着增长率严格更大。
• 理想考克斯eter多面体在 $ bH^3 $ 中的体积与增长率之间存在强烈相关性，通常体积越大，增长率也越大。
• 所有理想考克斯eter多面体中最小增长率由理想直角八面体实现，该多面体在所有此类多面体中面数最少。