Erzwingende Algebra/Primäres Ideal/Induzierter Torsor/en/Fakt/Beweis

Beweis

We compute the cohomology class ${}\delta (f)\in H^{1}(U,\operatorname {Syz} {\left(f_{1},\ldots ,f_{n}\right)})$ and the cohomology class given by the forcing algebra. For the first computation we look at the short exact sequence

$0\longrightarrow \operatorname {Syz} {\left(f_{1},\ldots ,f_{n}\right)}\longrightarrow {\mathcal {O}}_{U}^{n}{\stackrel {f_{1},\ldots ,f_{n}}{\longrightarrow }}{\mathcal {O}}_{U}\longrightarrow 0.$

On ${}D(f_{i})$, the element ${}f$ is the image of ${}\left(0,\ldots ,0,\,{\frac {f}{f_{i}}},\,0,\ldots ,0)\right)$ (the non-zero entry is at the ${}i$th place). The cohomology class is therefore represented by the family of differences

$\left(0,\ldots ,0,\,{\frac {f}{f_{i}}},\,0,\ldots ,0,\,-{\frac {f}{f_{j}}},\,0,\ldots ,0\right)\in \Gamma (D(f_{i})\cap D(f_{j}),\operatorname {Syz} {\left(f_{1},\ldots ,f_{n}\right)}).$

On the other hand, there are isomorphisms

$V{|}_{D(f_{i})}\longrightarrow T{|}_{D(f_{i})},\,\left(s_{1},\ldots ,s_{n}\right)\longmapsto \left(s_{1},\ldots ,s_{i-1},\,s_{i}+{\frac {f}{f_{i}}},\,s_{i+1},\ldots ,s_{n}\right).$

The composition of two such isomorphisms on ${}D(f_{i}f_{j})$ is the identity plus the same section as before.

Zur bewiesenen Aussage