Related papers: Infinitesimal local study of formal schemes
The schematic finite spaces are those finite ringed spaces where a theory of quasi-coherent modules can be developed with minimal natural conditions. We give various characterizations of these spaces and their natural morphisms. We show…
Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…
We give an abstract criterion for pasting pseudofunctors on two subcategories of a category into a pseudofunctor on the whole category. As an application we extend the variance theory of the twisted inverse image $(-)^!$ over schemes to…
Eventually after Dieudonn\'e-Grothendieck, we give intrinsic definitions of \'etale, lisse and non-ramifi\'e morphisms for general adic rings and general locally convex rings. And we investigate the corresponding \'etale-like, lisse-like…
We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve…
This paper is concerned with lifting modules along a surjective map of noetherian local rings, say $\varphi \colon R \twoheadrightarrow S$. A finitely generated $R$-module $L$ is a naive lift of an $S$-module $M$ if $L \otimes_R S \cong M$.…
This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…
The \emph{Noetherian class} is a wide class of functions defined in terms of polynomial partial differential equations. It includes functions appearing naturally in various branches of mathematics (exponential, elliptic, modular, etc.). A…
In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose,…
It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…
Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.
We prove that a general class of nonlinear, non-autonomous ODEs in Fr\'echet spaces are close to ODEs in a specific normal form, where closeness means that solutions of the normal form ODE satisfy the original ODE up to a residual that…
The goal of the current text is to study non-archimedean analytic derived de Rham cohomology by means of formal completions. Our approach is inspired by the deformation to the normal cone provided in \cite{Gaitsgory_Study_II}. More…
In this paper, we show that the infinitesimal Torelli theorem implies the existence of deformations of automorphisms. In the first part, we use Hodge theory and deformation theory to study the deformations of automorphisms of complex…
The main purpose of this paper is to describe various phenomena and certain constructions arising in the process of studying derived noncommutative schemes. Derived noncommutative schemes are defined as differential graded categories of a…
For pairs of integers (n,m) and (d,e) satisfying some nedesary conditions, we construct a local flat ring morphism of noetherian local rings u:A -->B such that dim(A)=n, depth(A)=d, dim(B)=m, depth(B)=e.
We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to…
Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting…
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 introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline \'etale…