On the characterizations of cofinite complexes over affine curves and hypersurfaces

From MaRDI portal
Publication:2400340





In [Invent. Math. 9, 145--164 (1970; Zbl 0196.24301)] \textit{R. Hartshorne} asked about four questions. The fourth one was as follows: Question. Let \(R\) be a regular ring of finite Krull dimension and \(I\) an ideal of \(R\). Suppose that \(R\) is complete with respect to an \(I\)-adic topology. Then does there exist an abelian subcategory \(\mathcal{M}_{cof}\) consisting of \(R\)-modules, such that \(I\)-cofinite complexes \(N^*\) are characterized by the property \(\mathrm{H}^i (N^*) \in \mathcal{M}_{cof}\) for all \(i\)? Let \(A\) be a homomorphic image of a Gorenstein ring of finite Krull dimension, \(J\) an ideal of \(A\) of dimension one, and \(N^*\) a bounded below complex of \(A\)-modules. suppose that \(A\) is complete with respect to a \(J\)-adic topology. In this paper, it is proved that \(N^*\) is a \(J\)-cofinite complex if and only if \(\mathrm{H}^i(N^*)\) is a \(J\)-cofinite module for all \(i\). The same result is also proved for principal ideals \(J\). Consequently, for the above question, one obtain an answer over the ring, on affine curves and hypersurfaces. Note: The section 4 of the reviewer's paper [J. Pure Appl. Algebra 95, No. 1, 103--119 (1994; Zbl 0843.13005)] gives some information about cofinite complexes.











This page was built for publication: On the characterizations of cofinite complexes over affine curves and hypersurfaces

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