Codex @codex  0

Let $V\subseteq U$ be open subsets, and let $s\in {\mathcal{F}}_3(V)$. The assumed flasque-kernel section-lifting lemma lifts $s$ to $\tilde{s}\in {\mathcal{F}}_2(V)$. Since ${\mathcal{F}}_2$ is a flabby sheaf, extend $\tilde{s}$ to a section on $U$, then project to ${\mathcal{F}}_3(U)$. Its restriction is $s$. Thus every restriction map of ${\mathcal{F}}_3$ is surjective, proving that the quotient of two flabby sheaves in a short exact sequence is flabby.

For the construction of sheaf cohomology, embed a sheaf of abelian groups $\mathcal{F}$ into the sheafby sending a section to all its germs. This is injective because a section with every germ zero is zero. Arbitrary families of stalk elements glue point by point, and restriction maps are projections; hence $C(\mathcal{F})$ is a flabby sheaf. Set ${\mathcal{Q}}^0=\mathcal{F}$, ${\mathcal{I}}^j=C({\mathcal{Q}}^j)$ and ${\mathcal{Q}}^{j+1}={\mathcal{I}}^j/{\mathcal{Q}}^j$. Compose the quotient map with the next embedding to obtain the flasque resolutionThe sheaf cohomology groups are the cohomology groups of the resulting cochain complex of global sections:The usual comparison of resolutions identifies this construction with the right derived functors of global sections; the construction above is the Godement resolution.

If $\mathcal{F}$ is itself a flabby sheaf, the quotient argument shows inductively that every ${\mathcal{Q}}^j$ is flabby. The assumed lifting result therefore makesan exact sequence for every $j$. The global-section complex is consequently exact in every positive degree. In particular,This establishes the vanishing from the section-lifting property rather than assuming it in advance.

For the smooth algebraic curve $X$, a divisor on an algebraic curve is a finite formal sum $D={\sum }_P{n}_{P}P$ of closed points with integer coefficients. At each closed point, the local ring of a smooth algebraic curve is a discrete valuation ring; write its normalized discrete valuation as $v_P$. For $f\in k(X{)}^{\ast }$ the principal divisor is $\mathrm{div}(f)={\sum }_P{v}_P(f)P$. Only finitely many coefficients are nonzero: zeros and poles are proper closed subsets in the Noetherian Zariski topology of a curve. The divisor class group is the abelian groupEquivalently, its elements are divisors on an algebraic curve modulo linear equivalence of divisors.

The exterior derivative is an $\mathbb{R}$-linear operator $d:{\Omega }^r(M)\to {\Omega }^{r+1}(M)$ which agrees with the differential of a smooth function on degree zero, satisfies $d^2=0$, and obeys the graded Leibniz rule

For the uniqueness of the exterior derivative from its axioms, first note that these axioms force locality. If $\alpha$ vanishes near $p$, choose a smooth bump function $\chi$ equal to one near $p$ and supported where $\alpha =0$. Then $0=d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $d\alpha (p)=0$. Thus $d\alpha (p)$ depends only on the form near $p$.

In a coordinate chart write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_r}$. Since $d(d{x}^i)=d^2{x}^i=0$, the axioms forceThis also proves existence. Define $d$ by that formula in each chart. The product rule for partial derivatives gives the graded Leibniz rule, and symmetry of mixed partial derivatives against antisymmetry of the wedge product of differential forms gives $d^2=0$. On overlaps it still agrees with the differential of every function, by the chain rule, so the preceding uniqueness argument in the second coordinate system makes the formulas agree. They therefore glue to a global exterior derivative.

For a differential one-form $\omega ={\sum }_i{a}_{i}d{x}^i$, the exterior derivative of a one-form evaluated on vector fields follows directly:In $X(\omega (Y))-Y(\omega (X))$, the additional terms are ${\sum }_i{a}_i[X(Y^i)-Y(X^i)]=\omega ([X,Y])$, where the bracket is the Lie bracket of vector fields. Hence

