[논문 리뷰] Categories O for Dynkin Borel Subalgebras of Root-Reductive Lie Algebras

Thanasin Nampaisarn|arXiv (Cornell University)|2017. 06. 19.

Algebraic structures and combinatorial models인용 수 5

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, $\mathfrak{sp}_\infty(\mathbb{K})$와 같은 루트-재수화된 리 대수에 대해 고전적인 Bernstein-Gelfand-Gelfand (BGG) 분류 $\mathcal{O}$의 유사체를 소개하고 연구한다. 주요 기여는 루트-재수화된 리 대수의 다이킨 보렐 부분대수에 대해 확장된 분류 $\bar{\mathcal{O}}$를 개발하여, 일부 임베딩된 단순 대체물이 존재하지 않음에도 불구하고 BGG 재조화 법칙과 블록 분해 결과를 확립한 것이다.

ABSTRACT

The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categories $\bar{\mathcal{O}}$ are defined for all splitting Borel subalgebras of $\mathfrak{g}$, this research focuses on the categories $\bar{\mathcal{O}}$ for very special Borel subalgebras of $\mathfrak{g}$ which we call Dynkin Borel subalgebras. Some results concerning block decomposition and Kazhdan-Lusztig multiplicities carry over from usual categories $\mathcal{O}$ to our categories $\bar{\mathcal{O}}$. There are differences which we shall explore in detail, such as the lack of some injective hulls. In this connection, we study truncated categories $\bar{\mathcal{O}}$ and are able to establish an analogue of BGG reciprocity in the categories $\bar{\mathcal{O}}$.

연구 동기 및 목표

• 특성 0인 체 위에서 $\mathfrak{gl}_\infty$, $\mathfrak{sl}_\infty$, $\mathfrak{so}_\infty$, $\mathfrak{sp}_\infty$와 같은 무한차원 루트-재수화된 리 대수로 고전적인 BGG 분류 $\mathcal{O}$를 일반화하기.
• 분할 보렐 부분대수에 대해, 특히 다이킨 보렐 부분대수에 초점을 맞춰, $\mathcal{O}$의 유사체로 간주되는 $\bar{\mathcal{O}}$를 정의하고 분석하기.
• 블록 분해, 카즈단-루스티그 다중도 공식, 그리고 확장된 설정에서의 임베딩된 단순 대체물의 결여와 같은 구조적 성질 연구하기.
• 유한차원 경우에 존재하는 일부 임베딩된 단순 대체물이 결여되어 있음에도 불구하고, 절단된 분류 $\bar{\mathcal{O}}$에서 BGG 재조화 법칙을 확립하기.

제안 방법

• 분할 가능한 최대 타랄 부분대수의 반순서적 작용과 보렐 부분대수의 국소 유한한 작용을 요구함으로써, 루트-재수화된 리 대수에 대해 확장된 분류 $\bar{\mathcal{O}}$를 정의한다.
• 지역적으로 유한한 $\mathbb{Z}_{>0}$의 전순서에 대응하는 다이킨 보렐 부분대수—즉, $\mathrm{A}_\infty^{\text{1-sided}}$와 $\mathrm{A}_\infty^{\text{2-sided}}$의 다이킨 다이어그램으로 분류되는 부분대수—에 초점을 맞춘다.
• 가중치 모듈의 이론과 루트 공간 분해를 사용하여, 특히 최고 무게 모듈과의 관련성에서 $\bar{\mathcal{O}}$ 내 모듈의 구조를 분석한다.
• 절단된 분류 $\bar{\mathcal{O}}$를 연구함으로써, 전체 분류에서 임베딩된 단순 대체물이 결여되어 재조화 법칙이 실패하므로 이를 복구한다.
• 유한성 리 대수에서의 분할 가능한 최대 타랄 부분대수와 보렐 부분대수의 알려진 분류를 활용하여, $\mathfrak{sl}_\infty$, $\mathfrak{so}_\infty$, $\mathfrak{sp}_\infty$ 전반에 걸쳐 분류 $\bar{\mathcal{O}}$를 통일적으로 정의한다.
• 가중치 공간 분해와 쌍대성과 같은 기법을 활용하여, 무한차원 리 대수의 표현 이론 기법을 적용하여 블록과 구성계열을 분석한다.

실험 결과

연구 질문

• RQ1 고전적인 BGG 분류 $\mathcal{O}$는 어떻게 $\mathfrak{gl}_\infty(\mathbb{K})$와 같은 무한차원 루트-재수화된 리 대수로 일반화될 수 있는가?
• RQ2 블록 분해와 카즈단-루스티그 다중도와 같은 구조적 성질들은 유한차원 $\mathcal{O}$에서 확장된 분류 $\bar{\mathcal{O}}$로 어떻게 이행되는가?
• RQ3 왜 일부 임베딩된 단순 대체물이 $\bar{\mathcal{O}}$에 존재하지 않으며, 이는 분류의 구조에 어떤 영향을 미치는가?
• RQ4 절단된 부분분류로 제한함으로써 $\bar{\mathcal{O}}$에서 BGG 재조화 법칙을 복구할 수 있는가?
• RQ5 지역적으로 유한한 $\mathbb{Z}_{>0}$의 전순서에 의해 분류되는 다이킨 보렐 부분대수는 $\bar{\mathcal{O}}$의 표현 이론에 어떤 영향을 미치는가?

주요 결과

• 확장된 분류 $\bar{\mathcal{O}}$는 루트-재수화된 리 대수의 모든 분할 보렐 부분대수에 대해 정의되며, 특히 $\mathbb{Z}_{>0}$의 지역적으로 유한한 전순서에 대응하는 다이킨 보렐 부분대수에 중점을 둔다.
• $\bar{\mathcal{O}}$ 내 블록 분해는 유한차원 경우와 유사하게 웨일 군의 무게에 대한 작용에 의해 지배되며, 무한 루트 체계의 영향으로 수정된 형태를 띤다.
• 베르마 모듈의 구성 인자에 대한 카즈단-루스티그 다중도 공식은 $\bar{\mathcal{O}}$로 확장되어 히케 대수와의 연결성을 유지한다.
• 분류 $\bar{\mathcal{O}}$는 고전적 $\mathcal{O}$에 존재하는 일부 임베딩된 단순 대체물이 결여되어 있어, 전체 설정에서의 BGG 재조화 법칙이 완전히 성립하지 않는다.
• 절단된 분류 $\bar{\mathcal{O}}$로 제한함으로써 BGG 재조화 법칙이 성공적으로 복구되었으며, 이는 유한차원 경우의 구조적 유사체를 제공한다.
• 자기 동형사상에 의해 유일시할 때, $\mathfrak{sl}_\infty$에는 정확히 두 개의 다이킨 보렐 부분대수가 존재한다: 하나는 다이킨 다이어그램 $\mathrm{A}_\infty^{\text{1-sided}}$를 가지며, 다른 하나는 $\mathrm{A}_\infty^{\text{2-sided}}$를 가진다. 이들은 각각 $\mathbb{Z}_{>0}$의 자연적 순서와 이중 순서에 대응한다.