In this paper we present a new approach to Grothendieck duality over commutative rings. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. The method of rigidity was modified to work over general commutative base rings in our paper [YZ5]. In the present paper we obtain many of the important local features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to essentially finite type algebras over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic rings. In the sequel paper [Ye4] these results will be used to construct and study rigid dualizing complexes on schemes.
Let $k$ be a field, and let $X,Y$ be two locally noetherian $k$-schemes (respectively $k$-formal schemes) with dualizing complexes $R_X$ and $R_Y$ respectively. We show that $R_X \boxtimes_{k} R_Y$ (respectively its derived completion) is a dualizing complex over $X\times_{k} Y$ if and only if $X\times_{k} Y$ is locally noetherian of finite Krull dimension.
In this article we survey recent results on rigid dualizing complexes over commutative algebras. We begin by recalling what are dualizing complexes. Next we define rigid complexes, and explain their functorial properties. Due to the possible presence of torsion, we must use differential graded algebras in the constructions. We then discuss rigid dualizing complexes. Finally we show how rigid complexes can be used to understand Cohen-Macaulay homomorphisms and relative dualizing sheaves.
Let C be a semidualizing complex over a noetherian local ring A. If there exists a local homomorphism with source A satisfying some homological properties, then C is dualizing.
A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.
We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition and the lowest cohomology N of its "dual" complex. We show that if a scheme has a Gorenstein complex satisfying certain coherence conditions, then in a finite étale neighborhood of each point, it has a dualizing complex. If the scheme already has a dualizing complex, then we show that the Gorenstein complex must be a tensor product of a dualizing complex an…
Let $X$ be a separated scheme of dimension $d$ of finite type over a perfect field $k$ of positive characteristic $p$. In this work, we show that Bloch's cycle complex $\mathbb{Z}^c_X$ of zero cycles mod $p^n$ is quasi-isomorphic to the Cartier operator fixed part of a certain dualizing complex from coherent duality theory. From this we obtain new vanishing results for the higher Chow groups of zero cycles with mod $p^n$ coefficients for singular varieties.
A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of differential operators on a smooth affine variety, when char k = 0. We study homological and geometric properties of differential algebras of finite type. The main results concern the rigid dualizing complex over such an algebra A: its existence, structure and variance properties. We also define and study perverse A-modules, and show how they are related to th…
In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite type schemes over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic geometry.
We prove that there is a map from Bloch's cycle complex to Kato's complex of Milnor K-theory, which induces a quasi-isomorphism from étale sheafified cycle complex to the Gersten complex of logarithmic de Rham--Witt sheaves. Next we show that the truncation of Bloch's cycle complex at -3 is quasi-isomorphic to Spiess' dualizing complex.
Given a commutative noetherian non-positive DG-ring with bounded cohomology which has a dualizing DG-module, we study its regular, Gorenstein and Cohen-Macaulay loci. We give a sufficient condition for the regular locus to be open, and show that the Gorenstein locus is always open. However, both of these loci are often empty: we show that no matter how nice $\mathrm{H}^0(A)$ is, there are examples where the Gorenstein locus of $A$ is empty. We then show that the Cohen-Macaulay locus of a commutative noetherian DG-ring with bounded cohomology which has a dualizing DG-module always contains a de…
We consider commutative DG rings (better known as nonpositive strongly commutative associative unital DG algebras). For such a DG ring $A$ we define the notions of perfect, tilting, dualizing, Cohen-Macaulay and rigid DG $A$-modules. Geometrically perfect DG modules are defined by a local condition on $\operatorname{Spec} \bar{A}$, where $\bar{A} := \operatorname{Spec} \, \operatorname{H}^0(A)$. Algebraically perfect DG modules are those that can be obtained from $A$ by finitely many shifts, direct summands and cones. Tilting DG modules are those that have inverses w.r.t. the derived tensor pr…
For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules (reproducing a particular case of a recent result of Stovicek with our methods). Furthermore, we present the definition of a dualizing complex of fp-injective modules over a pair of noncommutative coherent rings A and B, and construct an equivalence between the coderived category of A-modules and the contraderived category of B-modules. Finally, we define the notio…
We define the notion of universal lift of a projective complex based on non-commutative parameter algebras, and prove its existence and uniqueness. We investigate the properties of parameter algebras for universal lifts.
Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that there is a canonical isomorphism between ${g'}^*ω_f$ and $ω_{f'}$, where $ω_f$ and $ω_{f'}$ are the relative dualizing sheaves. The map underlying this isomorphism is easily described when $f$ is proper, and has subtler description when $f$ is not. If $f$ is smooth we show that this map between the dualizing sheaves corresponds to the canonical identification…
Let $A$ be a connected graded $k$-algebra with a balanced dualizing complex. We prove that $A$ is a Koszul AS-regular algebra if and only if that the Castelnuovo-Mumford regularity and the Ext-regularity coincide for all finitely generated $A$-modules. This can be viewed as a non-commutative version of \cite[Theorem 1.3]{ro}. By using Castelnuovo-Mumford regularity, we prove that any Koszul standard AS-Gorenstein algebra is AS-regular. As a preparation to prove the main result, we also prove the following statements are equivalent: (1) $A$ is AS-Gorenstein; (2) $A$ has finite left injective di…
Let $K$ be a Gorenstein noetherian ring of finite Krull dimension, and consider the category of cohomologically noetherian commutative differential graded rings $A$ over $K$, such that $H^0(A)$ is essentially of finite type over $K$, and $A$ has finite flat dimension over $K$. We extend Grothendieck's twisted inverse image pseudofunctor to this category by generalizing the theory of rigid dualizing complexes to this setup. We prove functoriality results with respect to cohomologically finite and cohomologically essentially smooth maps, and prove a perfect base change result for $f^{!}$ in this…
Let $R$ be a commutative Noetherian ring. We introduce the notion of localization functors $λ^W$ with cosupports in arbitrary subsets $W$ of $\text{Spec}\, R$; it is a common generalization of localizations with respect to multiplicatively closed subsets and left derived functors of ideal-adic completion functors. We prove several results about the localization functors $λ^W$, including an explicit way to calculate $λ^W$ by the notion of Cech complexes. As an application, we can give a simpler proof of a classical theorem by Gruson and Raynaud, which states that the projective dimension of a f…
Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square Sq_{B/A} M, which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ: M \iso Sq_{B/A} M then the pair (M,ρ) is called a rigid complex over B relative to A (there are some finiteness conditions). There is an obvious notion of rigid morphism between rigid complexes. We establish several properties of rigid complexes, including their uniqueness, existenc…
We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over algebraically closed fields, finite fields, local fields of mixed characteristic, and rings of integers in number rings, generalizing results which so far have only been known for smooth schemes or in low dimensions, and unify the p-adic and l-adic theory. As an application, we generalize Rojtman's theorem to normal, projective schemes.
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 functorially represent derived-category objects F by the local cohomologies H_x^{codim(x)}(F) (x \in X) together with "residue maps" from the cohomology at x to that at each immediate specialization of x; this representation is faithful when restricted to F which are Cohen-Macaulay (CM), i.e., H_x^i(F)=0 unless i=codim(x). Formal schemes provide a framework for trea…
We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms Ext^*_{S\otimes^L_{K}S}(S|K;M\otimes^L_{K}N) ~ Ext^*_S(RHom_S(M,D),N) for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analo…
This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomatics. Here are the topics covered in the book: - A review of standard facts on abelian categories. - Differential graded algebra (DG rings, DG modules, DG categories and DG functors). - Triangulated categ…
We present a method for the implicitization problem that goes back to the work of Sederberg and Chen. The formalism we use, with approximation complexes as a key ingredient, is due to Jean-Pierre Jouanolou and was explained in details in this context in his joint work with Laurent Buse. Most of this note is dedicated to presenting the method, the geometric ideas behind it and the tools from commutative algebra that are needed. In the last section, we give the most advanced results we know related to this approach.
We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably self-contained, modulo the Special Adjoint Functor Theorem. An alternative approach, inspired by Neeman and based on recent results about "Brown Representability," is indicated as well. A section on applications and examples illustrates how these theorems synthesize a number of different duality-related results (local duality, formal duality, residue theore…
Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural characterization of bounded above cohomologically complete complexes; (2) the Cohomologically Complete Nakayama Theorem; and (3) a characterization of cohomologically cofinite complexes.
Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi-compact semiseparated sc…
We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer's comparison maps between the spectrum of tensor-triangulated categories and the Zariski spectra of their central rings. By applying our constructions, we compute the spectrum of the derived category of perfect complexes over any graded commutative ring, and we associate to every scheme with an ample family of line bundles an embedding into the spectrum of an associated graded commutative 2-ring.
The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of $\mathbb Q$-Gorenstein algebraic variety and of $\mathbb Q$-Gorenstein deformation satisfying Kollár condition, over a field. By studies on relative $\mathbf S_{2}$-condition and base change properties, valuable results are proved for $\mathbb Q$-Gorenstein morphisms, which include infinitesimal criterion, valuative criterion, $\mathbb Q$-Gorenstein refinement, a…
Kyoji Saito's notion of a free divisor was generalized by the first author to reduced Gorenstein spaces and by Delphine Pol to reduced Cohen-Macaulay spaces. Starting point is the Aleksandrov-Terao theorem: A hypersurface is free if and only if its Jacobian ideal is maximal Cohen-Macaulay. Pol obtains a generalized Jacobian ideal as a cokernel by dualizing Aleksandrov's multi-logarithmic residue sequence. Notably it is essentially a suitably chosen complete intersection ideal that is used for dualizing. Pol shows that this generalized Jacobian ideal is maximal Cohen-Macaulay if and only if the…
We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define a locally projective model structure in the category of complexes of quasi-coherent sheaves on the projective line. In this model structure the cofibrant objects are the dg-locally projective complexes. We also describe the fibrations of this model structure and show that the model structure is monoidal. We point out that this model structure is necessarily…
If K is a number field, arithmetic duality theorems for tori and complexes of tori over K are crucial to understand local-global principles for linear algebraic groups over K. When K is a global field of positive characteristic, we prove similar arithmetic duality theorems, including a Poitou-Tate exact sequence for Galois hypercohomology of complexes of tori. One of the main ingredients is Artin-Mazur-Milne duality theorem for fppf cohomology of finite flat commutative group schemes.
Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative rings. These objects are even more complicated than in the commutative case, since they are complexes of bimodules. We develop methods to prove uniqueness, existence and functoriality of residue complexes. For a noetherian affine PI algebra over a field (admitting a noetherian connected filtration) we prove existence of the residue complex and describe its st…
In the first part of this paper we construct a model structure for the category of filtered cochain complexes of modules over some commutative ring $R$ and explain how the classical Rees construction relates this to the usual projective model structure over cochain complexes. The second part of the paper is devoted to the study of derived moduli of sheaves: we give a new proof of the representability of the derived stack of perfect complexes over a proper scheme and then use the new model structure for filtered complexes to tackle moduli of filtered derived modules. As an application, we const…
Let A -> B be a homomorphism of commutative rings. The squaring operation is a functor Sq_{B/A} from the derived category D(B) of complexes B-modules into itself. The squaring operation is needed for the definition of rigid complexes (in the sense of Van den Bergh), that in turn leads to a new approach to Grothendieck duality for rings, schemes and even DM stacks. In our paper with J.J. Zhang from 2008 we introduced the squaring operation, and explored some of its properties. Unfortunately some of the proofs in that paper had severe gaps in them. In the present paper we reproduce the construct…
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove coherency results by using the property of being cohomologically complete. We apply these results to the study of modules over deformation quantization algebroids on complex Poisson manifolds. We prove in particular that under a natural properness condition, the convolution of two coherent kernels over such algebroids is coherent. We also construct the dualizing …
We study the differential graded Lie algebra of endomorphisms of the Koszul resolution of a regular sequence on a unitary commutative $K$-algebra $R$ and we prove that it is homotopy abelian over $K$, while it is generally not formal over $R$. We apply this result to prove an annihilation theorem for obstructions of (derived) deformations of locally complete intersection ideal sheaves on projective schemes.
