Liaison classes of modules (Q1764841): Difference between revisions

Let \(K\) denote a field. Let \(R = \bigoplus_{n \geq 0} R_i\) denote a graded Gorenstein \(K\)-algebra (resp. a Gorenstein local ring for a parallel consideration in the local case). Let \(M\) be a finitely generated \(R\)-module. The main focus of the paper is to develop a theory of liaison for modules. To this end a perfect \(R\)-module M is called quasi-Gorenstein whenever there is an integer \(t\) and a graded isomorphism \(K \simeq K_M(t),\) where \(K_M\) denotes the canonical module of \(M,\) see e.g. [\textit{J. Herzog, E. Kunz}, Der kanonische Modul eines Cohen-Macaulay-Rings. Lect. Notes Math. 238 (1971; Zbl 0231.13009)]. Let \(C\) denote a quasi-Gorenstein \(R\)-module. For any homomorphism \(\phi : C \to M\) of \(R\)-modules such that \(\text{ im } \phi\) has the same dimension as \(C\) (the set of such homomorphisms is called \(\text{Epi}(C)\)) the author associates a new homomorphism \(L_C(\phi)\) induced via duality by \(C \to \text{ Ext}_R^c(\text{ ker} \phi, R).\) Two \(R\)-modules \(M,N\) are linked by the quasi-Gorenstein module \(C\) if there are homomorphisms \(\psi, \phi \in \text{Epi}(C)\) such that (i) \(M = \text{im} \phi, N = \text{ im} \psi,\) and (ii) \(M \simeq \text{ im} L_C(\psi), N \simeq \text{ im} L_C(\phi).\) This is a natural generalization of the linkage of ideals over Gorenstein ideals, see e.g. the reviewer's paper [J. Math. Kyoto Univ. 22, 485--498 (1982; Zbl 0506.13012)]. It is also related to previous extensions of liaison to modules as they appeared in several recent research papers. With his definition the author investigates the properties of linked modules. He discusses the Hilbert polynomials of linked modules. He constructs two maps from the set of even liaison classes of modules of fixed codimension into stable equivalence classes of certain reflexive modules. In his paper the author investigates also which properties are transferred under liaison of modules. In particular, he shows that the projective dimension as well as the indermediate local cohomology modules are preserved in an even module liaison class. The same kind of preservation is true for the property of being Cohen-Macaulay, locally Cohen-Macaulay, Buchsbaum, and surjective Buchsbaum in the whole module liaison class. In the case of a domain and of codimension one there is the following nice characterization: \(M\) is a perfect \(R\)-module of codimension one if and only if \(M\) belongs to the module liaison class of \(R/aR\) for some \(a \not= 0.\)