arxiv: 2604.07062 · v1 · submitted 2026-04-08 · 🧮 math.SP · math.CO· math.FA· math.GN

Recognition: unknown

Eigenvalue collision and exotic preservers on semisimple operators

Alexandru Chirvasitu

Pith reviewed 2026-05-10 16:54 UTC · model grok-4.3

classification 🧮 math.SP math.COmath.FAmath.GN

keywords commutativity preserversspectrum preserversnormal matricessemisimple matriceseigenvalue collisionscomplex conjugationlinear preserversmatrix algebras

0 comments

The pith

Continuous commutativity and spectrum preservers on matrices with connected spectra reduce to conjugations for normal matrices but admit exotic forms for semisimple and general matrices depending on conjugation regularity near eigenvalue cl

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies all continuous maps that preserve both commutativity and the spectrum for n by n matrices whose eigenvalues lie in a sufficiently connected subset of the complex plane, treating separately the cases of normal, semisimple, and arbitrary matrices. For normal matrices the maps are always given by conjugation or transpose conjugation. In the semisimple and arbitrary cases the possible maps include additional forms whose precise shape is fixed by the local regularity of complex conjugation near points where eigenvalues coincide. A sympathetic reader cares because this pins down exactly when the familiar linear-algebra symmetries exhaust all possibilities and when the geometry of eigenvalue collisions permits qualitatively new preservers.

Core claim

We classify n×n-matrix-valued continuous commutativity and spectrum preservers defined on spaces of (a) normal, (b) semisimple and (c) arbitrary n×n matrices with spectra contained in sufficiently connected subsets X⊆ℂ. In case (a) these are always conjugations or transpose conjugations, while in cases (b) and (c) qualitatively distinct possibilities arise depending on the local regularity of the complex-conjugation map close to coincident-eigenvalue loci of X^n.

What carries the argument

the local regularity of the complex-conjugation map close to coincident-eigenvalue loci of X^n, which determines which additional preserver forms are admissible for semisimple and arbitrary matrices

Load-bearing premise

The spectra lie in sufficiently connected subsets of the complex plane so that the local regularity of the complex-conjugation map near coincident-eigenvalue loci fully determines the possible preserver maps.

What would settle it

A continuous map preserving commutativity and spectrum on the space of semisimple matrices with spectra in such an X, yet failing to coincide with any form predicted by the regularity of complex conjugation near collision points, would refute the classification.

read the original abstract

We classify $n\times n$-matrix-valued continuous commutativity and spectrum preservers defined on spaces of (a) normal, (b) semisimple and (c) arbitrary $n\times n$ matrices with spectra contained in sufficiently connected subsets $\mathcal{X}\subseteq \mathbb{C}$, generalizing a number of results due to \v{S}emrl, Gogi\'{c}, Toma\v{s}evi\'c and the author among others. In case (a) these are always conjugations or transpose conjugations, while in cases (b) and (c) qualitatively distinct possibilities arise depending on the local regularity of the complex-conjugation map close to coincident-eigenvalue loci of $\mathcal{X}^n$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends the known classifications of continuous commutativity-and-spectrum preservers from normal matrices to semisimple and general ones by making the possible forms depend on local regularity of complex conjugation near repeated eigenvalues.

read the letter

The central result organizes preservers into three classes: for normal matrices they reduce to conjugations or transpose conjugations, while for semisimple and arbitrary matrices new possibilities appear once the spectrum set X allows eigenvalue collisions and the conjugation map is not locally regular there. This distinction is the main novelty relative to the Šemrl–Gogić–Tomašević line of work cited in the abstract. The argument follows the standard preserver-problem template of analyzing what the two preservation conditions force on the map, then splitting cases according to the geometry of X^n near multiple-eigenvalue points. That split is stated explicitly rather than smuggled in, which keeps the logic traceable. The “sufficiently connected” hypothesis on X is a clear limitation, but it is declared up front and matches the setting needed for the earlier normal-matrix theorems, so it does not feel like an artificial restriction. Because the full proof is not reproduced in the abstract alone, one cannot yet check the technical details of the new case distinctions, but nothing in the claim structure suggests circularity or hidden boundedness assumptions. The paper is aimed at specialists in linear preserver problems and operator theory who already know the normal-matrix results; a reader outside that niche will mainly see a clean but incremental generalization. It is worth sending to referees because the extension is natural, the case division is new, and the hypotheses are stated plainly enough that a referee can evaluate the technical steps without undue effort.

Referee Report

2 major / 3 minor

Summary. The manuscript classifies continuous commutativity-and-spectrum preservers taking values in n×n matrices, defined on the spaces of (a) normal, (b) semisimple, and (c) arbitrary n×n matrices whose spectra lie in sufficiently connected subsets X ⊆ ℂ. It generalizes earlier results of Šemrl, Gogić, Tomašević and the author. For normal matrices the preservers are always conjugations or transpose conjugations; for semisimple and general matrices the possible forms depend on the local regularity of the complex-conjugation map near coincident-eigenvalue loci of X^n.

