arxiv: 2605.06120 · v1 · submitted 2026-05-07 · 🧮 math.OA

Recognition: unknown

The Quasi-linearity problem for Jordan-Banach algebras: a topological characterization

Gerardo M. Escolano

Authors on Pith no claims yet

Pith reviewed 2026-05-08 03:33 UTC · model grok-4.3

classification 🧮 math.OA

keywords JB*-algebraquasi-linear functionalJordan functionaluniform weak continuitylinear functionalS_2(C) quotientsself-adjoint partJordan-Banach algebra

0 comments

The pith

In JB*-algebras without S_2(C) quotients, a local quasi-linear Jordan functional on the self-adjoint part is linear exactly when its restriction to the closed unit ball is uniformly weakly continuous.

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

The paper addresses when a local quasi-linear Jordan functional on the self-adjoint elements of a JB*-algebra becomes a fully linear functional. It establishes an if-and-only-if link between linearity and the topological property of uniform weak continuity when restricted to the closed unit ball. This equivalence holds provided the algebra has no quotients isomorphic to S_2(C). A reader would care because it supplies a concrete checkable condition that turns an algebraic question about linearity into one about continuity on bounded sets. The result gives a topological resolution to part of the quasi-linearity problem in this class of non-associative Banach algebras.

Core claim

Let J be a JB*-algebra with no quotients isomorphic to S_2(C). Let μ be a local quasi-linear Jordan functional on J_sa. Then μ is a linear functional on J_sa if and only if the restriction of μ to the closed unit ball of J_sa is uniformly weakly continuous.

What carries the argument

The uniform weak continuity of the restriction of a local quasi-linear Jordan functional to the closed unit ball of the self-adjoint part, which is shown to be equivalent to full linearity.

If this is right

Linearity of these functionals can be verified by checking uniform weak continuity on a single bounded set rather than the whole algebra.
The topological condition provides a practical test for when local quasi-linearity upgrades to global linearity.
The result applies directly to the self-adjoint part of the algebra and preserves the Jordan structure.

Where Pith is reading between the lines

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

The same continuity criterion might serve as a template for automatic continuity results in other classes of Jordan-Banach algebras.
Excluding S_2(C) quotients indicates that matrix-like exceptional cases may need separate analysis to see whether the equivalence survives.
This characterization could be tested numerically in finite-dimensional JB*-algebras to confirm the role of the unit ball condition.

Load-bearing premise

The JB*-algebra has no quotients isomorphic to S_2(C).

What would settle it

Finding a JB*-algebra with no S_2(C) quotients and a local quasi-linear Jordan functional on its self-adjoint part that is not linear yet remains uniformly weakly continuous on the closed unit ball would disprove the equivalence.

read the original abstract

Let $\mathfrak{J}$ be a JB$^*$-algebra with no quotients isomorphic to $S_2(\mathbb{C})$. Let $\mu$ be a local quasi-linear Jordan functional on $\mathfrak{J}_{sa}$. We show that $\mu$ is a linear functional on $\mathfrak{J}_{sa}$ if and only if the restriction of $\mu$ to the closed unit ball of $\mathfrak{J}_{sa}$ is uniformly weakly continuous.

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 gives a clean if-and-only-if that ties linearity of local quasi-linear Jordan functionals on the self-adjoint part to uniform weak continuity on the unit ball, but only when the JB*-algebra has no S2(C) quotients.

read the letter

The central claim is straightforward: under the standing assumption that the JB*-algebra has no quotients isomorphic to S2(C), a local quasi-linear Jordan functional on the self-adjoint part is linear precisely when its restriction to the closed unit ball is uniformly weakly continuous. That equivalence is what the paper sets out to prove, and the hypothesis is there to sidestep known counterexamples where the implication fails. The result is new in the sense that it supplies this specific topological condition rather than reducing to earlier characterizations already in the literature on Jordan-Banach algebras. The abstract states both directions cleanly, and the stress-test note indicates no obvious circularity or unsupported steps in the formulation itself. What the paper does well is isolate a usable continuity criterion that could be checked in concrete examples without having to verify full linearity from scratch. The no-quotients condition is stated explicitly and is not hidden, which keeps the scope honest. On the soft side, the result is conditional and therefore does not resolve the quasi-linearity problem in full generality; anyone working with algebras that do have S2(C) quotients will still need separate arguments. The abstract supplies no proof details, so the actual derivation steps, any use of prior theorems on weak continuity, and the handling of the Jordan product all need checking in the body. If the arguments rely on standard tools from operator algebra theory without introducing new gaps, the claim should hold; if they lean on unstated approximations or special cases, that would weaken it. This is a narrow but targeted contribution aimed at people already working in Jordan structures and automatic continuity questions. Specialists in JB*-algebras or related functional equations will see the most direct value, while broader operator algebra readers might skim it for the continuity link. The paper deserves a serious referee because the statement is precise, the hypothesis is motivated, and the problem it addresses is recognized in the subfield. I would send it out for review rather than desk-reject; the core equivalence is worth verifying in detail even if revisions are needed on the proof presentation.

Referee Report

0 major / 3 minor

Summary. The paper proves that for a JB*-algebra J with no quotients isomorphic to S_2(C), a local quasi-linear Jordan functional μ on the self-adjoint part J_sa is linear if and only if the restriction of μ to the closed unit ball of J_sa is uniformly weakly continuous.

Significance. If the result holds, it supplies a clean topological characterization of linearity for local quasi-linear functionals in the setting of Jordan-Banach algebras, directly addressing the quasi-linearity problem under an explicit hypothesis that excludes known counterexamples. The if-and-only-if form and the precise exclusion of S_2(C) quotients strengthen the utility of the criterion for further work in operator algebras.

