Abstract:We propose a derived version of non-archimedean analytic geometry. Intuitively, a derived non-archimedean analytic space consists of an ordinary non-archimedean analytic space equipped with a sheaf of derived rings. Such a naive definition turns out to be insufficient. In this paper, we resort to the theory of pregeometries and structured topoi introduced by Jacob Lurie. We prove the following three fundamental properties of derived non-archimedean analytic spaces:The category of ordinary non-archimedean analytic spaces embeds fully faithfully into the ∞$$\infty $$-category of derived non-archimedean analytic spaces.The ∞$$\infty $$-category of derived non-archimedean analytic spaces admits fiber products.The ∞$$\infty $$-category of higher non-archimedean analytic Deligne–Mumford stacks embeds fully faithfully into the ∞$$\infty $$-category of derived non-archimedean analytic spaces. The essential image of this embedding is spanned by n-localic discrete derived non-archimedean analytic spaces. We will further develop the theory of derived non-archimedean analytic geometry in our subsequent works. Our motivations mainly come from intersection theory, enumerative geometry and mirror symmetry.

Automatic meromorphy in non-archimedean geometry

On the algebraicity of germs of meromorphic functions

A non-archimedean Montel's theorem

On real analytic functions on closed subanalytic domains

Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

Positive semidefinite analytic functions on real analytic surfaces

Flattening and subanalytic sets in rigid analytic geometry

Non-Archimedean meromorphic solutions of functional equations

On the non-analyticity locus of an arc-analytic function

Abelian reduction in differential-algebraic and bimeromorphic geometry

The intrinsic reductions and the intrinsic depths in non-archimedean dynamics

Truncated second main theorem for non-Archimedean meromorphic maps

On fields of meromorphic functions on neighborhoods of rational curves

Derived non-archimedean analytic spaces

Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations

Nonarchimedean integral geometry

Geometric invariants for non-archimedean semialgebraic sets

On the Removable Singularities for Meromorphic Mappings

A remark to a Theorem of Hacon and Pardini

Analytic functions on tubes of non-Archimedean analytic spaces