[論文レビュー] 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}$ が反導分の恒等式 $\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{R}$ の2- torsion-free 性を活用して、$\mathcal{G}$ 上の写像の構造的分解に基づくものであり、成分ごとの恒等式を導出する。
• ペアリングの忠実性と非退化性を用いて、$\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- torsion-free であるという仮定のもとで成り立つ。
• 上三角または下三角行列代数 $T_n(\mathcal{R})$（$n \geq 2$）の場合は、反導分部が消えるため、任意のジョルダン導分は実際に導分である。
• 量子群や量子代数からの例（例えば $U_q(\mathfrak{sl}_2(\mathbb{K}))$ と $\mathcal{O}_q(M_n(\mathbb{K}))$）を用いて、必要な非退化性および半素性の条件が満たされることを示す。
• 本稿は、一般化された行列代数におけるジョルダン導分の構造が、本質的にモラータコンテキストのペアリングの非退化性によって支配されることを確立した。