Related papers: Faithfully flat descent of almost perfect complexe…
We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.
Faithfully flat descent of pseudo-coherent complexes in rigid geometry was proved by Mathew. In this paper, we generalize the result of Mathew to quasi-coherent complexes on rigid analytic varieties, which have been introduced by Clausen…
The ascent and descent of the Mittag-Leffler property were instrumental in proving Zariski locality of the notion of an (infinite dimensional) vector bundle by Raynaud and Gruson in \cite{RG}. More recently, relative Mittag-Leffler modules…
We construct a faithfully flat algebra over the infinite polynomial ring on an algebraically closed field that is not descendable.
The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…
In 1981, L. Gruson and C. U. Jensen gave a new proof of the fact that, over a ring which is either Noetherian of Krull dimension $n$ or of cardinality $< \aleph_n$, the projective dimension of any flat module is at most $n$. In this short…
We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra…
A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module…
In this paper we study the dg-category of twisted perfect complexes on a ringed space with soft structure sheaf. We prove that this dg-category is quasi-equivalent to the dg-category of complexes of vector bundles on that space. This result…
This article studies descent theory in the setting of Berkovich spaces. We give sufficient conditions for a given fibered category over the category of k-affinoid algebras to be a stack for the Berkovich analogue of the faithfully-flat…
A classic result by Raynaud and Gruson says that the notion of an (infinite dimensional) vector bundle is Zariski local. This result may be viewed as a particular instance (for n = 0) of the locality of more general notions of…
We extend the notion of an almost flat bundle over a closed Riemannian manifold to bundles over simplicial complexes, and prove that up to a constant factor, this notion is invariant under pullback via maps which induce isomorphisms on…
We study different notions of slope of a vector bundle over a smooth projective curve with respect to ampleness and affineness in order to apply this to tight closure problems. This method gives new degree estimates from above and from…
It is demonstrated that any almost-tilting module over a gentle algebra is indeed partial-tilting, meaning it can be completed as a tilting module. Furthermore, such a module has at most $2n$ possible complements, thereby confirming a…
We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of…
We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…
We prove a descent result for finite projective modules, motivated by a question in perfectoid geometry. Given a commutative ring $A$, we formulate a descent problem for descending a finite projective module over the Novikov ring with…
Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…
Drinfeld recently suggested to replace projective modules by the flat Mittag--Leffler ones in the definition of an infinite dimensional vector bundle on a scheme $X$. Two questions arise: (1) What is the structure of the class $\mathcal D$…
In this paper we introduce the notion of almost flatness for (stably) relative bundles on a pair of topological spaces and investigate basic properties of it. First, we show that almost flatness of topological and smooth sense are…