[논문 리뷰] Perverse sheaves and quantum Grothendieck rings

Michela Varagnolo, Éric Vasserot|arXiv (Cornell University)|2001. 03. 27.

Algebraic structures and combinatorial models인용 수 8

한 줄 요약

이 논문은 희귀한 쿠이버 다양체 위의 편평한 편미분 복소수를 이용하여 양자 아핀 대수의 유한차원 표현의 그로텐디크 링의 기하적 실현을 구축한다. 여기서 비가환 평탄한 변형 ${\mathbb{G}}{\mathbb{R}}$와 그에 대응하는 표준 기저를 도입한다. 주요 결과는 이 링이 양자 그로텐디크 링과 기하학적으로 동형임을 규명하며, 루슈티그의 제약 함자와 표준 기저를 통해 텐서곱 분해 인자들을 이해하는 기하학적 프레임워크를 제공한다.

ABSTRACT

We define a quantum analogue of the Grothendieck ring of finite dimensional modules of a quantum affine algebra of simply laced type. The construction is based on perverse sheaves on a variety related to quivers. We get also a new geometric construction of the tensor category of finite dimensional modules of a finite dimensional simple Lie algebra of type A-D-E.

연구 동기 및 목표

• 유한차원 양자 아핀 대수의 표현의 그로텐디크 링을 편평한 복소수를 이용해 기하학적으로 구성하는 것.
• 기하학적 곱 구조를 통해 그로텐디크 링의 비가환 평탄한 변형 ${\mathbb{G}}{\mathbb{R}}$를 정의하는 것.
• 추측에 기반한 필터링 하에서 단순 모듈에 대응하는 ${\mathbb{G}}{\mathbb{R}}$ 내 표준 기저를 확립하는 것.
• 기하학적 방법을 사용하여 베르스타인-젤레빈스키의 표준 기저의 곱 성질에 대한 추측을 일반화하는 것.
• 유한차원 ${\mathbb{U}}$-모듈의 텐서 범주를 희귀 다양체 위의 편평한 복소수와, 추측적으로 랑글랜드 쌍대군의 아핀 그라스만리안과 연결하는 기하학적 구성이 존재하는지 밝혀내는 것.

제안 방법

• 예프로젝티브 대수의 표현을 매개변수화하는 희귀한 쿠이버 다양체 $N_\lambda$를 구성하고, 그 위에 무게로 색인된 분할을 정의한다.
• $N_\lambda$ 위의 편평한 복소수의 범주 ${{}^{a}}{\Cal{P}}_\lambda$를 정의하며, 표준 객체 ${{}^{a}}IC_{{\lambda}+{\beta},{\beta}}$와 기약 객체 ${{}^{a}}L_{{\lambda}+{\beta},{\beta}}$의 가중치 가중치를 갖는다.
• 루슈티그의 제약 함자 ${{}^{a}}p_{{\lambda}{\beta}}$를 사용하여 그로텐디크 군 $\mathbb{A}$ 위에 곱 구조를 정의하고, 유도 극한 위에 링의 구조를 유도한다.
• 그로텐디크 군의 프로젝티브 체계 $\mathbb{K}({{}^{a}}{\Cal{P}}_\lambda)$를 도입하고, $\mathbb{A}$를 극한의 쌍대체로 정의하며, 두 기저 $({\mathbb{b}}_\lambda)$와 $({\mathbb{c}}_\lambda)$를 갖는다.
• 쿠이버 다양체의 다이어그램에서의 기저 변경을 통해 제약 사상 $\roman{res}^\pm_\gamma$를 정의하며, 이는 쌍대성과 프로젝티브 체계와 호환된다.
• 표준 기저 $\mathbb{b}_\lambda$가 단순 모듈의 계열 ${{\underline{V}}}(\lambda)$로 보내지는 링 동형사상 $\mathbb{A} \xrightarrow{\sim} \mathbb{R}(\underline{{\mathfrak{g}}})$를 확립한다.

실험 결과

연구 질문

• RQ1 유한차원 양자 아핀 대수의 표현의 그로텐디크 링은 희귀한 쿠이버 다양체 위의 편평한 복소수를 통해 어떻게 기하학적으로 실현될 수 있는가?
• RQ2 표준 기저의 기하학적 의미는 무엇이며, 텐서곱 분해 인자와 어떤 관련이 있는가?
• RQ3 아핀 허브 대수에서 단순 모듈의 유도 곱은 편평한 복소수 위의 기하학적 곱 구조로 올라갈 수 있는가?
• RQ4 편평한 복소수 위의 제약 함자는 양자 아핀 대수에서 텐서곱 중복도에 대한 정보를 어떻게 포함하는가?
• RQ5 유한차원 ${\mathbb{U}}$-모듈의 텐서 범주와 랑글랜드 쌍대군의 아핀 그라스만리안 위의 편평한 복소수의 범주를 연결하는 기하학적 구성이 존재하는가?

주요 결과

• 유한차원 ${\mathbb{U}}$-모듈의 그로텐디크 링 $\mathbb{R}(\underline{{\mathfrak{g}}})$는 희귀한 쿠이버 다양체 위의 편평한 복소수로부터 구성된 링 $\mathbb{A}$와 기하학적으로 동형이다.
• 표준 기저 $({\mathbb{b}}_\lambda)$는 이 동형사상 하에서 단순 모듈의 계열 ${{\underline{V}}}(\lambda)$에 대응한다.
• 표준 기저는 항등식 $\mathbb{b}_\lambda = \sum_\mu \dim {{\underline{V}}}(\lambda)_\mu \cdot \mathbb{c}_\mu$를 만족하며, 이는 무게 다중도와 쌍대 기저 사이의 연결을 나타낸다.
• 제약 사상 $\roman{res}^+_{\gamma}$는 표준 기저 원소 $\mathbb{b}_\gamma$를 $\bigoplels_\lambda \mathbb{N}[v^{-1},v] \cdot \mathbb{b}_\lambda$ 내의 원소로 보낸다. 이는 분해에서의 양의 성질을 나타낸다.
• 모든 $\gamma \in G_\lambda^{\vee,\text{ad}}$에 대해, 쌍대 기저의 제약은 $\roman{res}(\mathbb{c}_\gamma) = v^{\varepsilon_\gamma} \mathbb{c}_\lambda$를 만족하며, 이는 쌍대성과 무게 필터링과의 호환성을 보여준다.