Locally cohomologically complete intersection ideals and cofiniteness

DOI10.1142/S0219498825503293MaRDI QIDQ6878588zbMATH OpenFDO

Authors Khadijeh Ahmadi-Amoli, Majid Eghbali, Mohamad Sadegh Azimpour

Publication date 6 January 2026

Published in Journal of Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0219498825503293

zbMATH Keywords

cofiniteness local cohomology modules locally cohomologically complete intersection ideals

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Complete intersections (14M10)

Review text

Let \((R,\mathfrak{m})\) denote a complete local domain of dimension \(n > 2\). Let \(I \subset R\) denote an ideal of pure heigt \(n-2\) with a primary decomposition \(\operatorname{Rad}I = \bigcap_{i=1}^t \mathfrak{p}_i\) such that \(\mathfrak{p}_j +\bigcap_{i=1, i \not=j}^t = \mathfrak{m}\). For these ideals the authors prove several properties, among them: (1) The natural map of local cohomology modules \(H_I^{n-1}(R) \to H_{\mathfrak{m}}(R)\) is surjective. (2) If \(R\) is in addition a Gorenstein ring, then the support of the Matlis dual of \(H_I^{n-1}(R)\) equals \(\operatorname{Spec} (R)\). -- In the second part of the paper let \(I \subset R\) be an ideal of a complete local ring \((R,\mathfrak{m})\) of dimension \(n\) and \(h = \operatorname{height} I\). They prove results about the cofiniteness of \(H^h_I(R)\). Moreover, they investigate conditions under which the modules \(\operatorname{Ext}_R^i(N,H^n_{\mathfrak{m}}(R))\) are of finite length for all \(i > 0\) and all finitely generated \(R\)-modules \(N\).

Cites work

This page was built for publication: Locally cohomologically complete intersection ideals and cofiniteness

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