[论文解读] Ternary mappings of triangular algebras

Cándido Martı́n González, Dolores Martı́n Barquero+2 more|arXiv (Cornell University)|May 30, 2019

Rings, Modules, and Algebras被引用 1

一句话总结

本文引入一个范畴框架，用于研究三角代数中的三元导子与自同构，明确刻画了三元自同构为可逆元的左乘与右乘及代数自同构的复合。主要贡献在于通过拉回构造与群函子精确描述三元导子与自同构，完整分类了忠实双模情形下的内自同构与内导子，其结构由李代数与模自同态给出。

ABSTRACT

We take a categorical approach to describe ternary derivations and ternary automorphisms of triangular algebras. New classes of automorphisms and derivations of triangular algebras are also introduced and studied.

研究动机与目标

• 开发三角代数中三元导子与自同构的范畴方法。
• 以可逆元与代数自同构的形式刻画三元自同构。
• 通过分量关系与内导子描述三元导子。
• 引入并研究一类新自同构，记为 Aut₀(T)，其保持 Peirce 分解。
• 建立自同构群与导子群之间与一般线性群及自同构群的拉回构造之间的同构关系。

提出的方法

• 使用范畴论与群函子建模三角代数的自同构与导子。
• 应用一般线性群函子 GL(M) 及其通过对偶数 R[ε] 构造的切李代数。
• 构造拉回图，将 Aut₀(T) 描述为 GL(M) 与 Aut(A×B) 沿同态空间 H 的纤维积。
• 利用 Peirce 分解 T = pTp ⊕ pTq ⊕ qTq 分析三元映射的分量行为。
• 通过共轭映射 T(m) = xmy⁻¹ 识别内自同构，并将其实现为从 A× × (B×)op 到群的满同态。
• 推导涉及李代数的精确序列与同构关系，例如 Innder₀(T) ≅ (A⁻ × B⁻)/(Z(A) ×E Z(B))。

实验结果

研究问题

• RQ1 如何利用代数与范畴工具完全刻画三角代数的三元自同构？
• RQ2 三角代数中三元导子的精确结构是什么？何时为内导子？
• RQ3 三元导子的分量之间如何代数相关联，又如何与底层代数结构关联？
• RQ4 忠实双模 M 在自同构与导子的分类中起何作用？
• RQ5 能否系统地描述一类新自同构 Aut₀(T)，并将其与已知群构造关联？

主要发现

• 任意代数 A 的三元自同构均具有形式 (RyLxσ, Lxσ, Ryσ)，其中 σ 为自同构，x, y 为可逆元。
• 三角代数的三元导子完全由涉及模自同态与代数自同构的分量关系描述。
• 当且仅当其分量满足关于乘法映射 μ 的特定相容性条件时，三元导子为内导子。
• 保持 Peirce 分解的自同构群 Aut₀(T) 同构于拉回 GL(M) ×H Aut(A×B)，其中 H = homR(A⊗M⊗B, M)。
• 对于忠实双模 M，有 Der₀(T) ≅ gl(M) ×H Der(A×B)，从而在导子空间上确立了李代数结构。
• Aut₀(T) 中的内自同构对应于共轭映射 T(m) = xmy⁻¹，且构成一个同构于 (A× × (B×)op)/(Z(A×) ×E Z(B×)op) 的群。