[논문 리뷰] On some representations of degenerate affine Hecke algebras of type $BC_{n}$

Xiaoguang Ma|ArXiv.org|2008. 10. 05.

Advanced Algebra and Geometry참고 문헌 6인용 수 6

한 줄 요약

이 논문은 유니터리 군 주요 시리즈 모듈을 유한차원의 비가역 애볼루션 대수(dAHA) 모듈로 매핑하는 리이론적 함자 $F_{n,p,\nu}$를 통해 $BC_n$ 유형의 비가역 애볼루션 대수(dAHA) 표현을 연구한다. 이 함자는 단위군 주요 시리즈 모듈의 이미지 차원을 계산하고, 교환 가능한 생성자 $">y_i",$ 에 대한 공통 고유벡터를 구성하며, 특히 중심 문자를 사용한 고유값 공식을 통해 dAHA 모듈의 구조를 명시적으로 기술한다. 특히 랭크-1 경우에서 이러한 분석을 수행한다.

ABSTRACT

Let G=U(p,q) and K=U(p)xU(q). In arXiv:0801.1530, the authors construct a functor from the category of Harish-Chandra modules for the pair (G,K) to the category of representations of the degenerate affine Hecke algebra of type B_n. In this paper, we study the image of the principal series modules of G under this functor. We describe the dAHA module structure of the image by constructing a family of common eigenvectors of {y_i}. In the rank 1 case, we write down an explicit formula for the generator y_{1} in terms of central elements of U(g) and calculate the eigenvalue of y_{1} by using the central characters.

연구 동기 및 목표

• 함자 $F_{n,p,\nu}$에 의한 $U(p,q)$-모듈에서 유한차원 $BC_n$ 유형의 dAHA 표현으로의 주요 시리즈 모듈의 이미지 차원을 계산하는 것.
• dAHA의 교환 가능한 생성자 $">y_i",$ 에 대한 공통 고유벡터의 가족을 구성하는 것.
• 명시적인 고유값 계산을 통해 $F_{n,p,\nu}(H_{\pi\otimes\nu})$의 전체 dAHA 모듈 구조를 규명하는 것.
• 랭크-1 경우에서 $U(\mathfrak{g})$의 중심 원소에 대해 $y_1$의 명시적 공식을 중심 문자를 사용하여 제공하는 것.

제안 방법

• 함자 $F_{n,p,\nu}(M) = (M \otimes (\mathbb{C}^N)^{\otimes n})^{\mathfrak{k}^0, \mu}$를 사용하여 $\mathfrak{gl}_N$-모듈을 유한차원 $BC_n$ 유형의 dAHA 표현으로 매핑한다.
• 아와사와 분해와 하리슈-차이라 맵을 적용하여 $U(p,q)$의 주요 시리즈 모듈 $H_{\pi\otimes\nu}$에서 카시미르 연산자의 작용을 분석한다.
• 하리슈-차이라 동형을 통해 고유값을 중심 문자를 통해 $y_i$의 표현으로 계산한다.
• 무게 매개변수 $\lambda$, $\nu$, $\mu$, 및 $\tau$를 사용하여 특수한 경우에서 $c_2 = \mathrm{tr}(y_1^2)$ 및 $c_3 = \mathrm{tr}(y_1^3)$의 명시적 공식을 유도한다.
• 랭크-1 경우를 활용하여 두 개의 서로 다른 매개변수 영역에서 $y_1^2 = \nu_k^2/4$ 및 $y_1^2 = ((q-p+\mu(p+q))/2)^2$를 유도한다.
• 주요 정리(정리 4.7)와의 일致성을 검증하기 위해 계산된 $y_1^2$를 모듈 구조에서 유도된 $\lambda_{1,1}^2$와 비교한다.

실험 결과

연구 질문

• RQ1 함자 $F_{n,p,\mu}$에 의한 주요 시리즈 모듈 $H_{\pi\otimes\nu}$의 이미지 차원은 무엇인가? $BC_n$ 유형의 dAHA에서.
• RQ2 dAHA의 교환 가능한 생성자 $">y_i",$ 에 대한 공통 고유벡터의 가족은 $F_{n,p,\mu}$의 이미지에서 명시적으로 구성될 수 있는가?
• RQ3 $U(p,q)$의 주요 시리즈 모듈에 대해 $F_{n,p,\mu}(H_{\pi\otimes\nu})$의 전체 dAHA 모듈 구조는 무엇인가?
• RQ4 랭크-1 dAHA에서 생성자 $y_1$의 작용은 $U(\mathfrak{gl}_N)$의 중심 원소에 대해 어떻게 표현될 수 있는가?
• RQ5 중심 문자를 통해 계산된 $y_1$의 고유값은 정리 4.7에서 예측한 모듈 구조와 일치하는가?

주요 결과

• 논문의 프레임워크 내에서 주요 시리즈 모듈 $H_{\pi\otimes\nu}$의 이미지 차원이 명시적으로 계산되었다.
• 리이론적 함자와 무게 매개변수를 사용하여 $BC_n$ 유형의 dAHA 생성자 $">y_i",$ 에 대한 공통 고유벡터의 가족이 구성되었다.
• 정리 4.7에서 $F_{n,p,\mu}(H_{\pi\otimes\nu})$의 dAHA 모듈 구조가 완전히 기술되었으며, 이미지 위에서 $y_i$의 작용이 규명되었다.
• 랭크-1 경우에서, 케이스 1에서는 고유값이 $y_1^2 = \nu_k^2/4$로 주어지며, 이는 모듈 구조에서 유도된 고유값 $\lambda_{1,1}^2$와 일致한다.
• 케이스 2에서는 $y_1^2$의 고유값이 $((q-p+\mu(p+q))/2)^2$로 주어지며, 이는 정리 4.7에서 예측한 고유값 $\lambda_{1,1}^2$와 일치한다.
• $c_2 = \mathrm{tr}(y_1^2)$ 및 $c_3 = \mathrm{tr}(y_1^3)$의 공식이 두 매개변수 영역에서 명시적으로 유도되었으며, 이는 모듈의 고유값 구조와 일치함을 확인한다.