Uniform annihilators of local cohomology of excellent rings (Q2456186): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2007.01.046 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1968414742 / rank | |||
Normal rank |
Revision as of 22:47, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Uniform annihilators of local cohomology of excellent rings |
scientific article |
Statements
Uniform annihilators of local cohomology of excellent rings (English)
0 references
17 October 2007
0 references
\loadeufm Let \(R\) be an excellent ring of finite dimension and \[ 0 @>>> F_n @>A_n>> F_{n-1} @>>> \cdots @>>> F_1 @>A_1>> F_0 \] a complex of finitely generated free \(R\)-modules where \(A_i\) are matrices. Assume that \(\text{rank} F_n = \text{rank} A_n\), \(\text{rank} F_i = \text{rank} A_{i+1} + \text{rank} A_i\) for each \(1 \leq i < n\) and the height of the ideal generated by the rank-size minors of \(A_i\) is at least \(i\) for each \(1 \leq i \leq n\). In 1992, \textit{C. Huneke} [Invent. Math. 107, No. 1, 203--223 (1992; Zbl 0756.13001)] conjectured that there is \(a \in R\) which depends only on \(R\), is independent of \(F_\bullet\) and is not contained in any minimal prime of \(R\) such that \(a H_i(F_\bullet) = 0\) for all \(i\). This conjecture relates to the Uniform Artin-Rees Theorem and the Uniform Briançon-Skoda Theorem. In the present paper, the author affirmatively answers this conjecture. The key of the proof is an annihilator of local cohomology modules. The author shows that there is an element \(x \in R\) which is not contained in any minimal prime of \(R\) such that it annihilates the local cohomology module \(H_{\mathfrak m}^i(R)\) for any maximal ideal \(\mathfrak m\) of \(R\) and any integer \(i < \dim R_{\mathfrak m}\). The author also shows that a power of~\(x\) is an element required in the conjecture.
0 references