Spherical Completion for Non-Archimedean Banach Spaces

• Spherical completion is an extension theory that remedies rigidity deficits by ensuring every nested closed ball in an ultrametric space intersects non-trivially.
• The construction uses the quotient of ℓ∞(E) by c₀(E) and employs Zorn’s lemma to obtain a spherically complete extension unique up to isometric isomorphism.
• Applications include enabling orthogonal decompositions, bounded linear map extensions, and systematic classification of finite-dimensional non-Archimedean Banach spaces.

Spherical completion for non-Archimedean Banach spaces gives an extension theory that remedies a key rigidity deficit found in non-Archimedean functional analysis: the metric Banach completion for ultrametric normed spaces does not, in general, yield a spherically complete target. Spherical completeness—requiring that every nested or totally ordered family of closed balls in the space has non-empty intersection—formalizes a form of strong completeness not implied by metric completeness alone, and underpins critical phenomena in the structural theory of these spaces, including existence of orthogonal decompositions and maximal extensions of bounded linear maps. The construction and properties of spherical completions have profound implications for both infinite- and finite-dimensional non-Archimedean Banach spaces, and are central for classification, extension theorems, and the understanding of strictly epicompact sets.

1. Spherical Completeness: Definition and Characterizations

Spherical completeness is defined for an ultrametric space $(X,d)$ as the property that every totally ordered (by inclusion) family of closed balls has nonempty intersection: $$\forall \{ B(c_i, r_i) \mid i\in I \} \text{ totally ordered},\quad \bigcap_{i} B(c_i, r_i) \neq \emptyset.$$ Equivalent conditions hold: (i) every strictly decreasing sequence $B(c_0, r_0) \supset B(c_1, r_1) \supset \dots$ has nonempty intersection; (ii) every family of closed balls with the finite intersection property has nonempty intersection; and (iii) every collection of closed balls with pairwise nonempty intersections has nonempty total intersection (Yuan, 29 Jan 2026).

Spherical completeness implies Cauchy completeness, but not vice versa—metric Banach completeness is strictly weaker. Finite products, metric quotients, and isometric images of spherically complete spaces preserve spherical completeness.

2. Construction of the Spherical Completion

Given a normed $\bbK$-vector space $E$ with ultrametric norm:

• Define $$\ell^\infty(E) = \{ f : \mathbb{N}\to E \mid \sup_n \|f(n)\| < \infty \}$$ with the supremum norm $\|\cdot\|_\infty$.
• Let $c_0(E)$ be the closed subspace of sequences vanishing at infinity: $\forall\,\epsilon>0$, $\{ n : \|f(n)\| \ge \epsilon \}$ is finite.
• The spherical completion is the quotient space $\breve{E} = \ell^\infty(E) / c_0(E)$, an ultrametric $\bbK$-normed space that is spherically complete (Yuan, 29 Jan 2026).
• The diagonal embedding $i: E \to \ell^\infty(E)$, $x \mapsto (x,x,\dots)$, factors to an isometric embedding into $\breve E$.

This procedure furnishes $E$ with a spherically complete extension, but not necessarily the minimal one. For minimality and uniqueness up to isometry, Zorn's lemma is leveraged: inside any ambient spherically complete space, a maximal immediate subextension containing $E$ exists and is spherically complete. The inclusion $E \hookrightarrow \breve E$ is immediate if no nonzero vector in $\breve E$ is Birkhoff–James orthogonal to $E$. The spherical completion is unique up to isometric isomorphism fixing $E$ (Yuan, 29 Jan 2026).

3. Spherical Completion via Ball Spaces and Chain Union Closures

A complementary approach models $E$ by the ball space $(X,B_0)$ of closed balls, with radii from the value set $\Lambda$ of $\bbK$, necessarily a linearly ordered group. Key definitions and results include:

• The chain-union closure $cu(B_0)$ aggregates all unions over chains of balls, and for ultrametric spaces with linearly ordered value sets, this closure is already attained after a single step ($\operatorname{cur}(B_0) \le 1$) (Kubiś et al., 2024).
• Spherical completeness is preserved under this closure for such spaces, ensuring the resulting structure supports the full intersection property for totally ordered families of balls.
• For non-Archimedean Banach $E$, the procedure is algorithmic: first, spherically complete the ground field if necessary; then, take the metric completion of $E$ over the spherically completed field, using chain-union closure at the ball space level (Kubiś et al., 2024).

