[논문 리뷰] Canonical bases for tensor products and super Kazhdan-Lusztig theory

Huanchen Bao, Weiqiang Wang외 1명|arXiv (Cornell University)|2018. 08. 28.

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

한 줄 요약

이 논문은 유한형 양자 대칭 쌍의 맥락에서 기반을 가진 $Υ^ ext{imath}$-모듈과 기반을 가진 $Υ$-모듈의 텐서곱에 대한 표준 기저 이론을 수립하여, 정규화된 보조군의 BGG 분할 범주 $Σ^ ext{𝔪}_{\mathbf{b}}$ 에 대한 완전한 카즈단-루스티그 이론을 가능하게 한다. 주요 기여는 $M \otimes N$ 위에 $Υ^ ext{imath}$-표준 기저를 구성함으로써 이전 결과를 $\u03a5$-모듈의 구조가 아닌 경우로 확장하고, 모든 분할 범주에 대해 초수 카즈단-루스티그 다항식을 가능하게 한다.

ABSTRACT

We generalize a construction in [BW18] (arXiv:1610.09271) by showing that the tensor product of a based $ extbf{U}^{\imath}$-module and a based $ extbf{U}$-module is a based $ extbf{U}^{\imath}$-module. This is then used to formulate a Kazhdan-Lusztig theory for an arbitrary parabolic BGG category $\mathcal{O}$ of the ortho-symplectic Lie superalgebras, extending a main result in [BW13] (arXiv:1310.0103).

연구 동기 및 목표

• 기반을 가진 $Υ^\text{imath}$-모듈과 기반을 가진 $Υ$-모듈의 텐서곱으로부터의 $Υ^\text{imath}$-표준 기저의 구성 방법을, $Υ$-모듈의 텐서곱으로부터의 구성으로부터 일반화한다.
• 정규화된 보조군의 분할 BGG 범주 $Σ^\text{𝔪}_{\mathbf{b}}$ 에 대한 카즈단-루스티그 이론을 수립한다. 이는 리 초군수대수의 리 대수에서 유도된 리 대수의 리 대수 성분이 포함된 경우를 포함한다.
• 기반을 가진 $Υ^\text{imath}$-모듈 $M$ 과 기반을 가진 $Υ$-모듈 $N$ 에 대해 $M \otimes N$ 위에 $Υ^\text{imath}$-표준 기저의 존재를 증명한다. 이는 새로운 바-대체와 수정된 부분 순서를 사용한다.
• 전체 범주 $Σ_{\mathbf{b}}$ 를 넘어서, 특히 $a_0 > 0$ 인 경우 리 대수의 리 대수 성분이 B형 성분을 포함하는 경우에 해당하는 모든 분할 범주로 초수 카즈단-루스티그 이론의 적용 범위를 확장한다.

제안 방법

• 완비화된 ${\mathbb{U}^\text{imath}} \otimes \mathbb{U}^+$ 내의 원소 $\Theta^{\text{imath}}$ 를 사용하여 $M \otimes N$ 위에 새로운 바-대체 $\psi_{\text{imath}}$ 를 구성한다. 이는 쿼라-$\mathcal{R}$ 행렬과 쿼라-$\mathcal{K}$ 행렬의 정수성에 의해 정수성임을 보여준다.
• 이전 연구에서 사용된 것보다 더 단순하고 $M$ 이 $\mathbb{U}$-모듈이 아닐 경우에 더 적합한, 새로운 부분 순서를 가중치 격자 위에 정의한다.
• $\psi_{\text{imath}}$-불변 기저로서 유일한 정수성과 바 연산과의 호환성을 갖는 $\imath$-표준 기저 $\mathbb{B}^{\text{imath}} \diamondsuit_{\text{imath}} \mathbb{B}$ 를 $M \otimes N$ 위에 구성한다.
• $\widehat{\mathbb{T}}^{\mathbf{b},\mathfrak{l}}$ 위에 $\imath$-표준 기저의 존재를 이용하여, 분할 범주 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ 에 대한 초수 카즈단-루스티그 이론을 수립한다. 이 기저 원소들은 표준 모듈과 기약 모듈에 대응한다.
• $[[\mathcal{O}^{\mathfrak{l},\Delta}_{\mathbf{b}}]]$ 와 $\widehat{\mathbb{T}}^{\mathbf{b},\mathfrak{l}}_\mathbb{Z}$ 를 연결하는 $\mathbb{Z}$-모듈의 교환도를 활용하여 특성 함수를 비교하고, 등형사상 $\Psi$ 를 유도한다.
• 몫 $\mathbb{T}^{\mathbf{b}} / \mathbb{S}^{\mathfrak{l}}$ 에 고전적인 카즈단-루스티그 이론을 적용하여, 분할 카즈단-루스티그 기저가 $\imath$-표준 기저의 상임을 보여준다.