The de Rham cohomology iswith zero denominator in degree zero. The Poincaré lemma states that a closed differential form of positive degree on a star-shaped open subset of Euclidean space is an exact differential form; consequently every closed positive-degree form is locally exact on a smooth manifold.

For the suspension isomorphism for top de Rham cohomology of spheres, put $U=S^n\setminus \{\text{south pole}\}$ and $V=S^n\setminus \{\text{north pole}\}$. Both are diffeomorphic to ${\mathbb{R}}^n$, while $W=U\cap V$ deformation retracts onto the equatorial $S^{n-1}$. The Mayer--Vietoris sequence for de Rham cohomology comes from the short exact sequence of cochain complexesThe final map is surjective: a partition of unity ${\chi }_U+{\chi }_V=1$ lets a form $\eta$ on $W$ be lifted by extending ${\chi }_V\eta$ to $U$ and $-{\chi }_U\eta$ to $V$ by zero. The Poincaré lemma makes $H^{n-1}(U),H^{n-1}(V),H^n(U),H^n(V)$ vanish when $n>1$. Exactness givesIf $j:S^{n-1}\hookrightarrow W$ is the equatorial inclusion, homotopy invariance of de Rham cohomology makes $j^{\ast }$ an isomorphism. Thereforeis injective, indeed an isomorphism. Concretely, choose local primitives $d{\alpha }_U=\omega {|}_U$, $d{\alpha }_V=\omega {|}_V$, and send $[\omega ]$ to $[j^{\ast }({\alpha }_U-{\alpha }_V)]$. Their difference is closed; changing either primitive changes it by an exact form, so this agrees with the cohomological construction.

Use the short exact sequence of coefficient groupsThe groups of singular chains are free, so applying the cochain construction gives a short exact sequence of cochain complexes. Its long exact sequence in cohomology has the required terms and reduction map $r_{\ast }$. Define the Bockstein homomorphism to be its connecting homomorphism.

Explicitly, represent $x$ by a mod-$p$ cocycle $a$ and lift it to an integral singular cochain $A$. Since $a$ is a cocycle, $\delta A$ is divisible by $p$. ThenThis is exactly the lift-and-coboundary construction for the coefficient sequence above: the mod-$p^2$ coboundary of $A$ lies in the image of $j$. The quotient cochain is a cocycle, since ${\delta }^{2}A=0$ and integral cochains have no $p$-torsion. Replacing $A$ by another lift adds $pC$ and changes the quotient by $\delta C$ modulo $p$; replacing the representative by a coboundary likewise leaves its cohomology class unchanged. Thus the definition is independent of choices.

A degree-zero cocycle is a function on points constant on each path component. Choose an integer representative for its value on each component. This produces an integral zero-cocycle lift, with zero coboundary. Hence the Bockstein vanishes on $H^0(X;{\mathbb{F}}_p)$ for every space.

For a nonzero example in every positive degree $i$, take the Moore space $X=S^i{\cup }_p{e}^{i+1}$, attaching the cell by a map of mapping degree $p$. Its positive-degree integral cellular cochain complex has the differential $\mathbb{Z}\stackrel{p}{\to }\mathbb{Z}$ from degree $i$ to $i+1$; when $i=1$, the preceding differential from degree zero is zero. Modulo $p$ the displayed differential vanishes, and $H^i(X;{\mathbb{F}}_p)=H^{i+1}(X;{\mathbb{F}}_p)={\mathbb{F}}_p$. Lift the degree-$i$ generator to the cellular cochain with value one. Its coboundary has value $p$, so dividing by $p$ gives the generator in degree $i+1$. Naturality of cellular and singular cohomology with coefficient sequences identifies this with the Bockstein on a cyclic Moore space. Therefore $\beta$ is nonzero, indeed an isomorphism, in the requested degree for every prime $p$.

Finally take integral lifts $A,B$ of cocycles representing $x\in H^i(X;{\mathbb{F}}_p)$ and $y\in H^j(X;{\mathbb{F}}_p)$. Write $\delta A=p{A}_1$ and $\delta B=p{B}_1$. The cochain cup product obeys the graded Leibniz identity, soDivide by $p$, reduce modulo $p$ and pass to cohomology. This proves the Bockstein derivation rule

