[논문 리뷰] On category $\mathcal{O}$ for affine Grassmannian slices and categorified tensor products

Joel Kamnitzer, Peter Tingley외 3명|arXiv (Cornell University)|2018. 06. 20.

Algebraic structures and combinatorial models참고 문헌 23인용 수 5

한 줄 요약

이 논문은 잘라낸 이동 양안의 범주 O—아핀 그라스만이안 슬라이스의 양자화—와 새로운 대수인 파리티 KLRW 대수의 가중치 모듈 사이의 등가성을 확립한다. 이는 기본 표현의 텐서 곱을 분류한 것으로, 주요 결과로 범주 O의 최고 무게와 매개변수에 따라 달라지는 곱 모노미얼 크리스탈의 원소 사이의 정규화된 일대일 대응을 확인하여 추측을 해결하고, $\mathfrak{gl}_n$과 그 W-대수에 대한 단순 게르파인드-츠레틴 모듈의 분류를 가능하게 한다.

ABSTRACT

Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $λ$ and $μ$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of parameters, category $\mathcal{O}$ is equivalent to a weight space in the categorification of a tensor product of fundamental representations defined by the third author using KLRW algebras. We also give a precise description of category $\mathcal{O}$ for arbitrary parameters using a new algebra which we call the parity KLRW algebra. In particular, we confirm the conjecture of the authors that the highest weights of category $\mathcal{O}$ are in canonical bijection with a product monomial crystal depending on the choice of parameters. This work also has interesting applications to classical representation theory. In particular, it allows us to give a classification of simple Gelfand-Tsetlin modules of $U(\mathfrak{gl}_n)$ and its associated W-algebras.

연구 동기 및 목표

• 잘라낸 이동 양안의 범주 O와 새로운 대수인 파리티 KLRW 대수의 가중치 모듈 간의 카테고리적 등가성을 확립하기 위해.
• 범주 O의 최고 무게가 매개변수에 따라 달라지는 곱 모노미얼 크리스탈의 원소와 정규화된 일대일 대응이 있음을 확인하는 추측을 확인하기 위해.
• 이 등가성을 이용하여 $\mathfrak{gl}_n$과 그 관련 W-대수에 대한 단순 게르파인드-츠레틴 모듈의 분류를 제공하기 위해.
• 일반 매개변수에 대해, 범주 O가 화살표 다양체 양자화의 최고 무게 모듈의 범주와 코즐- dual 임을 보여주어 심플렉틱 이중성을 실현하기 위해.

제안 방법

• KLRW 대수의 부분대수로서 파리티 KLRW 대수를 도입하여 카테고리적 $\mathfrak{g}$-작용을 유지하기 위해.
• KLRW 대수의 프레임워크를 사용하여 기본 표현의 텐서 곱을 분류하고, 가중치 공간을 대수의 성분에 대응시키기 위해.
• 잘라낸 이동 양안의 범주 O와 파리티 KLRW 대수의 노름 모듈의 범주 간의 모리타 이론적 등가를 구축하기 위해.
• 대수의 이차 이중성을 활용하여 양안의 범주 O를 화살표 다양체 양자화의 모듈의 범주와 연결하기 위해.
• 표준 기저와 크리스탈 구조 이론을 적용하여 게르파인드-츠레틴 모듈의 가중치 다중도를 해석하기 위해.
• 매개변수 집합을 $\mathbb{C}/2\mathbb{Z}$의 코셋으로 분해하여 모듈의 분류를 정수 사례로 환원하기 위해.

실험 결과

연구 질문

• RQ1 잘라낸 이동 양안의 범주 O의 최고 무게는 조합론적 크리스탈과 어떻게 관련되어 있는가?
• RQ2 아핀 그라스만이안 슬라이스의 범주 O는 분류된 텐서 곱으로서 실현될 수 있는가?
• RQ3 잘라낸 이동 양안의 양안에 대해 임의의 매개변수에 대해 범주 O의 정확한 구조는 무엇인가?
• RQ4 KLRW 대수를 통한 분류된 텐서 곱의 구조는 고전적 표현 이론, 특히 게르파인드-츠레틴 모듈과 어떻게 관련되어 있는가?
• RQ5 파리티 KLRW 대수는 아핀 그라스만이안 슬라이스와 화살표 다양체 간의 이중성 실현에 어떤 역할을 하는가?

주요 결과

• 잘라낸 이동 양안 $Y^\lambda_\mu(R)$의 범주 O와 파리티 KLRW 대수 $\widetilde{P}^\lambda_{\mu_S}$의 노름 모듈의 범주 간에 정규화된 등가가 존재한다.
• 일반적인 정수 매개변수에 대해, 잘라낸 이동 양안의 범주 O는 화살표 다양체 $M(\lambda, \mu)$의 범주 O와 코즐- dual 임을 보여주며, 심플렉틱 이중성을 실현한다.
• 범주 O의 최고 무게는 $\mathfrak{sl}^X_n$에 대해 곱 모노미얼 크리스탈 $B(\lambda) \otimes B(\infty)$의 원소와 정규화된 일대일 대응이 있다.
• $\mathfrak{gl}_n$과 그 W-대수에 대한 단순 게르파인드-츠레틴 모듈은 크리스탈 $B(g_1\omega_1) \otimes \cdots \otimes B(g_h\omega_1) \otimes B(\infty)$를 통해 분류된다.
• 집합 $S$에 대응하는 게르파인드-츠레틴 모듈의 가중치 다중도는 $U(\lambda)$에서 프로젝티브 클래스 $\widetilde{p}(S)$ 전개에 포함된 해당 표준 기저 벡터의 계수로 주어진다.
• GT(\pi, R, S)의 구조는 $\mathbb{C}/2\mathbb{Z}$의 코셋에 대응하는 카테고리들의 데린 유니온 곱으로서 구성되며, 이는 분류를 정수 사례로 환원한다.