pith. sign in

arxiv: 1906.09446 · v1 · pith:IUBUS6HYnew · submitted 2019-06-22 · 🧮 math.FA · math.OA

On 2-local *-automorphisms and 2-local isometries of B(H)

Lajos Moln\'ar This is my paper

Pith reviewed 2026-05-25 18:04 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords 2-local *-automorphism*-automorphismB(H)separable Hilbert spaceoperator algebra2-local isometrypreserver map
0
0 comments X

The pith

A single equation suffices to guarantee that 2-local *-automorphisms of B(H) are genuine *-automorphisms on separable Hilbert spaces.

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

The paper shows that the usual two preservation conditions defining a 2-local *-automorphism of the full operator algebra B(H) can be replaced by one combined equation. Maps satisfying this single equation for every pair of operators still turn out to be *-automorphisms. The result applies when the Hilbert space is separable and strengthens an earlier theorem of Šemrl by weakening the hypothesis while preserving the conclusion. A parallel strengthening is obtained for 2-local isometries.

Core claim

Every map from B(H) to itself that satisfies the single compressed equation in place of the two standard conditions for all pairs of operators is necessarily a *-automorphism when H is separable.

What carries the argument

The single-equation condition obtained by compressing the two defining equations of 2-local *-automorphisms.

If this is right

  • 2-local *-automorphisms under the single-equation condition are necessarily *-automorphisms.
  • The defining requirement for such maps is weakened from two equations to one while the conclusion is retained.
  • The same compression technique yields an analogous result for 2-local isometries of B(H).

Where Pith is reading between the lines

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

  • The compression method might extend to 2-local maps on other C*-algebras or von Neumann algebras.
  • Without separability the single-equation condition may admit maps that are not *-automorphisms.
  • The single equation could serve as a starting point for studying related preserver problems on operator spaces.

Load-bearing premise

The Hilbert space is separable and the single condition holds for every pair of operators in B(H).

What would settle it

A map on B(H) for a non-separable Hilbert space that satisfies the single equation for all pairs but is not a *-automorphism.

read the original abstract

It is an important result of \v Semrl which states that every 2-local automorphism of the full operator algebra over a separable Hilbert space is necessarily an automorphism. In this paper we strengthen that result quite substantially for *-automorphisms. Indeed, we show that one can compress the defining two equations of 2-local *-automorphisms into one single equation, hence weakening the requirement significantly, but still keeping essentially the conclusion that such maps are necessarily *-automorphisms.

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.

Referee Report

1 major / 3 minor

Summary. The manuscript claims that for a separable Hilbert space H, any map φ: B(H) → B(H) satisfying a single combined functional equation (in place of the usual two separate conditions) for every pair of operators A, B is necessarily a *-automorphism. The argument first recovers the standard two-equation 2-local *-automorphism property from the single equation and then invokes Šemrl's theorem; a parallel discussion addresses 2-local isometries.

Significance. If correct, the result substantially weakens the hypothesis in the definition of 2-local *-automorphisms while preserving the conclusion that such maps are *-automorphisms, thereby strengthening Šemrl's theorem in a meaningful way. The approach of deriving the two conditions from one equation before applying the known result is efficient and of interest to the operator-algebra community.

major comments (1)
  1. [§3] §3 (the reduction from the single equation to the two standard 2-local conditions): it is not explicitly stated whether this derivation holds for general (possibly non-separable) H or whether it tacitly relies on separability (e.g., via countable orthonormal bases or dense sets). Since separability is used only for the final invocation of Šemrl's theorem, clarifying that the reduction itself is separability-independent would strengthen the presentation and confirm that the single-equation hypothesis is valid precisely where claimed.
minor comments (3)
  1. [Abstract / Introduction] The abstract and introduction emphasize the *-automorphism result, yet the title also announces results on 2-local isometries. A brief statement clarifying the scope of the isometry discussion (or noting that it is secondary) would improve consistency.
  2. [Introduction] Notation for the single combined equation is introduced only after the standard two-equation definition; moving the single-equation formulation earlier would make the main contribution clearer from the outset.
  3. A few typographical inconsistencies appear in the displayed equations (e.g., missing parentheses around operator products in one instance); these do not affect the mathematics but should be corrected.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the positive recommendation of minor revision, and the suggestion to clarify the scope of the reduction argument in §3. We address the comment below.

