[논문 리뷰] On the center of a Coxeter group

Tetsuya Hosaka|ArXiv.org|2005. 10. 24.

Geometric and Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 임의의 코x터 군의 중심이 유한하고, 어떤 $n \geq 0$ 에 대해 $({\mathbb{Z}}_2)^n$ 와 동형임을 증명하며, 중심이 유한한 파라보릭 부분군 $W_{S \setminus \tilde{S}}$ 에 완전히 포함됨을 규명한다. 또한 본질적 파라보릭 부분군 $W_{\tilde{S}}$ 는 자명한 중심을 가진다. 이 결과는 코x터 군이 CAT(0) 공간 위에 기하적으로 작용할 경우의 분할 정리로 이어진다.

ABSTRACT

In this paper, we show that the center of every Coxeter group is finite and isomorphic to $(\Z_2)^n$ for some $n\ge 0$. Moreover, for a Coxeter system $(W,S)$, we prove that $Z(W)=Z(W_{S\setminus ilde{S}})$ and $Z(W_{ ilde{S}})=1$, where $Z(W)$ is the center of the Coxeter group $W$ and $ ilde{S}$ is the subset of $S$ such that the parabolic subgroup $W_{ ilde{S}}$ is the {\it essential parabolic subgroup} of $(W,S)$ (i.e.\ $W_{ ilde{S}}$ is the minimum parabolic subgroup of finite index in $(W,S)$). The finiteness of the center of a Coxeter group implies that a splitting theorem holds for Coxeter groups.

연구 동기 및 목표

• 코x터 군의 중심 구조를 규명하는 것.
• 특히 유한성과 본질적 성분을 고려할 때 중심을 파라보릭 부분군의 관점에서 특성화하는 것.
• 코x터 군이 CAT(0) 공간 위에 기하적으로 작용할 경우의 분할 정리를 확립하는 것.
• 본질적 파라보릭 부분군 $W_{\tilde{S}}$ 와 그 자명한 중심이 전체 군의 구조에서 차지하는 역할을 명확히 하는 것.

제안 방법

• 중심에 속하는 원소를 분석하기 위해 단순화된 단어 표현과 길이 함수의 사용.
• 코x터 군에서 생성자 간의 교환 관계에 관한 티츠의 정리를 적용.
• 유한한 파라보릭 부분군에 유일한 최장 원소가 존재한다는 사실의 활용.
• 중앙 원소가 모든 생성자와 교환되어야 하므로 부분집합 간의 교환 관계를 이끌어내는 것.
• 분해 $W = W_{\tilde{S}} \times W_{S \setminus \tilde{S}}$ 를 통해 중심을 유한한 인자 안에 고립하는 것.
• 역치 성질 $w^2 = 1$ 과 아벨 구조를 통해 중심이 $({\mathbb{Z}}_2)^n$ 과 동형임을 증명하는 것.

실험 결과

연구 질문

• RQ1 일반적인 코x터 군의 중심은 어떤 구조를 가지는가?
• RQ2 중심은 본질적이고 유한한 파라보릭 부분군과 어떻게 관련되어 있는가?
• RQ3 중심은 구형 부분집합의 최장 원소들로 완전히 기술될 수 있는가?
• RQ4 본질적 파라보릭 부분군 $W_{\tilde{S}}$ 의 중심은 사라지는가?
• RQ5 코x터 군이 기하적으로 작용할 경우 어떤 조건에서 분할되며, 이는 중심과 어떻게 관련되는가?

주요 결과

• 모든 코x터 군의 중심은 유한하고, 어떤 $n \geq 0$ 에 대해 $({\mathbb{Z}}_2)^n$ 과 동형이다.
• 모든 중심 원소는 어떤 구형 부분집합 $T \subset S$ 에 대해 유한한 파라보릭 부분군 $W_T$ 의 최장 원소로 나타난다.
• 본질적 파라보릭 부분군 $W_{\tilde{S}}$ 의 중심은 자명하다.
• 전체 군 $W$ 의 중심은 유한한 파라보릭 부분군 $W_{S \setminus \tilde{S}}$ 의 중심과 일치한다.
• 중심의 유한성은 코x터 군이 CAT(0) 공간 위에 기하적으로 작용할 경우의 분할 정리를 암시한다.
• $W = W_{S_1} \times W_{S_2}$ 가 CAT(0) 공간 위에 기하적으로 작용한다면, 그 작용은 볼록적이고 준밀도 부분공간 위의 곱 작용으로 제한된다.