[논문 리뷰] The isomorphism problem for Coxeter groups

Bernhard Mühlherr|ArXiv.org|2005. 06. 28.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 15

한 줄 요약

이 논문은 유한 생성 코크세터 군에 대한 이som르피즘 문제를 조사하며, 최근의 Mühlherr와 Howlett의 결과를 통해 이 문제를 '반사 보존' 버전으로 감소시킴을 보여준다. 주요 기여는 두 개의 추측을 가정할 경우 이소모르피즘 문제에 대한 알고리즘적 해법을 가능하게 하는 프레임워크를 제공하는 것이다. 특히 $H_3$-서브시스템이 존재하지 않을 경우에 특히 유용하다.

ABSTRACT

By a recent result obtained by R. Howlett and the author considerable progress has been made towards a complete solution of the isomorphism problem for Coxeter groups. In this paper we give a survey on the isomorphism problem and explain in particular how the result mentioned above reduces it to its `reflection preserving' version. Furthermore we desrcibe recent developments concerning the solution of the latter.

연구 동기 및 목표

• 코크세터 군에 대한 이소모르피즘 문제의 현재 상태에 대한 종합적 서베이 제공.
• Mühlherr와 Howlett의 최근 성과를 통해 일반 이소모르피즘 문제가 반사 보존 버전으로 감소되는 방식을 설명.
• 특히 각도 변형과 코크세터 생성집합의 그래프 연결성에 대한 추측들을 통해 반사 보존 이소모르피즘 문제에 대한 진전 기술.
• 두 핵심 추측이 성립한다고 가정할 경우 이소모르피즘 문제에 대한 알고리즘적 해법 제시.
• 특히 반사 보존 및 각도 변형 자동환형의 역할을 포함한 코크세터 군의 자동환형군의 구조 명확화.

제안 방법

• Mühlherr와 Howlett의 반사 부분군의 유한 보충에 관한 결과를 활용하여 일반 이소모르피즘 문제를 반사 보존 버전으로 감소.
• 반사 보존 자동환형의 군인 $\operatorname{Ref}_S(W)$를 이소모르피즘 분류의 중심 요소로 사용.
• 접근성은 튜이스트 관계에 의해 결정되는 예리한 각도를 가진 코크세터 생성집합의 그래프 $\mathbf{C}$를 분석하여 연결성과 자동환형 구조를 연구.
• 그래프 $\mathbf{C}$의 연결성에 대한 추측(추측 2)을 적용하여, 이는 $\operatorname{Ang}_S(W)$가 모든 반사 보존 이소모르피즘을 생성함을 의미함.
• 정규 2부분군과 $\mathrm{GL}(n_i,2)$ 군들의 곱과 동형인 보조군을 갖는 $\Omega \leq \widetilde{\Sigma}_S(W)$의 후보군을 구성하여 자동환형군에 대한 구조적 추측을 뒷받침.
• 짝수 코크세터 행렬에 대한 알려진 결과를 활용하고, 군oid 이론적 유사성을 통해 비짝수 경우로 일반화.

실험 결과

연구 질문

• RQ1 코크세터 군에 대한 이소모르피즘 문제가 어떤 조건에서 반사 보존 변형으로 감소될 수 있는가?
• RQ2 예리한 각도를 가진 코크세터 생성집합의 그래프 $\mathbf{C}$는 논문에서 제안한 바와 같이 연결되어 있는가?
• RQ3 특히 $H_3$-서브다이어그램이 존재할 경우, 각도 변형의 군 $\operatorname{Ang}_S(W)$는 코크세터 군과 유사한 방식으로 표현될 수 있는가?
• RQ4 모든 축소된 코크세터 시스템에서 $\operatorname{Ref}_S(W)$의 보조군 또는 유한 보충이 $\operatorname{Aut}(W)$ 내에 존재하는가? (추측 3에 따라 제안됨)
• RQ5 $W$에 $H_3$-서브시스템이 없을 경우 $\operatorname{Aut}(W)$의 구조는 어떻게 되며, 이는 이소모르피즘 문제에 대한 알고리즘적 해법을 어떻게 가능하게 하는가?

주요 결과

• Mühlherr와 Howlett의 결과를 통해 코크세터 군에 대한 이소모르피즘 문제가 유한 보충 구조를 통해 반사 보존 버전으로 감소됨을 보여줌.
• $H_3$-서브시스템이 없는 코크세터 시스템의 경우, 이소모르피즘 문제가 해결 가능하며, 두 핵심 추측을 가정할 경우 알고리즘이 제시됨.
• 추측 2—즉, 예리한 각도 생성집합의 그래프 $\mathbf{C}$가 연결되어 있다는 추측—은 각도 변형에서 반사 보존 이소모르피즘으로의 사상의 전성과 동치임을 보여줌.
• 짝수 경우, 군 $\operatorname{Ang}_S(W)$는 $\mathbf{C}$에서 이웃한 $S$로의 전환을 담당하는 반전 $\theta_R$들에 의해 생성되며, 이 경우 $\mathbf{C}$는 이 군의 카일리 그래프가 됨.
• $\widetilde{\Sigma}_S(W)$—반사 공轭류를 보존하는 외부 자동환형의 군—은 유한하며, $\operatorname{Aut}(W) = \widetilde{\Sigma}_S(W) \cdot \operatorname{Ref}_S(W)$임을 보여줌.
• 추측 3은 $\Omega \leq \widetilde{\Sigma}_S(W)$의 구조적 분해를 제안하며, 정규 2부분군과 $\mathrm{GL}(n_i,2)$ 군들의 곱과 동형인 보조군을 갖는다. 이는 $\operatorname{Ref}_S(W)$의 유한 보충을 뒷받침함.