[논문 리뷰] Kazhdan--Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT

BL Feigin, AM Gainutdinov외 2명|ArXiv.org|2005. 12. 28.

Algebraic structures and combinatorial models참고 문헌 18인용 수 10

한 줄 요약

이 논문은 로그형 양자역학적 초등장 이론에서의 트리플렛 $\mathcal{W}(p)$-대수의 표현 범주와 제한된 양자군 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$의 유한차원 표현 범주 사이에 카즈단–류스트리그 대응을 수립한다. $p=2$일 때, 이는 이중모듈러 구성법을 통해 명시적으로 등가성을 증명하며, 모든 불가분 표현을 프로젝티브와 크로네커 쿼버의 표현으로 분류하고, 유니버설 $R$-행렬을 통한 중심과 브레딩의 완전한 식별을 수행한다.

ABSTRACT

To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{iπ}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation categories is conjectured for all $p\ge 2$ and proved for p=2, the implications including the identifications of the quantum-group center with the logarithmic conformal field theory center and of the universal R-matrix with the braiding matrix.

연구 동기 및 목표

• 트리플렛 $\mathcal{W}(p)$-대수의 비단순 표현 범주와 제한된 양자군 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$의 표현 범주 사이의 범주적 등가성을 수립하기 위해.
• 제한된 양자군 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$-모듈의 유한차원 표현들로 이루어진 범주 $\mathscr{C}_p$에서 모든 불가분 표현을 분류하기 위해.
• 이 등가성이 $p=2$일 때 이중모듈러 구성법을 통해 명시적으로 성립함을 증명하기 위해.
• 특히 중심과 브레딩과 같은 양자역학적 초등장 이론의 자료를 유니버설 $R$-행렬과 양자군 중심 등의 양자군 자료와 식별하기 위해.

제안 방법

• 이중모듈러를 구성하여, $\boldsymbol{\mathcal{W}}(2)$와 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$ 각각의 모듈러로서 프로젝티브이도록 하여, 이들의 표현 범주 간의 등가성을 유도하기 위해.
• 보존화 기법을 사용하여 $\boldsymbol{\mathcal{W}}(2)$-대수를 심플렉틱 페르미온과 연결함으로써, 이중모듈러의 구조를 명시적으로 실현하기 위해.
• 범주 $\mathscr{C}_p$를 프로젝티브와 크로네커 쿼버와 관련된 표현으로 분해하여, $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$-모듈의 모든 불가분 표현을 분류하기 위해.
• 기존에 알려진 크로네커 쿼버 $\boldsymbol{\mathrm{K}}$의 불가분 표현 분류를 활용하여, 실근(라벨: $n \in \mathbb{Z}_{\geq 1}$)과 허근(라벨: $n \in \mathbb{Z}_{\geq 1}, z \in \mathbb{C}\mathbb{P}^1$)을 구분하기 위해.
• 유니버설 $R$-행렬과 토러스 위의 양자군 블록을 통해 $\boldsymbol{\mathcal{W}}(p)$-범주의 중심을 양자군 범주의 중심과 식별하기 위해.
• Ext-대수 $\mathrm{Ext}^\bullet$를 활용하여 범주 구조를 재구성하고, 융합 규칙과 표현 이론 수준에서 등가성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 트리플렛 $\mathcal{W}(p)$-대수의 표현 범주와 제한된 양자군 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$의 표현 범주 사이에 카테고리적 등가성이 존재하는가? ($\mathfrak{q} = e^{i\pi/p}$에서).
• RQ2 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$의 불가분 표현은 완전히 분류될 수 있는가? 그리고 이들은 쿼버 표현과 어떻게 관련되어 있는가?
• RQ3 카즈단–류스트리그 대응은 로그형 CFT에서 범주 등가성으로 확장되는가? 특히 $p=2$일 경우에 대해.
• RQ4 $\boldsymbol{\mathcal{W}}(p)$-범주와 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$-범주의 중심은 어떻게 관련되어 있으며, 이는 유니버설 $R$-행렬과 식별될 수 있는가?

주요 결과

• $p=2$일 때, $\boldsymbol{\mathcal{W}}(2)$와 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$의 표현 범주는 이중모듈러 구성법을 통해 등가이며, 이는 카즈단–류스트리그 대응이 범주 등가성으로서 성립함을 증명한다.
• $\mathscr{C}_p$ 내 모든 불가분 표현은 분류된다: 이는 프로젝티브 모듈과 크로네커 쿼버에서 유도된 세 개의 계열로 구성되며, 두 계열은 각각 $n \in \mathbb{Z}_{\geq 1}$과 $z \in \mathbb{C}\mathbb{P}^1$로 라벨링되고, 한 계열은 $n \in \mathbb{Z}_{\geq 2}$로 라벨링된다.
• $\boldsymbol{\mathcal{W}}(p)$-범주의 중심은 양자군 범주의 중심과 식별되며, 유니버설 $R$-행렬은 양자역학적 초등장 이론의 브레딩 행렬과 대응된다.
• $\boldsymbol{\mathcal{W}}(p)$-표현의 융합환은 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$의 융합환과 일치하며, 이는 그로텐디크 환 수준에서의 등가성을 확인한다.
• $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$-모듈의 분류가 완전히 실현된다: 불가분 표현들은 프로젝티브거나 실근 $\alpha = (n+1,n)$ 또는 $\alpha = (n,n+1)$, 또는 허근 $\delta = (1,1)$으로 나타나며, 이는 $\mathbb{C}\mathbb{P}^1$에 의해 매개화된다.
• 등가성 덕분에 표현론적 자료를 직접 이전할 수 있다: $\boldsymbol{\mathcal{W}}(p)$-모듈을 연구하는 것은 유한차원 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$-모듈을 연구하는 것과 동치가 되며, 이는 쿼버 이론을 통해 더 다룰 수 있다.