Write $R^{i}F$ for the cohomological indexing of the right derived functor. For the contravariant construction, assume $F$ is additive and left exact, so an exact sequence $M^{\prime }\to M\to M^{\prime \prime }\to 0$ gives $0\to F(M^{\prime \prime })\to F(M)\to F(M^{\prime })$. Module categories have enough projective modules: a free module on a generating set surjects onto any module, and repeating the construction on its kernel produces a projective resolutionContravariance turns it into the cochain complexThe composite of consecutive differentials is zero because $F$ is additive and reverses composition. Applying left exactness to $P_1\to P_0\to M\to 0$ gives $F(M)=\ker (F(d_1))$, so $R^{0}F\simeq F$.

Here are the comparison and exactness arguments behind this construction. A map $M\to N$ lifts to a chain map between projective resolutions. In degree zero, lift through the surjection $Q_0\twoheadrightarrow N$ by projectivity of $P_0$. Inductively, the required composite from $P_i$ lands in the cycle module of the target resolution, which is the image of $Q_i$ by exactness, so projectivity supplies the next lift. Two such lifts are chain homotopic. Their difference in degree zero lands in $\ker (Q_0\to N)=\mathrm{im}{d}_1$, so it lifts to a homotopy map $P_0\to Q_1$. Subtracting the corresponding homotopy term in degree one gives another map into the next cycle module; continue inductively. Applying additive contravariant $F$ turns this chain homotopy into a cochain homotopy, so the maps on cohomology agree. Applying this to lifts of identity maps between two resolutions gives mutually inverse maps on cohomology. Thus the contravariant right derived functor is well-defined, contravariant and natural in $M$.

For $0\to M^{\prime }\to M\to M^{\prime \prime }\to 0$, construct compatible projective resolutions by the horseshoe lemma. Its construction is elementary: lift the projective cover of $M^{\prime \prime }$ into $M$ and add the projective cover of $M^{\prime }$; their sum surjects onto $M$. The kernels fit into a new short exact sequence of the corresponding kernels, so repeat at each degree. This gives a degreewise split sequenceAn additive contravariant functor takes split sequences to split sequences with their arrows reversed. The resulting short exact sequence of cochain complexes givesThe connecting map is obtained by lifting a cocycle from the quotient complex, taking its differential, and viewing the result in the subcomplex; changing a lift changes the result by a coboundary. This construction proves both exactness and naturality of the long exact sequence.

Positive derived functors vanish on projective modules, since such a module has a resolution concentrated in degree zero. For $0\to K\to P\to M\to 0$ with $P$ projective, the preceding sequence gives $R^{i+1}F(M)\simeq R^{i}F(K)$ for $i\ge 1$. This is dimension shifting. If $F$ is exact, all positive derived functors vanish because applying $F$ preserves exactness of the resolution. A natural transformation of additive left-exact contravariant functors induces natural transformations of their derived functors by applying it degreewise. These derived functors form the universal contravariant cohomological delta functor: successive projective surjections, on which the positive functors vanish, and the connecting maps determine any extension of a degree-zero natural transformation uniquely.

The displayed example in the PDF has a genuine variance mismatch. The functor $G(M)={\mathrm{Hom}}_A(A/(a),M)$ is covariant in $M$, not contravariant. For a map $u:M\to N$, its induced map sends $h$ to $u\circ h$, in the same direction. We compute that displayed example with its correct variance, and then explain the contravariant variant.

For an additive covariant left-exact functor, use an injective resolution $0\to M\to I^0\to I^1\to \cdots$ instead of a projective resolution, and set $R^{i}G(M)=H^i(G(I^{\bullet }))$. Such resolutions exist for arbitrary modules. In fact $J={\mathrm{Hom}}_{\mathbb{Z}}(A,D)$, with $(a\varphi )(b)=\varphi (ab)$, is injective: the adjunctionsends a map to its value at $1$, and has inverse $\lambda \mapsto [n\mapsto (b\mapsto \lambda (bn))]$. Extension on the right was proved in Question 5, so it gives extension on the left. Products of injective modules are injective by extending every component separately. The mapis $A$-linear and injective, because a nonzero $m$ is detected by some character at $b=1$. Applying the same embedding to successive cokernels produces the stated injective resolution. Its comparison and homotopy arguments are dual to the projective ones, and covariant derived functors have the long exact sequence in the original order of $M^{\prime },M,M^{\prime \prime }$.

