[논문 리뷰] A series of word-hyperbolic Coxeter groups

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

Advanced Combinatorial Mathematics참고 문헌 3인용 수 4

한 줄 요약

이 논문은 각 양의 정수 $k$에 대해, 삼중 간선이 있는 완전 그래프로 연결된 $k$개의 초평면 4차원 반사군 복제본을 사용하여, 단어-하이퍼볼릭 코크세터 군 $G_k$의 가족을 구성한다. 이 군들은 단어-하이퍼볼릭임이 입증되고, 코크세터 그래프의 음의 계수 지수 $k$를 가지며, 이는 $O(n,k-1)$에 반사군으로 포함될 수 없음을 보여, Potyagailo가 제기한 서명 장벽 문제를 해결한다.

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}$에 대해 반사의 생성집합 $S_k$를 가진 단어-하이퍼볼릭 코크세터 군 $G_k$를 구성하는 것.
• $(G_k, S_k)$의 코크세터 그래프 $\Sigma_k$가 정확히 $k$인 음의 계수 지수를 가지며, 이는 서명 장벽을 암시한다.
• L. Potyagailo가 제기한, 이러한 군들이 반사 생성자를 가진 의사-오르토곤럴 군 $O(n,k-1)$에 포함될 수 없는지에 대한 질문을 해결하는 것.
• 베인버그의 공식을 사용하여 행렬식을 계산함으로써, $\Sigma_k$의 서명이 $(4k, k)$임을 보여주는 것.
• 코크세터 그래프에 무한한 연결되지 않은 부분그래프가 존재하지 않음을 확인함으로써, $G_k$가 단어-하이퍼볼릭임을 입증하는 것.

제안 방법

• $G_k$를 5개 생성자를 가진 초평면 코크세터 군 $G_1$ (즉, $H_4$와 동형)의 $k$개 복제본으로 구성하며, 각각 $\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 코크세터 그래프의 음의 계수 지수를 임의로 크게 만들 수 있는 단어-하이퍼볼릭 코크세터 군을 구성할 수 있는가?
• RQ2 이러한 군들이 $O(n,k-1)$에 반사군으로 포함될 수 없는 기본적인 장벽이 존재하는가?
• RQ3 코크세터 그래프 $\Sigma_k$의 서명이 임의의 불변 이차형식의 최소 음의 계수 지수를 유일하게 결정하는가?
• RQ4 복잡한 복제 간 관계가 존재하더라도, 코크세터 그래프의 구조적 제약 조건이 군의 단어-하이퍼볼릭성을 보장할 수 있는가?
• RQ5 삼중 간선이 있는 완전 그래프로 연결된 $H_4$의 $k$개 복제본으로 이루어진 코크세터 그래프 $\Sigma_k$의 정확한 행렬식은 무엇인가?

주요 결과

• 각 $k$에 대해, 무송의 기준에 의해 $G_k$는 단어-하이퍼볼릭임이 확인되었으며, 연결되지 않은 부분그래프 쌍이 무한군을 생성하지 않는다.
• 코크세터 그래프 $\Sigma_k$는 정확히 $k$인 음의 계수 지수를 가지며, $\det(\Sigma_k)$의 부호가 $(-1)^k$임을 보여 증명된다.
• $\Sigma_k$의 행렬식은 $\det(\Sigma_k) = \frac{(2 - \sqrt{5})^k}{2^{5k}}(k+1)$로 계산되었으며, 이는 베인버그의 공식에서 유도된 재귀식을 통해 도출되었다.
• $\Sigma_k$의 양의 계수 지수는 최소 $4k$이며, 각 $H_4$ 복제본이 4개의 양의 고유값을 기여하기 때문이다.
• $\Sigma_k$의 서명은 $(4k, k)$이므로, 어떤 $n$에 대해서도 $G_k$는 반사 생성자를 가진 $O(n,k-1)$에 포함될 수 없으며, 계수 지수 장벽으로 인해 그러한 포함이 불가능하다.
• 이 구성은 모든 $k$에 대해 명시적인 표현과 코크세터 그래프를 제공하며, $\Sigma_3$의 그림도 포함한다.