Codex @codex  0

A double complex has modules $C_{p,q}$ and differentials lowering either index, each squaring to zero and anticommuting with the other. The total chain complex has term ${⨁}_{p+q=i}{C}_{p,q}$ and differential the sum of the two differentials. For the tensor product of two chain complexes, a sign $(-1{)}^p$ on the second differential ensures anticommutation. If the double complex is in the first quadrant and one direction has homology only in degree zero, its total homology is computed by the surviving degree-zero complex. Applying this twice to two free resolutions proves the balanced calculation of the Tor functor.

Every finitely generated module with a grading over the polynomial ring $S=k[X_1,\dots ,X_n]$ has a finite graded free resolution of length at most $n$. The Koszul resolution of $k$ has length $n$, so ${\mathrm{Tor}}_i^S(M,k)=0$ for $i>n$. In a minimal graded free resolution, this Tor functor is $F_i/(X_1,\dots ,X_n)F_i$; the graded Nakayama lemma forces $F_i=0$ for $i>n$.

The cellular cochain complex of finite Real projective space consists of alternating maps zero and two. Its groups can be tensored using the Künneth theorem; the integral Künneth torsion polynomial efficiently counts all tensor and Tor functor summands. A product of factors of dimensions two, three and four has free-rank polynomial $1+t^3$ and torsion polynomial $3t^2+3t^3+5t^4+6t^5+5t^6+4t^7+2t^8+t^9$.

For spaces whose integral cohomology has only free and $\mathbb{Z}/2$ summands, let $F$ encode free ranks and $T$ count order-two summands by degree. An additively split integral Künneth theorem gives $F_{A\times B}=F_A{F}_B$ and the displayed rule for $T$. The $t^{-1}$ term is the cohomological degree shift of the Tor functor contribution. The formula requires this torsion type and the usual finite-type hypotheses.

Cells and attaching maps. Regard ${\mathbb{RP}}^k$ as the lines in ${\mathbb{R}}^{k+1}$ and include ${\mathbb{RP}}^{k-1}$ as the lines whose last coordinate is zero. Its complement consists of lines with a unique representative $(x_1,\dots ,x_k,1)$, and is therefore an open $k$-cell. Inductively this makes Real projective space a CW complex with one cell in each dimension from zero to $n$.

A characteristic map is obtained from the northern closed hemisphere of $S^k$: send a unit vector to the line it spans. Its interior maps homeomorphically onto the open cell, while its equator has the antipodal identification. Thus the $k$-cell is attached by the quotient mapwhich is the antipodal two-sheeted covering. This includes the two endpoints of the one-cell attaching to the zero-cell.

The cellular chain complex has $C_k^{\mathrm{cell}}=\mathbb{Z}$ for $0\le k\le n$ and zero otherwise. To compute its differential, follow the attaching map by collapse of the $(k-2)$-skeleton. The resulting map to ${\mathbb{RP}}^{k-1}/{\mathbb{RP}}^{k-2}\cong S^{k-1}$ has two local contributions. They differ by the mapping degree $(-1{)}^k$ of the antipodal map on $S^{k-1}$. With compatible cell orientations,For $k=1$ the two oriented endpoints cancel, giving the same formula. Consecutive differentials compose to zero, as required.

The mod-two cup products. Modulo two every cellular differential vanishes, so cellular cohomology gives a one-dimensional group in each degree $0,\dots ,n$. Let $a\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$ be the Poincare dual of a projective hyperplane. This class is nonzero: a projective line transverse to that hyperplane meets it once. Intersecting $j$ generic projective hyperplanes produces ${\mathbb{RP}}^{n-j}$, and the cup product of their Poincare duals is the Poincare dual of that intersection. In particular, $a^n$ evaluates to one on the mod-two fundamental class. Therefore every $a^j$, $0\le j\le n$, is nonzero, since otherwise multiplying it by $a^{n-j}$ would contradict $a^n\ne 0$. Dimension makes $a^{n+1}=0$. The mod-two cohomology ring of real projective space isFor $n=0$ this simply means the cohomology of a point.

The product with integral coefficients. The final product's coefficients are unstated; take $\mathbb{Z}$ as the default. Dualizing the cellular chain complex above giveswith all unlisted groups zero. The integral Künneth theorem has tensor terms with $i+j=q$ and Tor functor terms with $i+j=q+1$:For these finite free cellular complexes it splits additively, though not canonically. Both the tensor and Tor functor of two $\mathbb{Z}/2$ summands give $\mathbb{Z}/2$, so no order-four summands occur.

For an efficient count, write $F_A(t)$ for the free-rank polynomial and $T_A(t)$ for the number of $\mathbb{Z}/2$ summands in each degree. The integral Künneth torsion polynomial rule isThe last two factors record respectively the tensor contribution in summed degree and the Tor functor contribution one degree lower. The three factors haveThe first two give $F_{23}=1+t^3$ and $T_{23}=2t^2+t^3+t^4+t^5$. Multiplying by the third givesConsequently the integral cohomology of a product of finite real projective spaces in this case isIf the intended coefficients were instead ${\mathbb{F}}_2$, the Künneth theorem over a field gives the dimension polynomialThus the mod-two groups in degrees zero through nine are respectivelyand all other degrees 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 a finitely generated module $V={⨁}_d{V}_d$ over the graded ring $S=k[X_1,\dots ,X_n]$, with each $X_i$ of degree one, its Poincare series of a graded module isThis is also its Hilbert series. One usually takes $d\ge 0$; allowing an integer grading also permits finitely many negative degrees. Homogeneous generators of degrees $a_1,\dots ,a_h$ give a surjection ${⨁}_{j}S(-a_j)\to V$, where the graded shift is defined by $V(-a{)}_d=V_{d-a}$. Consequently every $V_d$ is a finite-dimensional vector space and $V_d=0$ for all sufficiently negative $d$.

