Berkovich space

Berkovich space
Name	Berkovich space
Field	Non-Archimedean geometry
Introduced	1990s
Founder	Vladimir Berkovich
Related	Rigid analytic space, Adic space, Tropical geometry

Berkovich space

Berkovich space is a framework in non-Archimedean analytic geometry introduced to provide a locally compact, Hausdorff, and path-connected analytic topology for studying analytic varieties over non-Archimedean fields. It complements rigid analytic geometry and Huber's adic spaces by offering point-set topological properties amenable to applications in arithmetic geometry, p-adic dynamical systems, and tropical geometry. The theory interacts with work by Grothendieck, Tate, Artin, Huber, Raynaud, and Kontsevich and has been applied in contexts associated with the Langlands program, Arakelov theory, and mirror symmetry.

Introduction

Berkovich spaces originated in the 1990s when Vladimir Berkovich sought to remedy topological shortcomings in Tate's rigid analytic spaces and to connect with ideas of Alexander Grothendieck, Jean-Pierre Serre, John Tate, Pierre Deligne, and Michael Artin. The construction gives a spectrum of multiplicative seminorms on a Banach algebra, paralleling constructions in classical algebraic geometry by Oscar Zariski, Alexander Grothendieck, and Jean-Louis Koszul but tailored to non-Archimedean fields like Q_p, Cp, and finite extensions studied by Jean-Pierre Serre, Pierre Colmez, and Kenkichi Iwasawa. Subsequent developments involve comparisons with Huber's adic spaces, contributions by Roland Huber, R. Bosch, U. Güntzer, R. Remmert, and interactions with the work of Yuri Manin, Andrei Okounkov, and Maxim Kontsevich.

Definitions and types

A Berkovich spectrum is defined for a Banach algebra over a non-Archimedean complete field such as Q_p, C_p, or a Laurent series field; the spectrum consists of all bounded multiplicative seminorms extending the given absolute value, echoing constructions by Alexander Grothendieck and Michel Raynaud in formal geometry. There are several standard categories: Berkovich analytic spaces of types G, M, and S reflecting generic points akin to those in Zariski topology studied by Oscar Zariski and Alexander Grothendieck, as well as projective and affinoid Berkovich spaces analogous to rigid analytic affinoids developed by John Tate and Roland Huber. For algebraic varieties over number fields like Q, imaginary quadratic fields used in the theory of Heegner points by Birch and Swinnerton-Dyer, and global fields appearing in André Weil's work, one forms Berkovich analytifications that parallel analytification functors in complex geometry studied by Henri Cartan and François Bruhat.

Topological and analytic properties

Berkovich spaces are locally compact, Hausdorff, and path-connected, properties that contrast with properties of Tate's rigid analytic spaces studied by John Tate and rigid cohomology formulated by Pierre Berthelot and Nicholas Katz. They admit a basis of affinoid domains related to works by Roland Bosch and Pierre Colmez and support spectral theory paralleling works by John von Neumann and Israel Gelfand in the non-Archimedean setting. The topology accommodates skeleta and deformation retractions connected to the theory of Berkovich skeleta used in tropical geometry research by Grigory Mikhalkin, Bernd Sturmfels, Ilia Itenberg, and Sam Payne. Berkovich spaces carry sheaves of analytic functions in a manner resonant with sheaf-theoretic frameworks by Jean-Pierre Serre, Alexander Grothendieck, and Jean-Louis Verdier, and their cohomology theories interact with étale cohomology introduced by Alexander Grothendieck, Jean-Pierre Serre, and Pierre Deligne as well as de Rham cohomology developments by Pierre Deligne and Alexander Grothendieck.

Berkovich analytic spaces and functoriality

Analytification functors take algebraic varieties over fields like Q_p, C_p, or function fields appearing in the work of André Weil and send them to Berkovich analytic spaces, reflecting ideas similar to GAGA theorems by Jean-Pierre Serre and Alexander Grothendieck. Morphisms of schemes studied by Alexander Grothendieck and Oscar Zariski induce continuous maps of corresponding Berkovich spaces, allowing comparisons with rigid analytic morphisms developed by John Tate and formal models in the style of Michel Raynaud and Pierre Deligne. The category of Berkovich analytic spaces admits fiber products and limits analogous to categorical constructions studied by Saunders Mac Lane and Alexander Grothendieck, and it interfaces with Huber's adic spaces, whose foundations were shaped by Roland Huber and later refined by Brian Conrad and Kiran Kedlaya in p-adic Hodge theory contexts tied to work by Jean-Marc Fontaine and Pierre Colmez.

Applications and examples

Berkovich spaces have been applied to p-adic dynamics studied by Jean-Christophe Yoccoz and John Milnor, to potential theory in non-Archimedean settings developed by Robert Rumely and Matthew Baker, and to the study of canonical measures on analytic curves related to Néron models used in Birch and Swinnerton-Dyer conjecture contexts by Bryan Birch and Peter Swinnerton-Dyer. Specific examples include the Berkovich projective line P^1 over C_p, which features a tree-like structure used by Matthew Baker, Robert Rumely, and Juan Rivera-Letelier in dynamics and equidistribution, and analytic skeleta arising from semistable models in the style of Michel Raynaud and Benedict Gross. Interactions occur with tropicalizations studied by Grigory Mikhalkin, Sam Payne, and Bernd Sturmfels, and with mirror symmetry conjectures influenced by Maxim Kontsevich and Yan Soibelman. Arithmetic applications touch on the Langlands program contributions of Robert Langlands and the p-adic Hodge theory of Jean-Marc Fontaine and Laurent Fargues.

Relations to other non-Archimedean geometries

Berkovich spaces relate to Tate's rigid analytic spaces introduced by John Tate, which provide a Grothendieck-topology-centric approach refined by Roland Huber's adic spaces; comparisons involve results by Michel Raynaud connecting formal schemes with rigid spaces and by Roland Huber linking adic and Berkovich frameworks. The interplay with tropical geometry led by Grigory Mikhalkin, Bernd Sturmfels, and Sam Payne yields tropicalizations and skeleta bridging Berkovich analytifications and polyhedral complexes studied by Günter Ziegler and Imre Bárány. Connections to p-adic Hodge theory developed by Jean-Marc Fontaine, Kiran Kedlaya, and Laurent Fargues enable applications to moduli problems investigated by Pierre Deligne, David Mumford, and Nicholas Katz. This network of relations ties Berkovich spaces to the broader mathematical ecosystem shaped by Alexander Grothendieck, Jean-Pierre Serre, John Tate, and Vladimir Berkovich himself.

Category:Non-Archimedean geometry