[논문 리뷰] Specht modules and Kazhdan--Lusztig cells in type $B_n$

Meinolf Geck, Lăcrimioara Iancu외 1명|ArXiv.org|2007. 04. 16.

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

한 줄 요약

이 논문은 매개변수들이 지배 순서에 따라 정렬된 점점 커지는 경우, 히브 기하학적 대칭군 $B_n$의 히브 대칭 대수에서 스펙트 모듈과 카즈단–류스트리그 왼쪽 세포 모듈 사이의 표준적인 동형사상이 존재함을 증명한다. 이 동형사상은 적절한 기저 순서를 부여할 경우 대각선에 1이 있는 삼각형 행렬로 나타나며, 다른 단항 순서에서는 이 결과가 성립하지 않음을 반례를 통해 보여준다.

ABSTRACT

Dipper, James and Murphy generalized the classical Specht module theory to Hecke algebras of type $B_n$. On the other hand, for any choice of a monomial order on the parameters in type $B_n$, we obtain corresponding Kazhdan--Lusztig cell modules. In this paper, we show that the Specht modules are naturally equivalent to the Kazhdan--Lusztig cell modules {\em if} we choose the dominance order on the parameters, as in the ``asymptotic case'' studied by Bonnafé and the second named author. We also give examples which show that such an equivalence does not hold for other choices of monomial orders.

연구 동기 및 목표

• 타입 $B_n$에서 스펙트 모듈과 카즈단–류스트리그 세포 모듈 사이의 자연스러운 동형사상을 확립하는 것.
• 이 동형사상이 성립하는 특정한 매개변수 순서—즉, 지배(점점 커지는) 경우—를 규명하는 것.
• 이 동형사상이 매개변수에 대한 다른 단항 순서에서는 존재하지 않음을 보여주는 것.
• 감소 표현을 이용한 점점 커지는 경우에서의 특수한 왼쪽 세포의 명시적 조합적 기술을 제공하는 것.
• 특수화된 대수 환경에서 카즈단–류스트리그 기저의 세포 구조와 스펙트 모듈 구성 간의 비교를 수행하는 것.

제안 방법

• 본나페와 이안쿠(2006)의 점점 커지는 경우에 대한 왼쪽 세포의 조합적 기술을 활용하여, 각 이분할에 대해 특수한 왼쪽 세포를 명시적으로 식별한다.
• 점점 커지는 경우에서 스펙트 모듈 $\tilde{S}^{\nu}$ 와 카즈단–류스트리그 왼쪽 세포 모듈 $W_{k}(\nu)$ 사이의 표준적 동형사상을 구성한다.
• 양 모듈이 적절히 순서가 매겨진 표준 기저를 갖추면, 이 동형사상의 행렬이 대각선에 1이 있는 삼각형 행렬임을 보인다.
• 히브 대수 $\mathcal{H}$의 카즈단–류스트리그 기저 $\{ C_w \}$를 사용하며, 이는 브루아-체바르티에 순서와 $A_{<0}$ 내의 구조 상수 $P_{y,w}^*$에 의해 정의된다.
• 점점 커지는 조건 $b > (n-1)a > 0$ 하에서 $\mathcal{H}_{n,k}$의 세포 대수 구조를 활용하여, 스펙트 모듈과 세포 모듈 간의 호환성을 보장한다.
• 섹션 4에서 점점 커지지 않는 단항 순서, 예를 들어 가중치가 있는 사전순서에 대해 반례를 제시하여 동형사상이 성립하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 타입 $B_n$에서 어떤 매개변수 순서 하에서 스펙트 모듈과 카즈단–류스트리그 세포 모듈이 동형이 되는가?
• RQ2 점점 커지는 경우에 스펙트 모듈과 카즈단–류스트리그 세포 모듈 사이의 동형사상은 표준적이며, 대각선에 1이 있는 삼각형 행렬인가?
• RQ3 이 동형사상은 지배(점점 커지는) 순서 이외의 매개변수 순서로도 확장될 수 있는가?
• RQ4 특수화된 대수 $\mathcal{H}_{n,k}$에서 카즈단–류스트리그 기저의 세포 구조와 스펙트 모듈 구성 간의 비교는 어떻게 이루어지는가?
• RQ5 스펙트 모듈과 세포 모듈의 비영 불가약 몫을 인덱싱하는 집합 $\Lambda^{\clubsuit}$ 와 $\Lambda^{\spadesuit}$ 사이의 관계는 무엇인가?

주요 결과

• 각 이분할 $\nu$에 대해 점점 커지는 경우에 스펙트 모듈 $\tilde{S}^{\nu}$ 와 카즈단–류스트리그 왼쪽 세포 모듈 $W_{k}(\nu)$ 사이에 표준적 동형사상이 존재한다.
• 양 모듈이 브루아-체바르티에 순서에 따라 정렬된 표준 기저를 갖추면, 이 동형사상의 행렬은 대각선에 1이 있는 삼각형 행렬이다.
• 점점 커지지 않는 단항 순서에서는 동형사상이 실패한다: 가중치가 있는 사전순서에 대해 반례가 구성된다.
• 점점 커지는 경우 $b > (n-1)a > 0$ 하에서 카즈단–류스트리그 기저 $\{C_w\}$는 세포 기저를 이룬다. 이 경우 $W_k(\nu) \cong \tilde{S}_k^\nu$ 가 성립한다.
• $\Lambda^{\clubsuit}$ 와 $\Lambda^{\spadesuit}$ 는 비영 불가약 몫을 인덱싱하는 집합으로서, 점점 커지는 경우에 정확히 일치한다.
• 맥도녹-팔리카로스의 타입 $A_{n-1}$ 동형사상 결과를 타입 $B_n$으로 일반화하였지만, 이는 매개변수에 대한 지배 순서 하에서만 성립한다.