Let $B=A/(a)$. Evaluation at $1+(a)$ identifiesa naturally defined $B$-module. It is left exact: a compatible element in the kernel of $G(M)\to G(M^{\prime \prime })$ is exactly an element of $M^{\prime }$ killed by $a$.

Because $a$ is a non-zero-divisor on $A$, multiplication by $a$ is surjective on every injective module $I$. Indeed, for $m\in I$, the map $aA\to I$ given by $ax\mapsto xm$ is well-defined and $A$-linear. It extends to $A\to I$, and if the extension takes $1$ to $v$, then $av=m$. Thus for an injective resolution we have a short exact sequence of cochain complexesThe cohomology of $I^{\bullet }$ is $M$ in degree zero and zero in higher degrees. Its long exact sequence therefore givesConsequently the Ext from a principal non-zero-divisor quotient computation isAll these groups are naturally $B$-modules. Equivalently they are ${\mathrm{Ext}}_A^i(B,M)$; the two-term free resolution $0\to A\stackrel{a}{\to }A\to B\to 0$ gives the same kernel and cokernel after applying ${\mathrm{Hom}}_A(-,M)$.

If one instead wants a genuinely contravariant example, take $H(N)={\mathrm{Hom}}_A(N,B)$. Then $R^{i}H(N)={\mathrm{Ext}}_A^i(N,B)$, obtained by resolving the variable $N$. There is no claim of vanishing above degree one for arbitrary $N$. At $N=B$, the same two-term resolution has zero differential after applying ${\mathrm{Hom}}_A(-,B)$, and gives ${\mathrm{Ext}}_A^0(B,B)=B$, ${\mathrm{Ext}}_A^1(B,B)=B$, and zero higher groups. This keeps the printed covariant calculation distinct from the general contravariant construction.

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.

Define compactly supported cohomology byFor $K\subseteq L$, the transition map is induced by the identity map of pairs $(X,X\setminus L)\to (X,X\setminus K)$. Equivalently, take the cochain complex of singular cochains that vanish on every chain contained in the complement of some compact set. Directed unions are exact, giving the same definition.

For $\mathbb{R}$, the intervals $[-a,a]$, $a>0$, are cofinal among compact subsets. The complement has two contractible components. The long exact sequence in relative cohomology contains the diagonal map $\mathbb{Z}\to \mathbb{Z}\oplus \mathbb{Z}$, so its cokernel is $H^1(\mathbb{R},\mathbb{R}\setminus [-a,a])\cong \mathbb{Z}$, and all the other relative groups vanish. Enlarging the interval preserves the generator given by the difference of the two ends. Therefore

For the compact-support comparison with a one-point compactification, write $Y=X^{+}$. The assumed Hausdorff one-point compactification is compact; a compact subset $K\subseteq X$ is closed in $Y$. The Excision theorem removes $\{\infty \}$ from the pair $(Y,Y\setminus K)$, because its closure lies inside the open second member. ThusComplements of compact subsets of $X$ are exactly the open neighbourhoods of $\infty$ in $Y$. The hypothesis supplies a cofinal family of contractible such neighbourhoods $U$. For every one, the long exact sequence of the pair identifiesIn degree zero, this is the kernel of evaluation on the component of $\infty$, identified with reduced cohomology by subtracting the constant value there. In degree one the map $H^0(Y)\to H^0(U)\cong \mathbb{Z}$ is surjective; in higher degrees the positive cohomology of $U$ vanishes. These identifications are natural for inclusions of contractible neighbourhoods. Passing to the direct limit proves

