Arrangements of ideals in a commutative algebra (Q4953310)

Let \(A\) be a commutative ring. An arrangement of ideals in \(A\) is a finite sequence of ideals of \(A\). Let \((I_1,\dots,I_n)\) be an arrangement of ideals in \(A\). The author associates the complex \(C^*(I_1, \dots,I_n)\) where \((C^s)_{s=-1,0, \dots,n+1}\) is the family of modules given by \(C^{-1}= C^{n+1}=0\), \(C^0=A\), and \(C^s=\prod_{i_1< \cdots< i_s}A/(I_{i_1}+ \cdots+ I_{i_s})\) and the \(A\)-module homomorphisms \(\delta^{s-1}: C^{s-1}\to C^s\) \((s=0, \dots, n+1)\) given by \(\delta^{s-1} ((x_{i_1 \cdots i_{s-1}})_{i_1< \cdots<i_{s-1}})= (y_{i_1 \cdots i_s})\) with \(y_{i_1 \cdots i_s}= \sum^n_{k=1}(-1)^{k+1} x_{i_1< \cdots< \widehat{i_k} <\cdots< i_s}\) (image in the appropriate quotient module). For a positive integer \(t\) with \(1\leq t\leq n\), \((I_1,\dots,I_n)\) is \(t\)-complete (respectively, complete) if \(H^s(C^*(I_1, \dots,I_n))=0\) for \(s=1, \dots,t\) (respectively, all \(s>0)\). Some examples are given and it is shown that \((I_1,\dots, I_n)\) is 1-complete if \(\bigcap^n_{i=k+1} (I_k+I_i)= I_k+ \bigcap^n_{i=k+1} I_i\) for \(k=1,2,\dots,n-2\). The following theorem is proved: Let \(A\) be a (Noetherian) local domain whose integral closure is finitely generated over \(A\). Assume that there exists an arrangement \((p_1,\dots,p_n)\) of prime ideals of height one satisfying (1) \((p_1,\dots,p_n)\) is 1-complete, (2) \(p_1\cap\cdots\cap p_n\) is a principal ideal, and (3) each \(p_i+ p_j\) is a prime ideal. Then \(A\) is normal. Note that for \(n=1\), this is just the classical result that if \(p\) is a principal prime of \(A\) with \(A/p\) is normal, then \(A\) is normal.