Related papers: Quasi-perfect scheme-maps and boundedness of the t…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Contraherent cosheaves are globalizations of contraadjusted or cotorsion modules over commutative rings obtained by gluing together over a scheme, with the colocalization functors $\operatorname{Hom}_R(S,{-})$ used for the gluing (where $S$…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

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…

We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is…

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…

For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…

We generalize the adjunction between the functors $Rf_*$ and $f^!$ of derived categories of quasi-coherent sheaves for proper morphisms $f\colon X \to Y$ of Noetherian schemes to the following situation: Let $f$ be a finite type morphism…

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof…

In this article, we first prove a general result in topology which states that every quasi-component of a quasi-spectral space is connected. \\ As an application, the structure of the connected components of every quasi-compact…

On a suitable category of formal schemes equipped with codimension functions we construct a canonical pseudofunctor (-)^# taking values in the corresponding categories of Cousin complexes. Cousin complexes on such a formal scheme X…

We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains…

The R-module functors that are essential for the development of the theory of the linear representations of an affine R-group are the quasi-coherent R-modules and the R-module schemes. The aim of this paper is to study when a quasi-coherent…

We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

We give extensive characterizations for an open subset of an affine space of arbitrary dimension, resp. of an inverse limit of prime spectra to be quasi-compact. Among other things weak stability, retro-compactness, and cylinder sets…

We introduce a new notion, called quasi-holomorphic maps. These are real smooth maps equipped with a structure that imitates the singularities and singularity stratifications of holomorphic maps on the source and target manifolds, although…

We give a purely combinatorial proof of a K\"{u}nneth formula for the minus version of knot Floer homology of connected sums by constructing a quasi-isomorphism of grid chain complexes. The quasi-isomorphism naturally deduces that the…

In this paper, we introduce the notion of quasi-$F$-splitting for rings in mixed characteristic. By comparing quasi-$F$-splitting with perfectoid purity, we obtain a new inversion of adjunction-type result. Furthermore, we study the…