[论文解读] Duality via convolution of W-algebras

Thomas Creutzig, Andrew R. Linshaw+2 more|arXiv (Cornell University)|Mar 3, 2022

Advanced Topics in Algebra被引用 4

一句话总结

本文證明了一項猜想：透過卷積，將hook型W代數與核頂點代數張量後的相對無限次cohomology，會產生其Feigin-Frenkel對偶W代數。作者透過構造一個使用相對無限次cohomology的卷積運算，並透過特徵計算與表示理論驗證同構，將Feigin-Frenkel對偶性從仿射商群推廣至完整的W代數。

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代數。
• 證明hook型W代數與適當核頂點代數的相對無限次cohomology同構於其Langlands對偶W代數。
• 將對偶性推廣至主W代數以外的更廣泛W超代數類別，包括次主與極小類型。
• 建立一個統一的W代數對偶性框架，利用hook型代數的結構及其分解性質。
• 透過特徵計算與涉及Verma模與可積表示的表示理論論證，驗證該猜想。

提出的方法

• 定義一個使用W代數與核頂點代數張量的相對無限次cohomology的卷積運算。
• 利用Chevalley反對合與環代數的作用構造cohomological複形。
• 應用Euler–Poincaré原理計算cohomology的特徵，並與可積表示的特徵連結。
• 利用Verma模上的非退化雙線性形式確保非退化性，並計算零度cohomology。
• 利用關係式 $k + h^ atural = -( ilde{k} + ilde{h}^ atural)$ 連結共形權重，簡化特徵表達式。
• 透過識別最低權空間與不變子模 $(L_ u imes L_ u^lat)^rak{g}$，證明cohomology是一維且同構於對偶W代數。

实验结果

研究问题

• RQ1 Feigin-Frenkel對偶性能否透過卷積運算從仿射商群推廣至完整的W代數？
• RQ2 hook型W代數與合適核的相對無限次cohomology是否同構於其Langlands對偶W代數？
• RQ3 在量子哈密頓約化與頂點代數結構的背景下，卷積運算如何保持對偶性？
• RQ4 特徵計算與Verma模表示在cohomology層級的對偶性驗證中扮演何種角色？
• RQ5 對偶性能否在所有hook型W代數類型（包括李超代數）中統一表述？

主要发现

• 相對無限次cohomology $H^{rac{\infty}{2}+0}_{\text{rel}}(\frak{g}, \bb{V}^k_\nu \boxtimes \bb{V}^\tilde{k}_\nu)$ 為一維且具有最低共形權重，確認存在唯一非平凡的cohomology類。
• cohomology的特徵為 $q^{\frac{|\nu+\rho|^2 - |\nu^\flat+\rho|^2}{2(k+h^\natural)}}$，在對偶條件下與對偶W代數的特徵相符。
• cohomology同構於對偶W代數 $\W^\ell({}^L\frak{g}, f_{\frak{a}})$，證明了卷積產生對偶代數的猜想。
• 此同構在所有hook型W代數中均成立，包括 $A^\pm, B^\pm, C^\pm, D^\pm, O^\pm$ 類型，確認對偶性不僅適用於主情形。
• 證明依賴於可積 $rak{g}$-模的完全可約性，並識別cohomology為不變子模 $(L_\nu \times L_\nu^\flat)^\frak{g}$。
• 結果將Feigin-Frenkel對偶性推廣至完整的W代數，不僅限於其商群，透過將對偶代數實現為cohomological構造。