[논문 리뷰] Duality via convolution of W-algebras

Thomas Creutzig, Andrew R. Linshaw외 2명|arXiv (Cornell University)|2022. 03. 03.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 히브 타입 W 대수와 커널 보어드 대수의 콘볼루션을 통해 상대적인 무한대 위상 코homology가 그의 Feigin-Frenkel 쌍대 W 대수로 이어진다는 추측을 증명한다. 저자들은 상대적인 무한대 위상 코homology를 사용하여 콘볼루션 연산을 구축하고, 특성 계산과 표현 이론을 통해 동형을 검증함으로써, 애매한 코셋에서 전체 W 대수로 확장된 Feigin-Frenkel 쌍대성을 확립한다.

ABSTRACT

Feigin-Frenkel duality is the isomorphism between the principal $\mathcal{W}$-algebras of a simple Lie algebra $\mathfrak{g}$ and its Langlands dual Lie algebra ${}^L\mathfrak{g}$. A generalization of this duality to a larger family of $\mathcal{W}$-algebras called hook-type was recently conjectured by Gaiotto and Rapčák and proved by the first two authors. It says that the affine cosets of two different hook-type $\mathcal{W}$-algebras are isomorphic. A natural question is whether the duality between affine cosets can be enhanced to a duality between the full $\mathcal{W}$-algebras. There is a convolution operation that maps a hook-type $\mathcal{W}$-algebra $\mathcal{W}$ to a certain relative semi-infinite cohomology of $\mathcal{W}$ tensored with a suitable kernel VOA. The first two authors conjectured previously that this cohomology is isomorphic to the Feigin-Frenkel dual hook-type $\mathcal{W}$-algebra. Our main result is a proof of this conjecture.

연구 동기 및 목표

• 콘볼루션 연산을 구축하여 Feigin-Frenkel 쌍대성을 애매한 코셋에서 전체 W 대수로 확장하는 것.
• 특정 커널 보어드 대수와 함께 히브 타입 W 대수의 상대적인 무한대 위상 코호몰로지가 그의 랑글랜즈 쌍대 W 대수로 이어진다는 것을 증명하는 것.
• 주요 W 대수를 넘어서 하위주기적 및 최소 타입을 포함한 더 넓은 범위의 W 초대수로 쌍대성을 일반화하는 것.
• 히브 타입 대수의 구조와 분해 성질을 활용하여 W 대수에서의 쌍대성에 대한 통일된 프레임워크를 수립하는 것.
• 베르마 모듈과 적분 가능 표현을 포함한 특성 계산과 표현 이론적 추론을 통해 추측을 검증하는 것.

제안 방법

• W 대수와 커널 보어드 대수의 상대적인 무한대 위상 코호몰로지를 사용하여 콘볼루션 연산을 정의하는 것.
• 체바리의 반대자와 루프 대수의 작용을 활용하여 코호몰로지 복합체를 구성하는 것.
• 오일러-포이아르 원리를 적용하여 코호몰로지의 특성을 계산하고, 이를 적분 가능 표현의 특성과 연결하는 것.
• 베르마 모듈에 정의된 비퇴도 이중형식을 활용하여 비퇴도성을 보장하고 0차 코호몰로지를 계산하는 것.
• 관계식 $k + h^\natural = -( \tilde{k} + \tilde{h}^\natural)$를 활용하여 등각 무게를 연결하고 특성 표현을 단순화하는 것.
• 가장 낮은 무게 공간을 불변 부분공간 $(L_\nu \times L_\nu^\flat)^\frak{g}$ 와 식별함으로써 코호몰로지가 일차원적이고 쌍대 W 대수와 동형임을 보이는 것.

실험 결과

연구 질문

• RQ1 Feigin-Frenkel 쌍대성은 애매한 코셋에서 콘볼루션 연산을 통해 전체 W 대수로 확장될 수 있는가?
• RQ2 적절한 커널을 갖는 히브 타입 W 대수의 상대적인 무한대 위상 코호몰로지는 그의 랑글랜즈 쌍대 W 대수와 동형인가?
• RQ3 양자 해밀토니안 축소와 보어드 대수의 구조적 맥락에서 콘볼루션 연산이 쌍대성을 어떻게 유지하는가?
• RQ4 특성 계산과 베르마 모듈 표현은 코호몰로지 수준에서 쌍대성을 검증하는 데 어떤 역할을 하는가?
• RQ5 모든 종류의 히브 타입 W 대수, 특히 리 초대수를 포함하여 쌍대성이 통일적으로 서술될 수 있는가?

주요 결과

• 상대적인 무한대 위상 코호몰로지 $H^{\frac{\infty}{2}+0}_{\text{rel}}(\frak{g}, \bb{V}^k_\nu \boxtimes \bb{V}^\tilde{k}_\nu)$ 는 일차원적이며 가장 낮은 등각 무게를 가지며, 비자명한 유일한 코호몰로지 클래스의 존재를 확인한다.
• 코호몰로지의 특성은 $q^{\frac{|\nu+\rho|^2 - |\nu^\flat+\rho|^2}{2(k+h^\natural)}}$ 이며, 이는 쌍대 조건 하에서 쌍대 W 대수의 특성과 정확히 일치한다.
• 코호몰로지는 쌍대 W 대수 $\W^\ell({}^L\frak{g}, f_{\frak{a}})$ 와 동형이며, 콘볼루션으로 쌍대 대수를 얻는다는 추측을 증명한다.
• 이 동형은 $A^\pm, B^\pm, C^\pm, D^\pm, O^\pm$ 등 모든 히브 타입 W 대수에서 균일하게 성립하며, 주요 경우를 초월한 쌍대성을 확인한다.
• 증명은 적분 가능 $rak{g}$-모듈의 완전 가역성과 코호몰로지를 불변 부분공간 $(L_\nu \times L_\nu^\flat)^\frak{g}$ 와 식별하는 데 의존한다.
• 결과적으로, 쌍대 대수를 코호몰로지적 구성으로 실현함으로써, Feigin-Frenkel 쌍대성은 단지 코셋이 아닌 전체 W 대수로 일반화된다.