[論文レビュー] On hom-algebras with surjective twisting

Aron Gohr|ArXiv.org|Jun 17, 2009

Advanced Topics in Algebra参考文献 5被引用数 18

ひとこと要約

この論文は、全射的ねじれ写像を備えたホム代数的構造を調査し、やや弱い非退化性条件のもとで、このような構造が結合的代数のねじれ版であることを証明している。主な貢献は、弱く単位的ホム代数に関する先行研究の一般化であり、ねじれ写像の全射性が実際には全単射を意味することを示し、ホム結合的構造と結合的変形の間の変形理論的関係を確立している。

ABSTRACT

A hom-associative structure is a set $A$ together with a binary operation $\star$ and a selfmap $α$ such that an $α$-twisted version of associativity is fulfilled. In this paper, we assume that $α$ is surjective. We show that in this case, under surprisingly weak additional conditions on the multiplication, the binary operation is a twisted version of an associative operation. As an application, an earlier result by Yael Fregier and the author on weakly unital hom-algebras is recovered with a different proof. In the second section, consequences for the deformation theory of hom-algebras with surjective twisting map are discussed.

研究の動機と目的

• 弱く単位的ホム結合的代数に関する先行結果を一般化すること。弱い単位的性を非退化性という条件に置き換える。
• ねじれ写像が全射であるホム結合的構造において、乗法がやや弱い条件下で結合的演算のねじれ版であることを示すこと。
• 非退化ホム結合的構造の文脈において、ねじれ写像の全射性が全単射を意味することを確立すること。
• 全射的ねじれから生じるホム代数の形式的ホム結合的変形が、その下位の結合的代数の形式的結合的変形とどのように関係するかを明らかにすること。
• より一般的な仮定と異なる手法を用いて、弱く単位的ホム代数に関する以前の結果を再証明すること。

提案手法

• 写像 α を用いて結合的代数から得られるホム結合的構造（「ねじれ」と呼ぶ）の概念を導入する。ここで x⋆y := α(x·y) と定義する。
• α が単射でないか、乗法が構造を持たないような自明または退化した状況を避けるために、非退化ホム結合的構造を定義する。
• α が全射であり、乗法が非退化であれば、ホム結合的構造がねじれによって結合的代数から得られることを示す主要補題を証明する。
• 代数的変形とホム結合的性質を用いて、非退化性のもとで α の全射性が全単射を意味することを示す。
• 文献[4]の変形理論的手法を適用し、非退化性と全射性が形式的ホム結合的変形のもとでも保存されることを示す。
• 形式的同型と整合性条件を用いて、ホム結合的代数の変形とその下位の結合的代数の変形を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ねじれ写像が全射であるホム結合的代数が、どのような条件下で結合的代数のねじれ版として生じるか。
• RQ2 先行研究における弱い単位的性の仮定を、非退化性のようなより弱く一般性の高い条件に置き換えることは可能か。
• RQ3 非退化ホム結合的構造において、ねじれ写像の全射性が全単射を意味するか。
• RQ4 形式的ホム結合的変形が、その下位の結合的代数の形式的結合的変形とどのように関係するか。
• RQ5 ねじれ写像が全射である場合、ホム結合的代数の変形理論が、結合的代数の変形理論に還元可能か。

主な発見

• ねじれ写像が全射で、乗法が非退化なホム結合的構造は、写像 α を通じて結合的代数のねじれ版と同型である。
• 非退化ホム結合的構造において、α の全射性が全単射を意味することを示し、事前に全単射を仮定する必要がなかった先行結果を強化した。
• 以前の結果（ねじれ写像が全単射である弱く単位的ホム代数）は、主定理の特別な場合として再現され、より一般的な条件下で証明された。
• 非退化性とねじれ写像の全射性は、形式的ホム結合的変形のもとでも保存される。
• 結合的代数の全射的ねじれから生じるホム代数の形式的ホム結合的変形は、元の結合的代数の形式的結合的変形に対応する。
• 変形プログラムは形式的同型と整合的であり、変形の同値類を下位の結合的代数の変形に還元可能であることが保証される。