Locally cohomologically complete intersection ideals and cofiniteness (Q6878588)

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