[论文解读] Lifting solutions of polynomial equations on matrices over field to complete local principal ideal rings

Saikat Panja, Ayon Roy+1 more|arXiv (Cornell University)|Feb 4, 2026

Commutative Algebra and Its Applications被引用 0

一句话总结

论文研究当一个在剩余域上满足多项式方程的可交换矩阵元组何时能提升到一个在完整局部主理想环上的可交换矩阵元组，并在正则半单/合适假设下证明存在性。

ABSTRACT

Let $\widehat{\mathscr O}$ be a complete local principal ideal ring with residue field $k$ of characteristic not $2$ and $f\in \widehat{\mathscr O}[x_1,x_2,\dots,x_m]$. Take $A\in \mathrm M_n(\widehat{\mathscr O})$ with its reduction $\overline{A}\in \mathrm M_n(k)$. In this article, we study the following lifting problem. Suppose there exists a tuple $(\widetilde{B}_1, \widetilde{B}_2, \dots,\widetilde{B}_m)\in \mathrm M_n(k)^m$ of pairwise commuting matrices such that $f(\widetilde{B}_1, \widetilde{B}_2, \dots,\widetilde{B}_m) = \overline{A}$; under what conditions can this solution be lifted to a tuple $(B_1,B_2,\dots,B_m)\in \mathrm M_n(\widehat{\mathscr O})^m$ of pairwise commuting matrices satisfying $f(B_1,B_2,\dots,B_m)=A$? For $\overline{A}$ cyclic, we show that, under suitable hypotheses analogous to those appearing in Hensel lemma, such a lifting is always possible.

研究动机与目标

• 研究将矩阵上的多项式方程解从剩余场提升到完整局部主理想环的可能性。
• 在可提升性方面识别结构性与组成条件，特别是对于正则半单化简的情形。
• 将先前的一变量提升结果推广到矩阵代数上的多变量多项式映射。

提出的方法

• 对 f ∈ ẐO[x1,...,xm] 的提升问题建模，给定 A ∈ M_n(ẐO) 及其在 k 上的约简 Ā。
• 使用类Hensel技巧与零多项式控制提升 F(B)=A 从 O/π^ℓ 到更高层的阻塞。
• 证明命题 2.2 与推论 2.3，确立在逐层级上的主零多项式（principal null ideals）。
• 通过对 quotient levels O_i 进行逐步构造提升并利用中心化子同构与多项式代数之间的同构，证明定理 1。
• 在某些偏导数可逆的条件下，将一个满足 f( B̃ )= Ā 的背靠 k 的 m 向量提升到 ẐO 的定理 2，若某些偏导数不可逆则仍可在其他方向实现提升。
• 利用 T 与 T* 的同构，在完整环与投射极限表示之间传递。

实验结果

研究问题

• RQ1 在什麼条件下，提升自剩余域 M_n(k) 的解到 ẐO 的 M_n(ẐO) 的可满足 f(B1,...,Bm)=A？
• RQ2 Ā 的正则半单化简是否在类似于Hensel引理的假设下保证可提升性？
• RQ3 在逐层提升 O/π^ℓ 的过程中，零多项式与最小多项式如何表现？
• RQ4 当某些偏导数可逆而其他在约简解处消失时，是否可以提升多变量矩阵映射？
• RQ5 中心化子与 A 的循环性在确保提升性方面起到何种作用？

主要发现

• 对于 A 在 ẐO 中循环且 F 为单调多项式且次数适当时，在约简解处偏导数可逆的条件下，存在从剩余场解提升的解。
• 在每一级 O_i+1，若 A_i 为循环，则零多项式是主的并由 F_i+1(t) 生成，从而实现迭代提升。
• 定理 1 将命题 2.1 推广至任意长度，通过逐步提升 B_j，结合中心化子同构与泰勒型修正实现。
• 定理 2 表明当 f 的某些偏导数在约简解处可逆、其他偏导数可能消失时，对 m 个可交换矩阵的提升仍成立，采用多变量类Hensel思想。
• 推论 2.3 证实对于循环 A，在逐层商群中最小多项式与消灭多项式一致，简化提升。
• 实例 2.4 给出一个以整系 p 进制的具体实例，展示两变量情形下的提升过程。