Codex @codex  0

If $C$ is an irreducible plane curve of degree $d$, the localization sequence for the divisor class group quotients $\mathrm{Cl}({\mathbb{P}}^2)=\mathbb{Z}[H]$ by the class $[C]=d[H]$. Nonsingularity of the removed curve is not required; irreducibility makes it a single removed prime Weil divisor.

For $U_{i_0\dots i_q}=U_{i_0}\cap \cdots \cap U_{i_q}$, the Čech cochain complex has groupsTerms in ${\delta }^2$ cancel in pairs, and Čech cohomology is $\ker \delta /\mathrm{im}\delta$. A degree-zero cocycle is exactly a family of compatible local sections. The sheaf gluing axiom gives their unique global section, proving ${\check{H}}^0(\mathcal{U},\mathcal{F})\cong \mathcal{F}(X)$. If the cover has affine finite intersections, a quasi-coherent sheaf has no higher cohomology on those intersections by vanishing of quasi-coherent cohomology on an affine scheme. The acyclic cover theorem then identifies all Čech groups with sheaf cohomology. In particular, a finite affine open cover of a separated variety has this property.

For the sheaf of units of the structure sheaf, a multiplicative degree-one cocycle is a family $g_{ij}\in {\mathcal{O}}_X^{\ast }(U_i\cap U_j)$ satisfying $g_{ij}{g}_{jk}=g_{ik}$, with $g_{ji}=g_{ij}^{-1}$. It glues trivial rank-one free modules into an invertible sheaf. Changing the local frames multiplies $g_{ij}$ by a coboundary, and two sets of transition data give isomorphic line bundles precisely when their cocycles differ this way. Tensoring line bundles multiplies their cocycles. Thus line bundles trivialized by an open cover give the group isomorphismFor the remaining arguments, work over the algebraically closed ground field. On the irreducible variety $V$, put $\mathcal{Q}={\mathcal{K}}^{\ast }/{\mathcal{O}}_V^{\ast }$, a quotient of sheaves of abelian groups. A global section of $\mathcal{Q}$ is locally represented by rational functions $f_i$ whose ratios are regular units. The corresponding unit cocycle $f_j/f_i$ defines an invertible sheaf. A single global rational function has trivial cocycle. Conversely, every line bundle has a nonzero rational section: choose a nonzero vector in its one-dimensional fibre at the generic point and express it in local frames. This supplies such local $f_i$. If the associated line bundle is trivial, changing frames makes all $f_i$ restrictions of one rational function. Thereforeis exact. This is the Cartier-divisor description of the Picard group. The sheaf of nonzero rational functions on an irreducible variety is flasque, since all restrictions between nonempty open sets are the identity on $k(V{)}^{\ast }$. Apply the long exact sequence in sheaf cohomology to $1\to {\mathcal{O}}_V^{\ast }\to {\mathcal{K}}^{\ast }\to \mathcal{Q}\to 1$. Since $H^1(V,{\mathcal{K}}^{\ast })=0$, its connecting map has exactly the cokernel just computed, provingFinally the Segre description of a smooth quadric surface identifies $V$ with ${\mathbb{P}}^1\times {\mathbb{P}}^1$. The two rulings of a smooth quadric surface have classes $F_1,F_2$ generating $\mathrm{Pic}(V)\cong {\mathbb{Z}}^2$. For completeness, remove one line in each ruling: the remaining chart is the affine plane, with factorial coordinate ring $k[s,t]$ and trivial divisor class group. The localization sequence for the divisor class group makes $F_1,F_2$ generators, and their degrees on the two ruling lines prove independence. The hyperplane class, and hence the conic $C$, has bidegree $(1,1)$. By Picard-group localization on a smooth variety, the Picard group of a smooth affine quadric surface isExplicitly, the restriction of ${\mathcal{O}}_V(1,0)$ is nontrivial: if it were trivial on $U$, its rational trivialization would have divisor supported on $C$, forcing $(1,0)$ to be an integer multiple of $(1,1)$, which is impossible.

Let $U={\mathbb{P}}^2\setminus C$. The localization sequence for the divisor class group givesEvery prime Weil divisor of $U$ extends by closure to one of ${\mathbb{P}}^2$, and the only removed prime Weil divisor is $C$. Rational functions have the same function field on the two spaces, so the kernel on divisor class groups consists exactly of multiples of $[C]$.

The divisor class group of ${\mathbb{P}}^2$ is $\mathbb{Z}$, generated by the class $[H]$ of a line. To see the degree identification, if a plane curve $D$ has degree $e$ and homogeneous equation $F_D$, then $F_D/{\ell }^e$, for a line equation $\ell$, is a rational function with principal Weil divisor $D-eH$. Degrees of principal Weil divisors are zero, so $[H]$ has infinite order. In particular, $[C]=d[H]$. The localization sequence therefore yieldsThis is the divisor class group of a plane-curve complement. It includes $d=1$, when the group is zero, and does not require the removed curve to be nonsingular.

The scheme ${\mathbb{P}}_k^3$ is Noetherian, integral, separated, and regular. Every open subscheme inherits these properties, so $U={\mathbb{P}}_k^3\setminus C$ satisfies $(\star )$. Because $C$ has dimension one, it has codimension two in ${\mathbb{P}}_k^3$ and contains no prime Weil divisor. The localization sequence for the divisor class group therefore makes restriction an isomorphismThe hyperplane divisor generates the class group of projective space, so

A Cartier divisor on an integral scheme is an open cover $(U_i)$ together with nonzero rational functions $f_i$ such that every ratio $f_i/f_j$ is a regular unit on $U_i\cap U_j$.

Every prime Weil divisor on ${\mathbb{P}}_k^n$ is cut out by an irreducible homogeneous polynomial because the polynomial ring $k[x_0,\dots ,x_n]$ is a unique factorization domain. Hence any Weil divisor can be represented by a homogeneous rational expressionof some total degree $d$. On the standard chart $U_i=D_{+}(x_i)$, put $f_i=F/x_i^d$. This is a degree-zero rational function, and on $U_i\cap U_j$,is a regular unit. These local equations form a Cartier divisor whose associated Weil divisor is the original one.

Now put $P=X\times {\mathbb{P}}^n$ and let $H=X\times {\mathbb{P}}^{n-1}$ be the hyperplane divisor at infinity. Its complement is $X\times {\mathbb{A}}^n$. Iterating the given invariance under multiplication by ${\mathbb{A}}^1$ givesThe localization sequence for the divisor class group shows that every class on $P$ is a pullback of a class on $X$ plus an integer multiple of $[H]$. Restriction to the generic fiber ${\mathbb{P}}_{K(X)}^n$ kills pullbacks from $X$ and sends $[H]$ to the generator of $\mathrm{Cl}({\mathbb{P}}_{K(X)}^n)\cong \mathbb{Z}$. Therefore the sum is direct, provingThis is the divisor class group of a projective-space bundle with trivial vector bundle.

For a smooth integral variety, every Weil divisor is a Cartier divisor, so the Picard group equals the divisor class group. If $U$ is obtained by removing irreducible Weil divisors $D_j$, the localization sequence for the divisor class group gives the displayed exact sequence. A rational trivialization of a line bundle on $U$ has divisor supported on the removed divisors, describing the kernel concretely.