[논문 리뷰] Rigidity of Right-Angled Coxeter Groups

David Radcliffe|ArXiv.org|1999. 01. 12.

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

한 줄 요약

이 논문은 직각 코크세터 군에 대해, 임의의 두 코크세터 생성자 집합이 군의 동형사상 하에 동치임을 증명한다. 즉, 군의 표현은 그 추상적 구조에 의해 유일하게 결정된다. 증명은 코크세터 시스템의 뉴런스, 데이비스-비너그 복합체, 유한 파라보릭 부분군의 성질 및 아벨리안화 사상의 성질을 이용하여, 서로 다른 생성자 집합에서의 최대 유한 표준 부분군 간에 캐논리컬 이분사 사상이 존재함을 보이며, 궁극적으로 코크세터 행렬이 생성자 변경에 대해 불변임을 보인다.

ABSTRACT

If S and S' are two finite sets of Coxeter generators for a right-angled Coxeter group W, then the Coxeter systems (W,S) and (W,S') are equivalent.

연구 동기 및 목표

• 직각 코크세터 군의 코크세터 생성자 집합이 동형사상에 대해 유일하게 결정됨을 입증하는 것.
• 동일한 직각 코크세터 군에 대해 서로 다른 생성자 집합이 동치인 코크세터 시스템을 유도하는지 여부를 해결하는 것.
• 직각 코크세터 군에서 생성자 집합을 변경해도 코크세터 행렬이 불변임을 증명하는 것.
• 유한 부분군의 구조와 아벨리안화 사상에 의한 그들의 상을 특성화하여, 서로 다른 생성자 집합 간의 비교를 가능하게 하는 것.

제안 방법

• 뉴런스 $ N(W,S) $ 를 $ W_A $ 가 유한인 비공집합 $ A \neq \varnothing $ 의 집합으로 정의하고, $ N^*(W,S) $ 를 그 최대 원소들의 집합으로 정의한다.
• 데이비스-비너그 복합체 $ \Sigma(W,S) $ 와 그 기하적 실현체 $ X $ 를 사용하여 군 작용과 유한 부분군을 분석한다.
• 모든 $ W $ 의 유한 부분군은 유한 파라보릭 부분군과 콘jugate이며, 따라서 어떤 $ k $ 에 대해 $ (\mathbb{Z}/2\mathbb{Z})^k $ 와 동형임을 보인다.
• 아벨리안화 사상 $ q: W \to W/W' \cong (\mathbb{Z}/2\mathbb{Z})^S $ 를 이용하여 $ N^*(W,S) $ 와 $ N^*(W,S') $ 간에 캐논리컬 이분사 사상 $ A \mapsto A^* $ 를 구성한다.
• $ N^*(W,S) $ 의 유한 개의 부분집합 $ A_i $ 에 대해 $ |\bigcap A_i| = |\bigcap A_i^*| $ 이 성립함을 보이며, 생성자 집합 간의 교차 크기를 유지함을 보인다.
• $ s \in A \iff \phi(s) \in A^* $ 를 모든 $ A \in N^*(W,S) $ 에 대해 만족하는 $ \phi: S \to S' $ 의 이분사 사상이 존재함을 확립하며, 이는 코크세터 관계가 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 직각 코크세터 군의 모든 생성자 집합이 군의 동형사상에 대해 동치인가?
• RQ2 직각 코크세터 군에서 한 생성자 집합에서 다른 생성자 집합으로 변경해도 코크세터 행렬이 불변인가?
• RQ3 최대 유한 파라보릭 부분군의 구조가 동형사상에 대해 생성자 집합을 유일하게 결정할 수 있는가?
• RQ4 동일한 직각 코크세터 군의 서로 다른 생성자 집합에서 최대 유한 표준 부분군 간에 캐논리컬 대응 관계가 존재하는가?
• RQ5 아벨리안화 사상은 직각 코크세터 군의 서로 다른 생성자 집합을 구별하거나 연결하는 데 사용될 수 있는가?

주요 결과

• 모든 직각 코크세터 군 $ W $ 에 대해, 임의의 두 코크세터 생성자 집합 $ S $ 와 $ S' $ 은 동치인 코크세터 시스템을 유도한다. 즉, $ \phi(S) = S' $ 를 만족하는 군의 동형사상 $ \phi: W \to W $ 가 존재한다.
• 최대 유한 표준 부분군 $ A \in N^*(W,S) $ 와 $ A^* \in N^*(W,S') $ 간의 대응은 이분사적이며, 아벨리안화 사상 $ q $ 에 의해 유도되며, $ q(W_A) = q(W_{A^*}) $ 를 만족한다.
• 집합 $ N^*(W,S) $ 의 부분집합들의 교차 크기는 대응 관계 하에 유지된다: $ |\bigcap A_i| = |\bigcap A_i^*| $ 이며, 이는 구조적 일致성을 보장한다.
• 이분사 사상 $ \phi: S \to S' $ 는 모든 $ A \in N^*(W,S) $ 에 대해 $ s \in A \iff \phi(s) \in A^* $ 를 만족하며, 이는 코크세터 관계 $ m(s,t) \in \{2, \infty\} $ 가 유지됨을 의미한다.
• 증명은 $ m(s,t) = 2 $ 이다 ⇔ 어떤 $ A \in N^*(W,S) $ 에 대해 $ \{s,t\} \subseteq A $ 이며, 마찬가지로 $ S' $ 에 대해서도 동일하므로, 코크세터 행렬이 동형사상 하에 유지됨을 보인다.
• 사상 $ \phi $ 가 유도하는 $ W $ 의 자기동형사상은 모든 관계를 유지하므로, $ (W,S) $ 와 $ (W,S') $ 는 동치인 코크세터 시스템임을 확인한다.