Regular ring/Dimension 2/Forcing algebra/Not inside/Affine/Fact

Let ${}(R,{\mathfrak {m}})$ denote a two-dimensional regular local ring, let ${}I={\left(f_{1},\ldots ,f_{n}\right)}$ be an ${}{\mathfrak {m}}$-primary ideal and ${}f\in R$ an element with ${}f\notin I$. Let

${}B=R[T_{1},\ldots ,T_{n}]/{\left(f_{1}T_{1}+\cdots +f_{n}T_{n}+f\right)}\,$

be the corresponding forcing algebra.

Then for the extended ideal ${}{\mathfrak {m}}B$ we have

${}H_{{\mathfrak {m}}B}^{2}(B)=H^{1}(D({\mathfrak {m}}B),{\mathcal {O}}_{B})=0\,.$

In particular, the open subset ${}D({\mathfrak {m}}B)$ is an affine scheme if and only if ${}f\notin I$.

Write a proof