[논문 리뷰] Rational semistandard tableaux and character formula for the Lie superalgebra $\hat{\frak{gl}}_{\infty|\infty}$

Jae-Hoon Kwon|ArXiv.org|2006. 04. 29.

Advanced Topics in Algebra참고 문헌 12인용 수 3

한 줄 요약

이 논문은 Lie 초대수 $χτγ_{∞|∞}$ 와 그 쌍대 $τγ_n$ 의 표현 이론을 통합하기 위한 조합적 프레임워크로 $χ/ϒ$-semistandard 표를 도입한다. 이 표들은 이러한 표에 대한 비틀린 Littlewood-Richardson 규칙과 유리수 semistandard 표 사이의 이중성을 수립한다. 이 표들을 통해 quasi-finite 최고가중치 모듈의 새로운 특성 공식을 유도하며, Kac-Radul 및 Cheng-Lam 결과를 일반화하고 Jacobi-Trudi 유형의 공식을 도출한다.

ABSTRACT

A new combinatorial interpretation of the Howe dual pair $(\hat{\frak{gl}}_{\infty|\infty},\frak{gl}_n)$ acting on an infinite dimensional Fock space $\frak{F}^n$ of level $n$ is presented. The character of a quasi-finite irreducible highest weight representation of $\hat{\frak{gl}}_{\infty|\infty}$ occurring in $\frak{F}^n$ is realized in terms of certain bitableaux of skew shapes. We study a general combinatorics of these bitableaux, including Robinson-Schensted-Knuth correspondence and Littlewood-Richardson rule, and then its dual relation with the rational semistandard tableaux for $\frak{gl}_n$. This result also explains other Howe dual pairs including $\frak{gl}_n$.

연구 동기 및 목표

• Fock 공간 $\mathfrak{F}^n$ 에서 작용하는 Howe 쌍 $(\widehat{\mathfrak{gl}}_{\infty|\infty}, \mathfrak{gl}_n)$ 의 조합적 통일적 해석을 제공하는 것.
• $\mathcal{A}/\mathcal{B}$-semistandard 표를 새로운 조합적 프레임워크로 개발하여 $\widehat{\mathfrak{gl}}_{\infty|\infty}$ 의 기약 최고가중치 모듈의 특성 공식을 연구하는 것.
• $\mathfrak{gl}_n$ 에 대한 $\mathcal{A}/\mathcal{B}$-semistandard 표의 조합론과 유리수 semistandard 표 사이의 이중적 관계를 수립하여 RSK 및 Littlewood-Richardson 규칙을 일반화하는 것.
• $L_\lambda$ 에 대한 Jacobi-Trudi 유형의 특성 공식을 유도하는 것 — 이는 이전 문헌에서 관찰되지 않은 신규 결과이다.
• 이중성을 텐서 곱 분해와 분해 규칙으로 확장하여, 조합적 상호성에 기반한 Howe 쌍의 일반적 구조를 설명하는 것.

제안 방법

• 들어가기 위해 $\mathcal{A}/\mathcal{B}$-semistandard 표를 정의한다. 이는 $\mathcal{A}$ 와 $\mathcal{B}$ 라는 계급 집합에 값을 가진 두 개의 semistandard 표의 쌍이며, 일반화된 분할 $\lambda$ 에 의해 제약을 받는다.
• $\mathcal{A}/\mathcal{B}$-표에 대한 삽입 기법을 개발하여 Robinson-Schensted-Knuth (RSK) 대응과 Littlewood-Richardson (LR) 규칙의 유사체를 도출한다.
• 형태 $\lambda/\mu$ 의 비틀린 $\mathcal{A}/\mathcal{B}$-semistandard 표를 정의하고, 비틀린 LR 규칙을 수립하며, 이는 유리수 semistandard 표와 이중적으로 관련되어 있다.
• 적절한 $\mathcal{A}$ 와 $\mathcal{B}$ 선택 하에 $\mathcal{A}/\mathcal{B}$-semistandard 표의 집합 $SST_{\mathcal{A}/\mathcal{B}}(\lambda)$ 의 특성이 분할 유형 공식을 통해 $L_\lambda$ 의 특성으로 줄어든다.
• $\mathcal{A}/\mathcal{B}$-표와 유리수 semistandard 표 사이의 이중성을 이용하여, Howe 이중성 프레임워크 내에서 텐서 곱 분해와 분해 규칙 사이의 이중성을 설명한다.
• $\mathscr{R}^*$ 와 $\mathbf{K}(\mathfrak{g})$ 사이의 호모로지 $\chi: \mathscr{R}^* \to \mathbf{K}(\mathfrak{g})$ 를 수립한다. 이는 LR 규칙과 이중성에 의해 $\mathbb{Z}$-대수 동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 $\widehat{\mathfrak{gl}}_{\infty|\infty}$ 의 quasi-finite 기약 최고가중치 표현 $L_\lambda$ 의 특성이 표의 조합론적 해석으로 표현될 수 있는가?
• RQ2 $\mathfrak{gl}_n$ 에 대한 $\mathcal{A}/\mathcal{B}$-semistandard 표와 유리수 semistandard 표 사이의 정확한 이중성은 무엇인가?
• RQ3 $\mathcal{A}/\mathcal{B}$-표의 Littlewood-Richardson 규칙은 유리수 semistandard 표의 비틀린 LR 규칙으로부터 유도될 수 있으며, 그 반대의 경우도 마찬가지인가?
• RQ4 $L_\lambda$ 의 특성 공식은 Jacobi-Trudi 유형의 표현을 갖는가? 만약 그렇다면, 조합론적으로 어떻게 구성되는가?
• RQ5 Howe 쌍 $(\widehat{\mathfrak{gl}}_{\infty|\infty}, \mathfrak{gl}_n)$ 에서 텐서 곱 분해와 분해 규칙 사이의 이중성은 표의 조합론에서 어떻게 유도되는가?

주요 결과

• $\mathcal{A}/\mathcal{B}$-semistandard 표의 형태 $\lambda$ 에 대해 적절한 $\mathcal{A}$ 와 $\mathcal{B}$ 선택 하에 $\widehat{\mathfrak{gl}}_{\infty|\infty}$ 의 기약 최고가중치 모듈 $L_\lambda$ 의 특성은 그 생성 함수로 표현된다.
• 기존 문헌에서 관찰되지 않았던 $L_\lambda$ 에 대한 새로운 Jacobi-Trudi 유형의 특성 공식이 도출되었다.
• $\mathcal{A}/\mathcal{B}$-semistandard 표의 비틀린 Littlewood-Richardson 규칙은 유리수 semistandard 표의 LR 규칙에 의해 완전히 결정되며, 그 반대의 경우도 마찬가지로, 이는 이중 상호성 관계를 수립한다.
• 새로운 삽입 기법을 통해 $\mathcal{A}/\mathcal{B}$-표의 RSK 대응과 LR 규칙이 구성되었으며, 이는 고전 결과를 초대수 설정으로 일반화한다.
• 표의 특성에 의해 $\mathscr{R}^*$ 와 $\mathbf{K}(\mathfrak{g})$ 사이의 호모로지 $\chi: \mathscr{R}^* \to \mathbf{K}(\mathfrak{g})$ 는 $\mathbb{Z}$-대수 동형사상으로 확인되었다.
• 텐서 곱 분해와 분해 규칙 사이의 이중성은 $\mathcal{A}/\mathcal{B}$-표와 유리수 semistandard 표의 LR 규칙의 상호적 구조를 통해 조합론적으로 설명된다.