---
title: Berkovich Spectrum in Analytic Geometry
url: https://www.emergentmind.com/topics/berkovich-spectrum
type: topic
---

# Berkovich Spectrum in Analytic Geometry

The Berkovich spectrum is the basic building block of Berkovich analytic geometry. For a Banach ring or Banach algebra \(A\), it is a space of bounded multiplicative seminorms on \(A\), endowed with a topology defined by evaluation on elements of \(A\); for affine schemes it underlies Berkovich analytification, and in formal and valuative settings it reappears as a generic fiber, a normalized generic fiber, or a space of valuations with prescribed center. In the literature, the term also extends to spectra of elements in Banach rings and to analytic spaces obtained by gluing affinoid spectra [1201.4227, 1711.00341].

## 1. Foundational definition and analytic interpretation

Let \(A\) be a non-archimedean Banach ring with norm \(\|\cdot\|_A\). A non-archimedean, bounded semivaluation on \(A\) is a map \( |\cdot|:A\to \mathbb{R}_+ \) satisfying multiplicativity, \(|1|=1\), \(|0|=0\), the ultrametric triangle inequality, and boundedness relative to the Banach norm. The Berkovich spectrum of \(A\), denoted \(\mathcal{M}(A)\), is the set of all such semivaluations, equipped with the weakest topology making the evaluation maps \(x\mapsto |f(x)|\) continuous for every \(f\in A\). In this sense, the Berkovich spectrum is a space of seminorms, not of prime ideals [1201.4227].

For an analytic field \(K\) and a \(K\)-affinoid algebra \(A\), \(M(A)\) is a \(K\)-affinoid space. A general \(K\)-analytic space is obtained by gluing affinoid spaces \(M(A)\) along analytic subdomains, with coherent sheaves defined on the corresponding \(G\)-topology. Each point \(x\in M(A)\) has a completed residue field \(H(x)\), and the point can be equivalently recorded as an isomorphism class of bounded homomorphisms \(A\to L\) to complete non-archimedean fields \(L\) generated by the image of \(A\) [1201.4227].

For a separated locally finite type \(k\)-scheme \(X\), the Berkovich analytification \(X^{an}\) has points given by pairs \((x,|\cdot|)\) where \(x\) is a scheme point of \(X\) and \(|\cdot|\) is a valuation on the function field \(k(x)\) extending the given valuation on \(k\). When \(X=\operatorname{Spec} A\), \(X^{an}\) can be alternatively described as the set of semivaluations on \(A\) extending the valuation on \(k\) [2205.09964].

The affinoid coordinate rings of Berkovich closed polydiscs of polyradius \(\rho\) are the Berkovich Tate algebras \(T_{n,\rho}(k)\). If \(\rho\notin |\overline{k}^\times|^n\), then \(T_{n,\rho}(k)\) is new from the Berkovich viewpoint: a regular excellent Banach algebra that is not strictly affinoid [2511.00753].

## 2. Generic fibers, normalized spectra, and valuative models

A second, highly influential realization of the Berkovich spectrum comes from formal geometry. Let \(X\) be a normal algebraic variety over \(k\), let \(D\subset X\) be an effective Cartier divisor, let \(\widehat{X}\) be the formal completion of \(X\) along \(D\), and let \(X_\eta\) be the generic fiber of \(\widehat{X}\) in the sense of Berkovich, Raynaud, and Thuillier. In the affine case \(X=\operatorname{Spec} A\), with \(D=\{f=0\}\), the generic fiber is identified with
\[
X_\eta=\left\{\,|\cdot|:A\to \mathbb{R}_+ \mid \text{multiplicative seminorms, bounded, }0<|f|<1\,\right\}.
\]
Equivalently, after writing \(v=-\log|\cdot|\), one obtains a space of valuations satisfying \(+\infty>v(f)>0\) [1103.6233].

There is an \(\mathbb{R}_{>0}^*\)-action on valuations by scaling, and the normalized generic fiber
\[
]X[\subset X_\eta
\]
consists of valuations normalized by \(v(f)=1\). Thus \(]X[\) can be viewed as the quotient of \(X_\eta\) by the \(\mathbb{R}_{>0}^*\)-action, and when \(D\) is complete, \(]X[\) is compact [1103.6233].

When a morphism \(T:X\to \mathbb{A}^1\) cuts out \(D=\{T=0\}\), the normalized generic fiber becomes a Berkovich analytic space over the Laurent series field \(k((T))\) endowed with the norm
\[
|a|=\exp(-\operatorname{ord}_T(a)).
\]
In the affine situation, after \(T\)-adic completion, \(]X[\) is described as the set of multiplicative seminorms whose restriction to \(k[T]\) satisfies \(|T|=e^{-1}\). A fundamental example is the closed unit ball over \(k((T))\), which arises as such a normalized generic fiber [1103.6233].

