[논문 리뷰] Sur la catégorie des bimodules de Soergel

Nicolás Libedinsky|ArXiv.org|2007. 07. 24.

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

한 줄 요약

이 논문은 코x터 시스템 $(W,\mathcal{S})$에 관련된 Soergel 이중모듈러 범주 $\mathbf{B}$의 사상 공간에 대한 조합론적 기술을 제공하며, 다항식 환 위의 오른쪽 모듈로 보는 이러한 사상 공간에 대한 기저—'빛잎 기저'(light leaves basis)로 불리는 기저를 확립한다. 주요 기여는 이 기저가 정규화되어 있음을 증명하고, 그 차수를 명시적으로 계산함으로써 BGG 범주 $\mathcal{O}$의 주요 블록 $\mathcal{O}_0$-proj 내의 사상들을 Soergel의 동치를 통해 명시적으로 기술하는 데 있다.

ABSTRACT

The Soergel category B of a Coxeter system (W,S) is a bimodule category over a polynomial algebra on which W acts. It's a categorification of the Hecke Algebra of (W,S). In this article we give a combinatorial description of morphism spaces in B. As a corollary, we give an analogous description of the morphisms in O_0-proj, where O_0 is the principal block of the BGG category O. ----- La catégorie B de Soergel d'un système de Coxeter (W,S) est une catégorie de bimodules sur une algèbre de polynômes sur laquelle W agit. C'est une catégorification de l'algèbre de Hecke de (W,S). Dans cet article nous donnons une description combinatoire des espaces de morphismes dans B. En corollaire, on obtient une description analogue des morphismes dans O_0-proj, où O_0 est le bloc principal de la catégorie O de BGG.

연구 동기 및 목표

• 코x터 시스템 $(W,\mathcal{S})$에 관련된 Soergel 이중모듈러 범주 $\mathbf{B}$의 사상 공간에 대한 조합론적이고 명시적인 기술을 제공하는 것.
• 사상 공간에 대한 정규화된 기저—'빛잎 기저'로 불리는 기저—를 구성하고 존재성을 증명하는 것. 이 기저는 다항식 환 위의 오른쪽 모듈로 간주된다.
• 이 기저를 사용하여 BGG 범주 $\mathcal{O}$의 주요 블록 $\mathcal{O}_0$-proj 내의 사상들을 명시적으로 계산하는 것. 이는 $\mathcal{O}_0$-proj와 범주 $\mathbf{B}^\mathbb{C}$ 사이의 Soergel의 동치를 통해 이루어진다.

제안 방법

• 다항식 환 $R$ 위에서 $W$-행동이 충실한 반사 표현을 통해 정의된 Soergel 이중모듈러의 범주 $\mathbf{B}$를 정의한다.
• 빛잎 기저(BFL)를 사상의 재귀적 구성으로 도입하며, 히크 대수에서의 곱 $(1+T_{s_1})\cdots(1+T_{s_n})$의 재귀적 성질을 모방한다.
• W의 기약 표현에 대한 재귀적 귀납적 구성 방법을 사용하여, 사상들을 끈 모양의 관계와 쌍대 기저를 통해 정의한다.
• Soergel의 정리—즉, $\mathbf{B}$가 히크 대수 $\mathcal{H}$를 분류하고, $\mathbf{B}$의 코호몰로지 군이 $\varepsilon$에 의한 사상으로 $\mathcal{H}$와 동형임을 이용한다.
• 사상 공간 $\mathrm{Hom}_{(R,R)}(B,B')$와 코인variant 대수 $C = R/R_+^W$ 사이의 명시적 동형을 $\mathrm{Hom}_{(R,R)}(B,B') \otimes_R \mathbb{C} \simeq \mathrm{Hom}_C(B\otimes_R \mathbb{C}, B'\otimes_R \mathbb{C})$를 통해 확립한다.
• Corollary 4.2의 차수 차원 공식을 이용하여, 빛잎 기저가 $\mathrm{Hom}_{(R,R)}(B,B')$가 다항식 환 $R$에 대한 오른쪽 모듈로 자유 기저를 이룬다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 Soergel 이중모듈러 범주 $\mathbf{B}$의 사상 공간은 정규화된 기저를 통해 조합론적으로 기술될 수 있는가?
• RQ2 끈 모양의 관계를 통해 재귀적으로 구성된 빛잎 기저는 $\mathbf{B}$의 사상 공간이 다항식 환 $R$에 대한 오른쪽 모듈로 자유 기저를 이룬다 할 수 있는가?
• RQ3 범주 $\mathbf{B}$ 내의 사상에 대한 조합론적 기술을 사용하여 BGG 범주 $\mathcal{O}$의 주요 블록 $\mathcal{O}_0$-proj 내의 사상들을 명시적으로 계산할 수 있는가?

주요 결과

• 빛잎 기저(BFL)는 다항식 환 $R$에 대한 오른쪽 모듈로 보는 $\mathbf{B}$의 사상 공간 $\mathrm{Hom}_{(R,R)}(B,B')$에 대해 자유 기저임이 증명되었다.
• 범주 $\mathbf{B}$의 사상 공간의 차수 차원은 Corollary 4.2에 따라 곱 $(1+T_{s_1})\cdots(1+T_{s_n})$에서 $1$의 계수로 주어진다.
• BFL의 구성은 명시적인 재귀적 방법이며, 히크 대수에서의 곱의 재귀적 성질을 모방함으로써 이 공식의 분류화를 제공한다.
• $\mathcal{O}_0$-proj 내의 사상 공간은 $C = R/R_+^W$인 코인variant 대수를 고려하여 $\mathrm{Hom}_{(R,R)}(B,B') \otimes_R \mathbb{C} \simeq \mathrm{Hom}_C(B\otimes_R \mathbb{C}, B'\otimes_R \mathbb{C})$의 동형을 통해 명시적으로 기술된다.
• $\mathrm{Hom}_{(R,R)}(B,B')$ 내의 기저 원소들은 $x_{\overline{i}}^g f_\alpha((1\otimes x_{\overline{i}^{c}(\mathrm{op})}^d)\cdot m)$를 포함하는 사상에 의해 구성되며, 이는 $R$ 위의 기저를 이룬다.
• 결과적으로 $\mathcal{O}_0$-proj 내의 사상의 구조는 $\mathbf{B}$ 내의 BFL의 조합론적 성질에 의해 완전히 결정되며, 새로운 명시적 계산 도구를 제공한다.