minor comments (3)

The definition of 'uniformly weakly continuous' on the unit ball should be recalled or referenced explicitly in the statement of the main theorem (likely Theorem 3.1 or equivalent) to improve readability for readers outside the immediate subfield.
A brief comparison with earlier results on quasi-linear functionals (e.g., those without the topological condition) would help situate the new characterization in the introduction.
Ensure that the proof of the 'only if' direction explicitly invokes the no-S_2(C)-quotient hypothesis at the point where it is used, rather than only in the setup.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, accurate summary of the main result, and recommendation for minor revision. We appreciate the acknowledgment that the if-and-only-if topological characterization strengthens the criterion for the quasi-linearity problem in JB*-algebras excluding S_2(C) quotients.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper states a direct conditional equivalence: under the explicit hypothesis that the JB*-algebra has no quotients isomorphic to S_2(C), a local quasi-linear Jordan functional on the self-adjoint part is linear if and only if its restriction to the closed unit ball is uniformly weakly continuous. This is presented as a theorem with the hypothesis serving to exclude known failure cases rather than as a self-referential assumption. No self-definitional steps, fitted parameters renamed as predictions, load-bearing self-citations, uniqueness theorems imported from the authors' prior work, or ansatzes smuggled via citation are present. The result is a standard characterization in the theory of JB*-algebras and is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on standard definitions and properties of JB*-algebras together with the explicit no-quotient assumption; no free parameters or new entities are introduced.

axioms (3)

domain assumption J is a JB*-algebra
The entire setting assumes the algebraic and normed structure of a JB*-algebra.
domain assumption J has no quotients isomorphic to S_2(C)
This hypothesis is required for the equivalence to hold and is stated explicitly.
domain assumption μ is a local quasi-linear Jordan functional on J_sa
The functional is given with these properties by hypothesis.

pith-pipeline@v0.9.0 · 5358 in / 1498 out tokens · 116799 ms · 2026-05-08T03:33:06.042826+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 2 canonical work pages

[1]

J. F. Aarnes,Physical states on a C ∗-algebra, Acta Math.122(1969), 161–172

1969
[2]

J. F. Aarnes,Quasi-states on C ∗-algebras, Trans. Amer. Math. Soc.149(1970), 601–625

1970
[3]

J. F. Aarnes,Quasi-states and quasi-measures, Adv. Math.86(1991), no. 1, 41–67

1991
[4]

C. A. Akemann, S. M. Newberger,Physical states on a C ∗-algebra, Proc. Amer. Math. Soc,40 (1973), 500

1973
[5]

E. M. Alfsen and F.W. Shultz,Geometry of state spaces of operator algebras, Mathematics: Theory & Applications, Birkhäuser Boston, Inc., Boston, MA, 2003

2003
[6]

Bunce, J.D.M

L.J. Bunce, J.D.M. Wright,Complex measures on projections in von Neumann algebras, J. Lon- don Math. Soc. (2)46(1992), no. 2, 269–279

1992
[7]

Bunce, J.D.M

J. Bunce, J.D.M. Wright,The Mackey-Gleason problem for vector measures on projections in von Neumann algebras, J. London Math. Soc. (2)49(1994), no. 1, 133–149

1994
[8]

L .J .Bunce, J. D. M. Wright,The Quasi-linearity problem for C*-algebras, Pacific J. Math.172 (1996), no.1, 41 – 47

1996
[9]

Edwards,On Jordan W ∗-algebras, Bull

C.M. Edwards,On Jordan W ∗-algebras, Bull. Sci. Math.104(1980), 393–403

1980
[10]

G. M. Escolano, A. M. Peralta, A. R. Villena,The Mackey-Gleason-Bunce-Wright problem for vector-valued measures on projections in a JBW∗-algebra, arXiv:2509.03213

work page arXiv
[11]

G. M. Escolano, A. M. Peralta, A. R. Villena,Quadratic & additive mappings on operator commuting elements in JBW∗-algebras, arXiv:2603.16687

work page arXiv
[12]

A. M. Gleason,Measures on the closed subspaces of a Hilbert space, J, Math. Mech.6 (1957),885–893

1957
[13]

Hanche-Olsen, E

H. Hanche-Olsen, E. Størmer,Jordan Operator Algebras, Pitman, London, 1984

1984
[14]

Jordan,Über die Multiplikation quantenmechanischer Größen, Z

P. Jordan,Über die Multiplikation quantenmechanischer Größen, Z. Physik80, 285–291 (1933)

1933
[15]

Jordan, J

P. Jordan, J. von Neumann, E. Wigner, On an algebraic generalization of the quantum mechan- ical formalism,Ann. of Math.(2)35, no. 1 (1934), 29–64

1934
[16]

Kelley,General Topology, Van Nostrand, (1953)

J.L. Kelley,General Topology, Van Nostrand, (1953). 8 G.M. ESCOLANO

1953
[17]

G. W. Mackey,Quantum mechanics and Hilbert space, Amer. Math. Monthly64(1957), no. 8, part II, 45–57

1957
[18]

Wright,Jordan C ∗-algebras, Michigan Math J.24(1977), 291–302

J.D.M. Wright,Jordan C ∗-algebras, Michigan Math J.24(1977), 291–302. DEPARTAMENTO DEANÁLISISMATEMÁTICO, FACULTAD DECIENCIAS, UNIVERSIDAD DE GRANADA, 18071 GRANADA, SPAIN. Email address:gemares@ugr.es

1977