실험 결과

연구 질문

• RQ1 기반을 가진 $\mathbb{U}$-모듈의 텐서곱에서의 $\imath$-표준 기저 구성 방법을, $\mathbb{U}^\text{imath}$-모듈과 $\mathbb{U}$-모듈의 텐서곱으로 확장할 수 있는가?
• RQ2 기반을 가진 $\mathbb{U}^\text{imath}$-모듈 $M$ 과 기반을 가진 $\mathbb{U}$-모듈 $N$ 에 대해 $M \otimes N$ 위에 $\imath$-표준 기저의 존재가 정규화된 보조군의 분할 BGG 범주 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ 에 대한 완전한 카즈단-루스티그 이론을 가능하게 하는가? 이는 비자명한 B형 리 대수 성분을 포함하는 경우를 포함한다.
• RQ3 기반을 가진 $\mathbb{U}^\text{imath}$-모듈이 $\mathbb{U}$-모듈이 아닐 경우, 새로운 부분 순서가 $\imath$-표준 기저 구성에 어떤 역할을 하는가?
• RQ4 $\Theta^{\text{imath}}$ 의 정수성은 쿼라-$\mathcal{R}$ 행렬과 쿼라-$\mathcal{K}$ 행렬의 정수성에서 유도되며, 이는 $M \otimes N$ 위의 $\imath$-표준 기저의 정수성을 보장하는가?
• RQ5 홀수 $N$ 에 대한 양자 대칭 쌍의 직접 극한에서, 반정수 무게를 가진 분할 범주에 대해 $\imath$-표준 기저를 사용하여 초수 카즈단-루스티그 이론을 정의할 수 있는가?

주요 결과

• 기반을 가진 $\mathbb{U}^\text{imath}$-모듈 $(M, \mathbb{B}^\text{imath})$ 과 기반을 가진 $\mathbb{U}$-모듈 $(N, \mathbb{B})$ 의 텐서곱 $M \otimes N$ 은 $\psi_{\text{imath}}$-불변 기저 $\mathbb{B}^\text{imath} \diamondsuit_{\text{imath}} \mathbb{B}$ 를 갖는다. 따라서 $(M \otimes N, \mathbb{B}^\text{imath} \diamondsuit_{\text{imath}} \mathbb{B})$ 는 기반을 가진 $\mathbb{U}^\text{imath}$-모듈이 된다.
• 기존 순서보다 더 단순하고 일반적인 $\mathbb{U}^\text{imath}$-모듈 설정에 더 적합한 새로운 부분 순서를 사용하여, $M \otimes N$ 위의 $\psi_{\text{imath}}$-불변 기저를 구성한다.
• $\Theta^{\text{imath}}$ 의 정수성은 루스티그 [Lu94] 의 쿼라-$\mathcal{R}$ 행렬의 정수성과 [BW18b] 의 쿼라-$\mathcal{K}$ 행렬의 정수성에 기반하여 확립된다.
• 분할 범주 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ 에 대한 초수 카즈단-루스티그 이론은 $\widehat{\mathbb{T}}^{\mathbf{b},\mathfrak{l}}$ 위의 $\imath$-표준 기저를 통해 수립되며, 등형사상 $\Psi$ 는 기약 모듈과 표준 모듈을 그 $\imath$-표준 기저 대응원소로 보낸다.
• 분할 범주 $\mathcal{O}^{\mathfrak{l}}_{\mathbf{b}}$ 에 대한 카즈단-루스티그 다항식 $t^{\mathbf{b}}_{gf}(q)$ 는 $\mathbb{N}[q]$ 에 속하며, 모든 $f$ 에 대해 $T^{\mathbf{b},\mathfrak{l}}_f = M^{\mathbf{b},\mathfrak{l}}_f + \sum_g t^{\mathbf{b}}_{gf}(q) M^{\mathbf{b},\mathfrak{l}}_g$ 는 유한하다. 이는 양의 정수성과 유한성을 확인한다.
• 이론은 홀수 $N$ 에 대한 양자 대칭 쌍의 직접 극한을 통해 반정수 무게 범주로 확장되며, $\kappa = 0$ 을 통한 D형으로도 확장된다. 이론은 모든 경우에 대해 성립하며, $a_0 > 0$ 인 경우에도 성립한다.