let $x$ be a sufficiently nice scheme. we survey some recent progress on dualizing complexes. it turns out that a complex in $kinj x$ is dualizing if and only if tensor product with it induces an equivalence of categories from murfet's new category $kmpr x$ to the category $kinj x$. in these terms, it becomes interesting to wonder how to glue such equivalences.

Let A be a noetherian local commutative ring and let M be a suitable complex of A-modules. This paper proves that M is a dualizing complex for A if and only if the trivial extension A ⋉M is a Gorenstein Differential Graded Algebra. As a corollary follows that A has a dualizing complex if and only if it is a quotient of a Gorenstein local Differential Graded Algebra. Let A be a noetherian local ...

There are remarkable relations between the graded homological dimensions and the ordinary homological dimensions. In this paper, we study the injective dimension of a complex of graded modules and derive its some properties. In particular, we define the $^*$dualizing complex for a graded ring and investigate its consequences.

Let $X$ be a sufficiently nice scheme. We survey some recent progress on dualizing complexes. It turns out that a complex in $kinj X$ is dualizing if and only if tensor product with it induces an equivalence of categories from Murfet's new category $kmpr X$ to the category $kinj X$. In these terms, it becomes interesting to wonder how to glue such equivalences.

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 S2 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 finit...

In 1966 [1], Auslander introduced a class of finitely generated modules having a certain complete resolution by projective modules. Then using these modules, he defined the G-dimension (G ostensibly for Gorenstein) of finitely generated modules. It seems appropriate then to call the modules of G-dimension 0 the Gorenstein projective modules. In [4], Gorenstein projective modules (whether finite...

A toric face ring, which generalizes both Stanley-Reisner rings and affine semigroup rings, is studied by Bruns, Römer and their coauthors recently. In this paper, under the “normality” assumption, we describe a dualizing complex of a toric face ring R in a very concise way. Since R is not a graded ring in general, the proof is not straightforward. We also develop the squarefree module theory o...

Existence of proper Gorenstein projective resolutions and Tate cohomology is proved over rings with a dualizing complex. The proofs are based on Bousfield Localization which is originally a method from algebraic topology.