[논문 리뷰] On rigidity of abstract root systems of Coxeter systems

Matthew Dyer|arXiv (Cornell University)|2010. 11. 10.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 10

한 줄 요약

이 논문은 실선형 구조에 의존하지 않는 조합론적 프레임워크를 도입하여 코xeter 군 내의 추상적 루트 시스템의 강성(rigidity)을 확립한다. 유한하거나 무한 차수인 비가역 코xeter 시스템에 대해, 루트 기저는 부호를 제외한 국소적 코어비전(conjugacy)을 이루며, 몇몇 예외적인 경우를 제외하고는 고전적인 Weyl 군과 유한 코xeter 군에 대한 결과를 추상적이고 일반화된 루트 시스템으로 확장한다. 이는 추상 대수학적 및 순서 이론적 방법을 통해 달성된다.

ABSTRACT

We introduce and study a combinatorially defined notion of root basis of a (real) root system of a possibly infinite Coxeter group. Known results on conjugacy up to sign of root bases of certain irreducible finite rank real root systems are extended to abstract root bases, to a larger class of real root systems, and, with a short list of (genuine) exceptions, to infinite rank irreducible Coxeter systems.

연구 동기 및 목표

• 유한 Weyl 군의 루트 기저가 군 작용 하에 코어비전된다는 고전적 결과를 무한 차수 및 추상 루트 시스템으로 일반화하기 위해.
• 실선형 공간의 선형 구조에 의존하지 않고, 순수 조합론적으로 추상 루트 기저를 정의하고 연구하기 위해.
• 정수형이 아닌 일반화된 카르탕 행렬로부터 유도되는 루트 시스템을 포함한 더 넓은 범주로 부호를 고려한 코어비전 결과를 확장하기 위해.
• 국소적 코어비전이 실패하는 예외적인 경우를 특정하고 분류하기 위해, 특히 무한 차수 설정에서의 경우를 중심으로 하기 위해.
• 추상 루트 기저가 코xeter 군의 루트 시스템에서 추상 양의 시스템의 단순 루트와 정확히 대응됨을 증명하기 위해.

제안 방법

• Φ에 {±1}의 작용과 α ↦ sα: Φ → Sym(Φ)의 사상이 존재하는 방식으로 추상 루트 시스템을 정의하며, 반사 구조를 유지한다.
• Φ의 부분집합으로서 닫힘, 생성성, 준양성 조건을 만족하는 추상 양의 시스템을 정의하고, 단순 루트가 루트 기저를 이룬다.
• γ = aα + bβ (a,b ≥ 0) 형태의 '중간성' 개념을 도입하여 Φ의 닫힌 부분집합을 정의함으로써, 루트 시스템의 닫힘 성질과의 호환성을 확보한다.
• Φ에 대한 벡터 공간의 전순서 ≤lex 를 인덱스 집합 (ωi)i∈I 의 가족을 통해 정의하고, 반사 순서와 왜곡된 브루하트 전순서를 정의한다.
• 반사 코호모로지 N: G → P(T)를 구성하고, 이를 통해 왜곡된 브루하트 전순서 ≤A 를 정의하며, 적절한 조건 하에서 이것이 부분순서임을 증명한다.
• 순서 이론적 추론과 쌍대 공간 V∨ 를 통한 대칭성 분석을 활용하여 루트 시스템의 구조와 그 대칭성을 분석한다.

실험 결과

연구 질문

• RQ1 코xeter 군의 두 추상 루트 기저가 부호를 제외한 국소적 코어비전이 성립하는 조건은 무엇인가?
• RQ2 실선형 공간에 대한 참조 없이 루트 기저를 순수 조합론적으로 어떻게 특징지을 수 있는가?
• RQ3 추상 루트 시스템과 기저가 되는 코xeter 시스템 (W,S) 간의 관계는 무엇인가, 특히 (W,S)와 (W,S′)가 코xeter 시스템으로서 동형이 아닐 경우에도 말이다?
• RQ4 어느 무한 차수 코x터 군 시스템에서 부호를 고려한 국소적 W-코어비전이 실패하며, 그 예외적 유형은 무엇인가?
• RQ5 양의 정부호 형식을 가진 경우, 다양한 A와 전순서 선택에 대해 왜곡된 브루하트 순서 ≤A 는 서로 동형일까?

주요 결과

• 모든 비가역 코xeter 시스템 (W,S) 에 대해, 두 추상 양의 시스템 Ψ+와 Ψ′+ 는 (W,S)와 (W,S′) 가 코xeter 시스템으로서 동형이 아니더라도, 유한 차수의 파라보릭 부분군에서 서로 동형이다.
• W-코어비전이 부호를 제외하고 성립하지 않는 유일한 예외는 한쪽이 A∞이고 다른 한쪽이 A∞,∞ 인 경우이며, 이들은 서로 동형이 아니지만 반사 동형이다.
• Φ의 부분집합 Δ ⊆ Φ 가 루트 기저일 조건은, Δ 가 어떤 추상 양의 시스템의 단순 루트 집합과 정확히 일치할 때이다.
• 유한 차수 시스템의 경우, 부호 코어비전 결과에서 코어비전 원소 σ 는 항상 W 내부에 있으며, W 가 유한이고 ε = 1 이면 σ 와 ε 는 유일하게 결정된다.
• 양의 정부호 형식을 가진 경우, 모든 왜곡된 브루하트 순서 ≤A 는 표준 순서 ≤∅ 와 동형이 되며, 이는 동형에 의한 유일한 순서 유형을 의미한다.
• 직교군에서의 약한 순서 ≤w 는 일반적으로 래티스가 아니며, 전순서와 기저의 선택에 따라 서로 동형이 아닌 여러 개의 약한 순서 및 브루하트 순서가 발생할 수 있다.