Berkovich Realization Functor

• Berkovich Realization Functor is a family of constructions that convert non-archimedean analytic geometries into topological, homotopical, and Artin-motivic invariants.
• It provides explicit techniques such as singular chain complexes, étale homotopy types, and separated quotients to recover key geometric and motivic properties.
• The framework also highlights comparison results and structural limitations, including skeletal realizations in curve theory and constraints on full Galois-equivariant extensions.

The expression Berkovich realization functor does not designate a single universally fixed construction. In the literature it refers to several closely related procedures that send rigid analytic varieties, Berkovich analytic spaces, adic spaces, or analytic motives to objects built from the underlying Berkovich topology, from étale homotopy types, or from Artin-type quotients. The most explicit motivic instance is the functor

$$LB^*:\mathrm{RigDA}^{\mathrm{eff}}_{\acute{e}t}(K,A)\to \mathbf{D}(A),$$

which sends a smooth rigid analytic variety $X$ to the singular chain complex of the Berkovich topological space $|X|_{\mathrm{Berk}}$. A second precise incarnation assigns to a Berkovich analytic space $\mathcal X$ its étale homotopy type

$\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$

valued in pro-spaces. A third, comparison-theoretic form sends a taut adic space $X$ locally of finite type over $k$ to its separated quotient $[X]$, which carries a Hausdorff strictly $k$-analytic Berkovich structure (Vezzani, 2017, Berner, 2017, Henkel, 2016). A plausible unifying description is that these constructions realize non-archimedean geometry in topological, homotopical, or Artin-motivic terms while retaining characteristic Berkovich features such as compact Hausdorff topology, skeleta, or valuation-theoretic points.

1. Terminological scope and basic forms

In rigid-analytic motivic theory, the relevant source category is Ayoub’s category of effective étale motives without transfers. For a complete non-archimedean valued field $K$ with non-trivial multiplicative valuation of rank $X$0, and a coefficient ring $X$1, the category is

$X$2

where $X$3. In this setting the Berkovich realization is defined by applying the singular chain complex to the underlying Berkovich topological space: $X$4 It is an effective theory: it does not descend to the stable category obtained by inverting the Tate twist, because the Tate object is sent to zero (Vezzani, 2017).

For Berkovich analytic spaces themselves, the phrase refers most naturally to the étale homotopy type construction. If $X$5 is a non-archimedean analytic space over a complete non-archimedean field $X$6, with hypercomplete étale $X$7-topos $X$8, then

$X$9

is a pro-space. Localized variants include the protruncation, profinite completion, prime-to-$|X|_{\mathrm{Berk}}$0 profinite completion, and $|X|_{\mathrm{Berk}}$1-profinite completion. The same formalism exists for the quasi-étale site (Berner, 2017).

In adic-to-Berkovich comparison theory, the term denotes a direct geometric passage from a non-Hausdorff valuative space to a Hausdorff Berkovich one. For a taut adic space $|X|_{\mathrm{Berk}}$2 locally of finite type over $|X|_{\mathrm{Berk}}$3, the underlying topological space is valuative, each point has a unique maximal generization, and the separated quotient

$|X|_{\mathrm{Berk}}$4

is the universal Hausdorff quotient. The affinoid opens of $|X|_{\mathrm{Berk}}$5 then define a strictly $|X|_{\mathrm{Berk}}$6-analytic Berkovich atlas on $|X|_{\mathrm{Berk}}$7, producing an equivalence of categories between taut adic spaces locally of finite type over $|X|_{\mathrm{Berk}}$8 and Hausdorff strictly $|X|_{\mathrm{Berk}}$9-analytic Berkovich spaces (Henkel, 2016).

These versions differ in source, target, and intended invariants. The target may be $\mathcal X$0, $\mathcal X$1, pro-spaces, condensed sets, or an honest category of Berkovich spaces. What they share is the use of Berkovich topology as the mechanism by which analytic geometry becomes visible to homotopy theory, motive theory, or comparison theory.

2. Motivic Berkovich realization for rigid analytic motives

The basic motivic theorem states that the singular complex of the Berkovich topological space is motivic. More precisely, there is an adjunction

$\mathcal X$2

