[論文レビュー] $L_\infty$-algebra extensions of Leibniz algebras

Sylvain Lavau, Jim Stasheff|arXiv (Cornell University)|Mar 17, 2020

Black Holes and Theoretical Physics参考文献 44被引用数 2

ひとこと要約

この論文は、任意のLeibniz代数 $V$ から、標準的で関手的な $L_∞$-代数拡張を構成し、Leibniz代数と $L_∞$-代数の間の体系的リンクを確立する。この構成により、テンソル階層における微分付きLie代数構造の導出がより明確かつ直接的に行われ、高エネルギー物理学におけるLeibnizゲージ理論の数学的基盤が裏付けられる。

ABSTRACT

Leibniz algebras have been increasingly used in gauging procedures in supergravity. Their relationship with $L_\infty$-algebras and tensor hierarchies have been explored in the physics literature. This paper is devoted to showing that a Leibniz algebra $V$ gives rise to a non-positively graded $L_\infty$-algebra. We call such an $L_\infty$-algebra an '$L_\infty$-extension of the Leibniz algebra $V$' and show that this construction is functorial. We will also use the opportunity of building this functor to provide a more clear and straightforward construction of the differential graded Lie algebra structure equipping the tensor hierarchy, previously presented in arXiv:1708.07068. We do not claim that the $L_\infty$-algebra thus obtained from a Leibniz algebra should be the 'correct' one, that physicists should use in their models, though many of them do. However, we stress that a canonical and functorial construction exists, hence justifying that there is room for well-defined Leibniz gauge theories.

研究の動機と目的

• 任意のLeibniz代数 $V$ から標準的で関手的な $L_\infty$-代数を構成すること。
• 超重力モデルにおけるテンソル階層の背後にある数学的構造を明確化すること。
• テンソル階層における微分付きLie代数構造のより透明で直接的な導出を提供すること。
• 体系的な代数的構成を通じて、well-defined なLeibnizゲージ理論の存在を正当化すること。

提案手法

• Leibniz代数 $V$ を、体系的で関手的な手順により、非正の次数を持つ $L_\infty$-代数に写像する。
• $L_\infty$-代数構造は、Leibniz代数の括弧およびその高次ホモトピー関係を用いて定義される。
• この方法は、$L_\infty$-代数の性質を活用して、テンソル階層の微分付きLie代数構造を符号化する。
• この構成が関手的であることが示され、Leibniz代数間の準同型を保存する。
• アプローチにより、テンソル階層の微分付きLie代数構造がより透明で概念的に明確な方法で再導出される。
• このフレームワークは、恣意的な選択を避け、標準性と物理的応用との整合性を強調する。

実験結果

リサーチクエスチョン

• RQ1 Leibniz代数から標準的 $L_\infty$-代数を関手的に構成できるか？
• RQ2 $L_\infty$-代数の構成は、テンソル階層における微分付きLie代数構造とどのように関係するか？
• RQ3 関手性は、Leibniz代数に基づくゲージ理論の整合性を保証するために果たす役割は何か？
• RQ4 物理的直感に依存せずに、テンソル階層の代数的構造を体系的に導出する方法はあるか？
• RQ5 この構成は、超重力理論におけるLeibnizゲージ理論の数学的正当性を裏付けるか？

主な発見

• 任意のLeibniz代数 $V$ から、標準的で関手的な $L_\infty$-代数拡張が構成され、整合性と構造保存が保証される。
• この構成により、テンソル階層における微分付きLie代数構造の導出がより直接的かつ概念的に透明になる。
• $L_\infty$-代数構造は非正の次数を持つため、超重力理論におけるゲージ場の代数的階層を反映している。
• 構成の関手的性質により、Leibniz代数間の準同型と整合性が保たれ、堅牢な数学的フレームワークが実現される。
• 体系的で標準的な構成を通じて、well-defined なLeibnizゲージ理論の存在が正当化される。
• この方法は、arXiv:1708.07068 における先行研究の構成とは異なり、明確さと概念的基盤の強化を図っている。