Berkovich Analytic Spaces: An Overview

• Berkovich analytic spaces are non-Archimedean spaces constructed by gluing spectra of Banach algebras, offering a genuine, compact topology with local contractibility and path-connectedness.
• They exhibit a refined point classification into four types, creating a tree-like structure and canonical skeleta that bridge insights from rigid analytic and adic geometries.
• Applications span non-Archimedean potential theory, tropicalization, and Arakelov theory, linking analytic methods to problems in dynamics and algebraic geometry.

A Berkovich analytic space is a type of analytic space defined over a non-Archimedean field that equips rigid-analytic and algebraic geometry with a rich topological structure and strong local analytic properties. These spaces are constructed as locally ringed spaces patched from Berkovich spectra of non-Archimedean Banach algebras, with geometry governed by multiplicative seminorms extending the absolute value on the base field. Their local contractibility, path-connectedness, and associated polyhedral or skeleta structures (for curves and more general spaces) make them a central object in modern non-Archimedean geometry, potential theory, and dynamics.

1. Fundamental Concepts and Construction

Let $K$ be a complete, non-Archimedean field with valuation $|\cdot|$. The building block of Berkovich analytic geometry is the Berkovich spectrum $\mathcal{M}(A)$ of a Banach $K$-algebra $(A, \|\cdot\|)$:

$$\mathcal{M}(A) = \left\{\,|\cdot|_x : A \to \mathbb{R}_{\ge 0} \ \bigg|\ |\cdot|_x \ \text{multiplicative seminorm},\ |\lambda|_x = |\lambda|,\, \forall\, \lambda \in K\,\right\}$$

The topology on $\mathcal{M}(A)$ is the weakest making $x \mapsto |f|_x$ continuous for all $f \in A$ (Temkin, 2010, Payne, 2013). This spectrum is always compact and Hausdorff.

A Berkovich $K$-analytic space is obtained by gluing such spectra along affinoid subdomains, generalizing the notion of schemes in algebraic geometry and allowing for a genuine topology rather than just a Grothendieck topology (Temkin, 2010, Poineau, 2011).

2. Types of Points and Local Structure

The points of $|\cdot|$0 (for $|\cdot|$1 the coordinate ring of the unit disc or affine line) admit a fourfold classification, each admitting a valuation-theoretic or geometric description (Payne, 2013, Temkin, 2010, Leung et al., 2017):

Type	Description	Residue
Type I	Points $|\cdot|$2; evaluation at classical points	Residue field $|\cdot|$3
Type II	Gauss points of rational closed discs	Degree 1 extension of residue field
Type III	Endpoints from discs of irrational radius	Rank-1 extension, but transcendental radius
Type IV	Infinitesimal/nested disks, empty intersection	Higher-rank residue field

Locally, these points provide a tree-like structure to Berkovich spaces. For $|\cdot|$4, the underlying topology is that of a real tree (uniquely path connected, no cycles), with “branches” corresponding to open and closed discs of varying radii and centers (Payne, 2013).

3. Topological and Geometric Properties

Berkovich analytic spaces are locally compact, locally contractible, and path-connected (Poineau, 2011, Payne, 2013):

• Locally contractible: Every point admits a basis of contractible neighborhoods.
• Path-connected: Affinoid and gluing preserves path-connectedness.
• Non-metrizable in general: However, they are "angelic," i.e., every relatively $|\cdot|$5-compact set is relatively compact, and every limit point of a set is the limit of a sequence from that set (Poineau, 2011).
• Skeletons: For semistable formal models of curves, there is a canonically embedded finite metric graph (the skeleton) admitting a strong deformation retraction from the analytic curve (Baker et al., 2014, Payne, 2013).
• Tameness: Semialgebraic subsets have strong deformation retracts onto finite simplicial complexes of the expected dimension (Hrushovski–Loeser tameness) (Payne, 2013).

4. Differential Forms, Superforms, and Cohomology

Chambert-Loir and Ducros constructed a bigraded sheaf of real-valued differential forms on Berkovich spaces by gluing "superforms" on polyhedral complexes, generalizing the theory of forms to the non-Archimedean setting (Jell, 2014, Gubler et al., 2021). Specifically:

