pith. sign in

arxiv: 1907.04738 · v1 · pith:SUTZ43RPnew · submitted 2019-07-10 · 🧮 math.OA · math.FA

Metric characterisation of unitaries in JB^*-algebras

Mar\'ia Cueto-Avellaneda , Antonio M. Peralta This is my paper

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

classification 🧮 math.OA math.FA
keywords JB*-algebrasunitariesextreme pointsclosed unit ballmetric characterisationJordan structures
0
0 comments X

The pith

In a unital JB*-algebra an extreme point of the unit ball is a unitary exactly when the set of extreme points at norm distance at most sqrt(2) contains an isolated point.

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

The paper establishes a geometric criterion to identify unitaries among the extreme points of the closed unit ball in unital JB*-algebras. It proves that an element u qualifies as unitary precisely when the collection of extreme points e satisfying the norm bound ||u ± e|| ≤ √2 contains an isolated point. A sympathetic reader cares because the test converts an algebraic property into a feature of the metric geometry on the extreme points. The equivalence holds in every unital JB*-algebra and supplies a characterisation that avoids explicit use of the Jordan product inside the detection step.

Core claim

An element u in the set of extreme points of the closed unit ball of a unital JB*-algebra M is a unitary if and only if the set M_u of extreme points e satisfying ||u ± e|| ≤ √2 contains an isolated point. This furnishes a new geometric characterisation of unitaries expressed solely in terms of the extreme points of the ball.

What carries the argument

The auxiliary set M_u of extreme points e for which ||u ± e|| ≤ √2, with the presence of an isolated point in M_u serving as the deciding geometric feature.

If this is right

  • The unitary property becomes detectable from the metric and topological structure on the extreme points alone.
  • The same test applies uniformly across all unital JB*-algebras.
  • Non-unitary extreme points necessarily produce sets M_u without isolated points under the given norm condition.
  • The characterisation supplies a bidirectional link between algebra and geometry in the unit ball.

Where Pith is reading between the lines

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

  • The isolation condition might be checkable in low-dimensional matrix examples to map out concrete patterns of isolation.
  • Analogous metric tests could be sought in C*-algebras or other Jordan structures that share similar extreme-point geometry.
  • The isolated point in M_u may correspond to an algebraic relation such as orthogonality that the paper leaves unexamined.

Load-bearing premise

The object under study must be a unital JB*-algebra so that its closed unit ball and extreme points obey the standard norm and algebraic compatibility rules of the class.

What would settle it

Exhibit a concrete unital JB*-algebra containing an extreme point u that is unitary yet every point of M_u is a limit point of other points in M_u, or a non-unitary extreme point u for which M_u contains an isolated point.

read the original abstract

Let $M$ be a unital JB$^*$-algebra whose closed unit ball is denoted by $\mathcal{B}_M$. Let $\partial_e(\mathcal{B}_M)$ denote the set of all extreme points of $\mathcal{B}_M$. We prove that an element $u\in \partial_e(\mathcal{B}_M)$ is a unitary if and only if the set $$\mathcal{M}_{u} = \{e\in \partial_e(\mathcal{B}_M) : \|u\pm e\|\leq \sqrt{2} \}$$ contains an isolated point. This is a new geometric characterisation of unitaries in $M$ in terms of the set of extreme points of $\mathcal{B}_M$.

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 / 2 minor

Summary. The paper proves that for a unital JB*-algebra M with closed unit ball B_M and extreme points ∂_e(B_M), an element u ∈ ∂_e(B_M) is a unitary if and only if the set M_u = {e ∈ ∂_e(B_M) : ||u ± e|| ≤ √2} contains an isolated point (in the norm topology). The argument uses the Jordan product, involution, numerical range, and Peirce decomposition relative to idempotents to establish both directions of the biconditional.

