[论文解读] A series of word-hyperbolic Coxeter groups

Anna Felikson, Pavel Tumarkin|ArXiv.org|Jul 19, 2005

Advanced Combinatorial Mathematics参考文献 3被引用 4

一句话总结

该论文为每个正整数 $k$ 构造了一类词超曲的考克斯eter群 $G_k$，通过 $k$ 个四维双曲反射群的副本（每个同构于 $H_4$）并以三重边连接成完全图的方式实现。这些群被证明是词超曲的，且其考克斯eter图的负惯性指数恰好为 $k$，从而证明它们无法作为反射群嵌入 $O(n,k-1)$，解决了波蒂亚盖洛提出的一个关于签名障碍的问题。

ABSTRACT

For each positive integer $k$ we present an example of Coxeter system $(G_k,S_k)$ such that $G_k$ is a word-hyperbolic Coxeter group, for any two generating reflections $s,t\in S_k$ the product $st$ has finite order, and the Coxeter graph of $S_k$ has negative inertia index equal to $k$. In particular, $G_k$ cannot be embedded into pseudo-orthogonal group $O(n,k-1)$ for any $n$ as a reflection group with generating set being reflections w.r.t. $(G_k,S_k)$

研究动机与目标

• 为每个 $k \in \mathbb{N}$ 构造一个词超曲考克斯eter群 $G_k$，其生成集为 $S_k$ 的反射。
• 证明 $(G_k, S_k)$ 的考克斯eter图 $\Sigma_k$ 的负惯性指数恰好为 $k$，从而揭示签名障碍。
• 解决 L. 波蒂亚盖洛提出的问题：此类群无法嵌入到伪正交群 $O(n,k-1)$ 中作为反射群。
• 通过利用维纳伯格公式计算行列式，证明 $\Sigma_k$ 的签名为 $(4k, k)$。
• 通过验证其考克斯eter图中不存在无限不连通子图，利用莫松格准则证明 $G_k$ 是词超曲的。

提出的方法

• 将 $G_k$ 构造为 $k$ 个五生成元双曲考克斯eter群 $G_1$（同构于 $H_4$）的副本，每个作用于 $\mathbb{H}^4$。
• 添加关系：若 $i \equiv j \equiv 1 \pmod{5}$，则 $(r_i r_j)^5 = 1$；否则 $(r_i r_j)^2 = 1$，通过带三重边的完全图连接各副本。
• 使用莫松格准则：若任意一对不连通子图不生成无限群，则 $G_k$ 是词超曲的；此条件成立，因为所有此类子图均包含来自中心完全图的顶点。
• 使用维纳伯格公式计算 $\Sigma_k$ 的行列式，对所有不相交的有向环路集合（边权为 $\cos(\pi/m)$）求和。
• 通过组合计数 $k$ 个顶点的完全图中的单形与哈密顿圈，推导 $\det(\Sigma_k)$ 的递推关系。
• 通过数学归纳法证明 $\det(\Sigma_k) = \frac{(2 - \sqrt{5})^k}{2^{5k}}(k+1)$，其符号为 $(-1)^k$，从而确认负惯性指数为 $k$。

实验结果

研究问题

• RQ1 能否构造出其考克斯eter图中负惯性指数可任意大（任意大）的词超曲考克斯eter群？
• RQ2 是否存在根本性障碍，阻止此类群作为反射群嵌入 $O(n,k-1)$？
• RQ3 考克斯eter图 $\Sigma_k$ 的签名是否唯一确定任何不变二次型的最小负惯性指数？
• RQ4 即使存在复杂的副本间关系，是否仍能通过考克斯eter图的结构约束保证考克斯eter群的词超曲性？
• RQ5 由 $k$ 个通过带三重边的完全图连接的 $H_4$ 副本构成的考克斯eter图 $\Sigma_k$ 的精确行列式是多少？

主要发现

• 对于每个 $k$，群 $G_k$ 是词超曲的，依据莫松格准则：任意一对不连通子图不生成无限群。
• 考克斯eter图 $\Sigma_k$ 的负惯性指数恰好为 $k$，通过证明 $\det(\Sigma_k)$ 的符号为 $(-1)^k$ 得证。
• $\Sigma_k$ 的行列式为 $\det(\Sigma_k) = \frac{(2 - \sqrt{5})^k}{2^{5k}}(k+1)$，该结果通过基于维纳伯格公式的递推关系推导得出。
• 由于每个 $H_4$ 副本贡献 4 个正特征值，$\Sigma_k$ 的正惯性指数至少为 $4k$。
• $\Sigma_k$ 的签名为 $(4k, k)$，因此对于任意 $n$，$G_k$ 无法作为反射群嵌入 $O(n,k-1)$，这是由于负惯性指数障碍。
• 该构造为所有 $k$ 提供了显式的群表示和考克斯eter图，包括 $\Sigma_3$ 的示意图。