[论文解读] Lie derivations on trivial extension algebras

Amir Hosein Mokhtari, Fahimeh Moafian+1 more|arXiv (Cornell University)|Apr 22, 2015

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

一句话总结

本文建立了在何种充分条件下，平凡扩张代数 $\tau = \mathfrak{A} \ltimes \mathfrak{X}$ 上的每个李导子都是正规的，即可以表示为一个导子与一个在交换子上消失的取值于中心的映射之和。关键结果表明，若 $\mathfrak{A}$ 具有一个非平凡幂等元 $p$ 满足对所有 $x \in \mathfrak{X}$ 有 $pxq = x$（其中 $q = 1 - p$），且满足某些中心性与忠诚性条件，则 $\mathfrak{A} \ltimes \mathfrak{X}$ 上的李导子是正规的，从而推广并恢复了关于三角代数的结果。

ABSTRACT

In this paper we provide some conditions under which a Lie derivation on a trivial extension algebra is proper, that is, it can be decomposed into the sum of a derivation and a center valued map. We extend some known results on the properness of Lie derivations of triangular algebras. Some illuminating examples are also included.

研究动机与目标

• 确定平凡扩张代数 $\mathfrak{A} \ltimes \mathfrak{X}$ 上每个李导子为正规的条件。
• 将已知关于三角代数中李导子性质的结果推广到更广泛的平凡扩张代数类。
• 识别结构性条件——特别是涉及幂等元与模忠诚性——以确保李导子可分解为导子与在交换子上消失的中心映射之和。

提出的方法

• 本文通过将线性映射分解为在 $\mathfrak{A}$ 和 $\mathfrak{X}$ 上作用的分量 $\mathcal{L}_{\mathfrak{A}}, \mathcal{L}_{\mathfrak{X}}, T, S$，分析了 $\mathfrak{A} \ltimes \mathfrak{X}$ 上李导子的结构。
• 通过验证李导子恒等式 $\mathcal{L}[a,b] = [\mathcal{L}(a),b] + [a,\mathcal{L}(b)]$ 在分量映射下的形式，推导出线性映射为李导子的必要与充分条件。
• 分析利用了 $\mathfrak{A}$ 中存在一个非平凡幂等元 $p$ 满足对所有 $x \in \mathfrak{X}$ 有 $pxq = x$，这确保了平凡扩张代数满足三角代数的结构。
• 引入了 $\mathfrak{X}$ 作为 $\mathfrak{A}$-双模的忠诚性概念，其中 $a\mathfrak{X} = 0$ 蕴含 $pap = 0$（左忠诚），$\mathfrak{X}a = 0$ 蕴含 $qaq = 0$（右忠诚），并利用此性质建立中心分量之间的同构。
• 证明构造了一个同构 $\tau: \pi_{p\mathfrak{A}p}(Z(\mathfrak{A} \ltimes \mathfrak{X})) \to \pi_{q\mathfrak{A}q}(Z(\mathfrak{A} \ltimes \mathfrak{X}))$，满足 $papx = x\tau(pap)$，这对于证明正规性至关重要。
• 将结果应用于三角代数 $\mathrm{Tri}(\mathcal{A}, \mathfrak{X}, \mathcal{B})$，通过用忠诚性条件替代忠实性条件，恢复并推广了Cheung的结果。

实验结果

研究问题

• RQ1 在何种条件下，平凡扩张代数 $\mathfrak{A} \ltimes \mathfrak{X}$ 上的每个李导子都是正规的，即可以表示为导子与在交换子上消失的中心映射之和？
• RQ2 在 $\mathfrak{A}$ 中存在一个非平凡幂等元 $p$ 满足对所有 $x \in \mathfrak{X}$ 有 $pxq = x$ 的情况下，该条件如何影响 $\mathfrak{A} \ltimes \mathfrak{X}$ 上李导子的结构？
• RQ3 作为 $\mathfrak{A}$-双模的 $\mathfrak{X}$ 的忠诚性在确保 $\mathfrak{A} \ltimes \mathfrak{X}$ 上李导子性质方面起什么作用？
• RQ4 如何将关于三角代数中李导子的结果推广到更广泛的平凡扩张代数类？
• RQ5 在正规李导子的背景下，中心分量 $\pi_{p\mathfrak{A}p}(Z(\mathfrak{A} \ltimes \mathfrak{X}))$ 与 $\pi_{q\mathfrak{A}q}(Z(\mathfrak{A} \ltimes \mathfrak{X}))$ 之间的同构 $\tau$ 具有什么意义？

主要发现

• 若 $\mathfrak{A}$ 具有一个非平凡幂等元 $p$ 满足对所有 $x \in \mathfrak{X}$ 有 $pxq = x$，且 $\mathfrak{A} \ltimes \mathfrak{X}$ 的中心分量通过一个同构 $\tau$ 联系，满足 $papx = x\tau(pap)$，则 $\mathfrak{A} \ltimes \mathfrak{X}$ 上的李导子 $\mathcal{L}$ 是正规的。
• $\mathfrak{X}$ 作为 $\mathfrak{A}$-双模的忠诚性确保了同构 $\tau$ 的存在与唯一性，这对于证明李导子的正规性至关重要。
• 当 $\mathfrak{X}$ 忠诚，且 $\mathcal{W}_{\mathcal{A}} = \mathcal{A}$ 或 $Z(\mathcal{A}) = \pi_{\mathcal{A}}(Z(\mathcal{T}))$，以及对 $\mathcal{B}$ 类似成立时，三角代数 $\mathcal{T} = \mathrm{Tri}(\mathcal{A}, \mathfrak{X}, \mathcal{B})$ 具有李导子性质。
• 本文表明，对于三角代数，由于 $q\mathfrak{A}p$ 的消失，$\mathcal{L}$ 分解中的 $T = 0$ 自动成立，从而简化了分析，并消除了对 2-挠自由性的假设需求。
• 通过用更一般的忠诚条件替代 $\mathfrak{X}$ 的忠实性，本文将 Cheung 关于三角代数的工作进行了推广，且在三角代数设定下，忠诚性等价于忠实性。
• 本文确立了：若 $\mathcal{A}$ 与 $\mathcal{B}$ 具有李导子性质，且 $\pi_{\mathcal{A}}(Z(\mathcal{T}))$ 与 $\pi_{\mathcal{B}}(Z(\mathcal{T}))$ 的中心条件成立，则 $\mathfrak{A} \ltimes \mathfrak{X}$ 具有李导子性质。