• Superforms: On polyhedral complexes, forms of type $|\cdot|$6 are constructed using $|\cdot|$7 and $|\cdot|$8 operators analogous to the classical Dolbeault theory.
• Poincaré Lemma: A $|\cdot|$9-Poincaré lemma holds for superforms on polyhedral complexes and extends to Berkovich analytifications, yielding exactness and identification with singular cohomology in degree zero.
• Finite Dimensionality: For compact Berkovich spaces that deformally retract onto finite simplicial complexes, the associated de Rham cohomology is always finite-dimensional in relevant bidegrees (Jell, 2014).
• Currents and Integration: The superform formalism enables the definition of currents and integration on Berkovich spaces, supporting a tropical analogue of the Poincaré–Lelong formula (Gubler et al., 2021).

5. Relations to Other Geometric Frameworks

Berkovich spaces serve as a unifying topological refinement over several other analytic geometries:

• Rigid Analytic Spaces: Berkovich analytic spaces retain type II-III-IV points absent in rigid-analytic geometry, providing better local connectivity and a richer topological structure (Temkin, 2010).
• Adic Spaces: There is a category-theoretic equivalence between strictly Hausdorff Berkovich spaces and taut adic spaces locally of finite type over $\mathcal{M}(A)$0, with the underlying topological space of the Berkovich space given by the maximal separated quotient of the adic space (Henkel, 2016).
• Relative Algebraic Geometry: Viewed as relative algebraic geometry over the quasi-abelian category of Banach $\mathcal{M}(A)$1-modules, Berkovich spaces fit in the Tannakian framework and admit G-topologies compatible with admissible coverings and stacks (Ben-Bassat et al., 2013).

6. Skeleta, Tropicalization, and Piecewise-Linear Structures

Any Berkovich analytic space, especially curves and toric varieties, carries canonical polyhedral/skeletal subspaces:

• Skeleta: For (algebraic) curves, the skeleton is a finite metric graph reflecting reduction data of models; for higher-dimensional analytic spaces, skeleta arise as piecewise-linear retracts, sometimes via tropicalization maps (Baker et al., 2014, Ducros, 2012).
• Tropical Charts: Using tropicalization, Berkovich spaces admit atlases modeled on polyhedra, and their images under (multi-)invertible functions (moment maps) are tropical compact polytopes (Ducros, 2012, Gubler et al., 2021).
• Piecewise-Linear and Polyhedral Structures: There are canonical $\mathcal{M}(A)$2-PL structures on inverse images of toric skeleta, canonical under ground field extensions, realized via definability results in model theory (Ducros, 2012).

7. Flatness, Morphisms, and Families

The correct notion of flatness for morphisms of Berkovich spaces requires stability under all base-changes. This ensures that key geometric properties (such as being quasi-smooth, open, or regular) behave as expected under gluing, specialization, or family constructions (Ducros, 2011).

• Quasi-smooth morphisms: Generalization of smoothness defined using the Jacobian criterion adapted to the non-Archimedean setting; quasi-smoothness coincides with flatness plus smooth fibers.
• Loci of Validity: The locus where a coherent sheaf remains flat over the base is always Zariski-open.

8. Applications and Connections

Berkovich spaces underpin:

• Non-Archimedean Potential Theory: via the structure of metrized curves, harmonic analysis, and slope-formulas (Poincaré–Lelong) (Baker et al., 2014).
• Rigid Motives and Weight-Zero Cohomology: The Berkovich realization functor relates the singular cohomology of $\mathcal{M}(A)$3 to the weight-zero part of ℓ-adic cohomology via Artin quotients (Vezzani, 2017).
• Non-Archimedean Arakelov Theory: Extended via the theory of forms, currents, and tropicalization charts, with consequences for intersection theory and metrics (Gubler et al., 2021).
• Dynamical Systems: The structure theorem for the Fatou and Julia sets parallels the classical situation but leverages the analytic and metric framework of Berkovich spaces (Okuyama, 2019).
• Surface Singularity Theory: Via normalized Berkovich spaces, links of singularities acquire a non-Archimedean analytic structure akin to Berkovich curves (Fantini, 2014).

---

Key References:

• Berkovich, "Spectral Theory and Analytic Geometry over Non-Archimedean Fields"
• (Temkin, 2010) (Introduction and basic theory)
• (Payne, 2013) (Topology and comparison with complex geometry)
• (Baker et al., 2014) (Structure of analytic curves)
• (Jell, 2014, Gubler et al., 2021) (Real-valued differential forms and cohomology)
• (Poineau, 2011) (Topological properties: angelicity, sequentiality)
• (Ducros, 2012) (Skeleta and polyhedral theory)
• (Vezzani, 2017) (Berkovich realization and motives)
• (Henkel, 2016, Ben-Bassat et al., 2013) (Relations to adic spaces and relative algebraic geometry)