Auerbach–Mazur–Ulam Theorem

• The Auerbach–Mazur–Ulam theorem is a foundational result stating that every surjective isometry between real normed spaces or their unit spheres is affine, meaning it is real-linear when normalized.
• It plays a key role in geometric functional analysis by linking the structure of isometries with the convex geometry of Banach spaces and extending to seminormed and uniform algebra settings.
• Generalizations of the theorem include applications to pseudo-isometries in seminormed spaces and highlight the importance of unit sphere structures, peak-point theory, and direct sum decompositions.

The Auerbach-Mazur-Ulam theorem describes deep structural phenomena concerning isometries between normed or seminormed vector spaces, their unit spheres, and the conditions under which these isometries are necessarily affine—most importantly, real-linear—maps. The theorem and its subsequent generalizations play a central role in geometric functional analysis, particularly in the study of Banach space geometry and the extension theory of isometries. The concept encapsulates the classical result that any surjective isometry between real normed spaces is affine (Mazur-Ulam theorem), and refines it in terms of the action on unit spheres (Auerbach formulation). Further developments include abstract characterizations for uniform algebras and function spaces, the introduction of the Mazur-Ulam property, and extensions to seminormed settings.

1. Classical Formulations and Statement

The classical Mazur-Ulam theorem asserts that every bijective isometry between real normed vector spaces is affine. More precisely, if $X, Y$ are real normed spaces and $f: X \to Y$ is a surjective isometry, then $f(x) = L(x) + f(0)$ for some real-linear isometry $L$ and all $x \in X$ (Nica, 2013, Peralta, 2017). If one further imposes $f(0) = 0$, then $f$ is real-linear. This fact generalizes to surjective isometries between unit spheres, where the “homogeneous extension” of a surjective isometry $T: S(X) \to S(Y)$ (with $S(X) = \{x \in X: \|x\| = 1\}$) defined by

$$\widehat{T}(x) = \|x\| T \left( \frac{x}{\|x\|} \right), \quad \widehat{T}(0) = 0,$$

is affine and, under normalization, linear. The Auerbach formulation establishes that any surjective isometry between unit spheres of real normed spaces extends to an affine (even linear) isometry of the entire space (Hatori, 2021).

2. The Mazur-Ulam Property and Uniform Algebra Extensions

A normed or Banach space $f: X \to Y$0 is said to have the Mazur-Ulam property if every surjective isometry between unit spheres $f: X \to Y$1 (for arbitrary $f: X \to Y$2) admits a unique extension to a surjective real-linear isometry $f: X \to Y$3 (Hatori, 2021, Peralta, 2017, Cueto-Avellaneda et al., 2019). Uniform algebras, defined as closed subalgebras of $f: X \to Y$4 (continuous functions on compact $f: X \to Y$5) containing the constants and separating points, furnish key examples possessing the (complex) Mazur-Ulam property.

For a uniform algebra $f: X \to Y$6 on its Choquet boundary $f: X \to Y$7, the following holds: for any complex Banach space $f: X \to Y$8 and surjective isometry $f: X \to Y$9, the homogeneous extension $f(x) = L(x) + f(0)$0 is a surjective real-linear isometry (Hatori, 2021). The proof exploits the structure of maximal faces of the unit sphere (determined by point evaluations) and establishes that the Hausdorff distance between faces realizes the absolute difference of point-masses, while sets defined by peak points describe the preimages of faces exactly. This geometric structure ensures that sphere-isometries must be affine, thus real-linear.

3. Generalizations: Seminormed Spaces and Direct Sum Decompositions

The Dovgoshey–Prestin–Shevchuk framework extends the classical theorem to seminormed spaces, which may have a nontrivial kernel (zero-norm subspace $f(x) = L(x) + f(0)$1). A pseudo-isometry between seminormed spaces $f(x) = L(x) + f(0)$2 is a mapping preserving the associated pseudometrics and is surjective up to zero-distance.

A key structural result (Theorem 3.4 in (Dovgoshey et al., 2022)) asserts that a pseudo-isometric embedding $f(x) = L(x) + f(0)$3 is linear if and only if $f(x) = L(x) + f(0)$4 is linear and there exists a direct sum decomposition $f(x) = L(x) + f(0)$5 (with $f(x) = L(x) + f(0)$6 normed) such that $f(x) = L(x) + f(0)$7 is a linear subspace and $f(x) = L(x) + f(0)$8 for $f(x) = L(x) + f(0)$9, $L$0. This delineates precisely when linearity follows from distance preservation in the seminormed (possibly degenerate) context.

4. Faces, Peak-Point Theory, and Structural Mechanisms

The extension and classification results rely critically on the geometry of maximal faces of unit balls and peak-point phenomena. In uniform algebras, maximal faces correspond to evaluation at points in the Choquet boundary, and peak-point functions (functions taking maximal value at a unique point) allow for a precise description of the norm geometry and the orbits of isometries (Hatori, 2021). Sufficient geometric conditions—specifically:

• For each functional $L$1 associated with a maximal face and parameter $L$2, the set $L$3 matches the set $L$4 (peak-set description).
• The Hausdorff distance between distinct faces satisfies explicit formulas, enforcing the affine rigidity of sphere isometries.

These mechanisms force homogeneous extensions of sphere isometries to coincide with real-linear (or complex linear, up to phase) isometries.

5. Notable Classes and Examples

Notable spaces and algebras satisfying the Mazur-Ulam property include:

Space / Algebra	Description	Reference
Disk algebra $L$5	Continuous on $L$6, holomorphic interior	(Hatori, 2021)
Polydisk and Ball algebras	Multivariate analogs on products of disks or balls in $L$7	(Hatori, 2021)
$L$8 spaces	$L$9-valued continuous functions on compact $x \in X$0, $x \in X$1 real or complex Hilbert, $x \in X$2	(Cueto-Avellaneda et al., 2019)
$x \in X$3	Bounded functions on arbitrary (possibly infinite) index sets $x \in X$4	(Peralta, 2017)
Extremely $x \in X$5-regular real function spaces	Closed subspaces of $x \in X$6 with rigorous boundary regularity	(Hatori, 2021)

Uniform algebras and function spaces invariably feature peak-point phenomena, separating points via functions, and structurally norming families, all ensuring the Mazur-Ulam property.

6. Connections and Extensions: Auerbach, Affinity, and Open Directions

The Auerbach-Mazur-Ulam circle encapsulates the progression from surjective isometries on normed spaces to sphere isometries and even further to degenerate/seminormed settings. Auerbach's original insight considers sphere-to-sphere isometries, while Mankiewicz’s and later extensions evaluate convexity and affineness in broader geometric settings (Nica, 2013, Dovgoshey et al., 2022).

The generalized results are tied intricately to the strict convexity of target spaces and peak-point geometric character. For seminormed spaces, the dimension of the zero-norm subspace modulates the capacity for linearization of pseudo-isometries (Dovgoshey et al., 2022). Ongoing open questions include the search for seminormed analogs of Baker's strict convexity characterization and the extension of peak-set and facial methods to broader classes beyond uniform algebras and function spaces.

The Auerbach-Mazur-Ulam theorem remains central not only for its classification of isometries but also as a profound constraint on the geometric and algebraic structure of Banach and seminormed spaces. Its manifestations in function algebras, operator theory, and abstract convexity underpin broad areas of modern functional analysis.