[논문 리뷰] Weyl Groups with Coxeter Presentation and Presentation by Conjugation

Georg Hofmann|ArXiv.org|2006. 07. 22.

Algebraic structures and combinatorial models참고 문헌 11인용 수 16

한 줄 요약

이 논문은 확장된 아핀 루트계(extended affine root systems, EARS)의 와일 군이 코xeter 표현 또는 공역 표현을 갖는 조건을 조사한다. 본문에서는 확장된 아핀 와일 군(EAWeG)이 코xeter 표현을 갖는다할 때 그 EARS의 노울리티(nullity)가 1 이하일 때에만 가능하다는 것을 증명하며, 모든 EAWeG가 어떤 EARS에 대해 공역 표현을 갖는다는 것을 보이며, 이는 루트계의 최소성 조건을 통해 달성된다. 주요 기여는 EARS의 맥락에서 이러한 표현의 완전한 특성화이다.

ABSTRACT

We investigate which Weyl groups have a Coxeter presentation and which of them at least have the presentation by conjugation with respect to their root system. For most concepts of root systems the Weyl group has both. In the context of extended affine root systems (EARS) there is a small subclass allowing a Coxeter presentation of the Weyl group and a larger subclass allowing the presentation by conjugation. We give necessary and sufficient conditions for both classes. Our results entail that every extended affine Weyl group (EAWeG) has the presentation by conjugation with respect to a suitable EARS.

연구 동기 및 목표

• 확장된 아핀 루트계(EARS)의 와일 군 중에서 코xeter 표현을 갖는 경우를 규명하는 것.
• 루트셋이 공역 표현을 갖는 조건을 조사하는 것.
• 모든 확장된 아핀 와일 군(EAWeG)이 어떤 EARS에 대해 공역 표현을 갖는다는 것을 증명하는 것.
• 공역 표현을 지지하는 최소 EARS를 특성화하는 것.
• 루트계 유형(예: BCℓ, Bℓ, Cℓ)과 이러한 표현의 존재성 간의 관계를 명확히 하는 것.

제안 방법

• 유한, 국소 유한, 확장된 아핀 루트계 등 다양한 루트계 개념을 통합하기 위해 루트셋의 개념을 도입한다.
• 공역 표현을 루트 반사(involution)를 이용한 군 표현으로 정의하며, 다음과 같은 관계를 포함한다: rα² = 1 및 rα rβ rα⁻¹ = r_{rα(β)} (α, β ∈ R×).
• 정의 3.4에 따라 EARS의 최소성 개념을 적용하여 공역 표현이 성립하는 조건을 특성화한다.
• 와일 군의 작용과 궤도 분해를 이용해 문제를 기약 성분들로 축소한다.
• 빈버그(Vinberg)와 데오다르(Deodhar)의 반사군 및 이산 선형군에 관한 결과를 응용하여 루트계 유형을 분석한다.
• 몫군과 V/V⁰ 상의 자기동형군을 이용한 축소 기법을 통해 최소성 조건과 루트계 유형 변화 여부를 검증한다.

실험 결과

연구 질문

• RQ1 확장된 아핀 루트계(EARS)의 와일 군이 언제 코xeter 표현을 갖는가?
• RQ2 루트셋의 와일 군이 언제 공역 표현을 갖는가?
• RQ3 EARS의 최소성과 공역 표현 존재성 간의 정확한 관계는 무엇인가?
• RQ4 일반적인 EARS에서 최소 EARS로 전환할 때 발생할 수 있는 루트계 유형의 변화는 무엇인가? (예: BCℓ → Bℓ, BCℓ → Cℓ, ℓ ≥ 3)
• RQ5 모든 확장된 아핀 와일 군(EAWeG)이 어떤 EARS에 대해 공역 표현을 갖는가?

주요 결과

• 확장된 아핀 와일 군(EAWeG)이 그 EARS에 대해 코xeter 표현을 갖는다할 때, 그 EARS의 노울리티가 1 이하일 때에만 가능하다.
• EAWeG가 그 EARS에 대해 공역 표현을 갖는다할 때, 그 EARS가 최소일 때에만 가능하다 (정의 3.4).
• 모든 EAWeG는 어떤 EARS에 대해 공역 표현을 갖는다. 이는 모든 EARS가 최소 부분-EARS를 포함하기 때문이다.
• 일반적인 EARS에서 최소 EARS로 전환할 경우, 가능한 유형 변화는 다음과 같다: BC₁ → A₁, BC₂ → B₂, BCℓ → Bℓ, BCℓ → Cℓ (ℓ ≥ 3).
• 공역 표현은 표준 군 표현과 동일하며, 생성자 rα와 관계 rα² = 1, rα rβ rα⁻¹ = r_{rα(β)} (α, β ∈ R×)를 포함한다.
• 코xeter 표현의 존재성은 공역 표현의 존재성을 함의하지만, 그 역은 일반적으로 성립하지 않으며, 특히 노울리티 > 1일 경우 성립하지 않는다.