[논문 리뷰] Gelfand-Kirillov Dimensions of Highest Weight Harish-Chandra Modules for $SU(p,q)$

Zhanqiang Bai, Xun Xie|arXiv (Cornell University)|2017. 07. 09.

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

한 줄 요약

이 논문은 $SU(p,q)$에 대한 최고원소 하리슈 차ンド라 모듈의 게르파인드-키릴로프(Gelfand-Kirillov, GK) 차원을 계산하기 위해 루스티그의 a-함수와 양-테이블로를 사용하는 조합적 알고리즘을 개발한다. 이는 정수 $\langle \lambda + \rho, \beta^\vee \rangle$가 증가함에 따라 GK 차원이 엄격히 감소함을 증명하며, 관련 다양체를 $\mathfrak{p}^+$ 내의 $K_{\mathbb{C}}$-오빗의 폐포로 완전히 기술한다. 여기서 차원은 $m(n-m)$이며, $m$은 관련된 양-테이블로의 두 번째 열에 있는 원소의 수이다.

ABSTRACT

Let $ (G,K) $ be an irreducible Hermitian symmetric pair of non-compact type with $G=SU(p,q)$, and let $ λ$ be an integral weight such that the simple highest weight module $ L(λ) $ is a Harish-Chandra $ (\mathfrak{g},K) $-module. We give a combinatoric algorithm for the Gelfand-Kirillov dimension of $ L(λ) $. This enables us to prove that the Gelfand-Kirillov dimension of $ L(λ) $ decreases as the integer $ \langleλ+ρ,β^\vee angle $ increases, where $ρ$ is the half sum of positive roots and $β$ is the maximal noncompact root. As a byproduct, we obtain a description on the associated variety of $ L(λ) $.

연구 동기 및 목표

• G = $SU(p,q)$에 대한 최고원소 $(\mathfrak{g},K)$-모듈의 GK 차원을 계산하기 위한 조합적 알고리즘을 개발한다.
• 기존의 유니터리 경우 결과를 일반화하여, $\langle \lambda + \rho, \beta^\vee \rangle$가 증가함에 따라 GK 차원이 감소함을 보이며, 모든 최고원소 하리슈 차ンド라 모듈에 대해 적용한다.
• 이러한 모듈의 관련 다양체를 $\mathfrak{p}^+$ 내의 $K_{\mathbb{C}}$-오빗 폐포의 관점에서 완전히 기술한다.
• 모듈 $L(\lambda)$의 GK 차원과 관련 다양체에 대한 $P(\lambda)$의 양-테이블로 구조 간의 정확한 연결 고리를 설정한다.

제안 방법

• 적분 웨일 군에 관련된 $W_{[\lambda]}$에서 루스티그의 a-함수를 사용하며, $w$가 $\lambda$의 닷 오빗에서 최소 길이를 가지면 $\operatorname{GKdim}L(\lambda) = |\Phi^+| - \mathbf{a}_{[\lambda]}(w)$가 성립한다.
• $\lambda + \rho = (\lambda_1, \dots, \lambda_n)$에 관련된 $P(\lambda)$라는 양-테이블로의 집합을 구성하며, $P(\lambda)$의 형태가 GK 차원을 결정한다.
• 정리 5.6을 적용하여 $P(\lambda)$의 두 번째 열에 있는 원소의 수인 $m$을 $\operatorname{GKdim}L(\lambda) = m(n - m)$를 통해 GK 차원과 연결한다.
• GK 차원을 $K_{\mathbb{C}}$-오빗 폐포 내에서 서로 다른 무게들 간에 비교하기 위해 번역 함자와 양-테이블로의 연산을 사용한다.
• $L(\lambda)$의 관련 다양체를 $\overline{\mathcal{O}}_m$로 식별하며, 이는 $\mathfrak{p}^+$ 내에서 차원 $m(n - m)$인 $K_{\mathbb{C}}$-오빗의 폐포이다.
• 잔텐 전역 함자와 $\mathfrak{sl}(n)$에 대한 로빈슨-센스테드 대응을 사용하여 문제를 $\mathfrak{g} = \mathfrak{sl}(n)$의 경우로 환원한다.

실험 결과

연구 질문

• RQ1 SU(p,q)에 대한 최고원소 $(\mathfrak{g},K)$-모듈의 GK 차원은 $\langle \lambda + \rho, \beta^\vee \rangle$가 증가함에 따라 감소하는가?
• RQ2 이러한 모듈의 GK 차원은 양-테이블로에 기반한 조합적 알고리즘을 통해 계산될 수 있는가?
• RQ3 SU(p,q)에 대한 최고원소 $(\mathfrak{g},K)$-모듈의 관련 다양체의 정확한 구조는 무엇인가?
• RQ4 관련된 양-테이블로의 두 번째 열에 있는 원소의 수는 GK 차원과 관련 다양체와 어떻게 관련되는가?
• RQ5 이러한 모듈의 GK 차원이 0이 되는 조건은 무엇인가?

주요 결과

• $\lambda = \tilde{\lambda} + z\zeta$에 대해 $L(\lambda)$의 게르파인드-키릴로프(Gelfand-Kirillov) 차원은 \\ \operatorname{GKdim}L(\tilde{\lambda} + z\zeta) = \begin{cases} pq, & z < \max\{p,q\} \\ (z+1)(n-1-z), & \max\{p,q\} \leq z \leq n-1 \\ 0, & z \geq n \end{cases} \\ 로 주어진다.
• $z = \langle \lambda + \rho, \beta^\vee \rangle$가 정수로 증가함에 따라 $L(\lambda)$의 GK 차원은 엄격히 감소하며, $z \in \mathbb{Z}$에 대해 $\operatorname{GKdim}L(\tilde{\lambda} + z\zeta)$는 약한 감소성을 가진다.
• $L(\lambda)$의 관련 다양체는 $\overline{\mathcal{O}}_m$이며, 이는 $\mathfrak{p}^+$ 내에서 차원 $m(n - m)$인 $K_{\mathbb{C}}$-오빗의 폐포이다. 여기서 $m$은 양-테이블로 $P(\lambda)$의 두 번째 열에 있는 원소의 수이다.
• 비정수 무게 $\lambda$에 대해 $P(\lambda)$는 두 개의 단일 열 양-테이블로로 구성되며, $\operatorname{GKdim}L(\lambda) = pq$이며, 관련 다양체는 $\overline{\mathcal{O}}_r$이다. 여기서 $r = \min\{p,q\}$이다.
• $z \geq n$일 때 GK 차원은 0이며, 관련 다양체는 전체 공간 $\mathfrak{p}^+$이며, 이는 $\overline{\mathcal{O}}_n = \mathfrak{p}^+$에 해당한다.
• 형태의 불변성 덕분에 $z \in I_{\tilde{\lambda}} \cap \mathbb{Z}$에 대해 $P(\tilde{\lambda} + z\zeta)$가 유지되므로, $\mathbb{Z}$-구간 $I_{\tilde{\lambda}}$ 내에서 GK 차원은 일정하며, 이는 균일한 계산을 가능하게 한다.