arxiv: 2605.07666 · v1 · submitted 2026-05-08 · 🧮 math.RA · math.FA

Recognition: no theorem link

Commutativity preserving mappings in Banach algebras

A. Peralta, A. R. Villena, G. M. Escolano, M. Bre\v{s}ar

Pith reviewed 2026-05-11 02:40 UTC · model grok-4.3

classification 🧮 math.RA math.FA

keywords commutativity preserving mappingsBanach algebrasadditive mappingshomomorphismsanti-homomorphismssemisimple algebrascentral mappings

0 comments

The pith

Surjective additive maps satisfying [Φ(x²), Φ(x)] = 0 on Banach algebras without small quotients decompose as λ times a direct sum of an additive homomorphism and anti-homomorphism plus a central additive map.

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

The paper proves that when A and B are unital complex Banach algebras with no quotients isomorphic to ℂ or M₂(ℂ) and B is semisimple, any surjective additive Φ: A → B obeying the condition that Φ(x²) commutes with Φ(x) for every element x must have a precise algebraic form. This form expresses Φ as λΨ plus ζ, where Ψ is a surjective direct sum of an additive homomorphism and an additive anti-homomorphism, λ is an invertible element of the center of B, and ζ is an additive map into that same center. A reader cares because the result classifies all maps that weakly preserve commutativity on squares, showing they stay close to multiplicative or anti-multiplicative behavior once the algebras avoid low-dimensional degeneracies.

Core claim

If a surjective additive mapping Φ from A to B satisfies that the commutator of Φ(x²) and Φ(x) vanishes for all x in A, then there exist a surjective direct sum Ψ of an additive homomorphism and an additive anti-homomorphism from A to B, an invertible element λ in the center of B, and an additive mapping ζ from A into the center of B such that Φ(x) equals λ times Ψ(x) plus ζ(x) for every x in A.

What carries the argument

The weakened commutativity condition [Φ(x²), Φ(x)] = 0, combined with additivity and surjectivity of Φ, under the global structural restrictions on A and B that exclude ℂ and M₂(ℂ) quotients and require B to be semisimple.

If this is right

The given commutativity condition on squares forces the map to stay within a linear span of multiplicative and anti-multiplicative behavior up to central correction.
Surjectivity of Φ carries over to surjectivity of the homomorphism-anti-homomorphism component Ψ.
Additive central-valued perturbations can be added freely without violating the original condition [Φ(x²), Φ(x)] = 0.
The decomposition applies uniformly once the algebras satisfy the no-small-quotient and semisimplicity hypotheses.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Dropping the exclusion of M₂(ℂ) quotients would likely permit additional maps that satisfy the commutativity condition but escape the stated decomposition.
The appearance of a central correction term ζ indicates that the center of B acts as a natural module of freedom for such preservers.
The square-based condition may admit parallel results in broader classes of algebras where squares generate the algebra or where Jordan-type structures appear.

Load-bearing premise

A and B have no quotients isomorphic to the complex numbers or the 2-by-2 complex matrices and B is semisimple, because these restrictions are required to prevent the stated decomposition from failing in degenerate cases.

What would settle it

A concrete counterexample would be any surjective additive map Φ on algebras satisfying the paper's hypotheses for which [Φ(x²), Φ(x)] = 0 holds for all x yet Φ cannot be written in the form λΨ + ζ with Ψ a direct sum of additive homomorphism and anti-homomorphism, λ invertible central, and ζ central additive.

read the original abstract

Let $A$ and $B$ be unital complex Banach algebras having no quotients isomorphic to $\mathbb{C}$ or $M_2(\mathbb{C})$. Assume additionally that $B$ is semisimple. If a surjective additive mapping $\Phi\colon A\to B$ satisfies $[\Phi(x^2),\Phi(x)] = 0$ for all $x\in A$, then there exist a surjective direct sum of an additive homomorphism and an additive anti-homomorphism $\Psi\colon A\to B$, an invertible element $\lambda\in\mathcal{Z}(B)$, and an additive mapping $\zeta\colon A\to\mathcal{Z}(B)$ such that $\Phi(x)=\lambda\Psi(x)+\zeta(x)$ for all $x\in A$.

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

The paper characterizes surjective additive maps on unital complex Banach algebras satisfying [Φ(x²), Φ(x)]=0 as λ times a homo-plus-anti-homo sum plus a central additive map, under the standard exclusions of small quotients and semisimplicity on B.

read the letter

The main point is that under the given hypotheses—no quotients isomorphic to ℂ or M₂(ℂ) for A or B, and B semisimple—a surjective additive Φ with that square-commutator condition must decompose as λΨ + ζ, where Ψ is a surjective direct sum of an additive homomorphism and anti-homomorphism, λ is invertible central in B, and ζ lands in the center of B. This is a clean structural statement that lines up with what the abstract claims.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that for unital complex Banach algebras A and B with no quotients isomorphic to ℂ or M₂(ℂ) and with B semisimple, any surjective additive map Φ: A → B satisfying [Φ(x²), Φ(x)] = 0 for all x ∈ A must be of the form Φ(x) = λ Ψ(x) + ζ(x), where Ψ is a surjective direct sum of an additive homomorphism and an additive anti-homomorphism from A to B, λ is invertible in the center Z(B), and ζ is an additive map from A to Z(B).

