An Algorithm for Diagonalizing Matrices of Formal Power Series
Commutative Algebra
2026-02-10 v1 Algebraic Geometry
Abstract
This paper studies the unitary diagonalization of matrices over formal power series rings. Our main result shows that a normal matrix is unitarily diagonalizable if and only if its minimal polynomial completely splits over the ring and the associated spectral projections have entries in the ring. Building on this characterization, we develop an algorithm for deciding the unitary diagonalizability of matrices over regular local rings of algebraic varieties. A central ingredient of the algorithm is a decision procedure for determining whether a polynomial splits over a formal power series ring; we establish this using techniques from prime decomposition and the relative smoothness of integral closures in ramification theory.
Cite
@article{arxiv.2602.08313,
title = {An Algorithm for Diagonalizing Matrices of Formal Power Series},
author = {Zihao Dai and Hao Liang and Jingyu Lu and Lihong Zhi},
journal= {arXiv preprint arXiv:2602.08313},
year = {2026}
}