
arXiv: 1807.04242
We show that a normal matrix A A with coefficients in C [ [ X ] ] \mathbb {C}[[X]] , X = ( X 1 , … , X n ) X=(X_1, \ldots , X_n) , can be diagonalized, provided the discriminant Δ A \Delta _A of its characteristic polynomial is a monomial times a unit. The proof is an adaptation of our proof of the Abhyankar-Jung Theorem. As a corollary we obtain the singular value decomposition for an arbitrary matrix A A with coefficient in C [ [ X ] ] \mathbb {C}[[X]] under a similar assumption on Δ A A ∗ \Delta _{AA^*} and Δ A ∗ A \Delta _{A^*A} . We also show real versions of these results, i.e., for coefficients in R [ [ X ] ] \mathbb {R}[[X]] , and deduce several results on multiparameter perturbation theory for normal matrices with real analytic, quasi-analytic, or Nash coefficients.
normal matrix, Eigenvalues, singular values, and eigenvectors, Perturbation theory of linear operators, diagonalizability, Canonical forms, reductions, classification, Diagonalization, Jordan forms, Nash functions and manifolds, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Formal power series rings, Abhyankar-Jung theorem, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Factorization of matrices, Functional Analysis (math.FA), Mathematics - Functional Analysis, Mathematics - Algebraic Geometry, multiparameter perturbation theory, FOS: Mathematics, characteristic polynomial, Algebraic Geometry (math.AG)
normal matrix, Eigenvalues, singular values, and eigenvectors, Perturbation theory of linear operators, diagonalizability, Canonical forms, reductions, classification, Diagonalization, Jordan forms, Nash functions and manifolds, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Formal power series rings, Abhyankar-Jung theorem, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Factorization of matrices, Functional Analysis (math.FA), Mathematics - Functional Analysis, Mathematics - Algebraic Geometry, multiparameter perturbation theory, FOS: Mathematics, characteristic polynomial, Algebraic Geometry (math.AG)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