Significance. If the derivation holds, the result supplies a new geometric characterization of unitaries purely in terms of the metric structure on the extreme boundary of the unit ball. This adds to the existing body of metric and geometric characterizations in JB*-algebras and C*-algebras without introducing free parameters, ad-hoc axioms, or circular reductions.

minor comments (2)
  1. The abstract and introduction would benefit from a brief reminder of the definition of a unitary in a unital JB*-algebra (i.e., u*u = 1 = uu*) to make the statement self-contained for readers outside the immediate subfield.
  2. Notation for the norm topology on ∂_e(B_M) is used without explicit statement in the main theorem; a sentence clarifying that isolation is with respect to the relative norm topology would remove any ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript without suggested changes.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from JB* axioms

full rationale

The central claim is a biconditional equivalence proved directly from the Jordan product, involution, numerical range definition of the norm, and Peirce decomposition relative to idempotents in unital JB*-algebras. No equations reduce the target property (unitary) to a fitted parameter or self-referential construction. No load-bearing self-citations appear; the argument relies on standard, externally verifiable axioms of JB*-algebras rather than prior results by the same authors. The characterization is therefore independent of its own inputs and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definition and norm properties of unital JB*-algebras together with the topological notion of extreme points and isolated points in the unit ball; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption M is a unital JB*-algebra (Jordan Banach *-algebra satisfying the JB* norm identity).
    Invoked in the opening sentence of the abstract as the ambient structure.
  • standard math The closed unit ball B_M and its extreme points ∂_e(B_M) are defined in the usual way for the given norm.
    Used without further justification in the statement of the theorem.

