[论文解读] 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 当扭曲映射为满射时，同态结合代数的形变理论能否简化为结合代数的形变理论？

主要发现

• 具有满射扭曲映射和非退化乘法的同态结合代数结构，通过映射 α 同构于一个结合代数的扭曲版本。
• 在非退化同态结合代数结构中，α 的满射性蕴含双射性，从而强化了早期要求预先具备双射性的结果。
• 早期关于具有双射扭曲的弱单位元同态代数的结果，现作为主定理的特例被重新证明，且在更一般条件下成立。
• 非退化性与扭曲映射的满射性在形式同态结合形变下保持不变。
• 由结合代数的满射扭曲所生成的形式同态结合代数的形变，对应于原始结合代数的形式结合形变。
• 形变程序与形式同构兼容，确保形变的等价类可约化为底层结合代数的形变。