[논문 리뷰] Irreducible Coxeter groups

Luis Paris|arXiv (Cornell University)|2004. 12. 10.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 21

한 줄 요약

이 논문은 비구형이며 기약인 코x터 군은 직접적으로 분해 불가능하며, 비구형이면서 비아핀인 경우는 강하게 분해 불가능하다는 것을 증명한다—즉, 모든 유한 지수 부분군도 분해 불가능하다. 또한 일반적이고 가상의 분해가 직접적으로 분해 불가능한 인자들로 이루어지는데, 이는 순열과 중심 자기동형사상에 대해 유일하다는 것을 증명한다.

ABSTRACT

We prove that a non-spherical irreducible Coxeter group is (directly) indecomposable and that a non-spherical and non-affine Coxeter group is strongly indecomposable in the sense that all its finite index subgroups are (directly) indecomposable. We prove that a Coxeter group has a decomposition as a direct product of indecomposable groups, and that such a decomposition is unique up to a central automorphism and a permutation of the factors. We prove that a Coxeter group has a virtual decomposition as a direct product of strongly indecomposable groups, and that such a decomposition is unique up to commensurability and a permutation of the factors.

연구 동기 및 목표

• 기본적인 코x터 군의 구조적 분해 불가능성, 특히 구형, 아핀, 비구형/비아phin 유형 간의 차이를 조사한다.
• 비구형 기약 코x터 군이 직접 곱으로 분해될 수 있는지, 만약 가능하면 어떤 조건에서 가능한지를 규명한다.
• 비구형이면서 비아phin 코x터 군이 강하게 분해 불가능하다는 것을 증명한다—즉, 모든 유한 지수 부분군도 분해 불가능하다.
• 코x터 군의 직접적으로 분해 불가능한 인자들로의 일반적이고 가상의 분해가 순열과 중심 자기동형사상에 대해 유일하다는 것을 증명한다.
• 코x터 군의 직접 곱 분해의 구조를 분석함으로써 크룰-레마크-슐라이트 정리의 코x터 군에 대한 확장한다.

제안 방법

• 코x터 행렬에 의해 정의된 대칭 이차형식을 가진 실수 벡터 공간 위에서의 코x터 군의 표준 표현을 사용한다.
• 표준 형식의 정부정성에 따라 코x터 군을 세 유형으로 분류한다: 구형(양의 정부정), 아핀(비정부정이지만 양의 준정부정), 비구형/비아핀(비정부정).
• 유한 부분군의 분해에 대해 크룰-레마크-슐라이트 정리를 적용하여, 유한 코x터 군 인자들이 직접적으로 분해 불가능한 성분들로 유일하게 분해됨을 보장한다.
• 특히 아핀 코x터 군이 $\mathbb{Z}^d$ 와 동형인 유한 지수 부분군을 포함한다는 사실을 활용하여, $\mathbb{Z}$의 복수를 사용해 가상의 분해를 구성한다.
• 중앙자, 정규 생성, 전형사상(예: $\mu: W \to C_2$)과 같은 군론적 도구를 사용하여 가능한 직접 인자 분해를 분석한다.
• 중앙자에 관한 보조정리 5.6을 적용하여, 만약 중앙자가 곱으로 분해된다면 그 인자들은 반드시 어떤 직접 인자 $A$ 또는 $B$ 안에 포함되어야 한다는 것을 보이고, 특정 코x터 유형에 대해 귀납적 추론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 비구형 기약 코x터 군은 직접적으로 분해 불가능한가?
• RQ2 비구형이면서 비아핀 코x터 군은 강하게 분해 불가능한가—즉, 모든 유한 지수 부분군이 분해 불가능한가?
• RQ3 코x터 군이 직접적으로 분해 불가능한 인자들로 분해되는 것은 순열과 중심 자기동형사상에 대해 유일한가?
• RQ4 코x터 군이 강하게 분해 불가능한 부분군들(예: $\mathbb{Z}^d$)로 가상의 분해를 가지며, 이 분해가 유한 지수 동치와 순열에 대해 유일한가?
• RQ5 코x터 군의 표준 형식과 표현 이론은 그 분해 가능성 성질에 어떤 영향을 미치는가?

주요 결과

• 비구형 기약 코x터 군은 직접적으로 분해 불가능하다—즉, 비자명한 부분군들의 직접 곱으로 표현될 수 없다.
• 비구형이면서 비아핀 코x터 군은 강하게 분해 불가능하다—모든 유한 지수 부분군도 직접적으로 분해 불가능하다.
• 코x터 군 $W = W_{X_1} \times \cdots \times W_{X_b} \times H_1 \times \cdots \times H_q$의 일반적 분해는 $W_{X_i}$가 비구형 기약이고 $H_j$가 분해 불가능한 유한 군일 때, 인자의 순열과 중심 자기동형사상에 대해 유일하다.
• 코x터 군 $W = W_{X_1} \times \cdots \times W_{X_a} \times W_{Z_2} \times W_{Z_3}$에서 $W_{Z_2}$는 무한한 기약 성분을 가진 아핀이고 $W_{Z_3}$는 유한할 때, $G = W_{X_1} \times \cdots \times W_{X_a} \times R_1 \times \cdots \times R_d$ 형태의 가상 분해가 존재하며, 이 분해는 동치성과 인자의 순열에 대해 유일하다.
• 유일성 결과는 고전적인 코x터 유형($A_n, B_n, D_n, E_6, E_7, E_8, F_4, H_3, H_4, I_2(p)$)에 대한 사례별 분석을 통해 확립되며, 중심자 분석과 $C_2$로의 전형사상이 사용된다.
• 특정 유형인 $H_4$, $F_4$, $E_8$의 경우, 특정 부분집합의 중심자가 $W_{I_2(6)}$와 동형임을 보이고, $I_2(6)$에 대한 유일성 결과를 적용하여 한 인자가 전체 군이 되어야 한다는 것을 유추한다.