[논문 리뷰] Characters of representations of affine Kac-Moody Lie algebras at the critical level

Tomoyuki Arakawa|arXiv (Cornell University)|2007. 06. 13.

Algebraic structures and combinatorial models참고 문헌 28인용 수 4

한 줄 요약

이 논문은 유한차원 단순 리 대수에서 통합 가능한 경우, 애프린 Kac-Moody 대수의 임계 수준에서 불가약한 최고 무게 표현에 대한 문자 공식을 수립한다. 양자 Drinfeld-Sokolov 감소와 기하학적 Langlands dualiry의 결과를 이용하여, 웨일 군 작용과 양의 루트에 대한 곱을 포함하는 웨일-카스 타입의 공식을 도출함으로써, 통합 표현에 대한 임계 수준 문자 이론에서 오랫동안 남아있던 격차를 해결한다.

ABSTRACT

We present an explicit character formula for the irreducible highest weight representations of the non-twisted affine Kac-Moody Lie algebra at the critical level which are integrable over the corresponding finite-dimensional simple Lie algebra.

연구 동기 및 목표

• 애프린 Kac-Moody 대수의 임계 수준에서 불가약한 최고 무게 표현의 형식적 문자를 결정하는 것.
• 특히 통합 표현에 대해 문자 공식이 부족한 임계 수준 표현에 대한 문제를 다루는 것.
• 표현 이론적 및 기하학적 방법을 이용하여 임계 수준의 웨일-카스 타입 문자 공식을 수립하는 것.
• 양자 Drinfeld-Sokolov 감소를 통한 Frenkel과 Gaitsgory의 추측을 확인하는 것 — 이는 이러한 표현의 구조에 관한 것이다.

제안 방법

• 저자는 양자 Drinfeld-Sokolov 감소를 사용하여 베르마 모듈의 문자와 진공 모듈의 자기환원환 사이의 관계를 설정한다.
• 특정 중심 문자에 의해 소멸하는 모듈의 범주와 Zhu 대수 위의 군집 모듈의 범주 사이의 동치를 통해 문자 공식을 유도한다.
• 임계 수준의 정점 대수의 중심과 진공 모듈의 자기환원환 사이의 동형을 기반으로 하는 방법이다.
• 웨일 군 작용과 이동된 작용 $ w \bullet \lambda = w(\lambda + \rho) - \rho $를 사용하여 문자 공식의 분자 표현에 사용된다.
• 분모에는 양의 실수 루트에 대한 곱과 양의 정수에 대한 곱이 포함되어 있으며, 이는 무게 공간 분해의 구조를 반영한다.
• 증명는 베르마 모듈의 문자가 자기환원환의 문자와 불가약 모듈의 문자의 곱과 일치함을 검증함으로써 완성된다.

실험 결과

연구 질문

• RQ1 유한차원 성분에서 통합 가능한 경우, 애프린 Kac-Moody 대수의 임계 수준에서 불가약한 최고 무게 표현의 문자는 무엇인가?
• RQ2 표준 웨일-카스 공식이 실패하는 상황에서, 임계 수준의 경우로 문자 공식을 일반화할 수 있는가?
• RQ3 양자 Drinfeld-Sokolov 감소 방법을 이용하여 임계 수준에서 문자 공식을 도출할 수 있는가?
• RQ4 표현 이론적 구조를 Zhu 대수 위의 군집 모듈에 대한 범주적 동치로 설명할 수 있는가?
• RQ5 최고 무게가 정수 특이점들을 피할 경우, 문자 공식은 알려진 일반 사례로 줄어들기는 하는가?

주요 결과

• 임계 수준에서 $ \lambda \in P^{+}_{\text{crit}} $ 인 $ L(\lambda) $의 문자는 $ \operatorname{ch}L(\lambda) = \frac{\sum_{w \in \bar{W}} (-1)^{\ell(w)} e^{w \bullet \lambda}}{\prod_{\alpha \in \bar{\Delta}_+} (1 - q^{-\langle \lambda + \rho, \alpha^\vee \rangle}) \prod_{\alpha \in \Delta^{\text{re}}_+} (1 - e^{-\alpha})} $ 로 주어지며, 여기서 $ q = e^{\delta} $ 이다.
• 진공 모듈의 자기환원환 $ R_{{\mathcal{Z}}}^{\bar{\lambda}} $ 는 Zhu 대수와 동형이며, 그 군집 문자는 $ \operatorname{ch}R_{{\mathcal{Z}}}^{\bar{\lambda}} = \frac{\prod_{\alpha \in \bar{\Delta}_+} (1 - q^{-\langle \lambda + \rho, \alpha^\vee \rangle})}{\prod_{j \geq 1} (1 - q^{-j})^{\ell}} $ 로 주어진다.
• 베르마 모듈 $ V(\lambda) $ 는 $ R_{{\mathcal{Z}}}^{\bar{\lambda}} $ 위의 자유 모듈이며, 그 문자는 $ \operatorname{ch}V(\lambda) = \operatorname{ch}R_{{\mathcal{Z}}}^{\bar{\lambda}} \cdot \operatorname{ch}L(\lambda) $ 를 만족한다.
• 범주 동치 $ \mathcal{M}^{\bar{\lambda}} \sim R_{{\mathcal{Z}}}^{\bar{\lambda}}\text{-grmod} $ 가 확립되었으며, 역함수는 $ F(M) = \operatorname{Hom}_{U({\mathfrak{g}}')} (V(\lambda), M) $ 과 $ G(X) = V(\lambda) \otimes_{R_{{\mathcal{Z}}}^{\bar{\lambda}}} X $ 로 주어진다.
• 공식은 Frenkel과 Gaitsgory의 추측 5 [Fre06]를 군집 사례에서 확인하며, 모든 $ \chi \in \operatorname{Op}_{{}^L G}^{\bar{\lambda}} $ 에 대해 $ V(\lambda)/\ker \chi \cdot V(\lambda) $ 의 불가약성이 입증된다.
• 대수 $ R_{{\mathcal{Z}}}^{\bar{\lambda}} $ 의 스펙트럼은 옵저의 다양체 $ \operatorname{Op}_{{}^L G}^{\bar{\lambda}} $ 와 동형이며, 이는 표현 이론과 기하학적 Langlands를 연결한다.