[论文解读] Growth rates of cocompact hyperbolic Coxeter groups and 2-Salem numbers

Yuriko Umemoto|Osaka City University (Osaka City University)|Jun 14, 2013

Advanced Combinatorial Mathematics参考文献 22被引用 6

一句话总结

本文通过将紧致截断的考克斯eter 4-单形瓷砖（称为考克斯eter多米诺）沿正交面胶合，构造了无穷多个 $Δ^4$ 中余紧双曲考克斯eter群的增长率作为2-萨莱姆数。利用泽赫特与泽赫特提出的增长函数公式，并通过模运算分析分母多项式，作者证明了在胶合参数 $(\ell,m,n)$ 满足特定条件时，分母多项式的所有根位于单位圆上，仅剩两对实倒数根，从而确认其为2-萨莱姆数。

ABSTRACT

By the results of Cannon, Wagreich and Parry, it is known that the growth rate of a cocompact Coxeter group in 2-dimensional hyperbolic space $H^2$ and 3-dimensional hyperbolic space $H^3$ is a Salem number. Kerada defined a j-Salem number, which is a generalization of a Salem number. In this paper, we realize infinitely many 2-Salem numbers as the growth rates of cocompact Coxeter groups in 4-dimensional hyperbolic space $H ^4$. Our Coxeter polytopes are constructed by successive gluing of Coxeter polytopes which we call Coxeter dominoes.

研究动机与目标

• 将已知结果从 $Δ^2$ 和 $Δ^3$ 中余紧双曲考克斯eter群的增长率为萨莱姆数推广至更高维度。
• 研究2-萨莱姆数（萨莱姆数的推广）是否可作为 $Δ^4$ 中的增长率。
• 显式构造 $Δ^4$ 中余紧双曲考克斯eter群的族，其增长率为2-萨莱姆数。
• 建立胶合参数 $(\ell,m,n)$ 的条件，使得增长函数的分母多项式表现出2-萨莱姆多项式特有的根分布。

提出的方法

• 从具有超理想顶点的扩展考克斯eter单形构造一个紧致完全截断的考克斯eter 4-单形 $T \subset \mathbb{H}^4$。
• 将考克斯eter多米诺定义为通过沿类型A、B和C的等距正交面连续胶合 $T$ 而形成的紧致考克斯eter多面体的无限族。
• 应用T. 泽赫特与C. 泽赫特开发的增长函数公式，计算这些多米诺的增长级数的分母多项式 $Q_{\ell,m,n}(t)$。
• 使用模运算（模3）排除 $Q_{\ell,m,n}(t)$ 中存在次数为4的首一倒数多项式因子的可能性，这对2-萨莱姆数的刻画至关重要。
• 分析由分母多项式结构导出的丢番图方程组 $f_{\ell,m,n}(a,b) = 0$ 和 $g_{\ell,m,n}(a,b) = 0$，以确定不可约性与根的分布。
• 证明对于某些参数集 $(\ell,m,n)$，$Q_{\ell,m,n}(t)$ 的所有根均位于单位圆上，仅剩两对实倒数根，从而确认其为2-萨莱姆数的增长率。

实验结果

研究问题

• RQ1 2-萨莱姆数（萨莱姆数的推广）是否可作为 $\mathbb{H}^4$ 中余紧双曲考克斯eter群的增长率实现？
• RQ2 胶合参数 $(\ell,m,n)$ 需满足何种条件，才能确保增长函数的分母多项式 $Q_{\ell,m,n}(t)$ 具有2-萨莱姆多项式的根分布？
• RQ3 $\mathbb{H}^4$ 中是否存在无穷多个此类余紧双曲考克斯eter群，其增长率为2-萨莱姆数？
• RQ4 如何通过分析分母多项式的不可约性与根分布来确认其2-萨莱姆性质？

主要发现

• 通过沿正交面胶合紧致截断的考克斯eter 4-单形 $T$，在 $\mathbb{H}^4$ 中实现了无穷多个2-萨莱姆数作为余紧双曲考克斯eter群的增长率。
• 对于沿类型B面胶合 $n+1$ 个 $T$ 的考克斯eter多米诺族，当 $(\ell,m,n) = (0,n,n)$ 时，若 $n \equiv 1 \pmod{3}$，则分母多项式 $Q_{0,n,n}(t)$ 不含次数为4的首一倒数因子，支持其2-萨莱姆结构。
• 类似地，当沿类型A面胶合且 $(\ell,m,n) = (n,0,n)$ 时，若 $n \equiv 1 \pmod{3}$，则 $Q_{n,0,n}(t)$ 同样不具此类因子，确认相同的结构约束。
• 对系统 $f_{\ell,m,n}(a,b) = 0$ 和 $g_{\ell,m,n}(a,b) = 0$ 进行模3运算分析表明，当 $n \equiv 1 \pmod{3}$ 时无整数解，从而排除了虚假倒数因子的存在。
• 对于指定族的分母多项式 $Q_{\ell,m,n}(t)$，其所有根均位于单位圆上，仅剩两对实倒数根，满足2-萨莱姆多项式的定义。
• 在对 $(\ell,m,n)$ 的特定限制下确立了主要结果，证明了相应考克斯eter群的增长率为2-萨莱姆数。