[論文レビュー] Aspects of $Ω$-deformed M-theory

Davide Gaiotto, Jihwan Oh|arXiv (Cornell University)|Jul 15, 2019

Advanced Topology and Set Theory被引用数 30

ひとこと要約

本稿は、$Ç_{\epsilon_1} \times Ç_{\epsilon_2} \times Ç_{\epsilon_3}$ 背景における $Ω$-変形 M理論を調査し、5次元非可換 Chern-Simons 理論を支配する代数 ${\mathcal{A}}_{\epsilon_1,\epsilon_2}$ の三重性対称性を確立する。この代数を、ホロモーフィックゲージ対称性の非線形な量子一般化と特定し、$υ\mathfrak{gl}(1)$ アフィンヤンギアンへの同型を証明することで、M2 ブラネと M5 ブラネの交差およびそれらに付随するモジュールの代数的記述が可能になる。

ABSTRACT

We explore the properties of $Ω$-deformed M-theory, with particular focus on the $\mathbb{C}_{ε_1} imes\mathbb{C}_{ε_2} imes \mathbb{C}_{ε_3}$ background and coupling to $Ω$-deformed M2 and M5 brane world-volume theories.

研究の動機と目的

• $Ω$-変形の枠組みを M理論に拡張し、$Ç_{\epsilon_1} \times Ç_{\epsilon_2} \times Ç_{\epsilon_3}$ 背景とその 5次元有効理論への影響を分析すること。
• 5次元非可換 Chern-Simons 理論の観測量を支配する代数 ${\mathcal{A}}_{\epsilon_1,\epsilon_2}$ の三重性対称性を確立すること。
• M2 ブラネが $Ç_{\epsilon_i}$ を包み込むときのトポロジカルなラインデフェクトの代数的記述を提供すること。
• M5 ブラネからの表面デフェクト上でのラインデフェクトの端点を記述するモジュール ${\mathcal{M}}^{N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ を構成すること。
• 交差する M2 および M5 ブラネ配置を支配するバイモジュール ${\mathcal{B}}^{0;N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ を提案すること。

提案手法

• 著者らは、5次元非可換 $U(1)$ Chern-Simons 理論の観測量の Koszul 双対として代数 ${\mathcal{A}}_{\epsilon_1,\epsilon_2}$ を構成する。
• 明示的な同型を用いて ${\mathcal{A}}_{\epsilon_1,\epsilon_2}$ を $υ\mathfrak{gl}(1)$ アフィンヤンギアンと特定し、三重性対称性を証明する。
• 3次元ミラー対称性に基づく「クーロン枝」表現を用いて、$Ç_{\epsilon_1}$ の場合を越えた M2 ブラネラインデフェクトの一般化を達成する。
• M2 および M5 ブラネの交差は、量子状態が記述されたモジュール ${\mathcal{M}}^{N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ を通じて代数的に記述される。
• バイモジュール ${\mathcal{B}}^{0;N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ の構成により、非自明な融合を持つ交差ブランチ系の記述の枠組みが得られる。
• 形式的体系は微分的可換代数および $A_\infty$-構造に依拠し、Maurer-Cartan 要素が代数的制約およびモジュール写像を符号化する。

実験結果

リサーチクエスチョン

• RQ1 三重性対称性は、$Ω$-変形 M理論の背景において、5次元非可換 Chern-Simons 理論にどのように代数的に現れるか？
• RQ2 $Ω$-変形背景において $Ç_{\epsilon_i}$ を包み込む M2 ブラネの世界面理論を支配する正確な代数的構造は何か？
• RQ3 M2 および M5 ブラネの交差は、それらの量子接合点を符号化する代数的モジュールを用いてどのように記述できるか？
• RQ4 構築されたモジュール ${\mathcal{M}}^{N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ と、同じ幾何的設定下でのコーナー頂点代数の「退化モジュール」との関係は何か？
• RQ5 バイモジュール ${\mathcal{B}}^{0;N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ は、$Ω$-変形理論における非摂動的双対性や融合則を記述するために用いることができるか？

主な発見

• 5次元非可換 $U(1)$ Chern-Simons 理論を支配する代数 ${\mathcal{A}}_{\epsilon_1,\epsilon_2}$ は、$υ\mathfrak{gl}(1)$ アフィンヤンギアンと同型であり、三重性対称性が確認された。
• 著者らは、クーロン枝表現と 3次元ミラー対称性を用いて、$Ç_{\epsilon_1}$ の場合を超えた M2 ブラネラインデフェクト代数の一般化を構成した。
• M2 および M5 ブラネの交差は、モジュール ${\mathcal{M}}^{N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ によって記述され、これはコーナー頂点代数の退化モジュールと関連していることが示された。
• 本稿では、複数の方向を持つ M2 および M5 ブラネの交差における量子状態を符号化するバイモジュール ${\mathcal{B}}^{0;N_1,N_2,N_3}_{\epsilon_1,\epsilon_2}$ を提案した。
• Koszul 双対性の枠組みにより、5次元理論における観測量の代数とブランチ世界面における代数的構造との間の体系的関係が確立された。
• 微分的可換代数 $A \times {}^!A$ 内の Maurer-Cartan 要素 $x = \sum_i k_i \otimes t^i$ は、モジュール写像の代数的データを符号化し、導来代数的構造の一貫性を保証する。