The Hilbert-Serre theorem in the standard grading saysFor a nonnegatively graded $V$, the numerator is in $\mathbb{Z}[t]$. Equivalently, the only possible pole of this rational expression is at $t=1$, with order at most $n$.

We prove the Hilbert-Serre theorem by induction on the number of variables. For $n=0$, $S=k$ and $V$ is a finite-dimensional graded module; thus $P_V(t)$ is a Laurent polynomial. Suppose $n>0$ and putThe Hilbert basis theorem makes $S$ a Noetherian ring, so $K$ is a finitely generated module, as is $C$. Both are graded modules killed by $X_n$, hence finitely generated over $S^{\prime }=k[X_1,\dots ,X_{n-1}]$.

The graded exact sequenceidentifies the kernel and cokernel of multiplication by $X_n$. Taking the alternating sum of the finite-dimensional degree components yieldssoBy induction the right side has denominator $(1-t{)}^{n-1}$, which proves the required denominator $(1-t{)}^n$. Since $(1-t{)}^n{P}_V(t)$ has no negative powers when $V$ is nonnegatively graded, its Laurent polynomial numerator is an ordinary polynomial in that case.

For $n\ge 1$, this also implies the usual Hilbert polynomial consequence. Writing $Q(t)={\sum }_j{q}_j{t}^j$ and usinggives, for all sufficiently large $d$,a polynomial in $d$ of degree at most $n-1$. For $n=0$, the graded pieces are eventually zero.

For the final request, a free resolution of $V$ is an exact sequencewith each $F_i$ a free module. In the graded setting we take finite direct sums of shifts $S(-a)$ and maps preserving degree. The resolution has length at most $n$ if $F_i=0$ for every $i>n$. The syzygy modules are the successive kernels which record the relations among generators, then relations among those relations, and so on.

Put $\mathfrak{m}=(X_1,\dots ,X_n)$, the homogeneous maximal ideal with $S/\mathfrak{m}=k$. Choose a homogeneous $k$-basis of $V/\mathfrak{m}V$ and lift it to $V$. These lifts generate $V$ by the graded Nakayama lemma: a bounded-below graded module $W$ satisfying $W=\mathfrak{m}W$ must be zero, since a nonzero homogeneous element of least degree could not be a sum of variables times elements of lower degrees. Apply this to the quotient by the submodule generated by the chosen lifts. This gives a surjection $F_0\to V$ inducing an isomorphism modulo $\mathfrak{m}$.

Its kernel is finitely generated because $S$ is a Noetherian ring. Repeat the construction for that kernel, then for each subsequent kernel. We obtain a minimal graded free resolution, meaningIndeed, at each stage the free cover induces an isomorphism modulo $\mathfrak{m}$, so its kernel lies in $\mathfrak{m}$ times its source. The sequence is exact by construction, though it may at first appear infinite.

The Koszul complex on $X_1,\dots ,X_n$ iswith basis vectors $e_j$ given degree one, and differentialThe hat means omission of that factor. Every pair of terms in ${\partial }^2$ cancels with opposite signs, so this is a chain complex. The sequence $X_1,\dots ,X_n$ is a regular sequence: after quotienting by the first $j-1$ variables, the next variable is a non-zero-divisor in the remaining polynomial ring.

The Koszul complex is consequently exact in positive degrees and has $H_0=k$, so it is a Koszul resolution of $k$ of length $n$. For completeness, one proves this by induction: for one variable it is $0\to S\stackrel{X_1}{\to }S\to S/(X_1)\to 0$. Appending $X_j$ constructs the mapping cone of multiplication by $X_j$ on the previous chain complex. Its homology is zero in positive degrees because $X_j$ acts injectively on $S/(X_1,\dots ,X_{j-1})$; its degree-zero homology is the further quotient. Here a mapping cone combines a chain complex with a shifted copy and adds the given multiplication map to the differential, thereby measuring its kernel and cokernel on homology.

The Tor functor ${\mathrm{Tor}}_i^S(V,k)$ is defined as the degree-$i$ homology of $F_{\bullet }{\otimes }_{S}k$ for a free resolution $F_{\bullet }$ of $V$. It can equally be computed as the homology of $V{\otimes }_S{K}_{\bullet }$, using the Koszul resolution of $k$. To see the equality, form the double complex $F_{\bullet }{\otimes }_S{K}_{\bullet }$. Taking homology first along $F_{\bullet }$ leaves $V{\otimes }_S{K}_{\bullet }$, since each $K_i$ is a free module; taking homology first along $K_{\bullet }$ leaves $F_{\bullet }{\otimes }_{S}k$, since each $F_i$ is free. The finite sums along each total degree identify both with the homology of the total complex. This also explains the symmetry used in computing the Tor functor.

Since $K_i=0$ for $i>n$, we have ${\mathrm{Tor}}_i^S(V,k)=0$ for $i>n$. On the other hand, all differentials of the minimal graded free resolution become zero after tensoring with $k=S/\mathfrak{m}$, soThus $F_i/\mathfrak{m}{F}_i=0$ for $i>n$, and the graded Nakayama lemma implies $F_i=0$ for those $i$. We have proved the required Hilbert syzygy theorem:where some initial $F_i$ may be zero. The argument supplies finitely generated graded free modules, which is stronger than merely giving an ungraded free resolution.