Residual intersections and core of modules

DOI10.1016/J.JALGEBRA.2023.03.035MaRDI QIDQ6155812zbMATH OpenOpenAlexFDO

Authors Alessandra Costantini, Louiza Fouli, Jooyoun Hong

Publication date 7 June 2023

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

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

zbMATH Keywords

corereductionsresidual intersections

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Other special types of modules and ideals in commutative rings (13C13) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: We introduce the notion of residual intersections of modules and prove their existence. We show that projective dimension one modules have Cohen-Macaulay residual intersections, namely they satisfy the relevant Artin-Nagata property. We then establish a formula for the core of orientable modules satisfying certain homological conditions, extending previous results of Corso, Polini, and Ulrich on the core of projective one modules. Finally, we provide examples of classes of modules that satisfy our assumptions.

Review text

Let \(I\) be an ideal of height \(g\) and analytic spread \(\ell\) in a Gorenstein local ring \(R\). The \textit{core} of \(I\) is the (possibly infinite) intersection of all \textit{minimal reductions} of \(I\). If \(R\) and \(I\) satisfies certain technical conditions, then \textit{A. Corso} et al. proved in [Trans. Am. Math. Soc. 354, No. 7, 2579--2594 (2002; Zbl 1013.13001)] that the following conditions are equivalent: \begin{itemize} \item[(a)] \(\mathrm{core}(I) = (J :_R I)I = (J :_R I)J\) for every minimal reduction \(J\) of \(I\); \item[(b)] the colon ideal \((J :_R I)\) does not depend on the minimal reduction \(J\) of \(I\); \item[(c)] the reduction number of \(I\) is at most \(\ell - g + 1\). \end{itemize} The notions of core, reduction and \textit{Rees algebra} can be generalized to finitely generated modules which have \textit{ranks}. Afterwards, \textit{A. Corso} et al. extended the above result to modules of projective dimension one in [Manuscr. Math. 111, No. 4, 427--433 (2003; Zbl 1029.13013)]. In the paper under review, the authors provide another extension to the \textit{orientable modules} satisfying certain homological conditions. After proving the main result, several examples of classes of modules that satisfy the assumptions are also explained. Since the core of the ideal/module is closely related to the \textit{residual intersection}, a considerable part is devoted to study this topic.

Recommendations

• Core of projective dimension one modules
• The core of an ideal in Cohen-Macaulay rings
• A formula for the core of an ideal
• The core of ideals in arbitrary characteristic
• A formula for the *-core of an ideal
• Multiplicities and Reduction Numbers
• Cohen–Macaulayness of Rees Algebras of Modules
• Residual intersections and modules with Cohen-Macaulay Rees algebra
• Core of ideals of Noetherian local rings
• Coefficient ideals and the Cohen-Macaulay property of Rees algebras

Cites work

• \(j\)-multiplicity and depth of associated graded modules
• Adjoints of ideals in regular local rings (with an appendix by Steven Dale Cutkosky)
• Analytic spread and integral closure of integrally decomposable modules
• Approximation complexes of blowing-up rings. II
• Artin-Nagata properties, minimal multiplicities, and depth of fiber cones
• Cohen-Macaulay fiber cones and defining ideal of Rees algebras of modules
• Complete intersections and symmetric algebras
• Core and residual intersections of ideals
• Core of projective dimension one modules
• Cores of ideals in 2-dimensional regular local rings
• General elements and joint reductions
• Hilbert functions, residual intersections, and residually S₂ ideals
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 589393 (Why is no real title available?)
• scientific article; zbMATH DE number 929707 (Why is no real title available?)
• Ideals Having the Expected Reduction Number
• Ideals with sliding depth
• Linkage and the Koszul Homology of Ideals
• Minimal reductions and cores of edge ideals
• Rees algebras of edge ideals
• Rees Algebras of Modules
• Residual intersections and modules with Cohen-Macaulay Rees algebra
• Residual intersections in Cohen-Macaulay rings
• Strongly Cohen-Macaulay Schemes and Residual Intersections
• The structure of the core of ideals
• What annihilates a module?
• What is the Rees algebra of a module?

Cited in

(7)

• The core of a module over a two-dimensional regular local ring
• Core of projective dimension one modules
• Cohen–Macaulayness of Rees Algebras of Modules
• scientific article; zbMATH DE number 1159137 (Why is no real title available?)
• scientific article; zbMATH DE number 2157075 (Why is no real title available?)
• Cohen-Macaulayness and canonical module of residual intersections
• Residual intersections and linear powers

This page was built for publication: Residual intersections and core of modules

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