[논문 리뷰] Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra q(n)

Jonathan Brundan|ArXiv.org|2002. 07. 02.

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

한 줄 요약

이 논문은 양자군 설정에서 U_q(𝔟_∞)의 카즈단-류즈티그 다항식과 캐논칼 기저를 사용하여, Lie 초대수 𝖗(n)의 유한차원 기약 표현에 대한 문자 공식을 수립한다. 이는 Kac의 1977년 문제를 완전한 조합론적 해법으로 해결하며, 분해수 d_{μ,λ}는 μ가 영중량과 대칭 쌍을 이용한 부호화된 이동에 의해 λ의 켤레일 경우 2^{(z(λ)−z(μ))/2}이고, 그 외의 경우 0임을 증명한다. 이는 𝖗(n)에 대한 Kac의 문자 문제를 완전히 해결한다.

ABSTRACT

The problem of computing the characters of the finite dimensional irreducible representations of the Lie superalgebra $\mathfrak q(n)$ over $\C$ was solved in 1996 by I. Penkov and V. Serganova. In this article, we give a different approach relating the character problem to canonical bases of the quantized enveloping algebra $U_q(\mathfrak b_{\infty})$. We also formulate for the first time a conjecture for the characters of the infinite dimensional irreducible representations in the analogue of category $\mathcal O$ for the Lie superalgebra $\mathfrak{q}(n)$.

연구 동기 및 목표

• 1977년 Kac의 문제를 해결하기 위해 Lie 초대수 𝖗(n)의 유한차원 기약 표현의 문자를 계산하는 것.
• 양자군 U_q(𝔟_∞)와 그 캐논칼 기저를 이용한 새로운 리이론적 프레임워크를 제공하는 것.
• Q(n)-표현의 코호모로지 군에서 분해수 d_{μ,λ}에 대한 정확한 조합론적 공식을 수립하는 것.
• q=1에서의 전이행렬을 통해 Fock 공간 𝔽^n의 캐논칼 기저와 Q(n)의 문자환 사이의 연결을 설정하는 것.
• q=1에서의 전이행렬 원소가 𝖗(n)의 베르마 모듈의 구성 다중도를 계산한다는 추측을 제기하는 것.

제안 방법

• Lusztig의 방법을 사용하여 U_q(𝔟_∞)의 텐서 공간 𝔗^n = ⊗^n 𝔛V의 캐논칼 기저를 구성하는 것.
• Jing, Misra, Okado의 구성 방법을 이용하여 외적 공간 𝔽^n = ∧^n 𝔛V를 𝔗^n의 몫으로 실현하는 것.
• quotient 사상 아래에서 𝔗^n의 캐논칼 기저의 상으로서 𝔽^n의 캐논칼 기저를 정의하는 것.
• q=1에서 𝔽^n의 캐논칼 기저와 단항기저 사이의 전이행렬을 코호모로지 군에서의 분해행렬 d_{μ,λ}로 식별하는 것.
• Chevalley 생성자 E_i, F_i의 대칭성과 작용을 이용하여 단사적 불가약 모듈 U(λ)를 재귀적으로 구성하고, 이를 캐논칼 기저와 연결하는 것.
• ϕ*가 𝔽^n의 캐논칼 기저 원소 U_λ(1)을 코호모로지 군에서의 단사적 불가약 모듈 [U(λ)]의 동치류로 보낸다는 것을 증명함으로써 문자 공식을 수립하는 것.

실험 결과

연구 질문

• RQ1 Q(n)의 기약 표현에 대한 분해수 d_{μ,λ}의 조합론적 구조는 무엇인가요?
• RQ2 U_q(𝔟_∞)의 캐논칼 기저를 통해 𝖗(n)의 카즈단-류즈티그 다항식은 어떻게 정의될 수 있나요?
• RQ3 Fock 공간 𝔽^n의 캐논칼 기저와 Q(n)의 문자환 사이의 정확한 관계는 무엇인가요?
• RQ4 분해수 d_{μ,λ}는 높은 무게 λ와 그 영중량 구조에 대해 명시적으로 계산될 수 있나요?
• RQ5 q=1에서 캐논칼 기저와 단항기저 사이의 전이행렬은 기약 문자의 분해행렬과 동일한가요?

주요 결과

• 분해수 d_{μ,λ}는 μ가 어떤 θ ∈ {0,1}^p에 대해 R_θ(λ)의 궤도에 있을 경우 d_{μ,λ} = 2^{(z(λ)−z(μ))/2}이고, 그 외의 경우 0이다.
• z(λ)는 높은 무게 λ ∈ ℤ_+^n에서 0인 성분의 수를 세는 수이다.
• 𝔽^n의 캐논칼 기저는 Lusztig의 캐논칼 기저 이론을 이용해 구성된 𝔗^n의 캐논칼 기저를 몫화함으로써 얻어진다.
• q=1에서 𝔽^n의 캐논칼 기저와 단항기저 사이의 전이행렬은 Q(n)의 코호모로지 군에서의 분해행렬 d_{μ,λ}와 같다.
• ϕ*는 캐논칼 기저 원소 U_λ(1)을 코호모로지 군에서의 단사적 불가약 모듈 [U(λ)]의 동치류로 보낸다.
• 주요 결과는 분해수 d_{μ,λ}가 U_q(𝔟_∞)의 캐논칼 기저에서의 구조상수 u_{μ,λ}(q)를 q=1에서 평가한 값과 같다는 것을 암시한다.