[논문 리뷰] An algebraic theory for logarithmic Kazhdan-Lusztig correspondences

Thomas Creutzig, Simon Lentner외 1명|arXiv (Cornell University)|2023. 06. 20.

Algebraic structures and combinatorial modelsMathematics인용 수 3

한 줄 요약

이 논문은 복소 브레드 텐서 범주 𝒰를 단순한 범주 위에서의 상대 Drinfeld 중심으로서 특성화하기 위해, 범주 𝒰 내의 교환 법칙을 만족하는 대수 A를 사용하여 대수적 프레임워크를 개발한다. 이를 통해 정점 대수와 양자 군 표현 범주 간의 브레드 텐서 동치—즉, 로그형 카즈단-루스트리츠 대응—를 수립한다. 주요 결과는 A 및 그 모듈러 범주들이 잘 이해되어 있을 경우, 브레드 텐서 동치 문제를 아벨 동치 문제로 체계적으로 환원할 수 있다는 점이며, 이는 새로운 동치, 특히 2p차 단위근에서의 unrolled 소형 양자군 𝔰𝔩₂와 싱귤러 정점 대수 ℳ(p) 사이, 그리고 아핀 gl₁|₁ 정점 대수와 그 양자군 대응체 사이의 동치를 증명하는 데 기여한다.

ABSTRACT

Let $\mathcal{U}$ be a braided tensor category, typically unknown, complicated and in particular non-semisimple. We characterize $\mathcal{U}$ under the assumption that there exists a commutative algebra $A$ in $\mathcal{U}$ with certain properties: Let $\mathcal{C}$ be the category of local $A$-modules in $\mathcal{U}$ and $\mathcal{B}$ the category of $A$-modules in $\mathcal{U}$, which are in our set-up usually much simpler categories than $\mathcal{U}$. Then we can characterize $\mathcal{U}$ as a relative Drinfeld center $\mathcal{Z}_\mathcal{C}(\mathcal{B})$ and $\mathcal{B}$ as representations of a certain Hopf algebra inside $\mathcal{C}$. In particular this allows us to reduce braided tensor equivalences to the knowledge of abelian equivalences, e.g. if we already know that $\mathcal{U}$ is abelian equivalent to the category of modules of some quantum group $U_q$ or some generalization thereof, and if $\mathcal{C}$ is braided equivalent to a category of graded vector spaces, and if $A$ has a certain form, then we already obtain a braided tensor equivalence between $\mathcal{U}$ and $\mathrm{Rep}(U_q)$. A main application of our theory is to prove logarithmic Kazhdan-Lusztig correspondences, that is, equivalences of braided tensor categories of representations of vertex algebras and of quantum groups. Here, the algebra $A$ and the corresponding category $\mathcal{C}$ are a-priori given by a free-field realization of the vertex algebra and by a Nichols algebra. We illustrate this in those examples where the representation theory of the vertex algebra is well enough understood. In particular we prove the conjectured correspondences between the singlet vertex algebra $\mathcal{M}(p)$ and the unrolled small quantum groups of $\mathfrak{sl}_2$ at $2p$-th root of unity. Another new example is the Kazhdan-Lusztig correspondence for $\mathfrak{gl}_{1|1}$.

연구 동기 및 목표

• 정점 대수와 양자군 표현 범주 간의 브레드 텐서 동치—즉, 로그형 카즈단-루스트리츠 대응—를 증명하기 위한 일반적 프레임워크 수립.
• 브레드 텐서 동치를 구성하는 문제를 더 단순한 모듈러 범주 간의 아벨 동치를 확인하는 문제로 환원하는 것.
• 비단순 브레드 텐서 범주 𝒰를 𝒰 내의 교환 법칙을 만족하는 대수 A를 사용하여 상대 Drinfeld 중심 𝒵_𝒞(ℬ)로 특성화하는 것.
• 이 이론을 적용하여 새로운 동치를 증명하는 것, 특히 2p차 단위근에서의 unrolled 소형 양자군 𝔰𝔩₂와 싱귤러 정점 대수 ℳ(p) 사이의 동치.
• 이론을 unrolled 양자군과 아핀 gl₁|₁로 확장하여, 그 정점 대수 표현과 양자군 표현 간의 새로운 대응을 증명하는 것.

