[논문 리뷰] Left cells in type $B_n$ with unequal parameters

Cédric Bonnafé, Laura Iancu|ArXiv.org|2003. 02. 04.

Advanced Algebra and Geometry참고 문헌 5인용 수 8

한 줄 요약

이 논문은 파arameter가 불균형한 $B_n$ 형식에서 장근에 대한 매개수 $q^c$가 매우 큰 경우($c \gg 1$), 아이와하리–헤크 대수의 왼쪽 세포가 일반화된 로빈슨–셰너스팅 대응을 통해 표준 비테이블로의 쌍에 의해 매개변수화됨을 증명한다. 핵심 결과는 모든 왼쪽 세포 표현이 기약이며 구성 가능하다는 것이며, 이는 이 조합론적 프레임워크를 통해 기약 표현의 새로운 실현을 제공한다.

ABSTRACT

Kazhdan and Lusztig have shown that the partition of the symmetric group of degree $n$ into left cells is given by the Robinson-Schensted correspondence. The aim of this paper is to provide a similar description of the left cells in type $B_n$ for a special class of choices of unequal parameters. This is based on a generalization of the Robinson-Schensted correspondence for type $B_n$. We also give an explicit description of the left cell representations and show that they are irreducible and constructible.

연구 동기 및 목표

• 불균형 매개수를 가진 $B_n$ 형식으로 고전적 $\mathfrak{S}_n$ 경우를 일반화하여 로빈슨–셰너스팅 대응을 확장한다.
• 특정 불균형 매개수 클래스에 대해 $B_n$ 형식의 아이와하리–헤크 대수의 왼쪽 세포를 묘사한다.
• 장근 매개수 $q^c$가 충분히 클 때의 渐近적 경우에서 왼쪽 세포 표현이 기약임을 증명한다.
• 일반화된 대응을 사용하여 헤크 대수의 기약 표현을 명시적으로 매개변수화한다.
• 점점적 설정에서 카즈단–류스트리그 기저와 세포 구조 간의 연결 고리를 확립한다.

제안 방법

• 코xeter 군 $W_n$의 원소와 전체 크기가 $n$인 표준 비테이블로의 쌍 사이의 전단사 사상으로 고전적 로빈슨–셰너스팅 대응을 일반화한다.
• 클리포드 이론과 유사한 군 원소의 분해를 사용하여 $W_n$의 왼쪽 세포를 대칭군 $\mathfrak{S}_l$ 및 $\mathfrak{S}_{n-l}$의 세포와 연결한다.
• 루스티그의 점점적 헤크 대수 프레임워크 내에서, 매개수 $q^c$를 새로운 변수 $Q$로 대체하여 카즈단–류스트리그 다항식과 세포의 구조를 분석한다.
• 점점적 경우에 카즈단–류스트리그 다항식이 $q$에만 의존하고 $Q$에선 의존하지 않음을 증명한다 (정리 6.3(a)).
• 매개수 $Q$를 통해 왼쪽 세포에 그룹화를 도입하여 세포 분해의 계층적 이해를 가능하게 한다 (정리 6.3(b), 6.6).
• 일반화된 대응과 세포 분해를 사용하여 왼쪽 세포 표현이 기약이며, 쌍 $(\mu, \lambda^*)$에 의해 명시적으로 매개변수화됨을 증명한다.

실험 결과

연구 질문

• RQ1 불균형 매개수를 가진 $B_n$ 형식의 코xeter 군에 대해 로빈슨–셰너스팅 대응는 어떻게 일반화할 수 있는가?
• RQ2 장근 매개수 $q^c$가 큰 경우($c \gg 1$)에 $B_n$ 형식의 아이와하리–헤크 대수의 왼쪽 세포는 어떤 구조를 가지는가?
• RQ3 이 점점적 설정에서 왼쪽 세포 표현은 기약인가?
• RQ4 카즈단–류스트리그 기저는 이 맥락에서 기약 표현을 명시적으로 구성하는 데 사용될 수 있는가?
• RQ5 일반화된 로빈슨–셰너스팅 대응와 대칭군 세포로의 왼쪽 세포 분해 간의 관계는 무엇인가?

주요 결과

• 불균형 매개수 $q$와 $q^c$($c \gg 1$)를 가진 $B_n$ 형식에서, 왼쪽 세포는 전체 크기가 $n$인 표준 비테이블로의 쌍에 의해 매개변수화되며, 이는 고전적 로빈슨–셰너스팅 대응의 일반화이다.
• 점점적 경우에서 $B_n$ 형식의 아이와하리–헤크 대수 $\mathcal{H}_n$의 모든 왼쪽 세포 표현은 기약이다.
• $\mathcal{H}_n$의 기약 표현은 표준 양의 표준 영역표 $\mu$와 $\lambda^*$의 쌍 $(\mu, \lambda^*)$에 의해 명시적으로 매개변수화된다.
• 이 설정에서 카즈단–류스트리그 다항식은 정리 6.3(a)에 의해 $q$에만 의존하고 $Q = q^c$에는 의존하지 않음을 보여준다.
• $Q$ 매개수를 통해 왼쪽 세포에 그룹화를 확립하여 세포 분해의 계층적 이해가 가능해진다 (정리 6.3(b), 6.6).
• 왼쪽 세포 표현은 구성 가능하며 기약 특성치 $\chi_{\mu,\lambda^*}^{\mathcal{H}}$를 부여하여 그 기약성과 명시적 실현을 확인한다.