Skip to main content
2 of 2
Clarification
A. Pascal
  • 1.3k
  • 1
  • 10
  • 20

Cohomology vanishing for formal completions of modules?

Let $A$ be a ring, Noetherian or even of finite type over a field if necessary. Let $I$ be an ideal in $A$, $\widehat{A}$ the formal completion of $A$ along $I$, $M$ an $A$-module, finitely generated if necessary, and $\widehat{M}$ the formal completion. Then the sheaf cohomology $H^{i}(Spec(A),M)=0$ for $i > 0$.

Is the same true for $\widehat{M}$ on the formal completion? (Clarification based on the below comment: The underlying topological space of the formal completion is $Spec(A/I)$, not $Spec(\widehat{A}))$, thus there is something to prove.)

A. Pascal
  • 1.3k
  • 1
  • 10
  • 20