[论文解读] Jordan Derivations and Antiderivations of Generalized Matrix Algebras

Yanbo Li, Leon van Wyk+1 more|arXiv (Cornell University)|Feb 12, 2012

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

一句话总结

本文研究通过莫里塔上下文构造的广义矩阵代数中的乔丹导子与反导子。证明若其中一个双线性配对非退化，则所有反导子恒为零；否则当两个配对应为零时，每个乔丹导子可分解为导子与反导子之和——在非平凡代数结构中提供了这些映射的结构刻画。

ABSTRACT

Let $\mathcal{G}=[A & M N & B]$ be a generalized matrix algebra defined by the Morita context $(A, B,_AM_B,_BN_A, Φ_{MN}, Ψ_{NM})$. In this article we mainly study the question of whether there exist proper Jordan derivations for the generalized matrix algebra $\mathcal{G}$. It is shown that if one of the bilinear pairings $Φ_{MN}$ and $Ψ_{NM}$ is nondegenerate, then every antiderivation of $\mathcal{G}$ is zero. Furthermore, if the bilinear pairings $Φ_{MN}$ and $Ψ_{NM}$ are both zero, then every Jordan derivation of $\mathcal{G}$ is the sum of a derivation and an antiderivation. Several constructive examples and counterexamples are presented.

研究动机与目标

• 确定由莫里塔上下文定义的广义矩阵代数中乔丹导子与反导子的存在性与结构。
• 分析双线性配对的非退化性如何影响非零反导子的存在性。
• 当两个配对应为零时，刻画乔丹导子的结构，特别是其是否可分解为导子与反导子之和。
• 提供构造性例子与反例以说明理论结果。
• 将三角矩阵代数中导子的已知结果推广至具有零配对的更广义的广义矩阵代数类。

提出的方法

• 作者利用莫里塔上下文框架定义广义矩阵代数 $\mathcal{G} = \begin{bmatrix} A & M \\ N & B \end{bmatrix}$，其中包含双模 $M$、$N$ 及双线性配对 $\Phi_{MN}: M \otimes_B N \to A$、$\Psi_{NM}: N \otimes_A M \to B$。
• 他们分析了 $\mathcal{R}$-线性映射 $\Theta_{\rm antid}$ 在 $\mathcal{G}$ 上满足反导子恒等式 $\Theta_{\rm antid}(xy) = \Theta_{\rm antid}(x)y + x\Theta_{\rm antid}(y)$ 的条件。
• 对于乔丹导子，他们应用恒等式 $\Theta_{\rm Jord}(xy + yx) = \Theta_{\rm Jord}(x)y + x\Theta_{\rm Jord}(y) + \Theta_{\rm Jord}(y)x + y\Theta_{\rm Jord}(x)$，并通过矩阵块分析将映射分解为分量。
• 证明依赖于 $\mathcal{G}$ 上映射的结构分解，利用基环 $\mathcal{R}$ 的 $2$-挠自由性推导出分量恒等式。
• 他们利用配对的忠实性与非退化性，证明若 $\Phi_{MN}$ 或 $\Psi_{NM}$ 非退化，则任意反导子必为平凡映射。
• 他们构造了配对为零的显式例子，表明在这些情况下，乔丹导子可如定理 3.11 所述分解为导子与反导子之和。

实验结果

研究问题

• RQ1 在广义矩阵代数中，非零反导子存在的条件是什么？
• RQ2 当双线性配对 $\Phi_{MN}$ 与 $\Psi_{NM}$ 均为零时，乔丹导子的结构如何？
• RQ3 是否每个具有零配对的广义矩阵代数上的乔丹导子均可分解为导子与反导子之和？
• RQ4 一个配对的非退化性如何影响反导子的存在性？
• RQ5 已知的三角矩阵代数结果在多大程度上可推广至更一般的广义矩阵代数？

主要发现

• 若双线性配对 $\Phi_{MN}$ 或 $\Psi_{NM}$ 之一非退化，则广义矩阵代数 $\mathcal{G}$ 的所有反导子恒为零。
• 当 $\Phi_{MN}$ 与 $\Psi_{NM}$ 均为零时，$\mathcal{G}$ 上的每个乔丹导子可唯一表示为导子与反导子之和。
• 乔丹导子分解为导子与反导子分量的结论在基环 $\mathcal{R}$ 为 $2$-挠自由的假设下成立。
• 在 $n \geq 2$ 的上三角或下三角矩阵代数 $T_n(\mathcal{R})$ 中，反导子部分消失，因此每个乔丹导子实际上都是导子。
• 通过量子群与量子代数中的例子（如 $U_q(\mathfrak{sl}_2(\mathbb{K}))$ 与 $\mathcal{O}_q(M_n(\mathbb{K}))$）说明了结果，其中所需的非退化性与半素性条件均满足。
• 本文确立了广义矩阵代数中乔丹导子的结构本质上由莫里塔上下文配对的非退化性所决定。