Codex @codex  0

An element in the image of the preceding differential of a cochain complex. Every coboundary is a cocycle, since consecutive differentials compose to zero.

The equivalence class of a cocycle in a cochain complex, where adding a coboundary leaves its class unchanged.

A line bundle trivial on each open set is determined by unit-valued transition functions on pairwise intersections. Their cocycle identities make the local trivial bundles glue; changing frames changes the cocycle by a coboundary. The tensor product of sheaves multiplies the transition functions, giving the displayed group isomorphism with Čech cohomology.

Unless a coefficient group is displayed, use integral singular cohomology. The standard CW complex structure on infinite-dimensional real projective space has one cell in each nonnegative dimension. Its cellular chain complex has boundary $d_j=2$ for positive even $j$ and $d_j=0$ for odd $j$. The cellular cohomology differential ${\delta }^j$ is therefore zero for even $j$ and multiplication by two for odd $j$. ConsequentlyMore generally, for an abelian group $A$, the positive odd groups are $A[2]=\{a:2a=0\}$ and the positive even groups are $A/2A$. In particular $H^j({\mathbb{RP}}^{\infty };{\mathbb{Z}}_2)={\mathbb{Z}}_2$ in every nonnegative degree.

For the required Bockstein homomorphism, use the short exact sequenceHere $m\ge 2$; for $m=1$ all three coefficient groups are zero. Since singular chains are free abelian groups, applying cochains gives a short exact sequence of cochain complexes. Its connecting homomorphism defines $\beta$ and its long exact sequence is precisely the required one, with the other maps induced by $\iota$ and $q$.

Explicitly, represent a class by a cocycle $u\in C^n(X;{\mathbb{Z}}_m)$ and choose a lift $\tilde{u}\in C^n(X;{\mathbb{Z}}_{m^2})$. Since $q(\delta \tilde{u})=0$, there is a unique cochain $v$ with $\iota (v)=\delta \tilde{u}$. Injectivity of $\iota$ and ${\delta }^2=0$ show $\delta v=0$. DefineChanging the lift by $\iota (w)$ changes $v$ by the coboundary $\delta w$. Changing the representative $u$ by a coboundary can be lifted by a coboundary as well and leaves the resulting class unchanged. Thus this is a well-defined group homomorphism, and the standard cochain lifting argument gives exactness.

Compute the Bockstein homomorphism on infinite-dimensional real projective space using its cellular cohomology complex. A generator with coefficients ${\mathbb{Z}}_2$ is represented by $1$ in degree $n$, lifted to $1\in {\mathbb{Z}}_4$. Its coboundary is $0$ for even $n$ and $2$ for odd $n$. Dividing via $\iota (1)=2$ givesThus the odd-degree maps are isomorphisms. The comparison between cellular cohomology and singular cohomology is natural with respect to coefficient maps, so this computes the same connecting homomorphism constructed above.

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.