Related papers: Overconvergent global analytic geometry
In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the…
We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of…
We introduce a systematic theory of Weil bundles over \( p \)-adic analytic manifolds, forging new connections between differential calculus over non-archimedean fields and arithmetic geometry. By developing a framework for infinitesimal…
Differentiable structure ensures that many of the basics of classical convex analysis extend naturally from Euclidean space to Riemannian manifolds. Without such structure, however, extensions are more challenging. Nonetheless, in…
On Zariski Main Theorem in Algebraic Geometry and Analytic Geometry. We fill a surprising gap of Complex Analytic Geometry by proving the analogue of Zariski Main Theorem in this geometry, i.e. proving that an holomorphic map from an…
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…
In this article, we study the Lipschitz Geometry at infinity of complex analytic sets and we obtain results on algebraicity of analytic sets and on Bernstein's problem. Moser's Bernstein Theorem says that a minimal hypersurface which is a…
Let $X$ be a (real or complex) Banach space, and $\mathcal{I}(X)$ be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on $X$ whose squares equal themselves. We show that the Banach submanifold…
In the first half of twentieth century the theory of complex analytic functions and of their zerosets was fully developed. The definition of holomorphic function has a local nature. Germs of holomorphic functions form a distinguished…
We study several categories of analytic stacks relative to the category of bornological modules over a Banach ring. When the underlying Banach ring is a non-Archimedean valued field, this category contains derived rigid analytic spaces as a…
In this work we study some algebraic and topological properties of the ring ${\mathcal O}(X^\nu)$ of global analytic functions of the normalization $(X^\nu,{\mathcal O}_{X^\nu})$ of a reduced complex analytic space $(X,{\mathcal O}_X)$. If…
We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the \'etale realization functor of…
Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…
We find a principle of harmonic analyticity underlying the quaternionic (quaternion-K\"ahler) geometry and solve the differential constraints which define this geometry. To this end the original $4n$-dimensional quaternionic manifold is…
The notion of "super convex spaces" generalizes the idea of convex spaces by replacing finite affine sums with countable affine sums. Using this notion permits a very elegant approach for analysis of the Giry monad on standard measurable…
We investigate connections between Lipschitz geometry of real algebraic varieties and properties of their arc spaces. For this purpose we develop motivic integration in the real algebraic set-up. We construct a motivic measure on the space…
In this article, we introduce pseudo-absolute values, which generalise usual absolute values. Roughly speaking, a pseudo-absolute value on a field $K$ is a map $|\cdot| : K \to [0,+\infty]$ satisfying axioms similar to those of usual…
Among other things, we show that the ideal sheaf of a complex Hilbert submanifold of a pseudoconvex open subset of Hilbert space is acyclic over the ambient pseudoconvex open set. We also prove a vanishing theorem for a fairly general class…
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…
We introduce a category of 'rigid spaces with overconvergent structure sheaf' which we call dagger spaces --- this is the correct category in which de Rham cohomology in rigid analysis should be studied. We compare it with the (usual)…