Skip to main content
1 of 2

A version of Peskine and Szpiro's theorem in vanishing of local cohomology

C. Peskine and L. Szpiro in "Dimension projective finie et cohomologie locale",(Proposition 4.1) proved the following vanishing theorem for local cohomology: Let$R$ be a regular local ring of characteristic $p\gneqq 0$. Let $I$ be an ideal of $R$ such that $R/I$ is a CM(i.e. Cohen-Macaulay) ring; then: $$H_I^i(M) = 0~~ \text{for each}~ i> \text{dim} R-\text{dim} R/I.$$ It is to be noted that this theorem does not extend to characteristic $0$.

But I think to a restricted version, when the characteristic is zero. My question is that if $R= K [[ x_1, x_2, ...x_n]]$, where $K$ is a field with $\text{char}~K=0$ and $R/I$ is a CM ring, is it true that: $$\text{inj}~\text{dim}~H_I^i(R) =\text{dim}~ H_I^i(R)? $$