Unit Sphere of Positive Norm-One Elements

• The unit sphere of positive norm-one elements is defined as the intersection of the positive cone and the norm-one sphere in C*-algebras, encapsulating both algebraic structure and convex geometry.
• It provides a rigorous framework for Riemannian optimization under nonnegativity constraints and for characterizing projections through the double sphere property.
• In number theory, the concept extends to norm-one units in CM-fields, linking operator algebra methods with equidistribution and lattice point counting results.

The unit sphere of positive norm-one elements arises in several mathematical contexts, notably in the geometry of operator algebras, in real and complex finite-dimensional optimization, and in algebraic number theory through norm-one elements in fields. In operator algebra, this set encodes both the convex geometry and the algebraic structure of the underlying *-algebra. In finite dimensions or for $p$-norms, the positive sphere provides the domain for Riemannian optimization under nonnegativity constraints. In number theory, the unit sphere of norm-one elements describes the subgroup of algebraic elements having relative norm one in CM-fields, intimately related to the arithmetic of units and equidistribution on tori.

1. Definitions and Foundational Structures

In a unital C$^*$-algebra $A$ (or a JB$^*$-algebra), the positive cone is

$$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$

The unit sphere is $S_A = \{\, x \in A : \|x\| = 1 \}$, and the unit sphere of positive norm-one elements is

$$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$

For a subset $\mathscr S \subseteq S_A^+$, the unit sphere around $\mathscr S$ in $S_A^+$ is

$^*$0

Given $^*$1, abbreviate $^*$2. These definitions generalize naturally to JBW$^*$3-algebras and real Banach spaces and can be instantiated in $^*$4 as the intersection of the $^*$5-sphere with the nonnegative orthant:

$^*$6

For a CM-field $^*$7 (degree $^*$8), the unit sphere of norm-one elements $^*$9 is the kernel of the relative norm map:

$A$0

with $A$1 the maximal totally real subfield of $A$2.

2. Geometric and Algebraic Characterizations

A central result, independently established in operator algebra and Jordan algebra settings, is that the double sphere property selects projections within the positive unit sphere:

$A$3

This holds in unital C$A$4-algebras (Peralta et al., 14 Jan 2026), atomic von Neumann algebras, $A$5, $A$6, and extends to JBW$A$7-algebras (Peralta et al., 6 May 2025). In the compact operator case, the second sphere has an explicit description in terms of support and range projections:

$A$8

For finite-dimensional real spaces, $A$9 is a compact $^*$0-manifold with corners, and its tangent spaces and metric geometry are explicitly computable (Sato, 2022).

Algebraic Context	Positive Unit Sphere Description	Double Sphere Characterization
C$^*$1-algebras	$^*$2	Projections singled by $^*$3
JBW$^*$4-algebras	$^*$5	Projections characterized identically
$^*$6, $^*$7-norm	$^*$8	Manifold corners at $^*$9
CM-fields (number theory)	$$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$0	Group structure, not double sphere

3. Metric Geometry and Projections

The metric structure of $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$1 encodes the order and orthogonality of projections. Key lemmas establish:

• $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$2 for $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$3 iff there exists a pure state $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$4 with $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$5 (Peralta et al., 6 May 2025).
• For projections $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$6, $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$7 iff $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$8 for all $$A^+ = \{\, a \in A: a = a^*,\; \sigma(a) \subseteq [0, \infty) \,\}.$$9.
• Order is reflected via sphere inclusion: $S_A = \{\, x \in A : \|x\| = 1 \}$0.

For non-projection $S_A = \{\, x \in A : \|x\| = 1 \}$1 (i.e., spectrum not $S_A = \{\, x \in A : \|x\| = 1 \}$2), the double sphere typically contains other elements and thus fails the singleton criterion (Peralta, 2018).

4. Isometries, Structure, and Tingley’s Problem

