On the characterizations of cofinite complexes over affine curves and hypersurfaces (Q2400340)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the characterizations of cofinite complexes over affine curves and hypersurfaces |
scientific article |
Statements
On the characterizations of cofinite complexes over affine curves and hypersurfaces (English)
0 references
28 August 2017
0 references
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.
0 references
local cohomology
0 references
cofinite complex
0 references
cofinite module
0 references
abelian category
0 references
0 references