제안 방법

• 브레드 텐서 범주 𝒰를 상대 Drinfeld 중심 𝒵_𝒞(ℬ)로 특성화하며, 여기서 𝒞는 국소 A-모듈러의 범주이고 ℬ는 𝒰 내의 A-모듈러의 범주이다.
• 𝒰 내의 특정 성질을 만족하는 교환 법칙을 만족하는 대수 A를 사용하여, 𝒰에서 ℬ로의 분할 텐서 함자를 유도한다.
• 𝒰 내의 호프 대수의 표현으로서 ℬ를 실현함으로써, 텐서 구조의 재구성 가능성을 확보한다.
• 자유장 실현과 니컬스 대수를 A와 𝒞의 소스로 사용하여 이론을 적용한다.
• 정확한 함자가 프로젝티브 및 인젝티브 대상 간의 Hom-공간에서 동형을 유도하면 전부 충실한 함자가 되는 기준을 사용한다.
• 프로젝티브 및 인젝티브 분해의 존재를 활용하여, 아벨 동치를 브레드 텐서 동치로 올리는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 브레드 텐서 범주 𝒰가 𝒰 내의 교환 법칙을 만족하는 대수 A를 통해 더 단순한 범주 ℬ의 상대 Drinfeld 중심으로 재구성될 수 있는가?
• RQ2 정점 대수와 양자군 범주 간의 브레드 텐서 동치 문제는 어떻게 더 단순한 모듈러 범주 간의 아벨 동치 문제로 환원될 수 있는가?
• RQ3 자유장 실현과 니컬스 대수의 역할은 무엇인가? 이는 필요한 교환 법칙을 만족하는 대수 A와 국소 A-모듈러의 범주 𝒞를 구성하는 데 어떤 기여를 하는가?
• RQ4 이 이론은 싱귤러 정점 대수 ℳ(p)과 2p차 단위근에서의 unrolled 소형 양자군 𝔰𝔩₂ 사이의 카즈단-루스트리츠 대응을 증명할 수 있는가?
• RQ5 이 이론은 아핀 정점 대수인 gl₁|₁로 확장되어, 그에 대응하는 unrolled 양자군과의 새로운 대응을 도출할 수 있는가?

주요 결과

• 논문은 싱귤러 정점 대수 ℳ(p)의 표현 범주와 2p차 단위근에서의 unrolled 소형 양자군 𝔰𝔩₂의 표현 범주 간에 브레드 텐서 동치를 증명한다.
• 아핀 정점 대수 𝔤𝔩₁|₁과 그 unrolled 양자군 간의 새로운 카즈단-루스트리츠 대응이 수립된다.
• 범주 𝒞가 그라디에이션된 벡터 공간과 브레드 동치일 경우, 브레드 텐서 동치의 구성 문제를 ℬ와 양자군의 모듈러 범주 간의 아벨 동치 확인 문제로 환원할 수 있다.
• 상대 Drinfeld 중심 구성 𝒰 ≅ 𝒵_𝒞(ℬ)는 단순한 범주 ℬ와 대수 A로부터 𝒰의 전체 브레드 텐서 구조를 복원할 수 있음을 보여준다.
• 프로젝티브 및 인젝티브 분해의 존재는 정확한 함자가 프로젝티브/인젝티브 대상 간의 Hom-공간을 유지하면 전부 충실한 함수가 되며, 이는 아벨 동치를 브레드 텐서 동치로 올리는 데 기여한다.
• 이 프레임워크는 비단순 설정에서 로그형 VOAs와 양자군 모두에 성공적으로 적용되며, 이러한 대응을 증명하기 위한 일반적 메커니즘을 제공한다.