Favre’s construction is mediated by the Riemann–Zariski space of valuations on \(k(X)\). For a projective normal variety \(Y\) and an effective Cartier divisor \(E\subset Y\), there is a surjective continuous map
\[
\Pi:\mathfrak{X}(E)\longrightarrow ]Y[
\]
from valuations whose center lies in \(E\) to the normalized generic fiber, and every divisorial point in \(]Y[\) has a divisorial preimage. This makes the Berkovich spectrum a direct recipient of birational and valuative information [1103.6233].

## 3. Topological properties, countability, and sequential phenomena

The topology of Berkovich spectra is often non-metrizable, but several countability results restore strong sequential control. Favre proves that for a normal algebraic variety \(X\) and an effective Cartier divisor \(D\), every point in the closure of a subset \(A\subset ]X[\) is the limit of a sequence of points of \(A\). From this he derives that \(]X[\) is angelic, and that if \(D\) is complete, then \(]X[\) is sequentially compact [1103.6233].

A topological space is angelic if any relatively \(\omega\)-compact subset is relatively compact, and if any point in the closure of a subset is the limit of a sequence from that subset. In Favre’s framework this applies, in particular, to compact Berkovich analytic spaces defined over \(k((T))\): any such space is angelic, hence sequentially compact, and divisorial points are sequentially dense [1103.6233].

The mechanism is valuative. The value group of any valuation on \(k(X)\) that is trivial on \(k\) is countable, and the Riemann–Zariski space is quasi-compact and identified with a projective limit of projective birational models. This suggests a sequential behavior that survives even when the Berkovich space is not metrizable [1103.6233].

A complementary one-dimensional topological picture is available for spectra over valuation rings. If \(R\) is a complete valuation ring with algebraically closed fraction field \(K\), then the Berkovich affine line \(\mathbb{A}_R^1\) is path connected and locally path connected, and \(\mathbb{A}_R^1\) is the completion of \(K\times(1,\infty)\) under a canonical uniform structure. Unlike \(A^1_K\), the topological space \(A^1_R\) is far from having an \(\mathbb{R}\)-tree structure: for any connected open subset \(V\subset A^1_R\) and any \(x_1,x_2\in V\), there exist infinitely many paths in \(V\) joining \(x_1\) and \(x_2\) [1703.05460].

## 4. Curves, skeleta, and Euclidean realizations

For Berkovich curves, the spectrum acquires a graph-like and metric structure. A quasi-smooth Berkovich curve admits a weak triangulation whose complement is a disjoint union of virtual open disks and annuli, and the associated skeleton is a locally finite graph. More generally, for a smooth proper geometrically connected curve \(C\) over a complete discretely valued field, an \(snc\)-model \(\mathscr{C}\) determines a Berkovich skeleton \(\mathrm{Sk}(\mathscr{C})\subset C^{an}\), together with a canonical retraction \(C^{an}\to \mathrm{Sk}(\mathscr{C})\) [1506.01263].

Weight functions attached to pluricanonical forms make this skeleton into a tropical object. If \(\omega\) is a non-zero rational \(m\)-canonical form on \(C\), then \(\mathrm{wt}_\omega\) is affine on the edges of \(\mathrm{Sk}(\mathscr{C},\delta)\), and its combinatorial Laplacian satisfies
\[
\Delta\bigl(\mathrm{wt}_\omega|_{\mathrm{Sk}(\mathscr{C},\delta)}\bigr)=mK_{\mathrm{Sk}(\mathscr{C},\delta)}.
\]
The essential skeleton of \(C\) is the combinatorial skeleton of the Berkovich skeleton of the minimal \(snc\)-model; in particular, if \(C\) has semi-stable reduction, then the essential skeleton coincides with the minimal skeleton [1506.01263].

The global topological type of Berkovich analytifications is also constrained. If \(K\) is complete with a countable dense subset and \(V\) is a \(d\)-dimensional quasi-projective \(K\)-scheme, then \(V^{an}\) embeds in \(\mathbb{R}^{2d+1}\). For projective curves with nontrivial valuation, if \(V^{an}\) is simply connected, then it is homeomorphic to the Ważewski universal dendrite \(W\); otherwise its homeomorphism type is the universal \(G\)-dendrite \(W_G\) determined by the core skeleton [1210.6485].

These curve-theoretic descriptions sharpen the general slogan that a Berkovich spectrum is a space of valuations. In dimension one, that valuative space is simultaneously a metric graph, a local dendrite, and a tropical support for pluricanonical data [1506.01263, 1210.6485].

## 5. Tropicalization, tubular neighborhoods, and descent