pith-pipeline@v0.9.0 · 5650 in / 1424 out tokens · 26802 ms · 2026-05-24T23:23:40.873887+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

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

  1. [1]

    Akemann, N

    C.A. Akemann, N. W eaver, Geometric characterizations o f some classes of operators in C ∗- algebras and von Neumann algebras, Proc. Amer. Math. Soc. 130, no. 10, 3033-3037 (2002). UNITARIES IN JB ∗-ALGEBRAS 17

    work page 2002

  2. [2]

    Becerra Guerrero, M

    J. Becerra Guerrero, M. Cueto-Avellaneda, F.J. Fern´ an dez-Polo, A.M. Peralta, On the exten- sion of isometries between the unit spheres of a JBW ∗-triple and a Banach space, to appear in J. Inst. Math. Jussieu . https://doi.org/10.1017/S1474748019000173

    work page doi:10.1017/s1474748019000173

  3. [3]

    Braun, W

    R. Braun, W. Kaup, H. Upmeier, A holomorphic characteris ation of Jordan-C ∗-algebras, Math. Z. 161, 277-290 (1978)

    work page 1978

  4. [4]

    Cabello-S´ anchez, A reflection on Tingley’s problem a nd some applications, J

    J. Cabello-S´ anchez, A reflection on Tingley’s problem a nd some applications, J. Math. Anal. Appl. 476 (2), 319-336 (2019). https://doi.org/10.1016/j.jmaa.20 19.03.041

    work page doi:10.1016/j.jmaa.20 2019

  5. [5]

    Non-associative normed algebras

    Cabrera Garc´ıa, M., and Rodr ´ıguez Palacios, A. Non-associative normed algebras. Vol. 1, vol. 154 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 2014. The Vidav-Palmer and Gelfand-Naimark the orems

    work page 2014

  6. [6]

    Fern´ andez-Polo, J

    F.J. Fern´ andez-Polo, J. Mart ´ ınez, A.M. Peralta, Geometric characterization of tripotents in real and complex JB ∗-triples, J. Math. Anal. Appl. 295, 435-443 (2004)

    work page 2004

  7. [7]

    Fern´ andez-Polo, A.M

    F.J. Fern´ andez-Polo, A.M. Peralta, Partial isometrie s: a survey, Adv. Oper. Theory 3, no. 1, 75-116 (2018)

    work page 2018

  8. [8]

    Friedman and B

    Y. Friedman and B. Russo. Structure of the predual of a JBW ∗-triple. J. Reine Angew. Math. , 356, 67-89 (1985)

    work page 1985

  9. [9]

    Hamhalter, O

    J. Hamhalter, O. F. K. Kalenda, A. M. Peralta, H. Pfitzner, Measures of weak non-compactness in preduals of von Neumann algebras and JBW ∗-triples. preprint 2019, arXiv:1901.08056v1

    work page arXiv 2019

  10. [10]

    Hanche-Olsen, E

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

    work page 1984

  11. [11]

    Isidro, W

    J.M. Isidro, W. Kaup, A. Rodr ´ ıguez-Palacios, On real f orms of JB ∗-triples, Manuscripta Math. 86, 311-335 (1995)

    work page 1995

  12. [12]

    Isidro, A

    J.M. Isidro, A. Rodr ´ ıguez-Palacios, Isometries of JB -algebras, Manuscripta Math. 86 (1995), 337-348

    work page 1995

  13. [13]

    Jamjoom, A.A

    F.B. Jamjoom, A.A. Siddiqui, H.M. Tahlawi, A.M. Peralt a, Approximation and convex de- composition by extremals and the λ-function in JBW ∗-triples, Q. J. Math. (Oxford) 66 (2015), 583-603

    work page 2015

  14. [14]

    Kadison, Isometries of operator algebras, Ann

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

    work page 1951

  15. [15]

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

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

    work page 1983

  16. [16]

    W. Kaup, H. Upmeier, Jordan algebras and symmetric Sieg el domains in Banach spaces, Math. Z. 157, 179-200 (1977)

    work page 1977

  17. [17]

    Leung, C.-K

    C.-W. Leung, C.-K. Ng, N.-C. W ong, Geometric unitaries in JB-algebras, J. Math. Anal. Appl. 360, 491-494 (2009)

    work page 2009

  18. [18]

    Li, Real operator algebras

    B. Li, Real operator algebras. W orld Scientific Publishing Co., Inc., River Edge, NJ, 2003

    work page 2003

  19. [19]

    Mori, Tingley’s problem through the facial structur e of operator algebras, J

    M. Mori, Tingley’s problem through the facial structur e of operator algebras, J. Math. Anal. Appl. 466, no. 2, 1281-1298 (2018)

    work page 2018

  20. [20]

    M. Mori, N. Ozawa, Mankiewicz’s theorem and the Mazur–U lam property for C ∗-algebras, to appear in Studia Math. arXiv:1804.10674

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    Peralta, A survey on Tingley’s problem for operato r algebras, Acta Sci

    A.M. Peralta, A survey on Tingley’s problem for operato r algebras, Acta Sci. Math. (Szeged) 84, 81-123 (2018)

    work page 2018

  22. [22]

    Rodr ´ ıguez Palacios, Banach space characterizations of unitaries: a survey, J

    A. Rodr ´ ıguez Palacios, Banach space characterizations of unitaries: a survey, J. Math. Anal. Appl. 369 (2010), no. 1, 168-178

    work page 2010

  23. [23]

    Siddiqui, Average of two extreme points in JBW ∗-triples, Proc

    A.A. Siddiqui, Average of two extreme points in JBW ∗-triples, Proc. Japan Acad. 83, 176- 178, Ser.A (2007)

    work page 2007

  24. [24]

    W right, Jordan C ∗-algebras, Michigan Math

    J.D.M. W right, Jordan C ∗-algebras, Michigan Math. J. 24 291-302 (1977)

    work page 1977

  25. [25]

    W right, M.A

    J.D.M. W right, M.A. Youngson, On isometries of Jordan a lgebras, J. London Math. Soc. 17 (1978), 339-44. (M. Cueto-Avellaneda, A.M. Peralta) Departamento de An ´alisis Matem ´atico, F acultad de Ciencias, Universidad de Granada, 18071 Granada, Spain. E-mail address : mcueto@ugr.es, aperalta@ugr.es

    work page 1978