For the specified disjoint union of lines, a compact subset meets only finitely many components and is bounded in each. Finite unions $F\times [-a,a]$, with $F\subset \mathbb{Z}$ finite, are cofinal. Applying the preceding relative calculation componentwise givesThe one-point compactification $W$ of this space is the Hawaiian earring: each line becomes a circle by adding the common point $\infty$, and every neighbourhood of $\infty$ contains all but finitely many whole circles. On the remaining finitely many circles it contains neighbourhoods of the common point. This describes exactly the shrinking-circle topology. In particular $W$ is not locally contractible at $\infty$: every such neighbourhood contains a whole circle, whose generator remains nontrivial under the retraction $W\to S^1$ that collapses all the other circles.

For integral singular cohomology, the comparison does not hold. Here is a degree-two obstruction that takes account of the shrinking-circle topology. The standard rational summand in Hawaiian earring homology theorem gives a direct summand $\mathbb{Q}$ in $H_1(W;\mathbb{Z})$. The universal coefficient theorem for cohomology injectsThe summand $\mathbb{Q}$ therefore contributes the nonzero Ext of the rationals with integer coefficients.

For completeness, this last algebraic assertion has an explicit proof. Present $\mathbb{Q}$ using generators $a_n=1/n!$ and relations $a_n-(n+1)a_{n+1}=0$, $n\ge 1$. The corresponding free resolution shows that ${\mathrm{Ext}}_{\mathbb{Z}}^1(\mathbb{Q},\mathbb{Z})$ is the cokernel ofThe constant sequence $(1,1,\dots )$ is not in the image. Otherwise iteration would giveFor large $N$, the factorial sum exceeds $|u_1|$ but is less than $(N+1)!-|u_1|$, making that congruence impossible. Thus the cokernel is nonzero. It follows thatwhich proves the failure of the claimed isomorphism. The ingredient concerning the Hawaiian earring is its singular-homology structure theorem, not the homology of an infinite CW complex wedge of circles; these topologies differ.

For central $t_1,\dots ,t_n$, define the Koszul complex on central ring elements using formal exterior symbols:with zero terms outside $0\le k\le n$ and differentialThe terms are free bimodules with the formal symbols commuting with coefficients. Centrality makes $d$ a bimodule map, and the terms in $d^2$ cancel in pairs because the $t_i$ commute. This defines the Koszul complex over a possibly noncommutative ring without using an undefined exterior algebra of arbitrary one-sided modules. In particular $K(\mathbf{t}){\otimes }_{R}M$ is a well-defined chain complex of left modules.

A regular sequence on a module means that multiplication by $t_i$ is injective on $M/(t_1,\dots ,t_{i-1})M$ for each $i$, usually with the additional convention that the final quotient is nonzero. The homology vanishing below uses only the injectivity conditions. For one element, the chain complex is $M\stackrel{t_1}{\to }M$, with zero first homology and zeroth homology $M/t_{1}M$.

For the induction let $C=K(t_1,\dots ,t_{n-1}){\otimes }_{R}M$. Adjoining the last generator identifies the new Koszul complex with the mapping cone of multiplication by $t_n$ on $C$. In the convention $\mathrm{Cone}(t_n{)}_k=C_k\oplus C_{k-1}$ its differential is $(a,b)\mapsto (da+t_{n}b,-db)$; the identification is $a+e_n\wedge b$. The long exact sequence in homology of this mapping cone givesThe induction hypothesis is $H_k(C)=0$ for $k>0$ and $H_0(C)=N=M/(t_1,\dots ,t_{n-1})M$. Regularity makes $t_n:N\to N$ injective. Hence the new positive homology is zero and its zeroth homology is $N/t_{n}N$. The augmentation to this quotient induces these homology isomorphisms, giving the quasi-isomorphismwhere the right side is placed in degree zero. The results used are the long exact sequence in homology of a degreewise short exact sequence of complexes and its mapping cone form, together with the stated induction; no unmentioned acyclicity criterion is needed.

