[论文解读] Hom-center-symmetric algebras and bialgebras

Mahouton Norbert Hounkonnou, Mafoya Landry Dassoundo|arXiv (Cornell University)|Jan 17, 2018

Advanced Topics in Algebra参考文献 16被引用 6

一句话总结

本文通过自同态结构将中心对称代数的形变引入同态中心对称代数，定义了其双模与匹配对，并建立了这些代数的对偶双模与同态李代数匹配对之间的联系。主要贡献在于一个定理，证明同态中心对称双代数精确对应于同态中心对称代数的匹配对及其相关子邻接同态李代数，而马林三元组构造为此类结构提供了统一的框架。

ABSTRACT

In this work, the hom-center-symmetric algebras are constructed and discussed. Their bimodules, dual bimodules and matched pairs are defined. The relation between the dual bimodules of hom-center-symmetric algebras and the matched pairs of hom-Lie algebras is established. Furthermore, the Manin triple of hom-center-symmetric algebras is given. Finally, a theorem linking the matched pairs of hom-center-symmetric algebras, the hom-center-symmetric bialgebras and the matched pairs of sub-adjacent hom-Lie algebras is provided.

研究动机与目标

• 通过自同态结构对中心对称代数进行形变，定义并研究同态中心对称代数的代数结构。
• 为同态中心对称代数引入双模与匹配对，并将其与同态李代数结构联系起来。
• 为同态中心对称代数构造马林三元组，并建立其与同态李双代数的对偶性。
• 证明同态中心对称双代数、同态中心对称代数的匹配对，以及其子邻接同态李代数的匹配对之间的精确对应关系。

提出的方法

• 通过双线性乘法 μ 和线性映射 α 定义同态中心对称代数，满足 α(μ(x,y)) = μ(α(x),α(y)) 以及 α-结合子对称性 (x,y,z)α,μ = (z,y,x)α,μ。
• 通过左乘与右乘映射 L 和 R 定义同态中心对称代数上的双模，并通过对偶空间作用定义对偶双模。
• 通过满足广义雅可比型恒等式的相容作用，建立同态中心对称代数的匹配对。
• 在直和 A ⊕ A* 上构造马林三元组，使用非退化不变双线性型，并在对偶空间上定义相容的代数结构。
• 证明 A ⊕ A* 上的标准双线性型在匹配对作用下保持不变，从而定义马林三元组。
• 推导出一个定理，证明同态中心对称双代数结构的存在性等价于同态中心对称代数匹配对的存在性，以及其子邻接同态李代数匹配对的存在性。

实验结果

研究问题

• RQ1 如何通过扭曲映射 α 的代数形变，将中心对称代数推广到同态情形？
• RQ2 在何种条件下可以定义同态中心对称代数的双模与匹配对，并将其与同态李代数结构联系起来？
• RQ3 同态中心对称代数的对偶双模如何与同态李代数的匹配对相关联？
• RQ4 马林三元组构造如何适配于同态中心对称代数？其结构意义为何？
• RQ5 同态中心对称双代数、同态中心对称代数的匹配对，以及其子邻接同态李代数的匹配对之间存在何种精确对应关系？

主要发现

• 同态中心对称代数被定义为满足 α(μ(x,y)) = μ(α(x),α(y)) 与 α-结合子对称性 (x,y,z)α,μ = (z,y,x)α,μ 的三元组 (A, μ, α)。
• 证明了同态中心对称代数的对偶双模同构于同态李代数的匹配对，从而在两类代数之间建立了结构性桥梁。
• 在 A ⊕ A* 上构造了同态中心对称代数的马林三元组，使用非退化不变双线性型，当对偶空间配备相容的同态中心对称代数结构时，该三元组为标准形式。
• 证明了一个定理，建立了以下四者之间的等价性：(i) 标准马林三元组的存在性，(ii) 同态中心对称代数匹配对的存在性，(iii) 其子邻接同态李代数匹配对的存在性，以及 (iv) 同态中心对称双代数结构的存在性。
• 论文提供了双代数的同态条件，要求 f、f*、α 与 α* 在代数与对偶结构之间保持相容，确保在同态下的一致性。
• 通过显式计算验证了 A ⊕ A* 上双线性型的不变性，从而确认了马林三元组结构。