Liaison classes of modules

DOI10.1016/J.JALGEBRA.2004.09.022MaRDI QIDQ1764841zbMATH OpenOpenAlexFDO

Publication date 22 February 2005

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0409496

liaison classes of modules liaison invariants linkage

Cohen-Macaulay modules (13C14) Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02)

Abstract: We propose a concept of module liaison that extends Gorenstein liaison of ideals and provides an equivalence relation among unmixed modules over a commutative Gorenstein ring. Analyzing the resulting equivalence classes we show that several results known for Gorenstein liaison are still true in the more general case of module liaison. In particular, we construct two maps from the set of even liaison classes of modules of fixed codimension into stable equivalence classes of certain reflexive modules. As a consequence, we show that the intermediate cohomology modules and properties like being perfect, Cohen-Macaulay, Buchsbaum, or surjective-Buchsbaum are preserved in even module liaison classes. Furthermore, we prove that the module liaison class of a complete intersection of codimension one consists of precisely all perfect modules of codimension one.

Review text

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

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Liaison classes of modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1764841)