Absolutely compatible pair of elements in a von Neumann algebra-II

Anil Kumar Karn

arxiv: 1906.09723 · v1 · pith:66B4N6TAnew · submitted 2019-06-24 · 🧮 math.OA

Absolutely compatible pair of elements in a von Neumann algebra-II

Anil Kumar Karn This is my paper

Pith reviewed 2026-05-25 17:16 UTC · model grok-4.3

classification 🧮 math.OA

keywords von Neumann algebraabsolutely compatible pairsstrict elementsgeneric pairs of projectionsHalmos pairC*-algebrablock formoperator theory

0 comments

The pith

Absolutely compatible pairs of strict elements in a von Neumann algebra reduce to a block form matching Halmos generic pairs of projections.

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

The paper defines a pair of elements a and b with 0 ≤ a, b ≤ 1 in a unital C*-algebra as absolutely compatible when |a - b| + |1 - a - b| equals the unit. It focuses on the case where the ambient algebra is a von Neumann algebra and a, b are strict, meaning they lie strictly between 0 and 1. A complete description is supplied showing that every such pair takes an explicit block form. This form is shown to resemble the generic pair of projections on a Hilbert space first studied by Halmos. The classification supplies a concrete structural understanding of the compatibility condition inside von Neumann algebras.

Core claim

We provide a complete description of absolutely compatible pair of strict elements in a von Neumann algebra. The end form of such a pair has a striking resemblance with that of a 'generic pair' of projections on a complex Hilbert space introduced by Halmos.

What carries the argument

The absolute compatibility condition |a - b| + |1_A - a - b| = 1_A, which forces the pair into a block-diagonal representation inside the von Neumann algebra.

If this is right

Every such pair admits a simultaneous block representation that separates the supports of a and b.
The block form makes the spectra of a and b directly readable from the diagonal blocks.
Strictness excludes the cases in which one or both elements are 0 or 1, keeping all blocks nontrivial.
Functions of a and b can be computed blockwise once the representation is obtained.

Where Pith is reading between the lines

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

The same block reduction might fail in general C*-algebras that lack the von Neumann double-commutant property.
The resemblance to Halmos pairs suggests that numerical tests on matrix algebras could quickly verify the classification for small dimensions.
The block structure could be used to translate questions about absolute compatibility into questions about pairs of projections.

Load-bearing premise

The von Neumann algebra structure supplies enough spectral or commutant information to reduce every absolutely compatible strict pair to the claimed block form.

What would settle it

An explicit pair of strict elements a, b inside some von Neumann algebra that satisfies |a - b| + |1 - a - b| = 1 yet cannot be written in the block form asserted by the classification.

read the original abstract

