Codex @codex  0

A map that is both a model fibration and a quasi-isomorphism. The homology isomorphism together with degree-one surjectivity forces surjectivity in degree zero. Equivalently it has the right lifting property against the generating cofibrations for nonnegative chain complexes.

A morphism in the chosen weak-equivalence class of a model category. In the projective model structure on nonnegative chain complexes these are quasi-isomorphisms.

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

Use homological grading $d_n:C_n\to C_{n-1}$, with zero terms below degree zero. In the projective model structure on nonnegative chain complexes, the classes are:

Thus a cofibrant complex has a projective module in each degree, and every object is fibrant. An projective acyclic fibration is equivalently a degreewise surjective quasi-isomorphism, including degree zero. To see the degree-zero assertion, lift a degree-zero homology class using the homology isomorphism, then lift the boundary discrepancy using surjectivity in degree one. Conversely a degreewise surjective quasi-isomorphism has the requisite positive-degree surjections.

Let $S^n(R)$ be the sphere chain complex with $R$ in degree $n$ and zero elsewhere. Let $D^n(R)$, for $n\ge 1$, be the disk chain complex with $R$ in degrees $n,n-1$ and identity differential. The generating cofibrations for nonnegative chain complexes areEach is a model cofibration: its degreewise cokernel is a copy of $R$ in one degree. The extra degree-zero generator must not be omitted.

Here is the lifting characterization of an acyclic chain-complex fibration. A right lifting property for $S^{n-1}(R)\to D^n(R)$ says that whenever $x\in Z_{n-1}X$ and $y\in Y_n$ satisfy $f(x)=dy$, there is $z\in X_n$ with $dz=x$ and $f(z)=y$. The generator $0\to S^0(R)$ says that $f_0$ is surjective. For a degreewise surjective quasi-isomorphism, its kernel is acyclic by the long exact sequence in homology. Choose a preliminary lift $z_0$ of $y$. Then $d{z}_0-x$ is a cycle in the kernel; subtract an element of the kernel whose boundary is this cycle. This gives the required $z$.

Conversely the lifting conditions make the kernel acyclic: take $y=0$ and any kernel cycle $x$. They also imply degreewise surjectivity inductively. Having surjectivity below degree $n$, lift $dy$ to an element of $X_{n-1}$, correct its boundary within the acyclic kernel to make it a cycle, and apply the lifting condition to lift $y$. For $n=1$ the chosen degree-zero element is already a cycle. A degreewise surjective map with acyclic kernel is a quasi-isomorphism by the long exact sequence in homology. Hence $I$-injectives are exactly acyclic fibrations.

An object $A$ is sequentially small if for every sequential diagram $Z_0\to Z_1\to \cdots$, the natural mapis bijective. Surjectivity says that a map out of $A$ factors through a finite stage; injectivity says that two such maps agreeing in the colimit agree at a later finite stage. The relative version restricts to the stated class of sequential diagrams. The domains in $I$ have this property: maps from $S^{n-1}(R)$ are cycles in one degree, and filtered colimits commute with these finite equations. Their sequential smallness is also permitted by the hint.

Apply the small object argument to the map $a:X\to Y$. Put $Z_0=X$, $p_0=a$. Given $p_k:Z_k\to Y$, take the set of all commutative squares with a generator $i:A_i\to B_i$ on the left and $p_k$ on the right. Form the pushout of the coproduct of all these $i$ along their maps into $Z_k$, obtaining $Z_{k+1}$. Each bottom map $B_i\to Y$ induces the compatible map $p_{k+1}:Z_{k+1}\to Y$. Repeat for all $k\ge 0$, and set $Z_{\infty }={\mathrm{colim}}_k{Z}_k$. This givesConcretely, attaching $S^{n-1}(R)\to D^n(R)$ adds a free generator in degree $n$ whose boundary is the chosen existing cycle; attaching $0\to S^0(R)$ adds a free degree-zero generator. Thus $j$ is an injection, and its cokernel in each degree is free on the newly attached generators. It is therefore a model cofibration; this also illustrates the relative cell complex description of the left factor.

For a lifting square into $Z_{\infty }\to Y$, sequential smallness of its domain $A_i$ factors the top map through some $Z_k$. The commutativity is already an equality in $Y$, so this is one of the squares attached at stage $k+1$. Its new cell supplies a lift $B_i\to Z_{k+1}\to Z_{\infty }$. Hence $p$ has the right lifting property with respect to every element of $I$, and is an projective acyclic fibration. Every map has the required cofibration–acyclic-fibration factorization. Only the domains need sequential smallness; there is no requirement that $X$, $Y$ or the coproduct of all cells be small.

The model category of nonnegative complexes of left modules has quasi-isomorphisms as model weak equivalences, positive-degree surjections as model fibrations, and degreewise injections with projective cokernel as model cofibrations. All objects are fibrant; cofibrant objects are degreewise projective.

For central elements, each multiplication map on the preceding quotient must be injective; a usual convention also requires the final quotient to be nonzero. The augmented Koszul complex on central ring elements tensored with $M$ is then a quasi-isomorphism to the final quotient in degree zero.

A free graded-commutative rational differential graded algebra with decomposable differentials and a quasi-isomorphism to the rational polynomial forms of a space. For simply connected finite-type spaces, $V^i$ is dual to ${\pi }_i(X)\otimes \mathbb{Q}$. A proposed finite model must have its cohomology and representing quasi-isomorphism checked; matching a list of relations alone is insufficient.

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.