[论文解读] Mathieu Subspaces of Associative Algebras

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

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

一句话总结

本文引入并研究了在任意交换环和域上的结合代数中的Mathieu子空间，作为理想概念的推广。它通过代数根刻画了Mathieu子空间，分类了强单和拟稳定代数，并完全确定了域上矩阵代数中的余维一及极小非平凡Mathieu子空间，为Jacobian猜想和像猜想等非交换推广猜想提供了基础结构。

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.

研究动机与目标

• 将理想的概念推广到结合代数中的Mathieu子空间，动机源于代数几何与分析中深层的猜想，如Jacobian猜想、像猜想和Mathieu猜想。
• 研究具有代数根的Mathieu子空间的结构，特别是在局部代数和域上代数的代数结构中。
• 对任意域和交换环上的强单代数（即无非平凡Mathieu子空间的代数）和拟稳定代数（即所有不包含单位元的子空间均为Mathieu子空间）进行分类。
• 完全确定域上矩阵代数中的余维一及极小非平凡Mathieu子空间，提供结构性分类。

提出的方法

• 将Mathieu子空间引入为理想在非交换情形下的推广，其定义为：若某个元素的幂属于该子空间，则其任意元素的共轭最终也属于该子空间。
• 应用根理论与幂等元理论，刻画其根由代数元素构成的Mathieu子空间。
• 利用局部代数的结构及商构造（如 ${\mathcal{A}}/\mathfrak{m}^k$）对拟稳定代数进行分类，当剩余域在基域上代数闭时成立。
• 应用 $\vartheta$-稳定性与 $\vartheta$-拟稳定性概念，对满足强有限性条件的代数的极端情形进行分类。
• 运用涉及幂零性、可逆性及多项式恒等式的代数技巧，在非平凡情形下导出矛盾，尤其在 $\vartheta$-稳定代数的分类中。
• 利用关于局部代数和代数扩张的已知结果，证明某些商代数是拟稳定的，利用代数元素在基域上满足首一多项式这一事实。

实验结果

研究问题

• RQ1 在域上，其根由代数元素构成的Mathieu子空间具有哪些结构性质？
• RQ2 在交换环上，哪些结合代数无非平凡Mathieu子空间（即强单代数）？
• RQ3 在何种条件下，所有不包含单位元的子空间都是Mathieu子空间（即代数为拟稳定）？
• RQ4 域上矩阵代数中的余维一Mathieu子空间是什么？
• RQ5 域上矩阵代数中的极小非平凡Mathieu子空间是什么？

主要发现

• 具有代数根的Mathieu子空间可通过其在共轭下的行为以及根中元素满足的首一多项式来刻画。
• 所有形如 ${\mathcal{A}}/\mathfrak{m}^k$ 的代数，其中 ${\mathcal{A}}$ 是 $K$-代数，$\mathfrak{m}$ 是极大理想且 $\mathcal{A}/\mathfrak{m}$ 在 $K$ 上代数闭，均为拟稳定的 $K$-代数。
• 域上矩阵代数中的余维一Mathieu子空间已被完全分类，并表明其来源于与迹为零矩阵或类似结构相关的特定理想。
• 域上矩阵代数中的极小非平凡Mathieu子空间被刻画为余维一子空间，且对应于在共轭下封闭并满足幂衰减性质的特定子空间。
• 在 $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$-稳定代数进行分类。