Let $A$ be a unital C$^*$-algebra with unity $1_A$. A pair of elements $0 \le a, b \le 1_A$ in $A$ is said to be \emph{absolutely compatible} if, $\vert a - b \vert + \vert 1_A - a - b \vert = 1_A.$ In this paper we provide a complete description of absolutely compatible pair of strict elements in a von Neumann algebra. The end form of such a pair has a striking resemblance with that of a `generic pair' of projections on a complex Hilbert space introduced by Halmos.

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 claims a full classification of absolutely compatible strict pairs in von Neumann algebras that reduces them to a Halmos-style block form, but the reduction step is the part that needs direct checking.

read the letter

The main takeaway is that this paper gives an explicit description of pairs a, b (strict, 0 < a,b < 1) in a von Neumann algebra satisfying |a-b| + |1-a-b| = 1, and shows they take a block form that matches the generic pair of projections from Halmos. That is the stated new content: a complete list of such pairs up to unitary equivalence inside the algebra setting, building on whatever was done in part I for C*-algebras or compatible elements more generally. The connection to the classical Hilbert-space case is the clearest positive point; it makes the result easier to picture and potentially useful for anyone already working with projection pairs or joint spectra. The paper appears to use the double commutant and spectral theory to reach the block decomposition, which is the natural route in this area. The soft spot is exactly the one flagged in the stress test: the claim is exhaustive only if every pair obeying the norm condition is forced into that block structure by the von Neumann assumption. If the reduction misses cases where the commutant or joint spectrum behaves differently, or if strictness is not used sharply enough to exclude degeneracies, the description is incomplete. The abstract does not display the argument, so the full write-up must be examined for gaps there. Minor additional points are that the paper is short on examples or counter-checks visible from the summary, and it assumes the reader knows the prior literature on compatible elements. This is a narrow but self-contained classification result aimed at specialists in operator algebras who care about compatibility or projection pairs. A reader already inside that literature would get a concrete normal form to work with. It is worth sending to referees because the claim is precise and the setting is standard; any issues are likely fixable with more detail on the reduction rather than a fundamental flaw.

Referee Report

1 major / 2 minor

Summary. The manuscript claims to give a complete classification of absolutely compatible pairs of strict elements a, b (0 < a, b < 1_A) in a von Neumann algebra A satisfying |a − b| + |1_A − a − b| = 1_A. Such pairs are shown to be unitarily equivalent to a specific block form that resembles Halmos' generic pair of projections on Hilbert space.

Significance. If the classification is exhaustive, the result supplies a concrete structural description of these pairs that extends earlier work on compatible elements and connects directly to classical results on projections. The use of von Neumann algebra tools (double commutant, spectral theory) to achieve the reduction is a positive feature when the argument is complete.

major comments (1)

[§4, Theorem 4.3] §4, Theorem 4.3 (main classification): the exhaustiveness claim requires an explicit reduction showing that the absolute-compatibility equality plus strictness forces every pair into the claimed Halmos-type block decomposition via the double commutant or the representation on Hilbert space. The argument must rule out other joint-spectrum configurations that could satisfy the norm equality without reducing to the stated blocks; without this verification the completeness statement is not yet load-bearing.

minor comments (2)

[§2] The definition of 'strict element' is used throughout but should be stated explicitly in §2 alongside the absolute-compatibility condition for clarity.
[Theorem 4.3] Notation for the block decomposition in the main theorem should include an explicit statement of the unitary equivalence and the dimensions of the blocks.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive feedback on the exhaustiveness of the classification in Theorem 4.3. We address the major comment below and will strengthen the manuscript accordingly.

read point-by-point responses

Referee: [§4, Theorem 4.3] §4, Theorem 4.3 (main classification): the exhaustiveness claim requires an explicit reduction showing that the absolute-compatibility equality plus strictness forces every pair into the claimed Halmos-type block decomposition via the double commutant or the representation on Hilbert space. The argument must rule out other joint-spectrum configurations that could satisfy the norm equality without reducing to the stated blocks; without this verification the completeness statement is not yet load-bearing.

Authors: We agree that the current write-up of the proof of Theorem 4.3 would benefit from a more explicit verification that the absolute-compatibility condition |a−b|+|1A−a−b|=1A, together with 0<a,b<1A, forces the joint spectrum to lie in the configurations that yield the Halmos-type block form. In the revised version we will insert a new lemma immediately preceding Theorem 4.3 that uses the double commutant of {a,b} and the continuous functional calculus to enumerate all possible joint spectra compatible with the norm identity. We will then show, by direct computation of the norm on each candidate spectrum, that any spectrum outside the four Halmos blocks violates the equality. This addition will make the reduction step fully explicit and rule out extraneous configurations. revision: yes

Circularity Check

0 steps flagged

No circularity: classification rests on external von Neumann algebra structure without self-referential reduction.

full rationale

The paper claims an exhaustive description of absolutely compatible strict pairs in a von Neumann algebra, reducing them to a block form resembling Halmos' generic projections. No equations, fitted parameters, or self-citations are exhibited that reduce the claimed form to the input condition by construction. The reduction is asserted to follow from standard tools (double commutant theorem, spectral theory) that are independent of the target result. The title suffix '-II' suggests possible reference to prior work, but no load-bearing self-citation chain or ansatz smuggling is visible in the provided text. The derivation is therefore treated as self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the given definition of absolute compatibility together with standard facts about von Neumann algebras and the notion of strict elements; no free parameters or invented entities are mentioned.

axioms (2)

domain assumption A pair 0 ≤ a, b ≤ 1_A is absolutely compatible when |a - b| + |1_A - a - b| = 1_A.
This is the defining relation used to identify the objects whose structure is classified.
domain assumption Von Neumann algebras admit sufficient spectral theory and commutant properties to classify all such pairs.
Invoked implicitly when the paper claims a complete description inside this class of algebras.

pith-pipeline@v0.9.0 · 5624 in / 1272 out tokens · 38327 ms · 2026-05-25T17:16:18.392653+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a is absolutely compatible with b if and only if … a12 + b12 = 0; a12 a12* = (p1−a11)(p1−b11); … (Theorem 1.1 and the polar-decomposition argument in the proof of Theorem 1.2)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

end form … striking resemblance with … generic pair of projections … Halmos

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · 2 internal anchors

[1]

Blackadar, Operator algebras, Springer-Verlag Heidelberg Berling, 2006

B. Blackadar, Operator algebras, Springer-Verlag Heidelberg Berling, 2006

work page 2006
[2]

D. P. Blecher and D. M. Hay, Complete isometries into C ^* -algebras, ArXiv Priprint (2002), https://arxiv.org/abs/math/0203182v1

work page internal anchor Pith review Pith/arXiv arXiv 2002
[3]

D. P. Blecher and L. E. Labuschagne, Logmodularity and isometries of operator algebras, Trans. Amer. Math. Soc., 355 (2002), 1621–1646

work page 2002
[4]

M. D. Choi and E. G. Effros, Injectivity and operator spaces, J. Funct. Anal., 24 (1977), 156-209

work page 1977
[5]

Chu and N.-C

C.-H. Chu and N.-C. Wong, Isometries between C ^* -algebras, Rev. Mat. Iberoamericana, 20 (2004), 156-209

work page 2004
[6]

I. M. Gelfand and M. A. Naimark, On the embedding of normed rings into the ring of operators in Hilbert space, Mat. Sb. 12(1943), 87-105

work page 1943
[7]

Gardener, Linear maps of C ^* -algebras preserving the absolute value, Proc

T. Gardener, Linear maps of C ^* -algebras preserving the absolute value, Proc. Amer. Math. Soc., 76 (1979), 271-278

work page 1979
[8]

P. R. Halmos, Two subspaces, Trans. Amer. math. Soc., 144(1969), 181-189

work page 1969
[9]

N. K. Jana, A. K. Karn and A. M. Peralta, Absolutely compatible pairs in a von Neumann algebra, (https://arxiv.org/abs/1801.01216), (Communicated for publication)

work page internal anchor Pith review Pith/arXiv arXiv
[10]

N. K. Jana, A. K. Karn and A. M. Peralta, Contractive linear preservers of absolutely compatible pairs between C ^* -algebras, Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas (RCSM) 113(2019) no. 3, 2731-2741

work page 2019
[11]

R. V. Kadison, Order properties of self-adjoint operators, Trans. Amer. Math. Soc, 2(1951), 505-510

work page 1951
[12]

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

work page 1951
[13]

Kakutani, Concrete representation of abstract ( M )-spaces, Ann

S. Kakutani, Concrete representation of abstract ( M )-spaces, Ann. of Math. 42 (1941) 994-1024

work page 1941
[14]

A. K. Karn, Orthogonality in l_p -spaces and its bearing on ordered Banach spaces, Positivity, 18(02) (2014), 223-234

work page 2014
[15]

A. K. Karn, A p-theory of ordered normed spaces, Positivity, 14 (2010), 441-458

work page 2010
[16]

A. K. Karn, Orthogonality in C ^* -algebras, Positivity, 20(03) (2016), 607-620

work page 2016
[17]

A. K. Karn, Algebraic orthogonality and commuting projections in operator algebras, Acta Sci. Math. (Szeged), 84(2018), 323-353

work page 2018
[18]

Kaup, A Riemann mapping theorem for bounded symmetric domains in complex Banach spaces, Math

W. Kaup, A Riemann mapping theorem for bounded symmetric domains in complex Banach spaces, Math. Z., 138 (1983), 503-529

work page 1983
[19]

J. D. Maitland Wright and M. A. Youngson, On isometries of Jordan algebras, J. Lond. Math. Soc. (2), 17 (1978), 339-344

work page 1978
[20]

Radjabalipour, K

M. Radjabalipour, K. Siddighi and Y. taghavi, Additive mappings on operator algebras preserving absolute value, Lin. Alg. and its Appl, 327 (2001), 197-206

work page 2001

[1] [1]

Blackadar, Operator algebras, Springer-Verlag Heidelberg Berling, 2006

B. Blackadar, Operator algebras, Springer-Verlag Heidelberg Berling, 2006

work page 2006

[2] [2]

D. P. Blecher and D. M. Hay, Complete isometries into C ^* -algebras, ArXiv Priprint (2002), https://arxiv.org/abs/math/0203182v1

work page internal anchor Pith review Pith/arXiv arXiv 2002

[3] [3]

D. P. Blecher and L. E. Labuschagne, Logmodularity and isometries of operator algebras, Trans. Amer. Math. Soc., 355 (2002), 1621–1646

work page 2002

[4] [4]

M. D. Choi and E. G. Effros, Injectivity and operator spaces, J. Funct. Anal., 24 (1977), 156-209

work page 1977

[5] [5]

Chu and N.-C

C.-H. Chu and N.-C. Wong, Isometries between C ^* -algebras, Rev. Mat. Iberoamericana, 20 (2004), 156-209

work page 2004

[6] [6]

I. M. Gelfand and M. A. Naimark, On the embedding of normed rings into the ring of operators in Hilbert space, Mat. Sb. 12(1943), 87-105

work page 1943

[7] [7]

Gardener, Linear maps of C ^* -algebras preserving the absolute value, Proc

T. Gardener, Linear maps of C ^* -algebras preserving the absolute value, Proc. Amer. Math. Soc., 76 (1979), 271-278

work page 1979

[8] [8]

P. R. Halmos, Two subspaces, Trans. Amer. math. Soc., 144(1969), 181-189

work page 1969

[9] [9]

N. K. Jana, A. K. Karn and A. M. Peralta, Absolutely compatible pairs in a von Neumann algebra, (https://arxiv.org/abs/1801.01216), (Communicated for publication)

work page internal anchor Pith review Pith/arXiv arXiv

[10] [10]

N. K. Jana, A. K. Karn and A. M. Peralta, Contractive linear preservers of absolutely compatible pairs between C ^* -algebras, Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas (RCSM) 113(2019) no. 3, 2731-2741

work page 2019

[11] [11]

R. V. Kadison, Order properties of self-adjoint operators, Trans. Amer. Math. Soc, 2(1951), 505-510

work page 1951

[12] [12]

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

work page 1951

[13] [13]

Kakutani, Concrete representation of abstract ( M )-spaces, Ann

S. Kakutani, Concrete representation of abstract ( M )-spaces, Ann. of Math. 42 (1941) 994-1024

work page 1941

[14] [14]

A. K. Karn, Orthogonality in l_p -spaces and its bearing on ordered Banach spaces, Positivity, 18(02) (2014), 223-234

work page 2014

[15] [15]

A. K. Karn, A p-theory of ordered normed spaces, Positivity, 14 (2010), 441-458

work page 2010

[16] [16]

A. K. Karn, Orthogonality in C ^* -algebras, Positivity, 20(03) (2016), 607-620

work page 2016

[17] [17]

A. K. Karn, Algebraic orthogonality and commuting projections in operator algebras, Acta Sci. Math. (Szeged), 84(2018), 323-353

work page 2018

[18] [18]

Kaup, A Riemann mapping theorem for bounded symmetric domains in complex Banach spaces, Math

W. Kaup, A Riemann mapping theorem for bounded symmetric domains in complex Banach spaces, Math. Z., 138 (1983), 503-529

work page 1983

[19] [19]

J. D. Maitland Wright and M. A. Youngson, On isometries of Jordan algebras, J. Lond. Math. Soc. (2), 17 (1978), 339-344

work page 1978

[20] [20]

Radjabalipour, K

M. Radjabalipour, K. Siddighi and Y. taghavi, Additive mappings on operator algebras preserving absolute value, Lin. Alg. and its Appl, 327 (2001), 197-206

work page 2001