Let X be a codimension 1 subvariety of dimension > 1 of a variety of minimal degree Y . If X is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then X is Arithmetically Gorenstein and we characterise such subvarieties X of Y via apolarity as those whose apolar hypersurfaces are Fermat.

We will introduce the notion of Gorenstein category as the convenient setup for doing Gorenstein Homological Algebra in categories of sheaves, or in general in categories without enough projective objects. We will illustrate this notion by showing that the category of Qcoh(X) of quasi-coherent sheaves on a locally Gorenstein projective scheme fits into this setup. Then we will focus on the cate...

Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring  . It is shown that Gorenstein homological dimensions  of an  -RΓ module M with respect to a semi-dualizing module,  are equal over R and RΓ  .

Let R be a left and right Noetherian ring. We introduce the notion of the torsionfree dimension of finitely generated R-modules. For any n 0, we prove that R is a Gorenstein ring with self-injective dimension at most n if and only if every finitely generated left R-module and every finitely generated right R-module have torsionfree dimension at most n, if and only if every finitely generated le...

Let Λ and Γ be artin algebras and ΛUΓ a faithfully balanced selforthogonal bimodule. In this paper, we first introduce the notion of k-Gorenstein modules with respect to ΛUΓ and then characterize it in terms of the U -resolution dimension of some special injective modules and the property of the functors Ext(Ext(−, U), U) preserving monomorphisms, which develops a classical result of Auslander....

Let Λ and Γ be artin algebras and ΛUΓ a faithfully balanced selforthogonal bimodule. In this paper, we first introduce the notion of k-Gorenstein modules with respect to ΛUΓ and then characterize it in terms of the U -resolution dimension of some special injective modules and the property of the functors Exti(Exti(−, U), U) preserving monomorphisms, which develops a classical result of Auslande...