Finiteness properties of local cohomology modules for regular local rings of mixed characteristic: the unramified case (Q2707896)

Let \(R\) be a regular local ring and \(I \subsetneq R\) an ideal. We know that (1) the local cohomology modules \(H_I^i(R)\) have only finitely many associated primes; (2) all the Bass numbers of \(H_I^i(R)\) are finite if \(R\) is equidimensional. In the present paper, the author shows (1) and (2) when \(R\) is of mixed characteristic but unramified. In this case, the completion \(\widehat R\) of \(R\) is a formal power series ring over a complete discrete valuation ring \(K\). Let \(D = D(\widehat R, K)\) be the ring of \(K\)-linear differential operators of \(\widehat R\). Then \(H_I^i(\widehat R)\) is a \(D\)-module. The proof of (1) and (2) is based on a detailed theory of \(D\)-modules.