Every surjective isometry of $S_A = \{\, x \in A : \|x\| = 1 \}$3 for $S_A = \{\, x \in A : \|x\| = 1 \}$4, $S_A = \{\, x \in A : \|x\| = 1 \}$5, or appropriate JBW$S_A = \{\, x \in A : \|x\| = 1 \}$6-algebras extends uniquely to a (Jordan) $S_A = \{\, x \in A : \|x\| = 1 \}$7-isomorphism of the full algebra, preserving projection lattice and order structure (Peralta et al., 6 May 2025, Peralta, 2017). This positive answer generalizes Tingley’s problem to positive spheres and demonstrates that the convex geometry of $S_A = \{\, x \in A : \|x\| = 1 \}$8 encodes the operator-systemic structure.

Consequences include:

• Surjective isometries between spheres of positive operators are induced by $S_A = \{\, x \in A : \|x\| = 1 \}$9-isomorphisms or $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$0-anti-isomorphisms.
• The entire Jordan-product structure can be reconstructed from the metric geometry of $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$1.

5. Manifold and Riemannian Structure

For $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$2, the manifold structure is well-defined for $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$3:

• $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$4 is a $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$5-dimensional $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$6 submanifold, $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$7 is a manifold with boundary (corners at zero coordinates).
• The tangent space at $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$8 (with all $$S_A^+ = A^+ \cap S_A = \{\, x \in A: x \ge 0,\; \|x\| = 1 \}.$$9) is

$\mathscr S \subseteq S_A^+$0

• Retractions, projections, and vector transports admit closed-form expressions, supporting efficient Riemannian optimization with nonnegativity constraints.
• Applications include nonnegative principal component analysis, where constraint-free Riemannian methods on $\mathscr S \subseteq S_A^+$1 outperform conventional box-constrained algorithms in certain settings (Sato, 2022).

6. Norm-One Spheres in Number Theory

For a CM-field $\mathscr S \subseteq S_A^+$2, the norm-one group

$\mathscr S \subseteq S_A^+$3

embeds as

$\mathscr S \subseteq S_A^+$4

where $\mathscr S \subseteq S_A^+$5 under each complex embedding. The group-theoretic structure is governed by Hilbert’s Theorem 90:

$\mathscr S \subseteq S_A^+$6

so $\mathscr S \subseteq S_A^+$7. After modding out torsion, $\mathscr S \subseteq S_A^+$8 is a free abelian group of infinite rank. Ordering elements by multiplicative Weil height yields effective lattice point counting results, establishing quantitative equidistribution of $\mathscr S \subseteq S_A^+$9 in $\mathscr S$0 with power-saving error terms. For imaginary quadratic $\mathscr S$1, $\mathscr S$2 exactly tracks the roots of unity or cyclotomic units on the unit circle (Akhtari et al., 14 Jul 2025).

7. Further Developments and Research Directions

Recent research identifies several extensions and open questions:

• Extension of metric characterizations to partial isometries and more general norm-one elements (Peralta et al., 14 Jan 2026).
• The generalization of positive sphere metric theory to non-type I, non-atomic C$\mathscr S$3-algebras remains open, although similar techniques are anticipated to extend to broader JB$\mathscr S$4- or JBW$\mathscr S$5-algebraic settings.
• The connection between Riemannian optimization on $\mathscr S$6, nonnegativity constraints, and algorithmic frameworks for box-constrained or $\mathscr S$7-regularization problems offers an avenue for explicit manifold-based algorithm design (Sato, 2022).
• In arithmetic, variants of the norm-one sphere structure beyond CM-fields, and the impact of field extensions on the rank and distribution of $\mathscr S$8, provide ongoing directions (Akhtari et al., 14 Jul 2025).

The theory of the unit sphere of positive norm-one elements thus provides a unifying convex-geometric, operator-algebraic, and arithmetic framework, with applications ranging from geometry of Banach and operator spaces to combinatorial and analytic number theory.