Related papers: Local structure theorems for smooth maps of formal…
In a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow…
We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed…
This paper is a commutative algebra introduction to the homological theory of quasi-coherent sheaves and contraherent cosheaves over quasi-compact semi-separated schemes. Antilocality is an alternative way in which global properties are…
We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We…
This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…
We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…
We study the set of conformal immersions between two pseudo-Riemannian manifolds of same dimension. We characterize the closure of this set inside the space of continuous maps, and give some geometric consequences when this closure is…
We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. After giving a historical introduction and indicating the…
We introduce a concept of formal local homology modules which is in some sense dual to P. Schenzel's concept of formal local cohomology modules. The dual theorem and the non-vanishing theorem of formal local homology modules will be shown.…
In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of…
Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…
The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…
In this article, we study local holomorphic isometric embeddings from ${\BB}^n$ into ${\BB}^{N_1}\times... \times{\BB}^{N_m}$ with respect to the normalized Bergman metrics up to conformal factors. Assume that each conformal factor is…
We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…
The generalisation of the well-known (Hilbert polynomial) criterion for flatness of a projective morphism of Noetherian schemes is given for the case of nonreduced base of the morphism.
We show that the pushout of an \'etale morphism and an open immersion exists in the category of algebraic stacks and show that such pushouts behave similarly to the gluing of two open substacks. For example, quasi-coherent sheaves on the…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural structure…
We prove, for quasicompact separated schemes over ground fields, that Cech cohomology coincides with sheaf cohomology with respect to the Nisnevich topology. This is a partial generalization of Artin's result that for noetherian schemes…
We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…