Significance. If the classification is complete, the work unifies and extends the literature on spectrum and commutativity preservers by isolating the role of eigenvalue collisions and the regularity of complex conjugation. The explicit dependence on local regularity conditions near X^n supplies a new organizing principle that explains why exotic preservers appear only in the semisimple and general settings.

major comments (2)

[§3.2, Theorem 3.4] §3.2, Theorem 3.4 (semisimple case): the reduction to local regularity of conjugation near coincident-eigenvalue points of X^n is stated as determining all possible forms, but the argument that no other continuous maps satisfy the preservation conditions when regularity fails is only sketched; an explicit verification that the constructed exotic maps indeed preserve commutativity on the whole domain is needed.
[§4.1] §4.1, the passage from semisimple to arbitrary matrices: the extension step invokes density of semisimple matrices, yet the continuity assumption alone does not automatically guarantee that a preserver defined on the dense subset extends continuously to the closure without additional uniform bounds; this point is load-bearing for claim (c).

minor comments (3)

[§2] The phrase “sufficiently connected” is used in the abstract and §2 without a precise topological definition; a short paragraph spelling out the minimal connectedness hypotheses on X would improve readability.
Notation for the space of matrices with spectrum in X is introduced inconsistently (sometimes 𝒳, sometimes X); uniform use of a single symbol is recommended.
Several citations to prior work (e.g., Šemrl’s theorem on normal preservers) are given only by author name; adding the precise reference numbers in the bibliography would help readers locate the exact statements being generalized.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and valuable comments on our manuscript. We address each major comment below and will make the necessary revisions to strengthen the proofs.

read point-by-point responses

Referee: [§3.2, Theorem 3.4] §3.2, Theorem 3.4 (semisimple case): the reduction to local regularity of conjugation near coincident-eigenvalue points of X^n is stated as determining all possible forms, but the argument that no other continuous maps satisfy the preservation conditions when regularity fails is only sketched; an explicit verification that the constructed exotic maps indeed preserve commutativity on the whole domain is needed.

Authors: We appreciate this observation. While the construction of the exotic preservers is detailed in the manuscript, we agree that the verification of commutativity preservation for these maps on the full domain can be expanded for clarity. In the revised version, we will include a direct computation showing that these maps preserve commutativity globally, leveraging the local regularity of the complex conjugation near the loci where eigenvalues coincide. This will make the argument that no other forms are possible more explicit. revision: yes
Referee: [§4.1] §4.1, the passage from semisimple to arbitrary matrices: the extension step invokes density of semisimple matrices, yet the continuity assumption alone does not automatically guarantee that a preserver defined on the dense subset extends continuously to the closure without additional uniform bounds; this point is load-bearing for claim (c).

Authors: This is a valid point regarding the rigor of the extension argument. The semisimple matrices are dense in the space of all matrices with spectra in X, and our preserver is continuous on the semisimple ones. To ensure the continuous extension exists, we will add in the revision an argument establishing that the map is uniformly continuous on the semisimple matrices (or provide explicit bounds derived from the spectrum preservation and commutativity conditions), thereby justifying the extension to the closure. This addresses the concern for claim (c). revision: yes

Circularity Check

1 steps flagged

Minor self-citation in generalization statement, core classification independent

specific steps

self citation load bearing [Abstract]
"generalizing a number of results due to Šemrl, Gogić, Tomašević and the author among others"

The abstract invokes the author's own prior work as part of the list of results being generalized; while this does not reduce the new classification theorems to the citation (the regularity conditions and case distinctions are derived independently), it constitutes a minor self-citation at the framing level.

full rationale

The paper's derivation proceeds by direct analysis of continuous commutativity-and-spectrum preservation conditions on the indicated matrix spaces, with case distinctions for normal vs. semisimple vs. general matrices explicitly tied to the local regularity of complex conjugation near coincident-eigenvalue loci of X^n. This structure is self-contained and does not reduce any central claim to a fitted parameter, self-definition, or unverified self-citation. The sole self-reference appears in the abstract's generalization clause, which supplies context rather than load-bearing justification for the new regularity-based forms.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The result rests on standard linear-algebra axioms together with a domain assumption about connectedness of the spectrum set and the behavior of complex conjugation near multiple eigenvalues. No free parameters or new postulated entities are introduced.

axioms (3)

standard math The spectrum of an n by n complex matrix is the set of its eigenvalues with the usual algebraic properties.
Invoked throughout the classification of spectrum-preserving maps.
domain assumption The subsets X ⊆ ℂ are sufficiently connected to support the stated classification.
Explicitly required in the abstract for the result to hold.
standard math Commutativity and spectrum are the two preserved quantities under continuous maps.
Core definition of the preserver problem under study.

