Related papers: Grothendieck's Existence Theorem for Relatively Pe…

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 establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small…

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable…

We prove Grothendieck's Conjecture on Resolution of Singulari-ties for quasi-excellent schemes X of dimension three and of arbitrary characteristic. This applies in particular to X = SpecA, A a reduced complete Noetherian local ring of…

We give a short proof that any smooth (means formally smooth and finitely presented) homomorphism of rings can be obtained by base change from a smooth homomorphism of noetherian rings. Together with the elegant short proof by J. Conde-Lago…

We continue investigating the interaction between flatness and $\mathfrak{a}$-adic completion for infinitely generated modules over a commutative ring $A$. We introduce the concept of $\mathfrak{a}$-adic flatness, which is weaker than…

We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…

A result of Andr\'e Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\mathrm{GL}_n(\mathbb{A})$ of regular matrices over the ring of ad\`eles (over…

We construct a Grothendieck-Witt space for any stable infinity category with duality. If we apply our construction to perfect complexes over a commutative ring in which 2 is invertible we recover the classical Grothendieck-Witt space. Our…

We define a Grothendieck ring for basic real semialgebraic formulas, that is for systems of real algebraic equations and inequalities. In this ring the class of a formula takes into consideration the algebraic nature of the set of points…

We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we…

For a $G$-scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-G\"ottsche to the equivariant context. We also prove a…

Grothendieck's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $\left( 1;1\right) $-summing. In this note we prove that the optimal constant $g_{m}$ so that every continuous $m$-linear…

Let $G$ be a compact $p$-adic analytic group with no element of order $p$ and $H$ be its maximal uniform normal subgroup. Let $K$ be a finite extention of $\mathbb{Q}_p$. We show that the Grothendieck group of the completion of the algebra…

We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the…

In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable…

We develop a theory of perfect algebraic spaces that extend the so-called perfect schemes to the setting of algebraic spaces. We prove several desired properties of perfect algebraic spaces. This extends some previous results of perfect…

We consider the long-standing question of whether every regular LB-space is complete. This problem has been open since the 1950s and originates in Grothendieck's early work in functional analysis. Rather than seeking a direct proof or…

If an element of the Grothendieck group of the derived category of a scheme is locally represented by perfect complexes, then can the original element be represented by a perfect complex? We provide a counterexample on a projective variety…