[논문 리뷰] Semi-infinite cohomology and Kazhdan-Lusztig equivalence at positive level

Chia-Cheng Liu|arXiv (Cornell University)|2018. 07. 04.

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

한 줄 요약

이 논문은 아르히포프-게이츠코리 이중성에 기반한 새로운 양수 수준 카즈단-류스트리그 함수를 통해, 양수 수준 아핀 리 대칭군 모듈의 준무한 코homology와 양자군 코homology 사이의 다리를 놓는다. 주요 결과로 준무한 코homology가 이 함수와 양자군 코homology를 통해 인과화됨을 보이며, 카즈단-류스트리그 동치관계를 음수 수준을 초월해 일반화할 수 있는 새로운 길을 열고, 양자 국소 기하학적 론스팅 추측을 지지한다.

ABSTRACT

A positive level Kazhdan-Lusztig functor is defined using Arkhipov-Gaitsgory duality for affine Lie algebras. The functor sends objects in the DG category of G(O)-equivariant positive level affine Lie algebra modules to objects in the DG category of modules over Lusztig's quantum group at a root of unity. We prove that the semi-infinite cohomology functor for positive level modules factors through the Kazhdan-Lusztig functor at positive level and the quantum group cohomology functor with respect to the positive part of Lusztig's quantum group.

연구 동기 및 목표

• 아핀 리 대칭군에 대해 아르히포프-게이츠코리 이중성을 사용하여 양수 수준 카즈단-류스트리그 함수를 정의한다.
• 준무한 코homology가 이 함수와 양자군 코homology를 통해 인과화됨을 확립한다.
• 임의의 비임계 수준에서 유효한 카즈단-류스트리그 텐서 동치관계의 새로운 접근법을 제공한다.
• 카즈모디 및 양자군 카테고리 간의 연결을 통해 양수 수준에서의 양자 국소 기하학적 론스팅 추측을 지지한다.
• 카즈단-류스트리그 동치관계의 범위를 음수 수준을 초월해, 추측적으로 모든 비임계 수준으로 확장한다.

제안 방법

• 논문은 아핀 리 대칭군 $\hat{\mathfrak{g}}_{\kappa}$ 위의 $G(\mathcal{O})$--equivariant 모듈에서 루스티그의 양자군 $U_q(\mathfrak{g})$ 위의 모듈로 가는 양수 수준 카즈단-류스트리그 함수를 구성한다.
• 이 함수는 아르히포프-게이츠코리 이중성을 사용하여 정의되며, 위트니케이 및 카즈모디 카테고리 간의 이중성을 활용한다.
• 준무한 코호몰로지 함자 $\mathfrak{C}^{\frac{\infty}{2}}(\mathfrak{n}(\mathcal{K}), -)$ 가 카즈단-류스트리그 함수와 양자군 코호몰로지 함자 $\textup{C}^{\bullet}(U_q(\mathfrak{n}), -)$ 를 통해 인과화됨을 보인다.
• 이 인과화는 $\hat{\mathfrak{g}}_{\kappa}\textup{-mod}^{G(\mathcal{O})}$, $\hat{\mathfrak{t}}_{\kappa+\textup{shift}}\textup{-mod}^{T(\mathcal{O})}$, $U_q(\mathfrak{g})\textup{-mod}$, 및 $\textup{Rep}_q(T)$ 를 포함하는 가환 도형을 통해 증명된다.
• 증명은 컴팩트 생성 카테고리와 Weyl 모듈 $\mathbb{V}^{\kappa}_{\lambda}$ 의 전부분위의 완전부분카테고리의 인도완성화를 사용하며, 루리에의 인도카테고리 이론을 활용한다.
• 도형의 가환성을 입증하기 위해, 특히 $\kappa$ 가 무리수일 때 Weyl 모듈의 기약성에 기반해, 컴팩트 생성자에서의 일치와 사상에서의 일치를 보인다.

실험 결과

연구 질문

• RQ1 카즈단-류스트리그 동치관계는 음수 수준을 초월해 임의의 비임계 수준으로 일반화될 수 있는가?
• RQ2 양수 수준 아핀 리 대칭군 모듈의 준무한 코호몰로지는 기능적 구성에 의해 양자군 코호몰로지와 관련될 수 있는가?
• RQ3 양수 수준에서 아르히포프-게이츠코리 이중성이 잘 정의된 카즈단-류스트리그 함수를 도출하여 $G(\mathcal{O})$-equivariant 모듈과 양자군 모듈을 연결할 수 있는가?
• RQ4 카즈단-류스트리그 함수와 양자군 코호몰로지를 통해 준무한 코호몰로지의 인과화가 양자 국소 기하학적 론스팅 추측을 어떻게 지지하는가?
• RQ5 준무한 코호몰로지의 타이트 시프트는 양수 수준 모듈에서 어떤 역할을 하는가? 그리고 이는 양자군 측면의 수준 시프트에 어떤 영향을 미치는가?

주요 결과

• 양수 수준 $G(\mathcal{O})$-equivariant 모듈 $M$ 의 준무한 코호몰로지 $\mathfrak{C}^{\frac{\infty}{2}}(\mathfrak{n}(\mathcal{K}), M)^{\mu}$ 는 모든 무게 $\mu$ 에 대해 양자군 코호몰로지 $\textup{C}^{\bullet}(U_q(\mathfrak{n}), \textup{KL}_G(M))^{\mu}$ 와 동형이다.
• 카즈단-류스트리그 함수 $\textup{KL}_G$ 는 아르히포프-게이츠코리 이중성을 통해 양수 수준에서 구성되며, $\hat{\mathfrak{g}}_{\kappa}\textup{-mod}^{G(\mathcal{O})}$ 에서 $U_q(\mathfrak{g})\textup{-mod}$ 로 사상한다. 특히 $\textup{KL}_G(\mathbb{V}^{\kappa}_{\lambda}) = \mathcal{V}_{\lambda}$ 이다.
• 도형 (32) 의 가환성은 컴팩트 생성자의 전체 부분카테고리, 즉 Weyl 모듈 $\mathbb{V}^{\kappa}_{\lambda}$ 에서 두 사상의 일치를 보임으로써 확립된다. 이는 $\kappa$ 가 무리수일 때 이러한 모듈의 기약성을 이용한다.
• 사상에서의 동형성은 양쪽 함수가 $\mathbb{V}^{\kappa}_{\lambda}$ 의 항등사상이 $\textup{Rep}_q(T)$ 의 대응 코체인 복합체에서 항등사상으로 보냄을 보임으로써 검증된다.
• 준무한 코호몰로지가 카즈단-류스트리그 함수와 양자군 코호몰로지를 통해 인과화됨은, 모든 비임계 수준에서 유효한 카즈단-류스트리그 동치관계에 대한 새로운이고 잠재적으로 더 단순한 접근법을 제공한다.
• 결과는 카즈모디 카테고리에서 양자군 카테고리로의 다리를 놓음으로써, 카즈모디 및 양자군 카테고리 간의 연결을 통해 양자 국소 기하학적 론스팅 추측을 지지하며, 임계 수준은 특수한 경우로 간주된다.