Let (R,m, k) be a noetherian local ring. It is well-known that R is regular if and only if the injective dimension of k is finite. In this paper it is shown that R is Gorenstein if and only if the Gorenstein injective dimension of k is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein injective dimension. ...

Several kinds of quotient triangulated categories arising naturally in representations of algebras are studied; their relations with the stable categories of Frobenius exact categories are investigated; the derived categories of Gorenstein algebras are explicitly computed inside the stable categories of the graded module categories of the corresponding trivial extension algebras; new descriptio...

In this paper, we establish, as a generalization of a result on the classical homological dimensions of commutative rings, an upper bound on the Gorenstein global dimension of commutative rings using the global cotorsion dimension of rings. We use this result to compute the Gorenstein global dimension of some particular cases of trivial extensions of rings and of group rings.

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. Mathematics Subject Classification (2000). 13C05, 13D05, 13H10.

We characterize the postulation character of arithmetically Gorenstein curves in P 4. We give conditions under which the curve can be realized in the form mH −K on some ACM surface. Finally, we strengthen a theorem of Watanabe by showing that any general arithmetically Gorenstein curve in P4 can be obtained from a line by a series of ascending complete-intersection biliaisons.

In this paper we prove that a normal Gorenstein surface dominated by P 2 is isomorphic to a quotient P 2 /G, where G is a finite group of automorphisms of P 2 (except possibly for one surface V ′ 8). We can completely classify all such quotients. Some natural conjectures when the surface is not Gorenstein are also stated.

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