On injective resolutions of local cohomology modules (Q887284)

Let \(R\) be a commutative Noetherian ring with identity. Let \(X:=\mathrm{Spec} R\) equipped with its Zariski topology. For any locally closed subset \(Y\) of \(X\), let \(H_Y^i(-)\) denote the \(i^{th}\) local cohomology functor with support in \(Y\). For any two closed subsets \(Y_2\subseteq Y_1\) of \(X\), there is a long exact sequence of functors \[ \cdots \longrightarrow H_{Y_1}^i(-)\longrightarrow H_{Y_2}^i(-)\longrightarrow H_{Y_1\setminus Y_2}^i(-)\longrightarrow H_{Y_1}^{i+1}(-)\longrightarrow \cdots . \] An endofunctor \(\mathcal{T}\) on the category of \(R\)-modules and \(R\)-homomorphisms is called a Lyubeznik functor if \(\mathcal{T}=\mathcal{T}_1\circ\mathcal{T}_2\circ\cdots \circ\mathcal{T}_m\) where each functor \(\mathcal{T}_j\) is either \(H^i_Y(-)\) for some locally closed subset \(Y\) of \(X\) or the kernel, image or cokernel of some arrow in the above long exact sequence for some closed subsets \(Y_2\subseteq Y_1\) of \(X\). Let \(K\) be a field of characteristic zero and \(R:=K[X_1,\dots, X_n]\). Also, let \(\mathcal{T}\) be a Lyubeznik functor and \(c\) denote the injective dimension of \(\mathcal{T}(R)\). The main result of this paper asserts that if \(\mathfrak{p}\) is a prime ideal of \(R\) with Bass number \(\mu^{c}(\mathfrak{p},\mathcal{T}(R))>0\), then \(\mathfrak{p}\) is a maximal ideal of \(R\).