[論文レビュー] Mathieu Subspaces of Associative Algebras

Wenhua Zhao|arXiv (Cornell University)|May 24, 2010

Advanced Differential Equations and Dynamical Systems参考文献 36被引用数 7

ひとこと要約

この論文は、任意の可換環および体上の結合代数におけるマチュー部分空間を導入し、それらをイデアルの一般化として研究する。代数的ラジカルを用いたマチュー部分空間の特徴付け、強く単純および準安定代数の分類、および体上の行列代数における余次元1および最小非自明なマチュー部分空間の完全な同定を行い、ジャコビアン予想やイメージ予想のような非可換一般化の予想の基礎的構造を提供する。

ABSTRACT

Motivated by the Mathieu conjecture [Ma], the image conjecture [Z3] and the well-known Jacobian conjecture [K] (see also [BCW] and [E]), the notion of Mathieu subspaces as a natural generalization of the notion of ideals has been introduced recently in [Z4] for associative algebras. In this paper, we first study algebraic elements in the radicals of Mathieu subspaces of associative algebras over fields and prove some properties and characterizations of Mathieu subspaces with algebraic radicals. We then give some characterizations or classifications for strongly simple algebras (the algebras with no non-trivial Mathieu subspaces) over arbitrary commutative rings, and for quasi-stable algebras (the algebras all of whose subspaces that do not contain the identity element of the algebra are Mathieu spaces) over arbitrary fields. Furthermore, co-dimension one Mathieu subspaces and the minimal non-trivial Mathieu subspaces of the matrix algebras over fields are also completely determined.

研究の動機と目的

• 代数幾何学および解析学における深い予想（ジャコビアン予想、イメージ予想、マチュー予想など）を動機として、イデアルの概念を結合代数におけるマチュー部分空間へ一般化すること。
• 特に局所代数および体上の代数的代数において、代数的ラジカルを用いたマチュー部分空間の構造を研究すること。
• 非自明なマチュー部分空間をもたない（強く単純な）代数、およびすべての単位元を含まない部分空間がマチュー部分空間である（準安定な）代数を、任意の体および可換環上で分類すること。
• 体上の行列代数における余次元1および最小非自明なマチュー部分空間を完全に同定し、構造的分類を提供すること。

提案手法

• マチュー部分空間の概念を、ある元の冪が部分空間に属するならば、任意の元による共役が最終的になぞらえられるという性質によって定義される、イデアルの非可換一般化として導入する。
• 代数的要素からなるラジカルを持つマチュー部分空間を特徴付けるために、ラジカル理論およびイデムポテンスの理論を適用する。
• 局所代数の構造および商構成（例：${\mathcal{A}}/\mathfrak{m}^k$）を用いて、剰余体が底体の代数的拡張である場合の準安定代数を分類する。
• $\vartheta$-安定性および$\vartheta$-準安定性の概念を用いて、強い有限性条件を満たす代数の極端な場合を分類する。
• ネイピオテンシー、可逆性、多項式恒等式に着目した代数的技法を用いて、特に$\vartheta$-安定代数の分類において非自明な場合に矛盾を導く。
• 既知の局所代数および代数的拡張に関する結果を活用し、代数的要素が底体上にモニック多項式を満たすという事実を用いて、ある商が準安定であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 体上に値をとる代数的要素からなるラジカルを持つマチュー部分空間の構造的性質は何か？
• RQ2 可換環上の結合代数で、非自明なマチュー部分空間をもたない（強く単純な）代数はどれか？
• RQ3 すべての単位元を含まない部分空間がマチュー部分空間である（つまり代数が準安定である）条件は何か？
• RQ4 体上の行列代数における余次元1のマチュー部分空間は何か？
• RQ5 体上の行列代数における最小非自明なマチュー部分空間は何か？

主な発見

• 代数的ラジカルを持つマチュー部分空間は、共役作用における振る舞いおよびラジカル内の要素に消えるモニック多項式の存在によって特徴付けられる。
• ${\mathcal{A}}$を可換$K$-代数、$\mathfrak{m}$を最大イデアルとして、${\mathcal{A}}/\mathfrak{m}$が$K$上代数的であるとき、すべての代数${\mathcal{A}}/\mathfrak{m}^k$は準安定$K$-代数である。
• 体上の行列代数における余次元1のマチュー部分空間は完全に分類され、トレースゼロの行列に関連する特定のイデアルから生じることが示された。
• 体上の行列代数における最小非自明なマチュー部分空間は、余次元1のものとして特徴付けられ、それらは共役作用およびべき衰減に関して閉じた特定の部分空間に対応する。
• $K \simeq \mathbb{Z}_2$である限り、唯一の$\vartheta$-安定$K$-代数は$K$自身および$\mathbb{Z}_2 \dot{+} \mathbb{Z}_2$である。
• 体$K$上に代数的であり、$K$以外に可逆元を含まない局所代数は、自明または$\mathbb{Z}_2 \dot{+} \mathbb{Z}_2$でない限り矛盾を生じるため、$\vartheta$-安定代数がこれで分類される。