[논문 리뷰] Characters of irreducible modules with non-critical highest weights over affine Lie algebras

Masaki Kashiwara, Toshiyuki Tanisaki|ArXiv.org|1999. 03. 22.

Algebraic structures and combinatorial models참고 문헌 9인용 수 39

한 줄 요약

이 논문은 유리수 비비판 최고 가중치의 경우를 확장하여 전이 함자, Enright 함자, Jantzen의 변형 논증을 통해 아핀 리 대수에서 임의의 비비판 최고 가중치를 가진 기약 최고 가중치 모듈에 대한 카즈단-루스티그 유형의 특성 공식을 수립한다. 핵심 결과는 카즈단-루스티그 다항식과 베르마 모듈의 특성으로 표현된 명시적인 특성 공식을 제공하며, 이는 정수 루트 체계에 대한 양 또는 음의 웨일 치우침 내의 가중치에 대해 유효하다.

ABSTRACT

We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.

연구 동기 및 목표

• 아핀 리 대수에서 임의의 비비판 최고 가중치를 가진 기약 최고 가중치 모듈에 대한 특성 공식 유도.
• 유리수 비비판 최고 가중치에 대한 알려진 특성 공식을 일반 비비판 경우로 확장.
• 표현론적 함자와 변형 기법을 사용하여 통일된 특성 공식 수립.
• 유한차원에서 아핀 리 대수로의 카즈단-루스티그 접근법을 비비판 설정에서 일반화.

제안 방법

• 저자들은 전이 함자를 사용하여 임의의 비비판 가중치를 유리수 가중치와 연결한다.
• 웨일 군 작용 하에서 최고 가중치 모듈의 구조를 제어하기 위해 Enright 함자를 적용한다.
• Jantzen의 변형 논증을 사용하여 일반 경우를 유리수 경우로 감소시킨다.
• 특성 공식은 역 카즈단-루스티그 다항식 $ Q^{ ho}_{y,w}(q) $ 와 웨일 군 $ W( ho) $ 상의 브라하트 순서를 사용하여 유도된다.
• 일반 경우를 유한차원 리 대수로 감소시키기 위해 $ b{Q} mid ho $ 일 때 부분대수 $ rak{p}_J $ 에 제한한다.
• 유한차원에서 아핀 설정으로 특성을 전달하기 위해 $ U(rak{g}) igotimes_{U(rak{p}_J)} L_J( ho) o L( ho) $ 의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 아핀 리 대수에서 비비판 최고 가중치를 가진 기약 모듈의 특성 공식은 어떻게 유리수 경우에서 일반 비비판 경우로 확장될 수 있는가?
• RQ2 전이 함자와 Enright 함자는 서로 다른 최고 가중치 모듈을 어떻게 연결하는가?
• RQ3 Jantzen의 변형 논증은 일반 가중치에서 유리수 가중치로의 감소를 어떻게 촉진하는가?
• RQ4 카즈단-루스티그 다항식은 아핀 설정에서 기약 모듈의 특성을 어떻게 규정하는가?
• RQ5 유도된 모듈 $ U(rak{g}) igotimes_{U(rak{p}_J)} L_J( ho) $ 가 기약 모듈 $ L( ho) $ 를 유도하는 조건은 무엇인가?

주요 결과

• 가장 긴 원소 $ w $ 가 그 코셋 $ wW_0( ho) $ 내에 있을 때, 그리고 $ ho otin b{C} imes b{Q} imes ext{Im} ho $ 이면, 기약 모듈 $ L(w ullet ho) $ 의 특성은 웨일 군 $ W( ho) $ 에서의 합으로 주어지며, 이는 $ q=1 $ 에서 평가된 역 카즈단-루스티그 다항식으로 가중된다.
• $ ho otin b{C} imes b{Q} imes ext{Im} ho $ 이면, 특성 공식은 $ Q^{ ho}_{w,y}(1) $ 과 베르마 모듈 특성으로 표현되며, $ w $ 가 $ wW_0( ho) $ 내에서 가장 긴 원소일 때 유효하다.
• $ ho otin b{C} imes b{Q} imes ext{Im} ho $ 이면, 특성 공식은 $ w $ 가 $ wW_0( ho) $ 내에서 가장 짧은 원소일 때도 $ P^{ ho}_{y,w}(1) $ 를 사용하여 유효하다.
• $ b{Q} mid ho $ 이면, 부분대수 $ rak{p}_J $ 에 제한함으로써 특성 공식은 알려진 유한차원 경우로 감소된다. 이때 $ J eq I $ 이다.
• 동형 $ U(rak{g}) igotimes_{U(rak{p}_J)} L_J( ho) o L( ho) $ 는 성립하며, 이는 특성 공식이 유한차원에서 아핀 리 대수로 전이됨을 보장한다.
• 증명은 $ L_J( ho) $ 의 기약성과 비영인 $ rak{n}^+ $-불변성의 소멸에 의존하며, 이는 $ L_J( ho) $ 에서 최고 가중치 공간 외에 비영인 $ rak{n}^+ $-불변 벡터가 존재하지 않음을 방지한다.