Related papers: Derived non-archimedean analytic spaces

Let $k$ be a discretely valued non-Archimedean field. We give an explicit description of analytic functions whose norm is bounded by a given real number $r$ on tubes of reduced $k$-analytic spaces associated to special formal schemes (those…

We develop some foundations for the theory of formal derived algebraic geometry, which parallel the theory of formal spectral algebraic geometry by Jacob Lurie. For this, we establish a close connection between algebro-geometric objects in…

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of…

In this article we give a homological characterization of the topology of Stein spaces over any valued base field. In particular, when working over the field of complex numbers, we obtain a characterization of the usual Euclidean…

The purpose of this article is to study the role of Artin fans in tropical and non-Archimedean geometry. Artin fans are logarithmic algebraic stacks that can be described completely in terms of combinatorial objects, so called Kato stacks,…

We make an attempt to develop "noncommutative algebraic geometry" in which noncommutative affine schemes are in one-to-one correspondence with associative algebras. In the first part we discuss various aspects of smoothness in affine…

Given a semisimple group over a complete non-Archimedean field, it is well known that techniques from non-Archimedean analytic geometry provide an embedding of the corresponding Bruhat-Tits builidng into the analytic space associated to the…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

We develop a characterisation of non-Archimedean derived analytic geometry based on dg enhancements of dagger algebras. This allows us to formulate derived analytic moduli functors for many types of pro-\'etale sheaves, and to construct…

We develop the intersection theory of non-archimedean analytic spaces and prove the projection formula and the GAGA principle. As an application, we naturally define the category of finite correspondences of analytic spaces.

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…

Let $K$ be a nonarchimedean local field of characteristic zero with valuation ring $R$, for instance, $K=\mathbb{Q}_p$ and $R=\mathbb{Z}_p$. We prove a general integral geometric formula for $K$-analytic groups and homogeneous $K$-analytic…

The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…

By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

Theoretical results from discrete geometry suggest that normed spaces can abstractly embed finite metric spaces with surprisingly low theoretical bounds on distortion in low dimensions. In this paper, inspired by this theoretical insight,…

We study algebraic and geometric properties of metric spaces endowed with dilatation structures, which are emergent during the passage through smaller and smaller scales. In the limit we obtain a generalization of metric affine geometry,…

In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.