pith-pipeline@v0.9.0 · 5417 in / 1610 out tokens · 66274 ms · 2026-05-10T16:54:32.120885+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 3 canonical work pages

[1]

Spectrum-preserving linear mappings between Banach algebras or Jordan- Banach algebras.J

Bernard Aupetit. Spectrum-preserving linear mappings between Banach algebras or Jordan- Banach algebras.J. London Math. Soc. (2), 62(3):917–924, 2000. 1

2000
[2]

Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sciences

B. Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 2006. Theory ofC ∗-algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III. 1

2006
[3]

Spectral selections, commutativity preservation and Coxeter-Lipschitz maps, 2025.http://arxiv.org/abs/2505.19393v3

Alexandru Chirvasitu. Spectral selections, commutativity preservation and Coxeter-Lipschitz maps, 2025.http://arxiv.org/abs/2505.19393v3. 4

work page arXiv 2025
[4]

Frame eversion and contextual geometric rigidity, 2026.http://arxiv

Alexandru Chirvasitu. Frame eversion and contextual geometric rigidity, 2026.http://arxiv. org/abs/2601.11455v2. 2, 4, 5, 6

work page arXiv 2026
[5]

Continuous spectrum-shrinking maps and applications to preserver problems, 2025.http://arxiv.org/abs/2501.06840v2

Alexandru Chirvasitu, Ilja Gogić, and Mateo Tomašević. Continuous spectrum-shrinking maps and applications to preserver problems, 2025.http://arxiv.org/abs/2501.06840v2. 1, 2, 4

work page arXiv 2025
[6]

A variant of Šemrl’s preserver theorem for singular matrices.Linear Algebra Appl., 724:298–319, 2025

Alexandru Chirvasitu, Ilja Gogić, and Mateo Tomašević. A variant of Šemrl’s preserver theorem for singular matrices.Linear Algebra Appl., 724:298–319, 2025. 1

2025
[7]

An elementary proof of the fundamental theorem of projective geometry

Claude-Alain Faure. An elementary proof of the fundamental theorem of projective geometry. Geom. Dedicata, 90:145–151, 2002. 4

2002
[8]

Configuration spaces, braids, and robotics

Robert Ghrist. Configuration spaces, braids, and robotics. InBraids. Introductory lectures on braids, configurations and their applications. Based on the program “Braids”, IMS, Singapore, May 14–July 13, 2007., pages 263–304. Hackensack, NJ: World Scientific, 2010. 3

2007
[9]

Jordan embeddings and linear rank preservers of structural matrix algebras.Linear Algebra Appl., 707:1–48, 2025

Ilja Gogić and Mateo Tomašević. Jordan embeddings and linear rank preservers of structural matrix algebras.Linear Algebra Appl., 707:1–48, 2025. 1 7

2025
[10]

Universitext

Kevin McCrimmon.A taste of Jordan algebras. Universitext. Springer-Verlag, New York, 2004. 1

2004
[11]

Functional calculus for diagonalizable matrices.Linear Multilinear Algebra, 62(3):297–321, 2014

Piotr Niemiec. Functional calculus for diagonalizable matrices.Linear Multilinear Algebra, 62(3):297–321, 2014. 2, 5, 6, 7

2014
[12]

Spectrum and commutativity preserving mappings on triangular matrices

Tatjana Petek. Spectrum and commutativity preserving mappings on triangular matrices. Linear Algebra Appl., 357:107–122, 2002. 1

2002
[13]

Characterization of Jordan homomorphism onM n using preserving properties.Linear Algebra Appl., 269:33–46, 1998

Tatjana Petek and Peter Šemrl. Characterization of Jordan homomorphism onM n using preserving properties.Linear Algebra Appl., 269:33–46, 1998. 1

1998
[14]

Invertibility preserving linear maps and algebraic reflexivity of elementary oper- ators of length one.Proc

Peter Šemrl. Invertibility preserving linear maps and algebraic reflexivity of elementary oper- ators of length one.Proc. Amer. Math. Soc., 130(3):769–772, 2002. 1

2002
[15]

Characterizing Jordan automorphisms of matrix algebras through preserving properties.Oper

Peter Šemrl. Characterizing Jordan automorphisms of matrix algebras through preserving properties.Oper. Matrices, 2(1):125–136, 2008. 1

2008
[16]

Dover Publications, Inc., Mineola, NY, 2004

Stephen Willard.General topology. Dover Publications, Inc., Mineola, NY, 2004. Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]. 3 Department of Mathematics, University at Buff alo Buff alo, NY 14260-2900, USA E-mail address:achirvas@buffalo.edu 8

2004