For $R=\mathbb{Z}[X]$, $(p,X)$ is a regular sequence: $p$ is a non-zero-divisor in $R$, and multiplication by $X$ is injective in $(\mathbb{Z}/p\mathbb{Z})[X]$, even when $p$ is composite. The Koszul resolution of $R/(p,X)$ isWith $N=\mathbb{Z}/q\mathbb{Z}$ and $X$ acting as zero, applying the Hom functor gives the cochain complexThus, more generally, the Ext groups between polynomial-ring residue modules areand vanish in all degrees above two. For the equal-modulus case,These are $R$-modules through $X=0$ and reduction modulo $p$. If the multiplicative self-Ext functor is desired, the Koszul self-Ext algebra is the exterior algebra on two degree-one generators over $\mathbb{Z}/p\mathbb{Z}$. The two contractions on the Koszul resolution lift these classes, square to zero and anticommute, so this description also holds for composite $p$ and characteristic two. For coprime $p,q$, multiplication by $p$ is invertible on $N$, so both its kernel and cokernel vanish:

For a cohomological spectral sequence, $d_r:E_r^{p,q}\to E_r^{p+r,q-r+1}$ and the next page is its cohomology. In the bounded setting, convergence of a spectral sequence to $H^{\ast }$ means that each $H^n$ has a finite decreasing, exhaustive and separated filtration withHere $E_{\infty }^{p,q}$ is the eventual stable value. This determines the associated graded module of $H^n$, rather than automatically a canonical direct-sum decomposition of $H^n$. For unbounded filtrations additional completeness/convergence conditions are necessary; boundedness removes those issues here.

The bounded filtered-complex convergence theorem states the following. If $F^{p}C$ is a decreasing filtration by cochain subcomplexes, preserved by the differential, finite in each cochain degree (uniform bounds $F^{a}C=C$, $F^{b}C=0$ are sufficient), then there is a spectral sequenceThe abutment filtration is $F^p{H}^n(C)=\mathrm{im}[H^n(F^{p}C)\to H^n(C)]$. Its finite length ensures stabilization and the displayed limiting-page identification. The filtered cochain complex need not itself be bounded in cochain degree. In the degreewise finite version, the bounds in degrees $n-1,n,n+1$ suffice to stabilize the terms of total degree $n$.

For a double cochain complex $D^{p,q}$ bounded in both indices, form the total cochain complex ${\mathrm{Tot}}^{n}D={⨁}_{p+q=n}{D}^{p,q}$ with anticommuting differentials $d_h,d_v$ and total differential $d_h+d_v$. If the original differentials commute, inserting the usual sign in one of them gives this convention. Filtering by the first index gives $E_1^{p,q}=H_v^q(D^{p,\ast })$ and then $E_2^{p,q}=H_h^p(H_v^{q}D)$. Filtering by the second index gives the spectral sequence taking horizontal cohomology first and vertical cohomology next. Both filtrations are finite, so both converge to $H^{\ast }(\mathrm{Tot}D)$. This is the two spectral sequences of a bounded double complex construction.

The printed left/left tensor expression needs a handedness repair. Over an arbitrary ring, a tensor product of modules over $R$ pairs a right module with a left module. To retain the order of the printed formula, take $P$ to be a bounded cochain complex of projective right $R$-modules and $M$ a left $R$-module. Alternatively, keep $P$ left, take $M$ right, and write $M{\otimes }_{R}P$ and ${\mathrm{Tor}}_{-p}^R(M,H^{q}P)$. For a commutative ring no repair is needed. We prove the first, correctly typed formulation.

Finite projective dimension gives a finite projective resolution $Q_{\bullet }\to M$ by left modules. Form $D^{p,q}=P^q{\otimes }_R{Q}_{-p}$ for $-d\le p\le 0$. On $x\otimes y$ take $d_v=d_P\otimes 1$ and $d_h=(-1{)}^{q}1\otimes d_Q$. These anticommute, and the double cochain complex is bounded in both directions. Projective modules are flat modules, so taking vertical cohomology first givesThe first identification uses flatness of $Q_{-p}$; the second is the Tor functor computed by resolving its left-module argument $M$. Balancedness of the Tor functor allows either correctly sided projective resolution to compute it, by the double-resolution argument.

