[논문 리뷰] Conjugacy classes of involutions and Kazhdan-Lusztig cells

Cédric Bonnafé, Meinolf Geck|arXiv (Cornell University)|2012. 05. 18.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 3

한 줄 요약

이 논문은 유한 코xeter 군에서의 고정점의 공轭류와 카즈단-류스트리그 셀 간의 관계를 조사하며, 스무스 두쪽 셀이거나 고전적 유형(Bn, Dn)에서 일정한 가중치 함수를 갖는 경우, 주어진 두쪽 셀에 속한 모든 고정점은 서로 공轭임을 증명한다. 이는 고전적 유형에 대해 코트비츠의 추측을 확인하고, 고정점의 공轭류와 왼쪽 셀의 교차는 문자 내적에 의해 결정됨을 밝혀내며, E8를 제외한 나머지 경우는 모두 해결된 것으로 간주된다.

ABSTRACT

According to an old result of Sch\"utzenberger, the involutions in a given two-sided cell of the symmetric group $\SG_n$ are all conjugate. In this paper, we study possible generalisations of this property to other types of Coxeter groups. We show that Sch\"utzenberger's result is a special case of a general result on "smooth" two-sided cells. Furthermore, we consider Kottwitz' conjecture concerning the intersections of conjugacy classes of involutions with the left cells in a finite Coxeter group. Our methods lead to a proof of this conjecture for classical types; combined with previous work, this leaves type $E_8$ as the only remaining open case.

연구 동기 및 목표

• 대칭군에서 고정점의 공轭류에 관해 셸츠너의 결과를 다른 코xeter 군으로 일반화한다.
• 유한 코xeter 군에서 고정점의 공轭류와 왼쪽 셀의 교차에 관한 코트비츠의 추측을 조사한다.
• 특히 스무스 셀이거나 일정한 가중치 함수를 갖는 경우, 두쪽 셀에 속한 모든 고정점이 공轭이 되는 조건을 규명한다.
• 고전적 유형(Bn, Dn)에 대해 코트비츠의 추측을 완전히 증명하며, 나머지 열린 사례를 E8로 단순화한다.

제안 방법

• 카즈단-류스트리그 셀을 정의하기 위해 표준 기저 (Tw)w∈W와 가중치 함수 ϕ: S → Γ>0를 갖는 헤이크 대수의 프레임워크를 사용한다.
• 모든 고정점의 공轭류의 합집합 C에 대해, ∑w∈C Tw 가 헤이크 대수에서 중심임을 적용한다.
• 유도된 문자와 기약 문자와의 내적을 포함한 문자 이론적 방법을 사용하여 셀의 교차를 분석한다.
• 단일 기약 문자와 관련된 스무스 두쪽 셀의 이론을 활용하여 고정점의 공轭성을 증명한다.
• Wn을 W′n × H2로 분해하고, 귀납법을 적용하여 Dn 유형에서 문자와 공轭류를 분석한다.
• 프로베누스의 호환성과 문자 확장(그리고 그래프 자기동형에 의한 변형된 확장 포함)을 적용하여 셀 문자와 공轭류 교차를 연결한다.

실험 결과

연구 질문

• RQ1 유한 코xeter 군의 두쪽 셀에 속한 모든 고정점이 공轭이 되는 조건은 무엇인가?
• RQ2 코트비츠의 추측—즉, 고정점의 공轭류와 왼쪽 셀의 교차 크기가 문자 내적에 의해 결정된다—는 고전적 유형에 대해 참인가?
• RQ3 스무스너의 결과—즉, Sn에서 Duflo 고정점의 공轭성—는 A 유형을 초월한 다른 코xeter 군으로 일반화될 수 있는가?
• RQ4 동일한 두쪽 셀에 속한 왼쪽 셀 C, C′에 대해 C2(C) = C2(C′)라는 추측은 모든 유한 코xeter 군에서 성립하는가?
• RQ5 E8 유형에서 코트비츠의 추측은 어떤 상태이며, 왜 이것이 유일한 열린 사례인가?

주요 결과

• 일정한 가중치 함수를 갖는 유한 코xeter 군에서, 스무스 두쪽 셀에 속한 모든 고정점은 서로 공轭이며, 이는 Sn에 대한 셸츠너의 결과를 일반화한다.
• 고전적 유형 Bn 및 Dn에 대해 코트비츠의 추측이 성립함을 직접적인 문자 내적과 셀 분해 계산을 통해 입증한다.
• n이 짝수인 Dn 유형에서, σ0,n/2의 공轭류 C′0는 스무스 두쪽 셀에 속한 각 왼쪽 셀과 정확히 한 개의 원소로 교차하며, 이는 |C′0 ∩ C| = 1임을 확인한다.
• C′0에 관련된 문자 ρC′0는 임의의 왼쪽 셀 C ⊆ C+α에 대해 〈ρC′0, [C]〉W′n = |C′0 ∩ C| 를 만족하며, 이는 이 경우에 코트비츠의 추측을 증명한다.
• 코트비츠의 추측에 대해 남아 있는 유일한 열린 사례는 E8이며, 나머지 고전적 유형의 모든 경우는 해결되었다.
• 증명은 고정점의 공轭류의 합집합 C에 대해 ∑w∈C Tw 가 헤이크 대수에서 중심임을 이용하며, 이는 핵심적인 기술적 도구이다.