pith. sign in

arxiv: 1907.06452 · v1 · pith:NDUKOHV5new · submitted 2019-07-15 · 🧮 math.OA

Isometries between non-commutative symmetric spaces associated with semi-finite von Neumann algebras

Pierre de Jager , Jurie Conradie This is my paper

Pith reviewed 2026-05-24 21:14 UTC · model grok-4.3

classification 🧮 math.OA
keywords isometriessymmetric spacesvon Neumann algebrassemi-finite algebrasprojection disjointnessnon-commutative spacesoperator algebras
0
0 comments X

The pith

Positive surjective isometries between symmetric spaces on semi-finite von Neumann algebras preserve projection disjointness when finiteness preserving.

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

The paper shows that positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras preserve projection disjointness if they also preserve finiteness. This preservation property is then used to derive a structural description of the isometries. Additionally, when the initial symmetric space is strongly symmetric and has absolutely continuous norm, a similar structural description is possible even if the isometry is not assumed to be positive.

Core claim

Positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is used to obtain a structural description of such isometries. If the initial symmetric space is a strongly symmetric space with absolutely continuous norm, then a similar structural description can be obtained without requiring positivity of the isometry.

What carries the argument

The projection disjointness preservation property for positive surjective finiteness-preserving isometries, which is used to obtain the structural description.

If this is right

  • Such isometries admit a structural description.
  • The structural description applies to positive surjective finiteness-preserving isometries.
  • A comparable structural description holds without positivity when the initial space is strongly symmetric with absolutely continuous norm.

Where Pith is reading between the lines

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

  • The preservation result may extend the classification of isometries to other non-commutative symmetric spaces.
  • Similar techniques could apply to isometries on spaces associated with general von Neumann algebras beyond the semi-finite case.

Load-bearing premise

The isometries are positive, surjective and finiteness preserving, or the spaces are strongly symmetric with absolutely continuous norm.

What would settle it

A positive surjective finiteness-preserving isometry between the spaces that fails to preserve projection disjointness would disprove the claim.

read the original abstract

In this article we show that positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is subsequently used to obtain a structural description of such isometries. Furthermore, it is shown that if the initial symmetric space is a strongly symmetric space with absolutely continuous norm, then a similar structural description can be obtained without requiring positivity of the isometry.

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

0 major / 3 minor

Summary. The paper shows that positive surjective isometries between non-commutative symmetric spaces associated to semi-finite von Neumann algebras that are also finiteness-preserving are projection-disjointness preserving; this property is then used to obtain a structural description of the isometries. A parallel structural result is proved for strongly symmetric spaces with absolutely continuous norm, without requiring positivity of the isometry.

Significance. The results extend classical structural theorems for isometries on L_p spaces and commutative symmetric spaces to the non-commutative semi-finite setting. The reduction via projection disjointness preservation is a standard and effective technique in the area; when the proofs are complete the theorems supply concrete descriptions that can be applied to further questions about preservers in operator algebras.

minor comments (3)
  1. [§2] §2, Definition 2.4: the notion of 'finiteness preserving' is introduced via a condition on finite projections; an explicit remark on why this is the natural condition (as opposed to trace-preserving or other variants) would help readers unfamiliar with the non-commutative setting.
  2. [Theorem 4.1] Theorem 4.1: the structural description is stated for surjective maps; a short sentence clarifying whether surjectivity can be relaxed to injectivity or to dense range would be useful.
  3. [Introduction] The paper cites several earlier works on isometries of non-commutative L_p spaces; adding a one-sentence comparison table or paragraph contrasting the present hypotheses with those of the cited papers would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance in extending classical results on isometries, and the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes conditional theorems on positive surjective finiteness-preserving isometries between non-commutative symmetric spaces over semi-finite von Neumann algebras being projection-disjointness preserving, yielding structural descriptions, with an extension to strongly symmetric spaces with absolutely continuous norm without positivity. These results rest on explicit domain assumptions and standard operator-algebraic axioms rather than any self-definitional loop, fitted-parameter prediction, or load-bearing self-citation chain. No equations or steps reduce the claimed conclusions to their inputs by construction; the derivation chain is self-contained within the given functional-analytic framework.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies on standard properties of semi-finite von Neumann algebras, symmetric norms, and projections; no free parameters or invented entities introduced in the abstract.

axioms (1)
  • domain assumption Standard properties of semi-finite von Neumann algebras and associated symmetric spaces
    Invoked implicitly as background for the statements about isometries and projections.

