Uniform annihilators of local cohomology of excellent rings (Q2456186): Difference between revisions

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