and for a smooth rigid analytic variety $\mathcal X$3,

$\mathcal X$4

hence

$\mathcal X$5

The extension from varieties to motives is forced by the universal property of motivic localization: one checks étale hyperdescent and $\mathcal X$6-invariance on representables, then factors through the localization (Vezzani, 2017).

The motivic property rests on three inputs. First, if $\mathcal X$7 is an étale hypercover, then the induced map from the homotopy colimit of the Berkovich spaces $\mathcal X$8 to $\mathcal X$9 is a weak equivalence. Second, the projection

$\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$0

induces a weak equivalence

$\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$1

using Berkovich’s contractibility results for the disc. Third, if $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$2 is perfect of positive characteristic, the relative Frobenius induces a homeomorphism on Berkovich spaces, so the construction descends to the Frobét-localized category as well (Vezzani, 2017).

The geometric input is the maximal Hausdorff quotient $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$3 of the underlying spectral space of a rigid variety in Huber’s language. This makes the realization topological in a literal sense: it forgets much of the finer analytic structure and keeps the singular-homotopy-theoretic information encoded by the Berkovich topology. The paper emphasizes that Berkovich spaces are often “too contractible”; for instance, $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$4 is strongly homotopy equivalent to a point. This is why the functor is not a non-archimedean analogue of full Betti realization, and also why it cannot extend to the stable category after Tate inversion (Vezzani, 2017).

3. Artin motives, Galois enhancement, and the weight-zero quotient

A deeper form of the Berkovich realization takes values not in $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$5 but in the derived category of étale sheaves on $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$6, equivalently the derived category of continuous $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$7-linear Galois representations. Writing

$\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$8

for the canonical inclusion, the objects in the essential image of $\ettoptype(\mathcal X)=\shape(\hootopos \mathcal X_{\acute et}),$9 are called Artin motives. The Galois-enriched Berkovich realization

$X$0

is constructed by taking singular complexes after finite Galois base change and then forming a homotopy limit over finite Galois extensions. For a quasi-compact smooth rigid variety $X$1, it corresponds to the continuous Galois representations carried by

$X$2

The key adjunction theorem states that

$X$3

and therefore the inclusion of Artin motives admits a left adjoint

$X$4

For any motive $X$5, the canonical map

$X$6

is universal among maps from $X$7 to an Artin motive. In this precise sense, the Berkovich realization computes the maximal Artin quotient of a rigid analytic motive (Vezzani, 2017).

The weight-zero interpretation is the cohomological form of the same phenomenon. When the residue field of $X$8 is finite of characteristic $X$9, and $k$0, one has

$k$1

where the right-hand side is the weight-zero part. For a smooth quasi-compact rigid variety $k$2, this yields

$k$3

There is also a Galois-invariant form

$k$4

and a compact-support version

$k$5

These equalities explain why Berkovich topology detects precisely the Artin or weight-zero part of the motive and nothing larger (Vezzani, 2017).

4. Étale homotopy types of Berkovich spaces

The étale-homotopical approach replaces singular chains by the shape of an $k$6-topos. For a non-archimedean analytic space $k$7 over $k$8, with étale site $k$9, étale $[X]$0-topos $[X]$1, and hypercomplete étale $[X]$2-topos $[X]$3, the étale homotopy type is defined by

$[X]$4

The target is the $[X]$5-category of pro-spaces, and one also considers

$[X]$6

For the quasi-étale site there is likewise

$[X]$7

with the corresponding localized variants (Berner, 2017).

The formalism is grounded in the shape theory of $[X]$8-topoi. If $[X]$9 is the geometric morphism to spaces, then the shape is the pro-space representing the endofunctor $k$0. A decisive consequence is that locally constant sheaves on the site correspond to local systems on the shape, and their sheaf cohomology is recovered as singular cohomology of the resulting pro-space. This is why the construction functions as a realization: sheaf-theoretic invariants on the analytic object are re-expressed as homotopy-theoretic invariants of a pro-space (Berner, 2017).

Several comparison results identify what this realization retains. The fundamental pro-group of the étale homotopy type is de Jong’s étale fundamental group: $k$1 For any non-archimedean analytic space $k$2,

