Let
denote a noetherian ring, let
denote an ideal and let
be another element. Let
be the corresponding cohomology class and let
-
![{\displaystyle {}B=R[T_{1},\ldots ,T_{n}]/{\left(f_{1}T_{1}+\cdots +f_{n}T_{n}-f\right)}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2568023519753fbcac4479cffcb144a2e3596a76)
denote the forcing algebra for these data.
Then the scheme
![{\displaystyle {}\operatorname {Spec} {\left(B\right)}{|}_{D(I)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a470ccd06f3c3450c7e8babf371acacfc7e9f881)
together with the natural action of the syzygy bundle on it is isomorphic to the torsor given by
![{\displaystyle {}c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d2794899b1a96451d3fd7e34196028f55adb8cd)
.