[論文レビュー] On unitality conditions for Hom-associative algebras

Yaël Frégier, Aron Gohr|ArXiv.org|Apr 30, 2009

Advanced Topics in Algebra参考文献 17被引用数 28

ひとこと要約

この論文は、ホモ結合的代数における単位的条件を検討し、古典的単位的と呼ばれる弱い形の単位的（弱単位的）の違いを明確にする。弱単位的ホモ結合的代数で、ねじれ写像が全単射である場合、一般化されたヤウ構成を用いて、標準的な結合的代数の変種であることが示され、特定の条件下で、このようなホモ代数と標準的結合的代数との間で構造的同型が成立する。

ABSTRACT

In hom-associative structures, the associativity condition $(xy)z=x(yz)$ is twisted to $α(x)(yz) = (xy)α(z)$, with $α$ a map in the appropriate category. In the present paper, we consider two different unitality conditions for hom-associative algebras. The first one, existence of a unit in the classical sense, is stronger than the second one, which we call weak unitality. We show associativity conditions connected to the size of the image of the twisting map for unital hom-associative algebras. Also the problem of embedding arbitrary hom-associative algebras into unital or weakly unital ones is investigated. Finally, we show that weakly unital hom-associative algebras with bijective twisting map are twisted versions of associative algebras.

研究の動機と目的

• ホモ結合的代数における二つの単位的条件、すなわち古典的単位的と弱単位的を明確にし、それらを比較すること。
• 任意のホモ結合的代数が弱単位的代数に埋め込めるかどうかを調査すること。
• ねじれ写像が全単射である場合の弱単位的ホモ結合的代数の構造を特徴づけること。
• 一般化されたねじれ手続きの下で、弱単位的ホモ結合的代数と結合的代数との間の対応関係を確立すること。

提案手法

• 古典的単位的（両側単位元の存在）と弱単位的（ねじれの下で片側作用のみを満たす単位元）の二つの単位的条件を導入し、それらを分析する。
• ホモ結合的性と単位条件から導かれる代数的恒等式を用いて、ねじれ写像の像における結合的基準を調査する。
• ねじれ写像の逆写像を用いてヤウのねじれ手続きを逆方向に適用し、弱単位的ホモ代数から結合的代数を再構成する。
• Prover9とMace4を用いた証明システムにより、特に補題2.4を検証する。補題2.4は、ねじられた乗法が結合的であることを保証する。
• 元の乗法⋆とねじれ写像αから、x·y = β(x⋆y)（ただしβ = α⁻¹）により、双線形積·を導出する。
• 弱単位的性とαの全単射性の下で、新しい積·が結合的かつ単位的代数をなすことを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のホモ結合的代数は、弱単位的ホモ結合的代数に埋め込めるか？
• RQ2 単位的ホモ結合的代数において、ねじれ写像の像に成立する結合的条件は何か？
• RQ3 どのような条件下で、単位的かつ非結合的代数がねじれ写像によってホモ結合的になるか？
• RQ4 弱単位的性と古典的単位的性は、ホモ結合的代数においてどのように関係しているか？
• RQ5 全単射なねじれ写像を持つ弱単位的ホモ結合的代数は、結合的代数の変種として再構成可能か？

主な発見

• 全単射なねじれ写像を持つ弱単位的ホモ結合的代数は、一般化されたヤウのねじれ手続きの下で、結合的代数と同型である。
• ねじれ写像の逆写像β = α⁻¹を用いて、双線形積·を構成でき、(A, ·, c)が単位的結合的代数をなす。
• 元のホモ結合的乗法⋆はx⋆y = α(x·y)により再構成可能であり、ホモ代数が結合的代数のねじれ版であることが示される。
• 補題2.4により、βが恒等式x·β(y·z) = β(x·y)·zを満たすことが示され、これが·の結合的性の証明に不可欠である。
• 本研究では、すべてのホモ結合的代数が弱単位的代数に埋め込めるとは限らないことが示され、この問いに対して否定的である。
• 古典的単位的性は弱単位的性よりも厳密に強いことが判明し、単位的ホモ代数における単位元は二重の役割を果たすが、それらは分離可能である。