[论文解读] Commuting matrices, and modules over Artinian local rings

George M. Bergman|arXiv (Cornell University)|Aug 31, 2013

Rings, Modules, and Algebras参考文献 8被引用 4

一句话总结

本文通过研究阿廷诺局部环上交换自同态生成的代数结构，推广了格斯特恩哈伯关于交换矩阵的定理。证明了在交换局部阿廷诺环上，忠实模的长度受其陪集长度的有界控制，从而为由交换矩阵生成的矩阵代数维数提供了精确的上界。

ABSTRACT

Gerstenhaber showed in 1961 that any commuting pair of n x n matrices over a field k generates a k-algebra A of k-dimension \leq n. A well-known example shows that the corresponding statement for 4 matrices is false. The question for 3 matrices is open. Gerstenhaber's result can be looked at as a statement about the relation between the length of a 2-generator finite-dimensional commutative k-algebra A and the lengths of faithful A-modules. Wadsworth generalized this result to a larger class of commutative rings than those generated by two elements over a field. We recover his generalization, using a slightly improved argument. We then explore some examples, raise further questions, and make a bit of progress toward answering some of them. An appendix gives some results on generation and subdirect decompositions of modules over not necessarily commutative Artinian rings, generalizing a special case used in the paper. What I originally thought of as my main result turned out to have been anticipated by Wadsworth, so I probably won't submit this for publication unless I find further strong results to add. However, others may find interesting the observations, partial results, and questions noted, and perhaps make some progress on them.

研究动机与目标

• 将域上 $ n \times n $ 交换矩阵的格斯特恩哈伯结果推广至更一般的交换环，特别是阿廷诺局部环。
• 研究交换局部阿廷诺环上忠实模的长度与其生成的自同态代数结构之间的关系。
• 探讨此类环上忠实模的最小可能长度，尤其关注其与环的陪集长度的关系。
• 为理解由交换矩阵生成的代数维数何时受矩阵大小限制（特别是三组或更多矩阵时）提供一个框架。
• 通过模论方法与子直积分解，解决关于高阶矩阵数量下格斯特恩哈伯型上界失效的开放问题。

提出的方法

• 利用凯莱-哈密顿定理及其关于有限生成模自同态的推论，控制自同态幂次的增长。
• 引入基环 $ R $ 的理想 $ I_i $，用于度量由 $ i $ 个元素生成的 $ f $-不变子模的零化子，从而控制自同态代数的结构。
• 应用引理2，通过商环 $ R/I_i $ 的长度，界定由单个自同态 $ f $ 生成的代数 $ A $ 的 $ R $-模长度。
• 利用主理想整环上有限长模的分解，将自同态代数的长度与模的长度关联起来。
• 对阿廷诺环上的模运用子直积分解技术，构造具有受控生成性与陪集大小的忠实子模与子因子。
• 应用关于局部阿廷诺模及其陪集的结果，推导出格斯特恩哈伯型上界最小反例的最小生成数与陪集长度的上界。

实验结果

研究问题

• RQ1 格斯特恩哈伯对域上两个 $ n \times n $ 交换矩阵生成代数维数的上界，能否推广至交换局部阿廷诺环？
• RQ2 交换局部阿廷诺环上忠实模的最小可能长度是多少？它与环的陪集长度有何关系？
• RQ3 是否存在一个有限上界，使得域上三个 $ n \times n $ 交换矩阵生成的代数维数受此限制？若存在，其决定因素是什么？
• RQ4 在何种条件下，阿廷诺环上的忠实模可被一个既有限生成又具有小陪集的子因子所替代？
• RQ5 能否通过模论不变量（如陪集长度与生成数）来刻画三组或更多交换矩阵下格斯特恩哈伯上界失效的原因？

主要发现

• 在交换主理想整环 $ R $ 上，有限长模 $ M $ 上由单个自同态 $ f $ 生成的自同态代数 $ A $ 的长度满足 $ \sum_{i=0}^{d-1} \ell(R/I_i) $ 的上界，其中 $ d $ 是 $ M $ 的最小生成元数。
• 对于陪集长度为 $ n $ 的交换局部阿廷诺环 $ A $，任意忠实 $ A $-模 $ M $ 均存在一个忠实子模 $ M' $，使得 $ \ell(M'/J(A)M') \leq n $，因此 $ M' $ 由至多 $ n $ 个元素生成。
• 任意忠实 $ A $-模 $ M $ 也存在一个忠实商模 $ M'' $，满足 $ \ell(\mathrm{socle}(M'')) \leq n $，表明格斯特恩哈伯型上界最小反例的陪集长度是受控的。
• 见证 $ \ell(A) \leq \ell(M) $ 上界失效的最小长度忠实 $ A $-模 $ M $ 必须由至多 $ n $ 个元素生成，且其陪集长度至多为 $ n $，其中 $ n = \ell(\mathrm{socle}(A)) $。
• 此类子因子同时具有有界生成性与有界陪集长度，意味着任何反例在结构与大小上都必须是“小”的。
• 本研究结果恢复并略微改进了瓦德斯沃思对格斯特恩哈伯定理的推广，采用更清晰的论证方式，基于理想滤子与模生成理论。