read point-by-point responses

  1. Referee: [§3] §3 (the reduction from the single equation to the two standard 2-local conditions): it is not explicitly stated whether this derivation holds for general (possibly non-separable) H or whether it tacitly relies on separability (e.g., via countable orthonormal bases or dense sets). Since separability is used only for the final invocation of Šemrl's theorem, clarifying that the reduction itself is separability-independent would strengthen the presentation and confirm that the single-equation hypothesis is valid precisely where claimed.

    Authors: We agree with the referee that the reduction in §3 is separability-independent. The argument proceeds from the single combined equation by direct algebraic manipulation of the given identity for arbitrary pairs A, B ∈ B(H), without invoking any countable dense set, orthonormal basis, or other separability assumption. Separability enters the proof only when Šemrl’s theorem is applied at the end. We will insert a brief clarifying sentence at the start of §3 stating that the derivation holds for arbitrary Hilbert spaces. revision: yes

Circularity Check

0 steps flagged

No circularity; direct proof strengthening external theorem

full rationale

The paper derives that a single combined equation for all pairs implies the standard two-equation 2-local *-automorphism property on B(H) for separable H, then applies Šemrl's theorem. This is a self-contained mathematical argument with no equations reducing to fitted parameters, self-definitions, or load-bearing self-citations. The Šemrl citation is external (different author) and provides independent support for the separable case. No steps match the enumerated circularity patterns; the derivation does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies entirely on standard background results in functional analysis and operator theory; no free parameters, ad-hoc axioms, or new entities are introduced.

axioms (1)
  • standard math Standard properties of bounded linear operators on Hilbert space and of *-automorphisms
    The argument builds on known facts about B(H) and automorphisms as stated in the abstract.