Significance. If the result holds, it extends the literature on commutativity-preserving additive maps by providing a clean structural decomposition under standard technical hypotheses that exclude known counterexamples. The hypotheses (exclusion of ℂ and M₂(ℂ) quotients together with semisimplicity of B) are the conventional restrictions used to guarantee that the map is essentially a Jordan homomorphism plus central term, and the explicit form with the invertible central multiplier λ is a useful refinement.

major comments (2)

[Abstract / Theorem statement] The central claim in the abstract (and presumably Theorem 3.1 or equivalent) asserts that Ψ is a 'surjective direct sum of an additive homomorphism and an additive anti-homomorphism'. The manuscript should explicitly define this notion (e.g., via a decomposition A = A₁ ⊕ A₂ with Ψ|_{A₁} multiplicative and Ψ|_{A₂} anti-multiplicative) and verify that surjectivity of Φ implies surjectivity of Ψ, as this step is load-bearing for the conclusion.
[Proof of main theorem] The proof that the given condition implies the stated form appears to rely on the semisimplicity of B to obtain a decomposition into homo/anti-homo parts. Section 4 (or the corresponding proof section) should contain an explicit check that the map remains additive after the central perturbation ζ is subtracted; without this, the reduction to the known homomorphism case is not fully transparent.

minor comments (2)

[Introduction] The introduction should cite the precise earlier results (e.g., on maps satisfying [Φ(x²), Φ(x)] = 0 in C*-algebras or semisimple Banach algebras) that are being extended, rather than only alluding to 'known results'.
[Main theorem statement] Notation: the symbol Ψ is introduced in the abstract but its precise domain decomposition is not restated in the statement of the main theorem; repeating the definition there would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive evaluation of its significance, and the recommendation of minor revision. The comments help improve the clarity of the presentation, and we address each point below.

read point-by-point responses

Referee: [Abstract / Theorem statement] The central claim in the abstract (and presumably Theorem 3.1 or equivalent) asserts that Ψ is a 'surjective direct sum of an additive homomorphism and an additive anti-homomorphism'. The manuscript should explicitly define this notion (e.g., via a decomposition A = A₁ ⊕ A₂ with Ψ|_{A₁} multiplicative and Ψ|_{A₂} anti-multiplicative) and verify that surjectivity of Φ implies surjectivity of Ψ, as this step is load-bearing for the conclusion.

Authors: We agree that an explicit definition of the notion is needed for clarity. In the revised manuscript we will insert a precise definition immediately before the statement of the main theorem: a map Ψ: A → B is a surjective direct sum of an additive homomorphism and an additive anti-homomorphism if there exist closed two-sided ideals I, J of A with A = I ⊕ J (direct sum of Banach spaces) such that Ψ|I is an additive homomorphism, Ψ|J is an additive anti-homomorphism, and Ψ is surjective onto B. We will also add a short verification that surjectivity of Φ implies surjectivity of Ψ. The argument uses the invertibility of λ in Z(B), the fact that ζ(A) ⊆ Z(B), and the semisimplicity of B to show that the image of Ψ must coincide with B; the details will be written out explicitly in the revision. revision: yes
Referee: [Proof of main theorem] The proof that the given condition implies the stated form appears to rely on the semisimplicity of B to obtain a decomposition into homo/anti-homo parts. Section 4 (or the corresponding proof section) should contain an explicit check that the map remains additive after the central perturbation ζ is subtracted; without this, the reduction to the known homomorphism case is not fully transparent.

Authors: We thank the referee for this observation. In the revised version we will insert an explicit sentence (or short paragraph) immediately after the definition of ζ, showing that the auxiliary map Ψ defined by Ψ(x) = λ^{-1}(Φ(x) − ζ(x)) is additive. Since Φ and ζ are both additive by assumption, and multiplication by the fixed central element λ^{-1} is a linear operation that commutes with addition, additivity of Ψ follows at once. This step will be written out before invoking the known results on additive maps satisfying the commutativity condition. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation

full rationale

The theorem states that under standard technical restrictions on unital complex Banach algebras A and B (no quotients isomorphic to C or M2(C), B semisimple), a surjective additive map Φ satisfying [Φ(x²), Φ(x)] = 0 for all x must be of the form λΨ(x) + ζ(x) where Ψ is a direct sum of homomorphism and anti-homomorphism, λ central invertible, and ζ central-valued additive. These restrictions are explicitly invoked to exclude known degenerate counterexamples, not to force the conclusion by definition. The derivation proceeds from the given functional equation via algebraic identities and properties of semisimple Banach algebras; no step reduces the target form to a fitted parameter, self-defined quantity, or load-bearing self-citation whose content is merely renamed. The result is an extension of prior literature on commutativity-preserving maps but remains independently verifiable from the stated hypotheses without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The theorem rests on standard domain assumptions of Banach algebra theory with no free parameters or newly invented entities.

