[논문 리뷰] On Categories $\mathcal{O}$ for Root-Reductive Lie Algebras

Thanasin Nampaisarn|arXiv (Cornell University)|2017. 11. 30.

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

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 무한차원 루트-재수성 리 대수에 대해 Bernstein-Gel'fand-Gel'fand 범주 $\mathcal{O}$의 유사체를 제안한다. 다이킨 보렐 부분대수에 초점을 맞추어, 벨라 모듈러, 합성계열 유사체, 일반화된 카즈단-루스티그 이론을 갖춘 잘 정의된 범주 $\bar{\mathcal{O}}$를 수립한다. 또한, 포함된 사영 대상이 없음에도 불구하고, 잘린 부분범주에 대해 BGG 상호관계의 한 형태를 증명한다.

ABSTRACT

Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We study the category $\bar{\mathcal{O}}$ consisting of all $\mathfrak{h}$-weight $\mathfrak{g}$-modules which are locally $\mathfrak{b}$-finite and have finite-dimensional $\mathfrak{h}$-weight spaces. The focus is on very special Borel subalgebras called the Dynkin Borel subalgebras. This paper serves as an initial passage to the understanding of categories $\mathcal{O}$ for infinite-dimensional root-reductive Lie algebras.

연구 동기 및 목표

• 재수성 리 대수의 특정 제약 조건을 만족하는 직접 극한인 무한차원 루트-재수성 리 대수에 대해 고전적인 BGG 범주 $\mathcal{O}$를 확장하기.
• 분할 보렐 부분대수 $\mathfrak{b}$를 포함하는 splitting 최대 타랄 부분대수 $\mathfrak{h}$에 대해, $\mathfrak{h}$-반단순성, 국소적으로 유한한 $\mathfrak{b}$-작용, 유한차원 $\mathfrak{h}$-중요성 공간을 갖는 $\mathfrak{h}$-반단순 모듈러의 집합으로 구성된 일반화된 범주 $\bar{\mathcal{O}}$를 정의하고 연구하기.
• 다이킨 보렐 부분대수—특정 순서가 부여된 유한 루트 체계의 합집합인 루트 체계를 갖는 특수한 보렐 부분대수—에 초점을 맞추어, $\bar{\mathcal{O}}$에 벨라 모듈러와 합성계열 유사체 등의 향상된 구조적 성질를 부여하기.
• 루트-재수성 리 대수에 대해 카즈단-루스티그 이론을 일반화하고, 포함된 사영 대상이 없음에도 불구하고 잘린 부분범주에 대해 BGG 상호관계의 한 형태를 수립하기.

제안 방법

• 분할 보렐 부분대수 $\mathfrak{b}$와 그에 포함된 분할 최대 타랄 부분대수 $\mathfrak{h}$를 갖는 루트-재수성 리 대수 $\mathfrak{g}$에 대해 확장된 범주 $\bar{\mathcal{O}}$를 정의하며, $\mathfrak{h}$-반단순성, 국소적으로 유한한 $\mathfrak{b}$-작용, 유한차원 $\mathfrak{h}$-중요성 공간을 요구한다.
• 루트 체계가 유한 루트 체계의 합집합이면서 특정 순서가 있는 다이킨 보렐 부분대수에 초점을 맞추며, 더 강력한 구조적 결과를 가능하게 한다.
• 유한차원 단순 리 대수와 $\mathfrak{sl}_\infty$, $\mathfrak{so}_\infty$, $\mathfrak{sp}_\infty$와 같은 단순 유한형 리 대수로 이루어진 유도된 이상 $[\mathfrak{g}, \mathfrak{g}]$의 구조를 활용한다.
• 벨라 모듈러를 $\mathfrak{b}$-모듈러에서 유도된 모듈러로 구성하며, $\mathfrak{b}$가 다이킨 보렐 부분대수일 경우 $\bar{\mathcal{O}}$의 대상임을 보인다.
• 웨일 군의 작용과 웨이트에 의해 유도되는 웨일 군의족에 의한 동치관계를 통해 $\bar{\mathcal{O}}$의 블록 분해를 분석한다.
• 문헌 [RCW]의 기법을 적용하여, 전체 범주에서 사영 대상이 없음에도 불구하고 잘린 부분범주에 대해 BGG 상호관계를 수립한다.

실험 결과

연구 질문

• RQ1 고전적인 BGG 범주 $\mathcal{O}$는 어떻게 무한차원 루트-재수성 리 대수로 일반화될 수 있는가?
• RQ2 다이킨 보렐 부분대수에 대해 정의된 범주 $\bar{\mathcal{O}}$는 어떤 구조적 성질을 갖는가?
• RQ3 카즈단-루스티그 이론은 루트-재수성 리 대수에 대해 $\bar{\mathcal{O}}$로 어떻게 일반화될 수 있는가?
• RQ4 $\bar{\mathcal{O}}$의 블록 구조는 루트 체계와 웨일 군의족 작용에 어떻게 반영되는가?
• RQ5 사영 대상이 없음에도 불구하고 $\bar{\mathcal{O}}$에서 BGG 상호관계의 형태는 존재하는가?

주요 결과

• 다이킨 보렐 부분대수에 대해 정의된 범주 $\bar{\mathcal{O}}$는 모든 벨라 모듈러를 포함하며, 이는 리 대수의 표현 이론에서 핵심적인 역할을 한다.
• $\bar{\mathcal{O}}$의 모든 대상은 유한 길이의 몫이 기약 또는 벨라 모듈러인 합성계열의 유사체를 갖는다.
• 카즈단-루스티그 이론은 $\bar{\mathcal{O}}$로 일반화되며, 벨라 모듈러 내의 합성 인자들을 묘사하는 데 카즈단-루스티그 다항식을 사용할 수 있다.
• $\bar{\mathcal{O}}$의 블록 분해는 웨일 군의족이 웨이트 격자에 작용하는 방식에 의해 제어되며, 블록은 이 작용에 따른 궤도로 인덱싱된다.
• 비록 $\bar{\mathcal{O}}$가 사영 대상을 포함하지 않지만, [RCW]의 방법을 통해 잘린 부분범주에 대해 BGG 상호관계의 형태가 성립한다.
• 루트-재수성 리 대수 $\mathfrak{g}$의 유도된 이상 $[\mathfrak{g}, \mathfrak{g}]$는 유한차원 단순 리 대수와 단순 유한형 리 대수의 직합이며, 각각의 중복도는 최대 가산이다.