[논문 리뷰] Highest weight categories and Macdonald polynomials

Khoroshkin Anton|arXiv (Cornell University)|2013. 12. 26.

Algebraic structures and combinatorial models참고 문헌 21인용 수 12

한 줄 요약

이 논문은 리 초대수 $\sigma\otimes\mathbb{C}[x,\xi]$와 관련된 최고 원소 가중치 범주를 사용하여 맥도널드 다항식의 분류화를 수립한다. 이에 따라 맥도널드 다항식은 특정 모듈러 복합체의 중급 특성으로 나타나며, 핵심 결과로는 맥도널드 쌍대성과 유도 범주 내의 호모로지 쌍대성이 일치한다는 점이며, BGG 재조합성에 따라 이러한 복합체는 와일 및 베르마 모듈러의 일반화된 형태로 붕괴된다.

ABSTRACT

The aim of this paper is to introduce the categorical setup which helps us to relate the theory of Macdonald polynomials and the theory of Weyl modules for current Lie algebras discovered by V.\,Chari and collaborators. We identify Macdonald pairing with the homological pairing on the ring of characters of the Lie algebra of currents $\mathbf{g}\otimes\mathbb{C}[x,ξ]$. We use this description in order to define complexes of modules whose Euler characteristic of characters coincide with Macdonald polynomials. We generalize this result to the case of graded Lie algebras with anti-involution. We show that whenever the BGG reciprocity holds for the corresponding category of modules then these complexes collapse to the modules concentrated in homological degree $0$. The latter modules generalizes the notion of Weyl modules for current Lie algebras and the notion of Verma modules in the BGG category $\mathcal{O}$. We give different criterions of BGG reciprocity and apply them to the Lie algebra of currents $\mathbf{g}\otimes\mathbb{C}[x]$ with $\mathbf{g}$ semisimple.

연구 동기 및 목표

• 현재 리 대수에 대한 맥도널드 다항식과 와일 모듈러를 연결하는 분류적 프레임워크를 수립하기 위해.
• 맥도널드 쌍대성과 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-모듈러의 그레이드된 모듈러의 코호르모지-그로텐디에크 링에서의 호모로지 쌍대성 간의 관계를 규명하기 위해.
• 스슈어 비양성성을 극복하기 위해 호모로지 대수학을 활용하여 맥도널드 다항식을 유도 복합체의 그레이드 특성으로 실현하기 위해.
• 유도 범주를 이용하여 현재 리 대수 및 BGG 범주 $\mathcal{O}$의 맥두널드 다항식의 일반화된 와일 및 베르마 모듈러를 제시하기 위해.
• BGG 재조합성의 조건을 제시하고, $\mathbf{g}$ 가 단순할 경우 $\mathbf{g}\otimes\mathbb{C}[x]$에 대해 이를 검증하기 위해.

제안 방법

• 현재 리 초대수 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$ 위의 이중 그레이드, 국소 유한차원 모듈러의 범주 $\mathcal{I}(\mathbf{g}\otimes\mathbb{C}[x,\xi])$를 정의하기 위해.
• 반대자기사상 $\tau$를 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$에 적용하여 그레이드 쌍대 $N^{\checkmark}$ 와 이동 함자 $\{k,l\}$를 정의하기 위해.
• 유도 호모모르피즘의 오일러 특성에 의한 호모로지 쌍대성 $\langle M,N\rangle_{\mathbf{g}\otimes\mathbb{C}[x,\xi]}$가 맥도널드 쌍대성과 일치함을 증명하기 위해.
• 유도 호모모르피즘 계산에서의 비비교 가능성 문제를 해결하기 위해 주어진 최고 원소 가중치에 대한 총선형 순서를 도입하기 위해.
• 유도 범주 $\mathcal{D}^-(\mathcal{I})$ 내에서 복합체 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$를 구성하고, 정규화 후 그레이드 특성이 맥도널드 다항식을 제공함을 보여주기 위해.
• 정규화된 특성 $f_\lambda := \chi_{q\text{-}{\mathfrak{g}}_0}(\bar{\imath}_\lambda^! \mathcal{P}(\lambda)) / z_\lambda(q)$를 정의하며, 여기서 $z_\lambda(q)$는 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ 내의 $L(\lambda)$-다중도의 그레이드 오일러 특성이다.

실험 결과

연구 질문

• RQ1 맥도널드 다항식은 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-모듈러의 유도 범주 내 복합체의 그레이드 특성으로 분류화될 수 있는가?
• RQ2 현재 리 초대수 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-모듈러에서의 호모로지 쌍대성은 대칭 함수에서의 맥도널드 쌍대성과 어떻게 관련이 있는가?
• RQ3 유도 복합체 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$가 0차 수준에 집중된 모듈러로 붕괴되는 조건은 무엇인가?
• RQ4 현재 리 대수의 맥두널드 다항식의 유도 구조에서 어떤 와일 및 베르마 모듈러의 일반화가 도출되는가?
• RQ5 범주 $\mathcal{I}(\mathbf{g}\otimes\mathbb{C}[x,\xi])$에서 BGG 재조합성이 성립하기 위한 조건은 무엇인가?

주요 결과

• 코호르모지-그로텐디에크 링에서의 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-모듈러에 대한 호모로지 쌍대성은 유도 호모모르피즘의 오일러 특성을 통해 맥도널드 쌍대성과 일치한다.
• 맥도널드 다항식은 정규화된 그레이드 특성 $f_\lambda = \chi_{q\text{-}{\mathfrak{g}}_0}(\bar{\imath}_\lambda^! \mathcal{P}(\lambda)) / z_\lambda(q)$로 실현되며, 여기서 $z_\lambda(q)$는 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ 내의 $L(\lambda)$-다중도의 그레이드 오일러 특성이다.
• BGG 재조합성이 성립할 경우, 복합체 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$는 호모로지 차수 0에 집중된 모듈러로 붕괴되며, 이는 와일 및 베르마 모듈러의 일반화된 형태를 제공한다.
• 정규화된 특성 $f_\lambda$는 일반화된 맥도널드 다항식의 정의적 성질을 만족한다: 맥도널드 쌍대성 하에서의 직교성과 단항식 기저에서의 상삼각성.
• 쌍대성 $\langle f_\lambda, f_\lambda \rangle_{{\mathfrak{g}}} = 1/z_\lambda(q)$는 정규화가 맥도널드 내적과 일관됨을 확인한다.
• 단순한 $\mathbf{g}$에 대해 $\mathcal{I}(\mathbf{g}\otimes\mathbb{C}[x])$에서 BGG 재조합성이 성립하여, 유도 복합체가 0차 수준의 모듈러로 붕괴됨을 보장한다.