[논문 리뷰] Representations of Two-Parameter Quantum Groups and Schur-Weyl Duality

Georgia Benkart, Sarah Witherspoon|ArXiv.org|2001. 08. 06.

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

한 줄 요약

이 논문은 glₙ 및 slₙ에 관련된 양자군에 대해 두 매개수 버전의 스슈어-웨일 대칭성을 수립하며, n ≥ k일 때 자연스러운 n차원 모듈 V의 k중 텐서곱 V^⊗k 위에서 양자군 작용의 중심자 대칭이 두 매개수 헤케 대칭과 동형임을 증명한다. 또한 유한차원 단순 모듈을 분류하고 카르탕 부분대수의 반단순 작용 하에서 완전 가역성을 증명한다.

ABSTRACT

We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.

연구 동기 및 목표

• rs⁻¹ 이 단위근이 아닐 때 두 매개수 양자군 U_{r,s}(glₙ) 및 U_{r,s}(slₙ)의 유한차원 단순 모듈을 분류하는 것.
• Ũ⁰ 이 반단순적으로 작용하는 유한차원 모듈이 완전 가역적임을 증명하는 것.
• U_{r,s}(glₙ)의 자연스러운 n차원 모듈 V에 대해 두 매개수 버전의 스슈어-웨일 대칭을 수립하는 것.
• V^⊗k 위에서 양자군 작용의 중심자 대칭의 구조를 규명하여, n ≥ k일 때 H_k(r,s) 두 매개수 헤케 대칭과 동형임을 보이는 것.
• n ≥ k일 때 V^⊗k 가 U_{r,s}(glₙ)-모듈로서 순환임을 보이는 것.

제안 방법

• 유한차원 단순 모듈의 분류는 양자군의 구조와 카르탕 부분대수의 작용에 기반하며, [BW]에서 정의된 양자 카시미어 연산자를 사용하여 완전 가역성을 증명한다.
• U_{r,s}(glₙ)에 대한 자연스러운 n차원 모듈 V 는 기저 {v₁,…,vₙ} 위에서 생성자 e_j, f_j, a_i^±¹, b_i^±¹ 의 작용을 통해 구성된다.
• R-행렬 R_{V,V} 는 V^⊗k 위에 연산자 R_i 를 유도하며, 이들은 양자군 작용과 가환하고 End_{Ũ}(V^⊗k) 의 부분대칭을 생성한다.
• R_i 연산자를 통해 두 매개수 헤케 대칭 H_k(r,s) 에서 End_{Ũ}(V^⊗k) 로의 사상이 구성되며, 브레인드 관계와 양자군 관계로부터 유도된 관계를 갖는다.
• Ũ-인터티너가 순환 벡터에서 0이 되면 반드시 0이 되어야 하므로, V^⊗k 의 순환성과 함께 H_k(r,s) → End_{Ũ}(V^⊗k) 의 상사상성(서젝션)을 증명한다.
• n ≥ k 일 때, H_k(r,s) 와 End_{Ũ}(V^⊗k) 사이의 동형은 차원 비교를 통해 확립되며, 양쪽 모두 차원이 k! 이고, R_σ 기저의 일차독립성에 의해 사상은 단사적이다.

실험 결과

연구 질문

• RQ1 rs⁻¹ 이 단위근이 아닐 때 두 매개수 양자군 U_{r,s}(glₙ) 의 유한차원 단순 모듈은 무엇인가?
• RQ2 유한차원 모듈이 U_{r,s}(glₙ) 에서 완전 가역적이 되는 조건은 무엇인가?
• RQ3 스슈어-웨일 대칭은 두 매개수 양자군 설정에서 어떻게 일반화되는가?
• RQ4 자연스러운 n차원 모듈 V 에 대해 V^⊗k 위에서 양자군 작용의 중심자 대칭의 구조는 무엇인가?
• RQ5 n ≥ k 일 때 V^⊗k 는 U_{r,s}(glₙ) 에서 순환 모듈인가?

주요 결과

• rs⁻¹ 이 단위근이 아닐 때 U_{r,s}(glₙ) 및 U_{r,s}(slₙ) 의 유한차원 단순 모듈은 최고 무게가 주어진 정수 무게 격자 내에 있을 때 분류된다.
• rs⁻¹ 이 단위근이 아닐 때, Ũ⁰ 이 반단순적으로 작용하는 모든 유한차원 Ũ-모듈은 완전 가역적이다.
• End_{Ũ}(V^⊗k) 는 R_i 연산자들에 의해 생성되며, 이들은 두 매개수 헤케 대칭 H_k(r,s) 의 브레인드 관계를 만족한다.
• n ≥ k 일 때, 중심자 대칭 End_{Ũ}(V^⊗k) 는 두 매개수 헤케 대칭 H_k(r,s) 와 동형이며, 양쪽 모두 차원이 k! 이다.
• Ũ 가 V^⊗k 에 작용하는 것은 n ≥ k 일 때 순환적이다. 즉, V^⊗k 는 Ũ 의 작용으로 단일 벡터에 의해 생성된다.
• n ≥ k 일 때, H_k(r,s) 에서 End_{Ũ}(V^⊗k) 로의 사상은 동형이며, n < k 일 때는 서젝션으로서, 그 이미지는 전체 중심자 대칭이다.