pith-pipeline@v0.9.0 · 5590 in / 1252 out tokens · 24496 ms · 2026-05-24T21:14:39.639470+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

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

  1. [1]

    Banach, Theorie des operations lineaires , W arsaw, 1932

    S. Banach, Theorie des operations lineaires , W arsaw, 1932

    work page 1932

  2. [2]

    Bikchentaev, Block projection operator on normed solid spaces of measura ble operators (Russian), Izv

    A. Bikchentaev, Block projection operator on normed solid spaces of measura ble operators (Russian), Izv. Vyssh. Uchebn. Zaved. Mat. 2, 86-91 (2012) [English translation in Russian Math. (Iz. VUZ) 56 (2012), no.2, 75-79]

    work page 2012

  3. [3]

    Chilin, A.M

    V.I. Chilin, A.M. Medzhitov and F.A. Sukochev, Isometries of non-commutative Lorentz spaces, Math. Z. 200, 527-545 (1989)

    work page 1989

  4. [4]

    Conway, A course in functional analysis, Second edition , Springer, 2007

    J.B. Conway, A course in functional analysis, Second edition , Springer, 2007

    work page 2007

  5. [5]

    de Jager, Isometries on symmetric spaces associated with semi-finite von Neu- mann algebras , Ph.D

    P. de Jager, Isometries on symmetric spaces associated with semi-finite von Neu- mann algebras , Ph.D. Thesis, University of Cape Town, 2017, (Available on line at https://open.uct.ac.za/handle/11427/25167)

    work page 2017

  6. [6]

    Extension of projection mappings

    P. de Jager and J.J. Conradie, Extension of projection mappings , submitted for review (avail- able online at https://arxiv.org/pdf/1811.04053.pdf)

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    de Jager and J.J

    P. de Jager and J.J. Conradie, Isometries between Lorentz spaces associated with semi-fin ite von Neumann algebras , (in preparation)

    work page

  8. [8]

    de Pagter, Non-commutative Banach function spaces , Positivity: Trends Math., Birkh¨ auser, Basel, 197-227 (2007)

    B. de Pagter, Non-commutative Banach function spaces , Positivity: Trends Math., Birkh¨ auser, Basel, 197-227 (2007)

    work page 2007

  9. [9]

    Dodds, T.K.-Y

    P.G. Dodds, T.K.-Y. Dodds, and B. de Pagter, Fully symmetr ic operator spaces, Integr. Equat. Oper. Th. , 15 (1992), 942-972

    work page 1992

  10. [10]

    Dodds, P.G, and de Pagter, B., The non-commutative Yosida-Hewitt decomposition revisit ed, Trans. Amer. Math. Soc. 364(2012), 6425-6457

    work page 2012

  11. [11]

    Dodds and B

    P.G. Dodds and B. de Pagter, Normed K¨ othe spaces: A non-commutative viewpoint , Indag. Math. 25, 206-249 (2014)

    work page 2014

  12. [12]

    Dodds, B

    P.G. Dodds, B. de Pagter and F.A. Sukochev, Theory of noncommutative integration , unpub- lished monograph

    work page

  13. [13]

    Fleming and J.E

    R.J. Fleming and J.E. Jamison, Isometries on Banach spaces: Function spaces, Volume 1 , Chapman and Hall/CRC, 2003

    work page 2003

  14. [14]

    Kaddison, Isometries of operator algebras , Ann

    R.V. Kaddison, Isometries of operator algebras , Ann. of Math., 54(2), 325-338 (1951)

    work page 1951

  15. [15]

    Kaddison and J.R

    R.V. Kaddison and J.R. Ringrose, Fundamentals of the theory of operator algebras, Volume 1, Birkh¨ auser, Academic Press, 1983

    work page 1983

  16. [16]

    R. V. Kaddison and J.R. Ringrose, Fundamentals of the theory of operator algebras, Volume 2, Advanced theory , Birkh¨ auser, Academic Press, 1983

    work page 1983

  17. [17]

    Kalton and F.A

    N.J. Kalton and F.A. Sukochev, Symmetric norms and space s of operators, J. Reine Angew. Math., 621 (2008), 81-121

    work page 2008

  18. [18]

    Lamperti, On the isometries of certain function spaces , Pacific J

    J. Lamperti, On the isometries of certain function spaces , Pacific J. Math., 8, 459-466 (1958)

    work page 1958

  19. [19]

    Sukochev, Isometries of symmetric operator spaces associated with AF D factors of type II and symmetric vector-valued spaces , Integr

    F.A. Sukochev, Isometries of symmetric operator spaces associated with AF D factors of type II and symmetric vector-valued spaces , Integr. Equ. Oper. Theory, 26, 102-124, (1996)

    work page 1996

  20. [20]

    Sukochev and A

    F. Sukochev and A. Veksler, Positive linear isometries in symmetric operator spaces , Integr. Equ. Oper. Theory, 90 (2018), no.5, Art. 58

    work page 2018

  21. [21]

    Terp, Lp-spaces associated with von Neumann algebras , Rapport No

    M. Terp, Lp-spaces associated with von Neumann algebras , Rapport No. 3a, University of Copenhagen, (1981)

    work page 1981

  22. [22]

    Yeadon, Isometries of non-commutative Lp-spaces, Math

    F.J. Yeadon, Isometries of non-commutative Lp-spaces, Math. Proc. Camb. Phil. Soc., 90, 41-50 (1981)

    work page 1981

  23. [23]

    Zaidenberg, A representation of isometries of function spaces , Institute Fourier (Grenoble) 305, 1-7 (1995)

    M. Zaidenberg, A representation of isometries of function spaces , Institute Fourier (Grenoble) 305, 1-7 (1995). ISOMETRIES BETWEEN NON-COMMUTATIVE SYMMETRIC SPACES 17 DST-NRF CoE in Math. and Stat. Sci, Unit for BMI, Internal Box 20 9, School of Comp., Stat., & Math. Sci., NWU, PVT. BAG X6001, 2520 Potchefstroom, South Africa E-mail address : 28190459@nw...

    work page 1995