axioms (3)

domain assumption A and B are unital complex Banach algebras
Stated explicitly in the theorem hypothesis
domain assumption B is semisimple
Assumed to ensure the structural conclusion holds
domain assumption Neither A nor B has quotients isomorphic to ℂ or M₂(ℂ)
Required to exclude exceptional cases where the form may fail

pith-pipeline@v0.9.0 · 5435 in / 1337 out tokens · 40652 ms · 2026-05-11T02:40:27.634356+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Aupetit,A primer on spectral theory.Springer, 1990

B. Aupetit,A primer on spectral theory.Springer, 1990

work page 1990
[2]

K. I. Beidar, Y.-F. Lin, On surjective linear maps preserving commutativity,Proc. Roy. Soc. Edinburgh Sect. A134(2004), 1023–1040

work page 2004
[3]

Bezuschak, I

O. Bezuschak, I. Kashuba, E. Zelmanov, On Lie isomorphisms of rings,Mediterr. J. Math.22(2025), 80

work page 2025
[4]

Blackadar,Operator algebras

B. Blackadar,Operator algebras. Theory ofC∗-algebras and von Neumann algebras. Encyclopaedia of Mathematical Sciences. Springer, 2006

work page 2006
[5]

Brešar, Jordan homomorphisms revisited,Math

M. Brešar, Jordan homomorphisms revisited,Math. Proc. Cambridge Philos. Soc. 144(2008), 317–328

work page 2008
[6]

Brešar, Commutators and images of noncommutative polynomials,Adv

M. Brešar, Commutators and images of noncommutative polynomials,Adv. Math. 374(2020), 107346

work page 2020
[7]

Brešar,Zero Product Determined Algebras

M. Brešar,Zero Product Determined Algebras. Frontiers in Mathematics, Birkhäu- ser/Springer, 2021

work page 2021
[8]

Brešar, M

M. Brešar, M. A. Chebotar, W. S. Martindale 3rd,Functional identities.Frontiers in Mathematics, Birkhäuser/Springer, 2007

work page 2007
[9]

Brešar, C

M. Brešar, C. R. Miers, Commutativity preserving mappings of von Neumann alge- bras,Can. J. Math.45(1993), No. 4, 695–708

work page 1993
[10]

Brešar, E

M. Brešar, E. Zelmanov, Jordan homomorphisms and T-ideals,J. Lond. Math. Soc. 113(2026), e70448

work page 2026
[11]

Brešar, E

M. Brešar, E. Zelmanov, Jordan homomorphisms: A survey,Serdica Math. J.51 (2025), 203–230. COMMUTATIVITY PRESER VING MAPPINGS 15

work page 2025
[12]

Cabrera García, A

M. Cabrera García, A. Rodríguez-Palacios, Extended centroid and central closure of semiprime normed algebras. A first approach,Commun. Algebra18(1990), 2293– 2326

work page 1990
[13]

H. G. Dales,Banach Algebras and Automatic Continuity,London Math. Soc. Mono- graph 24, Clarendon Press, 2000

work page 2000
[14]

M. Daws, B. Horváth, Ring-theoretic (in)finiteness in reduced products of Banach algebras,Canad. J. Math.732020, 1423–1458

work page
[15]

G. M. Escolano, A. M. Peralta, A. R. Villena, Preservers of operator commutativity, J. Math. Anal. Appl.552(2025), 129796

work page 2025
[16]

Fornaroli, M

E. Fornaroli, M. Khrypchenko, E. A. Santulo, Commutativity preservers of incidence algebras,Algebr. Represent. Theory27(2024), 1457–1476

work page 2024
[17]

Gardella, H

E. Gardella, H. Thiel, Rings andC∗-algebras generated by commutators,J. Algebra 662(2025), 214–241

work page 2025
[18]

R. V. Kadison, J. R. Ringrose,Fundamentals of the Theory of Operator Algebras, Volume II Advanced Theory.Academic Press, Inc., 1986

work page 1986
[19]

N. J. Laustsen, On ring-theoretic (in)finiteness of Banach algebras of operators on Banach spaces,Glasgow J. Math.43(2003), 11–19

work page 2003
[20]

T. W. Palmer,Banach algebras and the general theory of∗-algebras, Vol. I, Algebras and Banach algebras.Encyclopaedia of Mathematics and its Applications, Cambridge University Press, 1994

work page 1994
[21]

A. M. Sinclair, Jordan homomorphisms and derivations on semisimple Banach alge- bras,Proc. Amer. Math. Soc.24(1970), 209–214. M. Brešar: F aculty of Mathematics and Physics, University of Ljubljana & F aculty of Natural Sciences and Mathematics, University of Maribor & IMFM, Ljubljana, Slovenia Email address:matej.bresar@fmf.uni-lj.si G. M. Escolano, A. M...

work page 1970