[論文レビュー] Deformed Double Current Algebras, Matrix Extended $\mathcal W_{\infty}$ Algebras, Coproducts, and Intertwiners from the M2-M5 Intersection

Davide Gaiotto, Miroslav Rapčák+1 more|arXiv (Cornell University)|Sep 29, 2023

Black Holes and Theoretical Physics被引用数 4

ひとこと要約

本稿は、ねじれたM理論におけるM2-M5ブレーンの交差から生じる変形二重カレント代数（DDCA）および行列拡張 $χ_{\infty}$ 代数を構築し、それらを分析する。$χ_{\infty}$ 代数の $χ_K$-DDCA に対して新たな表現を提示し、厳密に $χ_K$-拡張 $χ_{\infty}$ バーテックス代数を定義し、双代数的構造を通じてコプロダクトとインターヴァリアント（特に行列ミウラ作用素）を確立する。これにより、5次元 $χ=1$ SCFTにおける深い代数的双対性が明らかになる。

ABSTRACT

We study the algebraic structures which govern the deformation of supersymmetric intersections of M2 and M5 branes. The universal algebras on M2 and M5 branes are deformed double current algebra of $\mathfrak{gl}_K$ and $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra respectively. We give a new presentation of the deformed double current algebra of $\mathfrak{gl}_K$, and we give a rigorous mathematical construction of the $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra. A new presentation of the affine Yangian of $\mathfrak{gl}_K$ is also obtained. We construct various coproducts of these algebras, which are expected to encode the fusions of defects in twisted M-theory. The matrix extended Miura operators are identified as intertwiners in certain bimodules of these algebras.

研究の動機と目的

• ねじれたM理論におけるM2-M5ブレーンの交差から生じる $χ_K$-拡張 $χ_{\infty}$ バーテックス代数の、厳密な数学的枠組みを構築すること。
• $K=1$ の場合を一般化して、$χ_K$ のための変形二重カレント代数 $σ^{(K)}$ の新しい表現を提供すること。
• $σ^{(K)}$、$σ^{(K)}$、$σ^{(K)}$ におけるコプロダクト構造を定義・分析し、ねじれたM理論における欠損の融合を記述すること。
• 行列ミウラ作用素を、アフィンヤンギアン $σ^{(K)}$ および $χ_{\infty}^{(K)}$ 代数上の双モジュールにおけるインターヴァリアントとして同定すること。
• 長方形の $χ_{\infty}$ 代数のモード代数と $χ_K$-DDCA 間の同型を確立し、双対性構造を明らかにすること。

提案手法

• 非対称化生成子とフィルトレーションを用いて、変形二重カレント代数 $σ^{(K)}$ の新しい表現を導入し、PBW定理の証明を実施する。
• 行列値擬微分作用素を用いて $χ^{(K)}_{\infty}$ を構成し、構造定数の多項式性を証明する。
• 配置空間上のポイントスプリット構成を用いて、$σ^{(K)}$ にメロモルフィックコプロダクトを定義し、バーテックスコアルゲブラ構造を導く。
• アフィンヤンギアン $σ^{(K)}$ から $χ^{(K)}_{\infty}$ のモード代数への写像を確立し、PBW定理とコプロダクトの整合性を証明する。
• $σ^{(K)}$ の正負の部分の交わりとして $σ^{(K)}$ をグルーピング構成により定義し、そのコプロダクトを構成する。
• $σ^{(K)}$-双モジュール上の作用を用いて、行列ミウラ作用素をインターヴァリアントとして同定し、 $σ^{(K)}$ と $χ^{(K)}_{\infty}$ への作用を $σ^{(K)}$ の写像の合成により定義する。

実験結果

リサーチクエスチョン

• RQ1 $χ_K$ のための変形二重カレント代数 $σ^{(K)}$ は、明確なフィルトレーションとPBW基底を持つ、より対称的な新しい表現に再表現可能か？
• RQ2 $χ_K$-拡張 $χ_{\infty}$ バーテックス代数 $χ^{(K)}_{\infty}$ の正確な数学的構成は何か？ その構造定数は多項式的性質をどのように示すか？
• RQ3 $σ^{(K)}$、$σ^{(K)}$、$σ^{(K)}$ におけるコプロダクトは、ねじれたM理論における欠損の融合をどのように記述するか？
• RQ4 行列ミウラ作用素は、アフィンヤンギアン $σ^{(K)}$ と $χ^{(K)}_{\infty}$ 代数の表現間のインターヴァリアントとして、どのような意味で作用するか？
• RQ5 $χ^{(K)}_{\infty}$ と $σ^{(K)}$ のモード代数における双対性自己同型と反自己同型は、5次元 $χ=1$ 理論における物理的対称性とどのように関係するか？

主な発見

• 非対称化生成子を用いた $σ^{(K)}$ の新しい表現が提示され、縦方向および横方向のフィルトレーションを用いてPBW定理が確立された。
• $χ_K$-拡張 $χ_{\infty}$ バーテックス代数 $χ^{(K)}_{\infty}$ は、多項式的構造定数を持つバーテックス代数として厳密に構成された。
• $σ^{(K)}$ におけるメロモルフィックコプロダクトは、配置空間上のポイントスプリット写像を用いて定義され、代数的演算と整合するバーテックスコアルゲブラ構造が得られた。
• 行列ミウラ作用素は、 $σ^{(K)}$-双モジュールにおけるインターヴァリアントとして同定され、 $σ^{(K)}$ の作用を $σ^{(K)}$ の写像の合成により $σ^{(K)}$ の写像の合成により定義された。
• アフィンヤンギアン $σ^{(K)}$ から $χ^{(K)}_{\infty}$ のモード代数への写像が構成され、そのPBW定理が証明され、生成子の代数的独立性が確認された。
• 長方形の $χ_{\infty}$ 代数とそのモード代数の両方に対して、双対性同型と反自己同型が確立され、代数的構造における隠れた対称性が明らかになった。