$k$3

so rational cohomology agrees with that of the underlying Berkovich topological space, although the integral and full homotopy-theoretic statements are subtler (Berner, 2017).

The comparison theory is especially strong in the strict Hausdorff case. If $k$4 is a Hausdorff strictly $k$5-analytic Berkovich space and $k$6 is the corresponding adic space, then the quasi-étale topoi of $k$7 and the étale topoi of $k$8 are equivalent, hence

$k$9

Moreover, for such $K$0,

$K$1

If $K$2 is a variety over a complete non-archimedean field $K$3, then analytification preserves the étale homotopy type after the appropriate completion: in characteristic $K$4,

$K$5

and if $K$6 or $K$7 is proper,

$K$8

This supplies a precise homotopical realization pipeline

$K$9

compatible with algebraic étale homotopy after completion (Berner, 2017).

5. Comparison functors, separated quotients, and curve-theoretic realizations

A direct geometric meaning of the term arises in the comparison between adic and Berkovich spaces. Over a complete non-archimedean field $X$00 with nontrivial valuation, Henkel constructs an explicit functor

$X$01

where $X$02 is a taut adic space locally of finite type over $X$03, $X$04 is its separated quotient, and $X$05 is a strictly $X$06-analytic Berkovich atlas built from affinoid opens. The quotient $X$07 is obtained by collapsing each chain of vertical specializations to its unique maximal point, and the resulting space is the universal Hausdorff quotient. The main theorem gives an equivalence between the category of taut adic spaces locally of finite type over $X$08 and the category of Hausdorff strictly $X$09-analytic Berkovich spaces (Henkel, 2016).

The local model is the comparison

$X$10

for a strictly $X$11-affinoid algebra $X$12. This map sends a valuation to the unique seminorm corresponding to its maximal generization, is continuous and surjective, and identifies $X$13 with the maximal $X$14-quotient of $X$15. Globally, the affinoid opens of the adic space descend to a Berkovich net on $X$16, and rational domains on the adic side become affinoid domain embeddings on the Berkovich side. In this precise comparison-theoretic sense, the Berkovich realization functor is the passage

$X$17

It forgets non-maximal points topologically, but the equivalence theorem shows that the corresponding analytic geometry is recoverable from the quotient together with its Berkovich atlas (Henkel, 2016).

For curves, Berkovich realization acquires a skeletal and metric form. If $X$18 is a smooth proper geometrically connected curve over a complete discretely valued field $X$19, then an $X$20-model $X$21 determines a metric graph $X$22 that embeds canonically and isometrically into $X$23; its image is the Berkovich skeleton

$X$24

As $X$25 varies over $X$26-models, $X$27 is recovered as an inverse limit of skeleta. Pluricanonical forms are realized as piecewise $X$28-affine weight functions

$X$29

and their Laplacians recover graph-theoretic pluricanonical divisors: $X$30 The essential skeleton

$X$31

is a canonical Berkovich subgraph determined by regular pluricanonical forms; if $X$32 has semistable reduction, it coincides with the minimal skeleton (Baker et al., 2015).

These curve-theoretic results are not functorial constructions between large categories in the same sense as $X$33 or $X$34, but they realize algebraic degeneration data inside the Berkovich analytification with exceptional precision: models become finite metric graphs, divisors become Laplacians, and birational information becomes the essential skeleton.

6. Universal, tropical, perfectoid, and higher-categorical extensions

A tropical form of the realization paradigm identifies Berkovich analytification itself with a universal tropical object. For an integral scheme $X$35 over a non-archimedean valued field $X$36, one constructs a universal closed embedding

$X$37

into a $X$38-scheme carrying an $X$39-model. Tropicalizing this universal embedding yields the universal tropicalization $X$40. Its $X$41-points recover the analytification: $X$42 where $X$43. More strongly, $X$44 represents the moduli functor of semivaluations on $X$45, and in the affine case there is a universal semivaluation on $X$46 taking values in the semiring of regular functions on $X$47 (Giansiracusa et al., 2014).

