The canonical module. Gorenstein rings

Abstract

The concept of a canonical module is of fundamental importance in the study of Cohen–Macaulay local rings. The purpose of this chapter is to introduce the canonical module and derive its basic properties. By definition it is a maximal Cohen–Macaulay module of type 1 and of finite injective dimension. In the first two sections we investigate the injective dimension of a module, and prove Matlis duality which plays a central role in Grothendieck's local duality theorem. Actually the canonical module has its origin in this theory. Here the canonical module is introduced independently of local cohomology which is an important notion in itself and will be treated later in this chapter. A ring which is its own canonical module is called a Gorenstein ring. Next to regular rings and complete intersections, Gorenstein rings are in many ways the ‘nicest’ rings. Distinguished by the fact that they are of finite injective dimension, they have various symmetry properties, as reflected in their free resolution, their Koszul homology, and their Hilbert function. The last aspect will be discussed in the next chapter. Gorenstein rings of embedding dimension at most two are complete intersections. The first non-trivial Gorenstein rings occur in embedding dimension three, and they are classified by the Buchsbaum–Eisenbud structure theorem. In the final section the canonical module of a graded ring is introduced. Finite modules of finite injective dimension In this section we study injective resolutions of finite modules. We shall see that the injective dimension of a finite module M over a Noetherian local ring R either is infinite or equals the depth of R , and is bounded below by the dimension of M .