For Gorenstein quotient spaces C d =G, a direct generalization of the classical McKay correspondence in dimensions d 4 would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstei...

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for example, we prove that a scheme is Goren...

We study the concept of liaison addition for codimension two subschemes of an arithmetically Gorenstein projective scheme. We show how it relates to liaison and biliaison classes of subschemes and use it to investigate the structure of Gorenstein liaison equivalence classes, extending the known theory for complete intersection liaison of codimension two subschemes. In particular, we show that o...

For Gorenstein quotient spaces C/G, a direct generalization of the classical McKay correspondence in dimensions d ≥ 4 would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein...

We investigate the relationship between level of a bounded complex over commutative ring with respect to class Gorenstein projective modules and other invariants or ring, such as dimension, Krull dimension. The results build upon work done by J. D. Christensen [7], H. Altmann et al. [1], Avramov [4] for levels finitely generated modules.

Fix integers r, k, g with r > k > 0 and g ≥ 2. Let X be an integral projective curve with g := pa(X) and E a rank r torsion free sheaf on X which is a flat limit of a family of locally free sheaves on X. Here we prove the existence of a rank k subsheaf A of E such that r(deg(A)) ≥ k(deg(E)) − k(r − k)g. We show that for every g ≥ 9 there is an integral projective curve X,X not Gorenstein, and a...