Definable sets of Berkovich curves

DOI10.1017/S1474748019000495MaRDI QIDQ5004653zbMATH OpenWikidataFDO

Authors Pablo Cubides Kovacsics, Jérôme Poineau

Publication date 3 August 2021

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/1809.07156

zbMATH Keywords

algebraically closed valued fieldBerkovich spaceradial setstable completiontopological ramification

Mathematics Subject Classification ID

Applications of model theory (03C98) Non-Archimedean valued fields (12J25) Rigid analytic geometry (14G22)

Abstract: In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to have definable versions of several usual notions of Berkovich analytic geometry such as the branch emanating from a point and the residue curve at a point of type 2. We also characterize the definable subsets of the definable counterpart of $X$ and show that they satisfy a bijective relation with the radial subsets of $X$. As an application, we recover (and slightly extend) results of Temkin concerning the radiality of the set of points with a given prescribed multiplicity with respect to a morphism of $k$-analytic curves. In the case of the analytification of an algebraic curve, our construction can also be seen as an explicit version of Hrushovski and Loeser's theorem on iso-definability of curves. However, our approach can also be applied to strictly $k$-affinoid curves and arbitrary morphisms between them, which are currently not in the scope of their setting.

Recommendations

• Radiality of definable sets
• On the structure of non-Archimedean analytic curves
• On some definable sets over fields with analytic structure
• Polynomial approximation of Berkovich spaces and definable types
• Flattening and subanalytic sets in rigid analytic geometry.

Cites work

• A Guide to NIP Theories
• An introduction to \(C\)-minimal structures and their cell decomposition theorem
• Berkovich \(p\)-adic analytic spaces
• Berkovich spaces are angelic
• Berkovich spaces are excellent
• Cell decompositions of C-minimal structures
• Families of Berkovich spaces
• Fields with analytic structure
• Hahn analytification and connectivity of higher rank tropical varieties
• scientific article; zbMATH DE number 3857279 (Why is no real title available?)
• scientific article; zbMATH DE number 47872 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1209539 (Why is no real title available?)
• scientific article; zbMATH DE number 3326566 (Why is no real title available?)
• Metric uniformization of morphisms of Berkovich curves
• Morphisms of Berkovich curves and the different function
• Non-Archimedean tame topology and stably dominated types
• One-dimensional fibers of rigid subanalytic sets
• Pushforwards of p-adic differential equations
• Radiality of definable sets
• Rigid analytic geometry and its applications
• Rigid Subanalytic Sets
• Smooth p-adic analytic spaces are locally contractible
• Stable domination and independence in algebraically closed valued fields
• The convergence Newton polygon of a \(p\)-adic differential equation. II: Continuity and finiteness on Berkovich curves
• Topological transcendence degree
• Variation de la dimension relative en géométrie analytique p-adique
• Étale cohomology for non-Archimedean analytic spaces

Cited in

(1)

• Berkovich curves and Schottky uniformization. II: Analytic uniformization of Mumford curves

This page was built for publication: Definable sets of Berkovich curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5004653)