Berkovich spectra provide the natural topological target for tropicalization maps. For a spherical \(G\)-variety \(X\), the tropicalization map from \(X\) to \(\trop_G(X)\) factors through the Berkovich analytification \(X^{an}\). More precisely, there is a continuous retraction
\[
\mathbf{p}:X^{an}\to \trop_G(X),
\]
induced by \(*\)-multiplication by the unique point \(\mathbf{g}\) in the Shilov boundary of \(G^{\beth}\), and \(\mathbf{p}\) is a strong deformation retraction. Under the condition
\[
\bigcup_{(\sigma,\mathcal{F})\in \mathcal{F}(X)} \sigma \subseteq \mathcal{V},
\]
the subspace \(\mathbf{p}(X^{\beth})\) is homeomorphic to the canonical compactification of the fan \(F(X)\) [2205.09964].

This places the Berkovich spectrum between algebraic and tropical geometry: points of \(X^{an}\) are valuations, and the tropicalization is the image of those valuations under a canonical collapse onto the valuation cone or its colored-fan compactification [2205.09964].

A different use of the spectrum appears in tubular descent. Let \(k\) be trivially valued, let \(X\) be a \(k\)-variety, let \(Z\subset X\) be a closed subvariety, let \(U=X\setminus Z\), and let \(\mathfrak{X}=X_Z\) be the formal completion along \(Z\). The Berkovich generic fiber \(\mathfrak{X}_\eta\) is a tubular neighborhood of \(Z\), and the punctured tubular neighborhood
\[
W=X_\eta\setminus U_\eta\setminus Z_\eta
\]
plays the role of an analytic intersection object. In the affine case \(X=\operatorname{Spec} A\), with \(Z\) cut out by \(I=(f_1,\dots,f_n)\), one has
\[
W=\{\,x\in M(A)\mid |f_i(x)|<1 \text{ for all }i,\text{ and }|f_i(x)|>0 \text{ for some }i\,\}.
\]
The main descent statement is
\[
\mathrm{Coh}(X)\xrightarrow{\sim}\mathrm{Coh}(U)\times_{\mathrm{Coh}(W)}\mathrm{Coh}(\mathfrak{X}),
\]
so coherent sheaves on \(X\) are recovered by gluing along a Berkovich analytic space \(W\) rather than along a scheme-theoretic punctured formal neighborhood [1201.4227].

## 6. Residue fields, generalized spectra, and further extensions

Every point of a Berkovich spectrum carries residue-field data. For \(x\in M(A)\), the completed residue field \(\mathcal{H}(x)\) is the completion of \(\mathrm{Frac}(A/\mathfrak{p}_x)\), where \(\mathfrak{p}_x=\{f\in A\mid |f|_x=0\}\). For a variety \(X\) and the canonical map \(\tau_X:X^{an}\to X\), one has
\[
\mathcal{H}(x)\cong \widehat{K(\tau_X(x))}.
\]
The residue field of the valuation field \(\mathcal{H}(x)\) is the Berkovich double residue field at \(x\). For \(x\in X^{val}\), it is identified with the directed union of the residue fields at the centers of \(x\) in birational models:
\[
\widetilde{\mathcal{H}(x)} \cong \varinjlim_{X'\in \mathcal{B}(X,x)} K(c_{X'}(x)).
\]
For quasi-monomial valuations, there exists a blow-up \(X'\to X\) such that the entire double residue field is already realized on one model, \(\widetilde{\mathcal{H}(x)}=K(c_{X'}(x))\) [2007.03610].

The term “Berkovich spectrum” also acquires a second meaning in spectral theory inside Banach rings. For a unital Banach ring \(R\) and \(u\in R\), Leung and Ng define the Berkovich spectrum \(\sigma_R^{Ber}(u)\) as a compact subset of the affine analytic space \(A_{\mathbb{Z}_1}^1\), whose points are equivalence classes of elements in complete valuation fields. If \(R\) is generated by \(u\) as a unital Banach ring, then \(\sigma_R^{Ber}(u)\) coincides with the spectrum of \(R\) in the sense of Berkovich; if \(R\) is a unital complex Banach algebra, then \(\sigma_R^{Ber}(u)\) is the “folding up” of the usual spectrum along the real axis [1410.5893].

A further extension occurs for \(p\)-adic differential equations on quasi-smooth Berkovich curves. At a point \(x\), the spectrum of a differential equation is defined as the Berkovich spectrum of the bounded operator induced by the connection on the fiber over \(\mathscr{H}(x)\). This spectrum is a compact subset of the Berkovich affine line, its variation is governed by any controlling graph of the radii of convergence, and the resulting decomposition with respect to the spectrum refines the decomposition by the spectral radii of convergence [2303.06014].

Across these variants, the persistent theme is that the Berkovich spectrum organizes algebraic, analytic, and valuative data into a compact topological object. Whether it is attached to a Banach algebra, a formal completion, a point of an analytification, an element of a Banach ring, or a differential operator, it functions as a space in which seminorms and valuations become geometric.

Source: https://www.emergentmind.com/topics/berkovich-spectrum