Taking horizontal cohomology first instead uses flatness of $P^q$. The resolution $Q_{\bullet }$ then leaves only $P^q{\otimes }_{R}M$ in column $p=0$. Its remaining differential is $d_P\otimes 1$, so the augmentation $\mathrm{Tot}D\to P{\otimes }_{R}M$ is a quasi-isomorphism. Apply the convergence theorem to this underlying abelian-group double complex. The two spectral sequences therefore prove the Künneth spectral sequence:These are abelian groups in general; an extra module structure requires appropriate bimodule hypotheses. The index $p$ is nonpositive, so $-p$ is the nonnegative homological index of the Tor functor.

Finally write the cycle modules as $Z^q=\ker d^q$ and the boundary modules as $B^q=\mathrm{im}{d}^{q-1}$. If every boundary module $B^q$ is projective, the short exact sequence $0\to Z^q\to P^q\to B^{q+1}\to 0$ splits. Thus $Z^q$ is projective. The short exact sequence $0\to B^q\to Z^q\to H^{q}P\to 0$ is now a length-one projective resolution, so ${\mathrm{Tor}}_i^R(H^{q}P,M)=0$ for $i\ge 2$. The $E_2$ page occupies only columns $p=-1,0$. Every $d_r$ for $r\ge 2$ goes $r$ columns to the right, hence has zero source or zero target. ThereforeThis two-column degeneration of a Künneth spectral sequence gives the edge short exact sequencesDegeneration itself does not supply a canonical splitting. Projective boundaries also do not force $H^{q}P$ to be projective: a complex with differential multiplication by $2$ over $\mathbb{Z}$ has projective boundary but a $\mathbb{Z}/2\mathbb{Z}$ cohomology group.

For any finite-dimensional bounded cochain complex $(V^{\ast },d)$ over a field, let $r_q=\mathrm{rank}(d:V^q\to V^{q+1})$, with zero ranks outside its degree range. ThenTaking the alternating sum cancels the two rank sums. Thus taking cohomology preserves the Euler characteristic of a finite graded complex. Apply this to $V^q=H^q(M;{\mathbb{F}}_p)$ and $d=\beta$, using part (b).

A closed three-dimensional manifold has finite-dimensional cohomology, vanishing above degree three. Its Euler characteristic is zero, even when it is not orientable: Poincare duality with ${\mathbb{F}}_2$ coefficients gives $b_q=b_{3-q}$, so the alternating sum vanishes. A finite triangulation, or finite CW complex model, shows that the alternating sum is the same integer with coefficients in any field, since it equals the alternating count of cells. ThereforeThe primeness assumption makes $\mathbb{Z}/p$ a field; no orientation assumption on $M$ is needed.

First consider the preliminary cohomological facts. The exam's term flabby means flasque sheaf: every restriction map is surjective. For open sets $V\subseteq U$, lift a section of ${\mathcal{F}}_3(V)$ to ${\mathcal{F}}_2(V)$ using the given surjectivity when ${\mathcal{F}}_1$ is flasque. Extend that lift to $U$ using the flasque sheaf ${\mathcal{F}}_2$, then project to ${\mathcal{F}}_3(U)$. This proves that ${\mathcal{F}}_3$ is a flasque sheaf.

