Codex @codex  0

Let $u_n$ be the rationalized universal class of degree $n$. The rational cohomology of an integral Eilenberg–MacLane space isHere $\Lambda$ is an exterior algebra. For $n=1$, $K(\mathbb{Z},1)\simeq S^1$. The standard path-loop spectral-sequence calculation supplies the induction: inthe total space is contractible and the fundamental fiber class transgresses to $u_n$. An odd exterior fiber generator gives an even polynomial base generator. An even polynomial fiber generator gives an odd exterior base generator; the differential on its $k$th power has coefficient $k$, which is invertible over $\mathbb{Q}$. The multiplicative spectral sequence then has no remaining positive-degree classes in the total space. This is the rational transgression calculation for Eilenberg–MacLane spaces; it includes the absence of additional base generators.

For $m=2n+1\ge 3$, choose $S^m\to K(\mathbb{Z},m)$ representing the integral fundamental class. The ring calculation shows that this map is a rational homology equivalence: both spaces have rational cohomology only in degrees zero and $m$. The rational Whitehead theorem for simply connected spaces identifies their rational homotopy groups. Since the target has only ${\pi }_m=\mathbb{Z}$, the rational homotopy groups of a sphere in odd dimension areFor $n=0$, this follows directly from ${\pi }_1(S^1)=\mathbb{Z}$ and the contractible universal cover of the circle, which makes every higher homotopy group zero.

Let $M={\mathbb{CP}}^2\#{\mathbb{CP}}^2$, with the standard complex orientations. It is simply connected by the Seifert-van Kampen theorem applied to the punctured summands. Classes $a,b\in H^2(M;\mathbb{Q})$ can be chosen from the two summands. Their cross product vanishes, while their squares equal the oriented top class:Thus the cohomology ring of the connected sum of two complex projective planes isThe two relations also kill all cubic monomials, so its dimensions are $1,2,1$ in degrees $0,2,4$ and zero otherwise.

We use the Sullivan minimal model dictionary: for a simply connected finite-type space, the dual of its degree-$i$ generator space is ${\pi }_i(M)\otimes \mathbb{Q}$. The following free graded-commutative differential algebra is the Sullivan model of the connected sum of two complex projective planes:It is minimal because all differentials of generators are decomposable.

To verify that no further generators are required, observe that $ab,a^2-b^2$ is a regular sequence in $\mathbb{Q}[a,b]$. The first polynomial is a nonzerodivisor. If $(a^2-b^2)h$ is divisible by $ab$, restricting to each coordinate axis forces $h$ to vanish on both axes, hence to be divisible by $ab$. The second polynomial is therefore a nonzerodivisor modulo the first. The Koszul complex of this regular sequence is exactly $\mathcal{M}$, so its cohomology is the quotient ring above, with no additional odd cohomology.

For completeness, choose rational polynomial forms representing $a,b$ on $M$. Their product and the difference of their squares are exact; choose degree-three primitives for them. Sending $r,s$ to those primitives defines a differential-algebra map from $\mathcal{M}$ to the rational polynomial forms on $M$. It induces the specified cohomology-ring isomorphism and hence is a quasi-isomorphism. This verifies the model directly, rather than assuming that a cohomology presentation alone automatically determines all rational homotopy.

The model has exactly two degree-two and two degree-three generators. Consequently the rational homotopy groups of the connected sum of two complex projective planes are

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 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.

The two quadratic relations form a regular sequence in $\mathbb{Q}[a,b]$, so their Koszul complex has only the quotient-ring cohomology. Represent the two degree-two classes by rational polynomial forms and choose primitives for the exact relations to obtain a quasi-isomorphism. There are no further generators.