[論文レビュー] 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

ひとこと要約

本稿は、3次元双曲空間における理想コックスター多面体に関連する反射群の成長率が常にペロン数であることを証明し、ケラーハルスとペレンの予想を裏付ける。また、成長率が最小となる理想コックスター多面体を同定し、多くの場合において体積と成長率の相関関係を明らかにする。

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次元双曲空間における理想コックスター多面体から得られる反射群の成長率が常にペロン数であることを証明すること。
• H³における成長率が最小となる理想コックスター多面体を同定すること。
• H³における理想コックスター多面体の体積と成長率の関係を調査すること。
• 非コンパクトかつ理想の場合への双曲コックスター群の成長率に関する先行研究を拡張すること。
• 理想コックスター多面体における隅の型の完全な分類を提供し、成長関数の分析に活用すること。

提案手法

• 上半空間モデルを用いて隅の幾何構造を分析し、理想頂点における二面角に基づいて隅の型を分類する。
• 多面体の構造とその面のペアリングから成長関数 $ g_{\text{group}}(t) $ を導出するための組合せ論的および代数的技法を適用する。
• 生成関数と面、辺、頂点の個数に関する不等式を用いて、面同士を貼り合わせる操作における成長関数の比較を行う。
• 成長関数の差を抑え、貼り合わせにおける厳密な増加を示すために、恒等式 $ 2e_4(F) = 2c_{4,4}(F) + c_{2,4}(F) $ を用いる。
• 成長率 $ \tau $ を成長級数の収束半径の逆数として分析し、非負行列に対するペロン＝フロベニウス理論を活用する。
• 貼り合わせられた多面体 $ P \times_F P' $ の成長関数と個々の成分の成長関数を比較し、$ \tau(P \times_F P') > \tau(P), \tau(P') $ を示す。

実験結果

リサーチクエスチョン

• RQ1 H³における理想コックスター多面体から得られる反射群の成長率は常にペロン数か？
• RQ2 H³における成長率が最小となる理想コックスター多面体は何か？
• RQ3 H³における理想コックスター多面体の体積と成長率の間に相関関係があるか？
• RQ4 隅の配置（二面角）は成長関数および成長率にどのように影響するか？
• RQ5 2つの理想コックスター多面体を1つの面に沿って貼り合わせることで、成長率を厳密に増加させることができるか？

主な発見

• すべての有限体積をもつH³における理想コックスター多面体の成長率はペロン数であり、ケラーハルスとペレンの予想を裏付ける。
• 成長率が最小となる理想コックスター多面体は、すべての二面角が $ \frac{\tau}{2} $ の正八面体であり、これはH⁴における24胞体に対応するが、H³では理想直角八面体が最小成長率を達成する。
• 1つの面に沿って2つの理想コックスター多面体を貼り合わせて得られる多面体の成長率は、個々の成分の成長率よりも厳密に大きい。
• $ 0 < t < 1/2 $ に対して、貼り合わせられた多面体の成長関数は元の多面体の成長関数よりも厳密に大きいことから、成長率も厳密に大きくなることが示唆される。
• H³における理想コックスター多面体の体積と成長率の間には強い相関関係があり、体積が大きいほど成長率も一般に大きくなる。
• すべてのH³における理想コックスター多面体の中で最小の成長率は、最も面の数が少ない理想直角八面体によって達成される。