One construction of a flasque resolution starts with the sheaf ${\mathcal{C}}^0(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$, with pointwise restriction. It is a sheaf of abelian groups with surjective restrictions, and sending a section to all its germs embeds $\mathcal{F}$ in it. Repeating on the cokernels constructs an exact sequencewith each ${\mathcal{I}}^j$ flasque. Define sheaf cohomology by the cohomology of the cochain complex of global sections of such a resolution; the groups are independent of the chosen flasque resolution. If $\mathcal{F}$ is itself flasque, the quotient result just proved makes every successive cokernel flasque. Applying the assumed surjectivity of sections to each successive short exact sequence of sheaves proves exactness of the global-section complex in positive degrees. Thus $H^i(X,\mathcal{F})=0$ for $i>0$.

Now let $K=k(X)$ be the function field of the smooth algebraic curve. Its divisor class group isHere ${\nu }_P$ is the discrete valuation of the discrete valuation ring ${\mathcal{O}}_{X,P}$, and $\mathrm{Prin}(X)$ consists of the principal divisor elements $\mathrm{div}(f)$. These sums have finite support: on a finite affine cover, represent $f$ as a fraction of regular functions; each nonzero numerator or denominator has only finitely many zeros on a curve, since a proper closed subset of a Noetherian one-dimensional irreducible space is finite.

For a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$, define the line bundle associated to a divisor byIn this expression the valuation condition applies to nonzero $f$. If $t_P$ is a uniformizer, the stalk is $t_P^{-n_P}{\mathcal{O}}_{X,P}$. Shrinking around $P$ removes all other zeros and poles of $t_P$ and all other points in the support of $D$, so this also gives an actual local generator. Thus ${\mathcal{O}}_X(D)$ is a locally free sheaf of rank one. Multiplication gives an isomorphismon every stalk. If $D=\mathrm{div}(g)$, then ${\mathcal{O}}_X(D)=g^{-1}{\mathcal{O}}_X$, so the construction factors through a homomorphism $\mathrm{Cl}(X)\to \mathrm{Pic}(X)$.

It is injective: if ${\mathcal{O}}_X(D)$ is trivial, an isomorphism from ${\mathcal{O}}_X$ supplies a nonzero global rational generator $h$. At each closed point, $h$ generates $t_P^{-n_P}{\mathcal{O}}_{X,P}$, giving ${\nu }_P(h)=-n_P$, hence $D=-\mathrm{div}(h)$.

It is surjective: take a line bundle $\mathcal{L}$ and a nonzero rational section $s$, obtained by choosing a frame on any nonempty trivializing open set. If $e_i$ is a local frame, write $s=f_i{e}_i$ with $f_i\in K^{\ast }$. Since changes of frame are units, ${\nu }_P(f_i)$ is independent of the frame near $P$. A finite trivializing cover shows that these numbers have finite support. Set $D={\sum }_P{\nu }_P(f_i)P$. The map $f\mapsto fs$ gives ${\mathcal{O}}_X(D)\cong \mathcal{L}$, because at $P$ the condition ${\nu }_P(f)+{\nu }_P(f_i)\ge 0$ is exactly regularity of $fs$. Replacing $s$ by $gs$ changes $D$ by $\mathrm{div}(g)$, so this construction is well defined on classes. This proves the divisor class group and Picard group of a smooth curve identification

Choose a flasque resolution of the sheaf of abelian groups $\mathcal{F}$,A flasque sheaf has surjective restriction maps; such resolutions exist for every sheaf of abelian groups. Apply the global section functor to obtain a cochain complex. The sheaf cohomology groups areFor $i=0$, the denominator is zero and $H^0(X,\mathcal{F})=\Gamma (X,\mathcal{F})$. Different resolutions give canonically isomorphic groups; the resolution principle for sheaf cohomology is what permits other acyclic resolutions to compute these same groups.

Let $P_{\bullet }\to \mathbb{Z}$ be a projective resolution of the trivial $\mathbb{Z}G$-module. The projective-resolution definition of group cohomology isThis is independent, up to a natural isomorphism, of the chosen projective resolution.

The degreewise natural isomorphismscommute with the coboundary maps. Taking cohomology proves that group cohomology commutes with finite direct sums:

Now restrict $P_{\bullet }$ from $G$ to a subgroup $K$. The group ring $\mathbb{Z}G$ is free as a $\mathbb{Z}K$-module, so restriction carries free modules to free modules and projective modules to projective modules. Thus the restricted complex is a projective resolution of the trivial $\mathbb{Z}K$-module. For the coinduced module $Y={\mathrm{Hom}}_{\mathbb{Z}K}(\mathbb{Z}G,X)$, the Hom functor adjunction for a coinduced module gives an isomorphism of cochain complexesExplicitly, a map $F$ is sent to $p\mapsto F(p)(1)$; the inverse sends a $\mathbb{Z}K$-linear map $a$ to $p\mapsto (r\mapsto a(rp))$. Taking cohomology proves Shapiro's lemma: