[论文解读] Automorphisms of the semigroup of endomorphisms of free algebras of homogeneous varieties

Ruvim Lipyanski|arXiv (Cornell University)|Nov 27, 2005

Algebraic Geometry and Number Theory参考文献 16被引用 3

一句话总结

本文刻画了在 R¹ MF-域上的齐次簇中自由代数的自同态半群的自同构——具体而言是李代数和 m-幂零结合代数——表明所有此类自同构均为拟内自同构，推广了此前在无限域上的结果。关键贡献在于通过证明自由李代数在 R¹ MF-域上的拟内自同构结构，解决了文献[21]中的问题5.1，其应用涵盖矩阵半群以及普遍代数几何中的范畴等价性。

ABSTRACT

We consider homogeneous varieties of linear algebras over an associative-commutative ring K with 1, i.e., the varieties in which free algebras are graded. Let F be a free algebra of some variety A of linear algebras over K freely generated by a finite set X, EndF be the semigroup of endomorphisms of F, and AutEndF be the group of automorphisms of the semigroup EndF. We investigate structure of the group AutEndF and its relation to the algebraical and categorical equivalence of algebras from A. We define a wide class of R1MF-domains containing, in particular, Bezout domains, unique factorization domains, and some other domains. We show that every automorphism of semigroup EndF, where F is a free finitely generated Lie algebra over an R1MF-domain, is semi-inner. This solves the Problem 5.1 left open in [21]. As a corollary, semi-innerity of all automorphism of the category of free Lie algebras over R1MF-domains is obtained. Relations between categorical and geometrical equivalence of Lie algebras over R1MF-domains are clarified. The group AutEndF for the variety of m-nilpotent associative algebras over R1MF-domains is described. As a consequence, a complete description of the group of automorphisms of the full matrix semigroup of n x n matrices over R1MF-domains is obtained. We give an example of the variety of linear algebras over a Dedekind domain such that not all automorphisms of AutEndF are quasi-inner. The results obtained generalize the previous studies of various special cases of varieties of linear algebras over infinite fields.

研究动机与目标

• 描述自由代数 $\mathrm{End}\,F$ 在 R¹ MF-域上的齐次簇中的自同态半群的自同构群。
• 解决文献[21]中的问题5.1，该问题在环而非域上对自由李代数仍为开放问题。
• 通过 $\mathrm{End}\,F$ 的自同构结构，厘清代数几何等价性与范畴等价性在 R¹ MF-域上李代数之间的关系。
• 将此前关于自同态半群自同构的结果从无限域推广至更广泛的环类，包括贝祖环与唯一分解整环。
• 为 m-幂零结合代数提供 $\mathrm{Aut}\,\mathrm{End}\,F$ 的完整描述，并推导出在 R¹ MF-域上全矩阵半群的结论。

提出的方法

• 引入 R¹ MF-域类——即其商域上每个秩1矩阵均可分解为外积的环——推广了域与唯一分解整环。
• 使用拟内自同构的概念，其定义为双射 $s: F \to F$，满足 $s(a+b) = s(a)+s(b)$，$s(\xi a) = \varphi(\xi)s(a)$，且 $s(ab) = \alpha s(a)s(b)$，其中 $\alpha \neq 0$，$\varphi \in \mathrm{Aut}\,K$，或其逆序乘积版本。
• 应用约化定理，并将自同构结构分解为稳定与内自同构部分，以分析 $\mathrm{Aut}\,\mathrm{End}\,F$。
• 通过对称多项式（例如 $g(x_1,x_2) = x_1x_2 + x_2x_1$）显式构造自同构，以在 m-幂零代数中实现 p-拟内与 p-镜像自同构。
• 证明当 $m=2$ 时，$F_2$ 中的乘法为平凡，因此 $\mathrm{End}\,F_2$ 的所有自同构必为拟内自同构，从而得出 $M_n(K)$ 的每个自同构均为拟内自同构的结论。
• 利用伽罗瓦对应及自由有限生成代数的范畴 $\Theta^0$，将自同构群与范畴等价性及几何等价性联系起来。

实验结果

研究问题

• RQ1 在 R¹ MF-域上，自由李代数 $F$ 的 $\mathrm{End}\,F$ 的所有自同构是否均为拟内自同构？
• RQ2 在 R¹ MF-域上，m-幂零结合代数的 $\mathrm{Aut}\,\mathrm{End}\,F_m$ 结构如何依赖于基环 $K$ 的基数与特征？
• RQ3 通过 $\mathrm{Aut}\,\mathrm{End}\,F$ 确定的 R¹ MF-域上李代数的范畴等价性与几何等价性之间有何关系？
• RQ4 能否通过 $F$ 在适当簇中自由生成的 $\mathrm{End}\,F$ 的自同构，完全描述全矩阵半群 $M_n(K)$ 的自同构群？
• RQ5 在戴德金整环上是否存在某些簇，使得 $\mathrm{End}\,F$ 的自同构并非全为拟内自同构？

主要发现

• 在 R¹ MF-域上，自由李代数 $F$ 的 $\mathrm{End}\,F$ 的所有自同构均为拟内自同构，解决了文献[21]中的问题5.1。
• 在 R¹ MF-域上，m-幂零结合代数的 $\mathrm{Aut}\,\mathrm{End}\,F_m$ 由拟内、p-拟内、镜像与 p-镜像自同构生成，其结构取决于环的大小与特征。
• 当 $m=2$ 时，$F_2$ 中的乘法为平凡，所有 $\mathrm{End}\,F_2$ 的自同构均为拟内自同构，从而得出对任意 R¹ MF-域 $K$，$M_n(K)$ 的每个自同构均为拟内自同构。
• 在 $\mathbb{F}_2$ 上的 3-幂零结合代数簇中构造了一个反例，证明存在 2-内与 2-镜像自同构，从而表明一般情况下并非所有自同构均为拟内自同构。
• 对于 R¹ MF-域上自由有限生成李代数的范畴 $\Theta^0$，其自同构群 $\mathrm{Aut}\,\Theta^0$ 完全由拟内自同构构成，通过稳定与内自同构的复合实现。
• 本文证明，$\mathrm{End}\,F$ 的拟内自同构诱导出范畴 $\Theta^0$ 的拟内自同构，从而将自同态群的结构与范畴等价性联系起来。