{"id":"arxiv/2610.35290","url":"https://arxiv.org/abs/2610.35290","tags":["math.OA","math.FA"],"score":0,"title":"The norm reveals projections in the positive unit sphere of an arbitrary C*-algebra","domain":"math.OA","source":"arxiv","authors":["Antonio M. Peralta","Pedro Saavedra"],"reviews":0,"subject":"math.OA","summary":"We show how a simple metric condition in terms of the C$^*$-norm of an arbitrary C$^*$-algebra $A$ can be employed to determine those norm-one positive elements which are projections. Concretely, if we write $S_{A^+}$ for the intersection of the positive cone and the unit sphere of $A$, we establish that an element $a \\in S_{A^+}$ is a projection if, and only if, $$\\{a\\} = \\left\\{x\\in S_{A^+}: \\|x-z\\| = 1 \\hbox{ for all } z\\in S_{A^+}\\hbox{ with } \\|a-z\\|=1 \\right\\}.$$ This proves a conjecture which has been previously confirmed for von Neumann algebras and unital C$^*$-algebras. In the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}