pith-pipeline@v0.9.0 · 5595 in / 1009 out tokens · 27520 ms · 2026-05-25T18:04:44.534789+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    Al-Halees and R.J

    H. Al-Halees and R.J. Fleming, On 2-local isometries on continuous vector-valued functio n spaces, J. Math. Anal. Appl. 354 (2009), 70–77

    work page 2009

  2. [2]

    Ayupov and K

    Sh. Ayupov and K. Kudaybergenov , 2-local derivations and automorphisms on B (H ), J. Math. Anal. Appl. 395 (2012), 15–18

    work page 2012

  3. [3]

    Ayupov and K

    Sh. Ayupov and K. Kudaybergenov ,2-local automorphisms on finite-dimensional Lie algebras,Linear Algebra Appl. 507 (2016), 121–131

    work page 2016

  4. [4]

    Baker, Isometries in normed spaces, Amer

    J.A. Baker, Isometries in normed spaces, Amer. Math. Monthly 78 (1971), 655–658

    work page 1971

  5. [5]

    Burgos, F .J

    M.J. Burgos, F .J. Fernández-Polo, J.J. Garcés and A.M. Pe ralta, 2-local triple homomorphisms on von Neumann algebras and J BW ∗ -triples, J. Math. Anal. Appl. 426 (2015), 43–63

    work page 2015

  6. [6]

    Cabello and A.M

    J.C. Cabello and A.M. Peralta, Weak-2-local symmetric maps on C ∗ -algebras, Linear Algebra Appl. 494 (2016), 32– 43

    work page 2016

  7. [7]

    Chen and D

    Z. Chen and D. Wang, 2-local automorphisms of finite-dimensional simple Lie alg ebras, Linear Algebra Appl. 486 (2015), 335–344. 11

    work page 2015

  8. [8]

    Dang, Real isometries between J B ∗ -triples, Proc

    T . Dang, Real isometries between J B ∗ -triples, Proc. Amer. Math. Soc. 114 (1992), 971–980

    work page 1992

  9. [9]

    Gy ˝ ory,2-local isometries of C 0(X ), Acta Sci

    M. Gy ˝ ory,2-local isometries of C 0(X ), Acta Sci. Math. (Szeged) 67 (2001), 735–746

    work page 2001

  10. [10]

    Hatori, T

    O. Hatori, T . Miura, H. Oka, and H. T akagi,2-local isometries and 2-local automorphisms on uniform al gebras, Int. Math. Forum 2 (2007), 2491–2502

    work page 2007

  11. [11]

    2-local isometries on function spaces

    O. Hatori and S. Oi, 2-local isometries on function spaces, preprint, arXiv:1812.10342

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Horn and C.R

    R.A. Horn and C.R. Johnson, Matrix Analysis, Second edition. Cambridge University Press, Cambridge, 2013

    work page 2013

  13. [13]

    Jiménez-Vargas, L

    A. Jiménez-Vargas, L. Li, A.M. Peralta, L.G. Wang and Y.S . Wang, 2-local standard isometries on vector-valued Lips- chitz function spaces, J. Math. Anal. Appl. 461 (2018), 1287–1298

    work page 2018

  14. [14]

    Jiménez-Vargas and M

    A. Jiménez-Vargas and M. Villegas-Vallecillos, 2-local isometries on spaces of Lipschitz functions, Canad. Math. Bull. 54 (2011), 680–692

    work page 2011

  15. [15]

    Kim and J.S

    S.O. Kim and J.S. Kim, Local automorphisms and derivations on certain C ∗ -algebras, Proc. Amer. Math. Soc. 133 (2005), 3303–3307

    work page 2005

  16. [16]

    Kim and J.S

    S.O. Kim and J.S. Kim, Local automorphisms and derivations on Mn , Proc. Amer. Math. Soc.132 (2004), 1389–1392

    work page 2004

  17. [17]

    Kowalski and Z

    S. Kowalski and Z. Slodkowski, A characterization of multiplicative linear functionals i n Banach algebras, Studia Math. 67 (1980), 215–223

    work page 1980

  18. [18]

    Kuzma, Additive mapping decreasing rank one, Linear Algebra Appl

    B. Kuzma, Additive mapping decreasing rank one, Linear Algebra Appl. 348 (2002), 175–187

    work page 2002

  19. [19]

    L. Li, A.M. Peralta, L.G. Wang and Y.S. Wang, Weak-2-local isometries on uniform algebras and Lipschitz algebras, Publ. Mat. 63 (2019), 241–264

    work page 2019

  20. [20]

    Liu and N.C

    J.H. Liu and N.C. Wong, 2-local automorphisms of operator algebras, J. Math. Anal. Appl. 321 (2006), 741–750

    work page 2006

  21. [21]

    Molnár, Local automorphisms of some quantum mechanical structures , Lett

    L. Molnár, Local automorphisms of some quantum mechanical structures , Lett. Math. Phys. 58 (2001), 91–100

    work page 2001

  22. [22]

    Molnár, 2-local isometries of some operator algebras, Proc

    L. Molnár, 2-local isometries of some operator algebras, Proc. Edinb. Math. Soc. 45 (2002), 349–352

    work page 2002

  23. [23]

    Molnár, Local automorphisms of operator algebras on Banach spaces, Proc

    L. Molnár, Local automorphisms of operator algebras on Banach spaces, Proc. Amer. Math. Soc. 131 (2003), 1867– 1874

    work page 2003

  24. [24]

    Molnár, Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces, Lecture Notes in Mathematics, Vol

    L. Molnár, Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces, Lecture Notes in Mathematics, Vol. 1895, Springer, 2007

    work page 2007

  25. [25]

    Šemrl, Local automorphisms and derivations on B (H ), Proc

    P . Šemrl, Local automorphisms and derivations on B (H ), Proc. Amer. Math. Soc. 125 (1997), 2677–2680

    work page 1997

  26. [26]

    Xie and F

    J. Xie and F . Lu, A note on 2-local automorphisms of digraph algebras, Linear Algebra Appl. 378 (2004), 93–98. UNIVERSITY OF SZEGED , I NTERDISCIPLINARY EXCELLENCE CENTRE , B OLYAI INSTITUTE , H-6720 S ZEGED , A RADI VÉRTANÚK TERE 1., H UNGARY , AND BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS , I NSTITUTE OF MATHE - MATICS , H-1521 B UDAPEST , H UNGA...

    work page 2004