[논문 리뷰] Normalisateurs et groupes d'Artin-Tits de type sphérique

Eddy Godelle|arXiv (Cornell University)|2002. 02. 18.

Geometric and Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 구형 유형의 아르틴-티츠 군에서 임의의 표준 포물선 부분군 $A_X$의 정규화군과 공변군이 일치하고, $A_X$와 $A_S$ 내부의 준중앙화군의 곱과 동형임을 증명한다. 핵심 결과는 프랑스의 이전 작업을 일반화하여, 아르틴-티츠 군의 정규화군의 구조가 관련 코x터 군의 구조와 자연스러운 동형사상에 의해 반영됨을 증명한다.

ABSTRACT

Let $(A_S,S)$ be an Artin-Tits and $X$ a subset of $S$ ; denote by $A_X$ the subgroup of $A_S$ generated by $X$. When $A_S$ is of spherical type, we prove that the normalizer and the commensurator of $A_X$ in $A_S$ are equal and are the product of $A_X$ by the quasi-centralizer of $A_X$ in $A_S$. Looking to the associated monoids $A_S^+$ and $A_X^+$, we describe the quasi-centralizer of $A_X^+$ in $A_S^+$ thanks to results in Coxeter groups. These two results generalize earlier results of Paris. Finaly, we compare, in the spherical case, the normalizer of a parabolic subgroup in the Artin-Tits group and in the Coxeter group.

연구 동기 및 목표

• 생성집합 $X$의 분해불가능성 가정을 제거함으로써 아르틴-티츠 군에서 정규화군에 관한 프랑스의 결과를 일반화하는 것.
• 구형 유형 아르틴-티츠 군 $A_S$ 내 표준 포물선 부분군 $A_X$의 정규화군과 공변군을 특성화하는 것.
• 코x터 군의 결과를 활용하여 양의 모노이드 $A_S^+$ 내에서 $A_X^+$의 준중앙화군을 묘사하는 것.
• 포물선 부분군의 정규화군이 아르틴-티츠 군과 그 관련 코x터 군 사이의 관계를 비교하는 것.
• 아르틴-티츠 군 $A_S$ 내 정규화군의 몫과 코x터 군 $W_S$ 내 해당 몫 사이의 구조적 동형사상을 확립하는 것.

제안 방법

• 양의 모노이드 $A_S^+$ 내의 공변자 분석을 위해 $X$-감소 원소와 $X$-루반의 개념을 사용한다.
• 아르틴-티츠 군 원소와 그 코x터 군 이미지 간의 관계를 설정하기 위해 자연스러운 사영 $p: A_S \to W_S$ 를 적용한다.
• 구형 성분의 기본 원소 $\Delta_{X(t)}$ 를 통해 정의된 기본 양의 $Y$-루반-$X$ 원소의 개념을 활용한다.
• 모든 $Conj^+(S;X,Y)$ 원소가 기본 양의 $X_i$-루반-$X_{i-1}$ 원소들의 유한한 곱임을 증명한다.
• 기초적인 구조적 항등식으로서 $N_{A_S}(A_X) = A_X \cdot QZ_{A_S}(A_X)$ 를 활용한다.
• 사영 $p$ 가 유도하는 전사적이고 단사적인 준동형사상에 의해 $N_{A_S}(A_X)/(Z_{A_S}(A_X) \cdot A_X) \simeq N_{W_S}(W_X)/(Z_{W_S}(W_X) \cdot W_X)$ 라는 동형사상을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 구형 유형 아르틴-티츠 군 내 표준 포물선 부분군 $A_X$의 정규화군과 공변군이 일치하는가?
• RQ2 코x터 군의 결과를 활용하여 양의 모노이드 $A_S^+$ 내에서 $A_X^+$의 준중앙화군을 어떻게 묘사할 수 있는가?
• RQ3 포물선 부분군의 정규화군이 아르틴-티츠 군 내에서와 그 관련 코x터 군 이미지 사이에 어떤 관계가 있는가?
• RQ4 아르틴-티츠 군 $A_S$ 내 정규화군의 구조가 $A_X$ 와 그 준중앙화군의 곱으로 분해될 수 있는가?
• RQ5 아르틴-티츠 군과 코x터 군 내 정규화군 몫 간의 동형사상은 자연스럽고 완전히 특성화되어 있는가?

주요 결과

• 아르틴-티츠 군 $A_S$ 가 구형 유형일 경우, $A_X$ 의 정규화군과 공변군은 서로 일치하며, $A_X \cdot QZ_{A_S}(A_X)$ 와 동형이다.
• 준중앙화군 $QZ_{A_S}(A_X)$ 는 $\Delta_X^\epsilon$ 와 $X$-감소 원소를 포함하는 곱 구조를 통해 특성화된다.
• 양의 공변자 $Conj^+(S;X,Y)$ 는 정확히 기본 양의 $X_i$-루반-$X_{i-1}$ 원소들의 곱으로 이루어져 있다.
• 정규화군 몫 $N_{A_S}(A_X)/(Z_{A_S}(A_X) \cdot A_X)$ 는 자연스러운 사영 $p$ 를 통해 $N_{W_S}(W_X)/(Z_{W_S}(W_X) \cdot W_X)$ 와 동형이다.
• 사영 $p: H_X \to G_X$ 는 전사적이며, 몫 정규화군 간의 동형사상을 유도한다.
• 유도된 준동형사상 $\widetilde{p}$ 의 핵은 자명하므로 단사성이 증명되며, 이는 몫 군 간의 완전한 동형사상임을 입증한다.