[論文レビュー] Duality via convolution of W-algebras

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

Advanced Topics in Algebra被引用数 4

ひとこと要約

この論文は、ホック型W代数とカーネル頂点代数との畳み込みにより、相対的半無限コホモロジーがそのフェイジン＝フレンケル双対W代数を生成することを証明する予想を解決する。著者らは、相対的半無限コホモロジーを用いた畳み込み作用を構成し、特徴値計算と表現論を用いて同型を検証することで、アフィンコセットに限らない全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.

研究の動機と目的

• 畳み込み作用を構成することで、フェイジン＝フレンケル双対性をアフィンコセットから全W代数へ拡張すること。
• 適切なカーネル頂点代数とホック型W代数の相対的半無限コホモロジーが、そのラングランズ双対W代数に同型であることを証明すること。
• 主なW代数に限らない、より広いクラスのW超代数（部分正則型および最小型を含む）へ双対性を一般化すること。
• ホック型代数の構造とその分解性を用いて、W代数における双対性の均一な枠組みを確立すること。
• ヴェルマ加群と可積分表現を含む特徴値計算と表現論的議論により、コホモロジーのレベルで予想を検証すること。

提案手法

• W代数とカーネル頂点代数のテンソル積における相対的半無限コホモロジーを用いて畳み込み作用を定義する。
• チェバレー反対自己同型とループ代数の作用を用いて、コホモロジー複体を構成する。
• オイラー＝ポワンカレの原理を適用し、コホモロジーの特徴値を計算し、可積分表現の特徴値と関連付ける。
• ヴェルマ加群上の非退化な双一次形式を用いて非退化性を保証し、0次コホモロジーを計算する。
• 関係式 $k + h^ atural = -( ilde{k} + ilde{h}^ atural)$ を活用し、相反的重みを関連づけ、特徴値式を簡略化する。
• 最低重量空間を不変部分空間 $(L_ u imes L_ u^lat)^rak{g}$ と特定することで、コホモロジーが一様に双対W代数に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 フェイジン＝フレンケル双対性は、アフィンコセットから全W代数へ畳み込み作用を用いて拡張可能か？
• RQ2 適切なカーネルを備えたホック型W代数の相対的半無限コホモロジーは、そのラングランズ双対W代数に同型であるか？
• RQ3 量子ハミルトニアン還元と頂点代数構造の文脈において、畳み込み作用はどのように双対性を保存するか？
• RQ4 特徴値計算とヴェルマ加群の表現は、コホモロジーのレベルでの双対性の検証にどのような役割を果たすか？
• RQ5 ホック型W代数のすべてのタイプ（Lie超代数を含む）にわたって、双対性を一様に定式化できるか？

主な発見

• 相対的半無限コホモロジー $H^{rac{ty}{2}+0}_{ ext{rel}}(rak{g}, b{V}^k_ u oxtimes b{V}^ ilde{k}_ u)$ は一様に1次元であり、最低相反的重みを持つ。これにより、非自明なコホモロジー類が一意に存在することが確認された。
• コホモロジーの特徴値は $q^{rac{| u+ ho|^2 - | u^lat+ ho|^2}{2(k+h^ atural)}}$ であり、双対性条件の下で双対W代数の特徴値と一致する。
• コホモロジーは双対W代数 $\W^\ell({}^L\frak{g}, f_{\frak{a}})$ に同型であり、畳み込みが双対代数を生成することを証明した。
• この同型は、タイプ $A^\pm, B^\pm, C^\pm, D^\pm, O^\pm$ を含むすべてのホック型W代数に一様に成立し、主な場合に限らない双対性が確認された。
• 証明は、可積分 $rak{g}$-加群の完全可約性と、コホモロジーが不変部分空間 $(L_ u imes L_ u^lat)^rak{g}$ に一致することに依存する。
• 双対代数がコホモロジー的構成として実現されることにより、フェイジン＝フレンケル双対性が、アフィンコセットに限らず全W代数へ一般化された。