Perfectoid geometry produces a different extension. For a Banach $X$48-algebra $X$49, the Berkovich spectrum $X$50 is a nonempty compact Hausdorff space, and this topological pleasantness is taken as the foundation of a Berkovich approach to perfectoid spaces. The paper develops arc$X$51-descent for perfectoid Banach algebras and then constructs a global Berkovich functor

$X$52

the unique colimit-preserving extension of the affinoid spectrum functor

$X$53

For quasiseparated objects, qcqs subobjects and open subobjects are controlled by their Berkovich realization, and for perfectoid $X$54 the tilt homeomorphism

$X$55

shows that the underlying Berkovich topological space is tilt-invariant (Castano, 2023).

A point-free variant appears in the study of the one-variable affinoid algebra $X$56. There the classical Berkovich spectrum $X$57 is reconstructed from $X$58-good filters of formal balls. The exact theorem states that the space of bounded $X$59-seminorms on linear polynomials is equivalent to the space of $X$60-good filters, and classically $X$61 is equivalent to the space of these filters. This is an object-level realization of a Berkovich spectrum from logical or locale-friendly data rather than a general categorical functor (Ng, 2023).

The most abstract extension is $X$62-categorical. In the analytic setting of Scholze’s Berkovich motives, the presentable $X$63-category of kernels

$X$64

is characterized as freely generated by a Kummer–Artin–Schreier homologically trivial smooth ring stack with an absolute value whose open unit disk is homologically trivial. The analytic Habiro stack and the Hyodo–Kato stack then determine realization functors. The paper’s formal mechanism is to first produce a symmetric monoidal $X$65-functor out of $X$66, and then pass to $X$67 to obtain the associated $X$68-categorical realization (Aoki, 2 Mar 2026).

7. Structural limitations and equivariant obstructions

Not every plausible strengthening of a Berkovich realization is available. A decisive constraint comes from the nonexistence theorem for certain étale realizations. Let $X$69 be a global field, a local field with infinite Galois group, or a finite field, and let $X$70 be prime to the characteristic of $X$71. Then it is impossible to simultaneously construct a genuine Galois-equivariant stable homotopy category $X$72 with Burnside-ring-type unit endomorphisms, representation rings $X$73, and a symmetric monoidal additive functor

$X$74

whose Euler characteristics map to alternating sums of étale cohomology representations for smooth proper $X$75. The contradiction is exhibited using an elliptic curve $X$76: Hoyois implies

$X$77

in the motivic stable homotopy category, while the alternating étale cohomology representation

$X$78

is nonzero in the relevant representation ring (Kass et al., 2017).

This theorem does not contradict the existence of étale realizations to pro-spaces, profinite spaces, pro-spectra, or derived categories of sheaves with Galois action, because in those targets the endomorphism ring of the unit is too small. The paper explicitly says that the result “does not contradict the existence of étale realization functors to (pro-)spaces, (pro-)spectra or complexes of modules with actions of the absolute Galois group when the endomorphisms of the unit is not enriched in a certain sense,” and that it “does restrict enrichments to representation rings of Galois groups” (Kass et al., 2017).

For Berkovich realization, this provides a structural warning rather than a direct impossibility theorem. The paper does not discuss Berkovich spaces directly, but it is highly relevant because many prospective realizations from non-archimedean geometry are naturally compared with étale or Galois-theoretic targets. This suggests that weaker topological or homotopical Berkovich realizations—into ordinary spaces, pro-spaces, spectra without genuine fixed-point enrichment, or derived categories—remain plausible, whereas a symmetric monoidal genuinely Galois-equivariant Berkovich realization with Burnside-ring-enriched unit and representation-theoretic Euler-characteristic compatibility should be treated cautiously unless the elliptic-curve obstruction can be avoided (Kass et al., 2017).

Taken together, these results show that the Berkovich realization functor is best understood as a family of constructions rather than a single object. Its precise form depends on whether the target is a topological space, a derived category, a pro-space, a condensed set, or a higher-categorical coefficient theory. Across these settings, the governing pattern is stable: Berkovich geometry supplies a compact Hausdorff, skeletal, or shape-theoretic realization of non-archimedean geometry that is robust enough to compute singular homology, Artin quotients, étale homotopy types, or tropical moduli, yet generally too small to support the strongest genuine equivariant structures.