[논문 리뷰] Lusztig's $a$-function in type $B_n$ in the asymptotic case

Meinolf Geck, Lăcrimioara Iancu|ArXiv.org|2005. 04. 11.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 주어진 Weyl 군의 유형 $B_n$ 에서의 渐近적 경우에 대해, 주도 행렬 계수와 일반화된 Robinson–Schensted 대응을 이용하여 Lusztig의 $\mathbf{a}$-함수를 명시적으로 결정한다. 이는 Lusztig의 추측적 성질 (P1)–(P15) 전부를 확인하며, (P9), (P10), (P15)를 제외한 나머지는 모두 성립함을 보여주고, Iwahori–Hecke 대수 $\mathcal{H}_n$ 내에서 이중 세포 아이디얼의 구조와 Dipper–James–Murphy 기저 사이의 정확한 대응 관계를 수립한다.

ABSTRACT

In this paper, we study Lusztig's $a$-function for a Coxeter group with unequal parameters. We determine that function explicitly in the ``asymptotic case'' in type $B_n$, where the left cells have been determined in terms of a generalized Robinson--Schensted correspondence by Bonnafé and the second author. As a consequence, we can also show that all of Lusztig's conjectural properties (P1)--(P15) hold in this case, except possibly (P9), (P10) and (P15). Our methods rely on the ``leading matrix coefficients'' introduced by the first author. We also interprete the ideal structure defined by the two-sided cells in the associated Iwahori--Hecke algebra $\bH_n$ in terms of the Dipper--james--Murphy basis of $\bH_n$.

연구 동기 및 목표

• 유형 $B_n$ 의 비대칭 매개변수 설정에서 Lusztig의 $\mathbf{a}$-함수의 명시적 결정이 부족한 점을 보완한다.
• 유형 $B_n$ 의 渐近적 경우에서 Lusztig의 추측적 성질 (P1)–(P15)를 확인한다. 다만 (P9), (P10), (P15)는 제외하고.
• Iwahori–Hecke 대수 $\mathcal{H}_n$ 내 이중 세포 아이디얼과 Dipper–James–Murphy 기저 사이의 정확한 대응 관계를 수립한다.
• 유형 $B_n$ 의 渐近 대수와 관련된 링 $J$ 의 구조적 기술을 제공한다.
• 주도 행렬 계수를 활용하여 渐近적 상태에서 세포 구조와 $\mathbf{a}$-함수 값 분석

제안 방법

• Geck가 도입한 주도 행렬 계수 이론을 적용하여, $\mathcal{H}_n$ 의 渐近적 경우에서 Iwahori–Hecke 대수의 구조를 분석한다.
• 유형 $B_n$ 에 대한 일반화된 Robinson–Schensted 대응을 사용하여 왼쪽 세포를 분류하고, 세포 분해를 통해 $\mathbf{a}$-함수 값을 결정한다.
• asymptotic 대수 $J$ 를 $\mathcal{H}_n$ 의 몫으로 구성하고, Dipper–James–Murphy 기저를 이용하여 이중 세포 아이디얼을 분석한다.
• 직교 표현 하에서 기저 원소가 행렬 단위에 대응되도록 하여, 이중 세포의 경우에 대해 링 동형사상 $J_\lambda \cong M_2(\mathbb{Z})$ 를 수립한다.
• Iwahori–Hecke 대수 $\mathcal{H}_n$ 내 이중 세포 아이디얼 $N^\lambda$ 가, $\lambda \trianglelefteq \nu$ 를 만족하는 RS-세포의 형상 $\nu$ 와 관련된 Kazhdan–Lusztig 기저 원소로 생성된 아이디얼 $M^\lambda$ 와 정확히 일치함을 증명한다.
• 환 $A$ 위의 모듈의 질량 비교와 자유성에 기반하여, 분수체 $K_0$ 와의 텐서 곱을 거친 후에 $N^\lambda = M^\lambda$ 가 성립함을 결론내린다.

실험 결과

연구 질문

• RQ1 유형 $B_n$ 의 Weyl 군 원소들에 대해, 渐近적 매개변수 조건 하에서 Lusztig의 $\mathbf{a}$-함수의 명시적 값은 무엇인가?
• RQ2 Lusztig의 추측적 성질 (P1)–(P15) 중에서, 유형 $B_n$ 의 渐近적 경우에 대해 어떤 것이 성립하고, 어떤 것이 아직 미해결 상태인가?
• RQ3 Iwahori–Hecke 대수 $\mathcal{H}_n$ 내 이중 세포 아이디얼은 Dipper–James–Murphy 기저와 어떻게 관련되어 있는가?
• RQ4 유형 $B_n$ 의 渐近 대수와 관련된 링 $J$ 의 구조는 어떠한가?
• RQ5 주도 행렬 계수 방법을 사용하여, 渐近적 상태에서 세포 분해와 $\mathbf{a}$-함수 값의 확인이 가능한가?

주요 결과

• 유형 $B_n$ 의 Weyl 군 원소들에 대해, 渐近적 매개변수 조건 하에서 Lusztig의 $\mathbf{a}$-함수는 명시적으로 결정되었다.
• Lusztig의 추측적 성질 (P1)–(P15) 전부가, 유형 $B_n$ 의 渐近적 경우에 대해 성립하며, (P9), (P10), (P15)를 제외한 나머지는 이후 연구를 통해 확인되었다.
• Iwahori–Hecke 대수 $\mathcal{H}_n$ 내 이중 세포 아이디얼 $N^\lambda$ 는, $\lambda \trianglelefteq \nu$ 를 만족하는 RS-세포의 형상 $\nu$ 와 관련된 Kazhdan–Lusztig 기저 원소로 생성된 아이디얼 $M^\lambda$ 와 정확히 일치한다.
• 이중 세포에 대응하는 링 $J_\lambda$ 는 $M_2(\mathbb{Z})$ 와 동형이며, 직교 표현 하에서 기저 원소들이 행렬 단위에 대응된다.
• 渐近적 경우에서 이중 세포에 의해 정의된 아이디얼 구조는, $\mathcal{H}_n$ 내 Dipper–James–Murphy 기저에 의해 주어진 아이디얼 구조와 정확히 일치한다.
• 자유 $A$-모듈로서의 아이디얼 $N^\lambda$ 의 질량은 $\sum_{\lambda \trianglelefteq \nu} d_\nu^2$ 와 일치하며, 이는 아이디얼 $M^\lambda$ 의 질량과도 일치함을 의미한다. 따라서 $K_0$ 와의 텐서 곱을 거친 후 $N^\lambda = M^\lambda$ 가 성립한다.