This perspective shows no pathologies hinder the spherical completion for Banach spaces over linearly ordered absolute value groups. Pathological examples—showing non-preservation of spherical completeness—arise only if the value group is non-linearly ordered, which does not occur in the Banach space setting of primary interest.

4. Applications and Structural Theorems

Spherical completeness underlies the existence of orthogonal complements and extension results analogously to Hilbert space theory in the Archimedean setting. In ultrametric Banach spaces:

• Birkhoff–James orthogonality implements a substitute for classical orthogonality: $x \perp_{\mathrm{m}} y$ denotes $\|x\| \le \|x+\lambda y\|$ for all $\lambda$.
• A spherically complete subspace admits an orthogonal complement, with a projection $P:E\to D$ of norm at most 1.
• The ultrametric Hahn–Banach theorem: for a bounded linear map $f$ with either domain or codomain spherically complete, $f$ extends with the same norm (Yuan, 29 Jan 2026).
• The Rooij–Schikhof extension lemma enables patching of partial extensions, using Zorn's lemma and spherical completeness.

These results provide foundational tools for analysis and structural decomposition in non-Archimedean Banach spaces.

5. Spherical Completion in Finite Dimensions: Embeddings and Classification

The approach of classifying finite-dimensional non-Archimedean Banach spaces is fundamentally reorganized by spherical completion:

• Any $m$-dimensional normed space $E$ over a non-spherically complete field $K$ can be isometrically embedded into the "coordinate" space $(\widehat K^m, \|(x_i)\| = \max t_i |x_i|)$, where $\widehat K$ is the spherical completion of $K$, and $t_i$ are the moduli of a maximal orthogonal set in $E$ (Ishizuka, 2024).
• Maximally orthogonal sets in $E$ correspond to bases in the target coordinate space; the structure of the spherical completion determines the dimension and orthogonality patterns.
• For dimension 3, five distinct types are classified by the behavior of $E^{\mathrm{sph}}$ and the presence of orthogonal decompositions; for dimension 4, seventeen types arise, finely stratified by dimensions of spherically completed images and the occurrence of non-orthogonality and indecomposable structures.

These embeddings, made possible by the immediate and isometric extension properties of spherical completions, systematize previously ad hoc or difficult analyses, and link type classification to the structure of the field and its value group.

6. Strictly Epicompact Sets and Condition (SE)

Spherical completion also resolves criteria for epicompactness in finite-dimensional spaces:

• A set $A \subset E$ is strictly epicompact if, for every finite-dimensional $F$ and $K$-linear map $T:E\to F$, $T(A)$ is the closed $\mathcal O_K$-span of its image (Ishizuka, 2024).
• This is equivalent to the (SE) condition: for every subspace $D$ and $f \in D'$ with norm 1, there exists an extension $\tilde f$ with norm 1.
• The spherical completion method provides reduction to one- and two-dimensional cases, and concrete modulus conditions for (SE) (e.g., that certain norms do not take values in the value group $V_K$), yielding precise characterizations for strictly epicompact unit balls in finite dimensions.

7. Comparison with Archimedean Banach Completion

There is a structural dichotomy between Banach and spherical completions. For an Archimedean normed space $E$:

• The Banach completion $\widehat{E}$ absorbs all Cauchy sequences modulo null sequences, with a universal property ensuring unique extension of bounded linear maps.
• In the ultrametric (non-Archimedean) setting, the Banach completion provides a \emph{complete} but generally not spherically complete space. The spherically complete extension $\breve{E}$ is only unique up to isometric isomorphism (not canonical) and satisfies a weaker universal property (factorization of isometric embeddings into spherically complete spaces, not uniqueness) (Yuan, 29 Jan 2026).
• Spherical completeness is an additional rigidity condition, introducing structures that "stretch" beyond classical Banach completions.

A summary table of properties:

Property	Banach Completion ($\widehat E$)	Spherical Completion ($\breve E$)
Metric Completeness	Yes	Yes
Spherical Completeness	No (in general)	Yes
Universal Property	Unique extension of bounded maps	Isometric embeddings factor through (not unique)
Uniqueness	Unique up to unique isometry	Unique up to isometric isomorphism
Construction	Cauchy sequences	Quotient or Zorn's lemma, extensions

• Formal theory: (Yuan, 29 Jan 2026)
• Finite-dimensional classification: (Ishizuka, 2024)
• Ball space and chain-union closure: (Kubiś et al., 2024)

The spherical completion thus provides a critical algebraic and analytic tool in the study of non-Archimedean Banach spaces, connecting completion theory, structure, and classification in a manner not paralleled in Archimedean functional analysis.