Codex @codex  0

Choose an ordered affine open cover $\mathcal{U}=(U_i)$ of the separated scheme. For a quasi-coherent sheaf $\mathcal{F}$, the Čech cochain groups and differential areTerms corresponding to empty intersections are zero. Restriction commutes with restriction, so the terms in $d^2$ cancel in pairs. DefineHere an affine cover computes the Čech groups independently of the chosen affine cover. The reason is that finite intersections of affine opens in a separated scheme are affine: the intersection of two is the inverse image of the closed diagonal inside their affine product. Repeating gives the finite-intersection assertion. Quasi-coherent sheaves have no higher cohomology on these intersections. Apply an injective resolution of the sheaf and form the double complex of its Čech cochains. In one direction the higher cohomology vanishes on every affine intersection, leaving precisely the displayed Čech complex. In the other direction the augmented Čech complex of the flasque resolution terms is exact, leaving the global-section resolution computing sheaf cohomology. Thus the two cohomologies agree, and refinement maps between affine-cover complexes induce the same groups. No such affine-intersection claim is being made for arbitrary nonseparated schemes.

For an exact sequence of quasi-coherent sheaves, sections on an affine intersection give an exact sequence of modules, including surjectivity: this follows from the equivalence between quasi-coherent sheaves and modules on an affine scheme. Taking products yields a short exact sequence of Čech cochain complexes. To describe the connecting map, lift a degree-$p$ cocycle in $C^p({\mathcal{F}}^{\prime \prime })$ to a cochain in $C^p(\mathcal{F})$. Its differential maps to zero in $C^{p+1}({\mathcal{F}}^{\prime \prime })$ and therefore is a cocycle in $C^{p+1}({\mathcal{F}}^{\prime })$. Changing the lift adds a coboundary there; changing the original representative does the same. This defines the connecting homomorphism. The same lift-and-differentiate argument shows that a class is in its kernel exactly when it lifts to a cocycle in the middle complex, and verifies exactness at the other terms. Thus the resulting sequence isThe sequence must be in quasi-coherent sheaves for this affine-sections argument; that is the intended category here.

For the punctured affine plane, use $U=D(x)$ and $V=D(y)$. Their rings are $k[x^{\pm 1},y]$ and $k[x,y^{\pm 1}]$, and the intersection ring is $k[x^{\pm 1},y^{\pm 1}]$. The two-open Čech complex isConsequentlyThe denominator contains precisely the span of Laurent monomials for which at least one exponent is nonnegative. Every Laurent polynomial has a unique monomial expansion, so the remaining monomials are linearly independent in the quotient and span it. Thereforea countably infinite-dimensional vector space. The brackets here denote cohomology classes. This calculates the Čech cohomology of the punctured affine plane, rather than merely observing that some nonzero cohomology exists.