[論文レビュー] Algebras constructed by tensor product. Applications to current Lie algebras

Elisabeth Remm, Michel Goze|arXiv (Cornell University)|Jun 5, 2006

Advanced Topics in Algebra被引用数 2

ひとこと要約

この論文は、与えられた二次的operad P から新しいoperad ~P を構成する方法を提示しており、任意の P-代数 A と任意の ~P-代数 B のテンソル積 A ⊗ B が自然に P-代数構造を備えることを保証する。主な貢献は、P によって支配される代数的構造とテンソル積が整合するような体系的なoperadicなメカニズムを提供することであり、これにより、この枠組みを用いて新しいカレントリー代数を構成できる。

ABSTRACT

Let P be a quadratic operad. We determine an associated operad ~P such that for any P-algebra A and any ~P-algebra B then the tensor product $A \otimes B$ is a P-algebra.

研究の動機と目的

• テンソル積のoperadic構造を二次的operad に関する代数へ拡張する普遍的構成を定義すること。
• カレントリー代数の文脈において、テンソル積の下での代数的構造の保存という課題に対処すること。
• P-代数と ~P-代数のテンソル積から新しい P-代数を体系的に構成できる一般的なoperadic枠組みを提供すること。
• このテンソル積メカニズムを用いてカレントリー代数を生成する理論的基盤を確立すること。

提案手法

• 二次的operad P が与えられたとき、双対性と Koszul 理論を用いて新しいoperad ~P を構成する。
• この構成は、P のoperadic双対 P! を用い、P! の特定の拡張またはねじれ変換として ~P を定義する。
• 任意の P-代数 A と任意の ~P-代数 B に対して、テンソル積 A ⊗ B が自然に P-代数構造を備えることを証明する。
• A ⊗ B 上のoperadic構造は、P と ~P からの操作の合成によって定義され、整合性と結合則を満たす。
• 結果として得られるテンソル積代数が P の公理を満たすことを保証するために、二次的operad 及びその Koszul 双対性の理論を活用する。
• この枠組みをリー代数のケースに適用し、カレントリー代数がこの構成から自然に生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 異なるoperad に関する2つの代数のテンソル積が、依然として元のoperad P によって支配される構造を持つにはどうすればよいか？
• RQ2 A が P-代数で B が ~P-代数であるとき、A ⊗ B が P-代数となるのを保証するoperadicな条件は何か？
• RQ3 P-代数 A と ~P-代数 B のテンソル積が P-代数構造を自然に持ち得るように保証する、与えられた二次的operad P に対する ~P の標準的構成は何か？
• RQ4 この構成は、既知のカレントリー代数の構造をどのように一般化するか？
• RQ5 このoperadicメカニズムを用いて、カレントリー代数の新しい例を体系的に生成できるか？

主な発見

• 任意の二次的operad P に対して、P-代数 A と ~P-代数 B のテンソル積 A ⊗ B が自然に P-代数構造を備えるような、標準的に定義された operad ~P が存在する。
• ~P の構成は、Koszul双対operad P! と特定のねじれ手続きを用いて明示的に与えられる。
• 得られる A ⊗ B 上の P-代数構造は、operadic合成と整合性を保ち、必要な公理を満たす。
• この枠組みはリー代数に直接適用可能であり、カレントリー代数が特定の ~Lie-代数 とリー代数のテンソル積として自然に生じることを示している。
• この方法は、表現論やリー理論における既知の構成を拡張する形で、P-代数の新しい例を体系的に生成する一般的かつ体系的な方法を提供する。