On the unmixedness and universal catenaricity of local rings and local cohomology modules (Q2518366)

Let \((R,m)\) be a commutative noetherian local ring and \(M\) a finitely generated \(R\)-module. For each integer \(i\), set \(P \text{supp}^i_R(M):=\{p\in \text{Spec} R:H^{i-\dim(R/p)} _{pR_p} (M_p)\neq 0\}\). Also, \(M\) is called unmixed, if \(\dim \widehat{R}/P=\dim M\) for all \(P\) in \(\text{Ass}_{\widehat{R}}\widehat{M}\). This is an easy observation that \(\text{Ann}_R (M/pM) = p\) for all \(p\in \text{Var}(\text{Ann}_R M)\). Denotes the dual statement of this observation by the symbol \((\ast)\). The property \((\ast)\) is not true even for Artinian modules (there is an Artinian module \(A\) and a prime ideal \(p\in Var(\text{Ann}_R A)\) such that \(\text{Ann}_R (0 :_A p) \neq p\)). There are two main results in the paper. The first one gives a characterization of \((\ast)\) for the local cohomology modules \(H^{i}_{m}(M)\) in the terms that ``the equality \(Psupp^i_R(M)=\text{supp}(\text{Ann}_R(H^{i}_{m}(M)))\) holds''. This shows that the ring \(R/\text{Ann}_R(H^{i}_{m}(M))\) is catenary. By assuming \((\ast)\) for all local cohomology modules \(H^{i}_{m}(M)\) (\(i<\dim M\)), the second one shows that the ring \(R/p\) is unmixed for all \(p\) in \(\text{Ass}M\) and the ring \(R/\text{Ann}_RM\) is universally catenary.