Codex @codex  0

For a compact space $X$, $K^0(X)$ is the Grothendieck group of isomorphism classes of finite-rank complex vector bundles under direct sum. Tensor product descends to this group and makes it a ring, with $[{\mathbb{C}}_X]$ as its unit.

The hypothesis $E_0\oplus {\mathbb{C}}_X\cong E_1\oplus {\mathbb{C}}_X$ says that $E_0$ and $E_1$ define the same stable class. Rank-$d$ bundles are classified by maps to $BU(d)$, and the stabilization $BU(d)\to BU$ is $2d$-connected. Since the finite CW complex $X$ has dimension $k\le 2d$, stabilization is injective on $[X,BU(d)]$. Thus stable cancellation for complex vector bundles gives

Now let $E_0,E_1$ have rank $d$ over Complex projective space ${\mathbb{CP}}^d$ and have the same Chern classes. Their Chern characters agree because each component of $\mathrm{ch}(E)$ is a universal rational polynomial in the Chern classes. The ringis torsion-free, while the Chern character becomes an isomorphism after tensoring with $\mathbb{Q}$; it is therefore injective. Hence $[E_0]=[E_1]$ in K-theory, so after adding trivial bundles they are isomorphic. Since ${\mathbb{CP}}^d$ has real dimension $2d$, cancellation applies once more:

Cover the attached disc by a slightly enlarged interior and a collar of its boundary, and apply the Seifert-van Kampen theorem. The collar intersection has fundamental group generated by the boundary loop, whose image in $X$ is $[\alpha ]$, while that loop becomes trivial in the disc. Van Kampen therefore quotients by the smallest normal subgroup containing $[\alpha ]$:This is the general fundamental group after attaching a 2-cell.

Start with a wedge of two circles, whose fundamental group is the free groupAttach a disc along the loop represented by $a^3{b}^{-7}$. The displayed quotient gives a connected two-dimensional CW complex $X$ with

Choose the intersection point $p=[({\theta }_0,{\theta }_1)]$ as the zero-cell. Let $a$ be the horizontal one-cell $S^1\times \{{\theta }_1\}$ and $b$ the vertical one-cell $\{{\theta }_0\}\times S^1$. The usual CW complex structure on the torus has one two-cell $c$ attached by the word $ab{a}^{-1}{b}^{-1}$, and the extra disk gives a two-cell $d$ attached along $b$ with degree one. Collapsing $a$ leaves one zero-cell $p$, one one-cell $b$, and the two two-cells $c,d$. The cellular boundary formula givesTherefore

The Excision theorem says that if $Z\subseteq A\subseteq X$ and $\overline{Z}\subseteq \mathrm{int}A$, then inclusion inducesIt lets us compute local homology in arbitrarily small neighborhoods.

Let $C\subseteq X$ be the image of $\{{\theta }_0\}\times S^1$. At a point of $X\setminus C$, a neighborhood is a disk, whose link is a circle. At a point of $C\setminus \{p\}$, three half-disks meet along their diameters, and the link is a Theta graph, with first homology ${\mathbb{Z}}^2$. At $p$, the two folds created by collapsing the horizontal circle give a dumbbell graph as link: two circles joined by an interval. Its first homology is again ${\mathbb{Z}}^2$. The local homology from a link therefore givesBecause local homology is invariant under a homeomorphism, every self-homeomorphism of $X$ preserves the rank-two locus $C$.

It must also preserve $p$. Indeed, $p$ is the unique point of $C$ whose sufficiently small local link is a dumbbell graph; every other point of $C$ has a theta-graph link. The connecting edge of a dumbbell graph is a bridge in a graph, whereas no edge of a theta graph is a bridge, so these local topological types are distinct.

For a based space $(X,x_0)$, the homotopy groupis the set of based homotopy classes, with its usual concatenation operation. A map $f:X\to Y$ is a weak homotopy equivalence when it induces a bijection on path components and an isomorphismfor every $k\ge 1$ and every basepoint $x$. It is an n-connected map when it is bijective on ${\pi }_k$ for $k<n$ and surjective on ${\pi }_n$; equivalently, every homotopy fiber is $(n-1)$-connected.

A CW complex is built from a discrete set of zero-cells by successively attaching $k$-discs along maps from their boundary spheres, with the weak topology and closure-finiteness conditions. Its filtration by skeleta is the CW filtration.

For any space $X$, form its singular simplicial set $\mathrm{Sing}X$. Its geometric realization of a simplicial set is a CW complex, with one cell for each nondegenerate singular simplex, and evaluation givesThe Simplicial approximation theorem identifies based maps and homotopies from finite simplicial spheres into $|\mathrm{Sing}X|$ with singular simplices in $X$. Consequently $ϵ$ induces a bijection on components and isomorphisms on all homotopy groups. Thus every space admits a CW approximation.

The vanishing assumptions do not permit removal of all $n$-cells. Take $n=2$ andThen ${\pi }_2(X)=0$, and homology of a finite cyclic group gives $H_2(X;\mathbb{Z})=0$. If a connected CW complex $Y$ had no two-cells, attaching cells of dimension at least three would not change the fundamental group of its one-skeleton. Hence ${\pi }_1(Y)$ would be a free group. A weak equivalence $Y\to X$ would instead give ${\pi }_1(Y)\cong \mathbb{Z}/r$, which is nontrivial and finite and therefore not free. No such $Y$ exists.

Order the chambers $wK$ by nondecreasing Coxeter length, beginning with $K$. When $wK$ is attached, letbe its right descent set. Claim C2 applied to the coset $w{W}_{T(w)}$, followed by C1, shows that $T(w)$ is spherical. The part of $wK$ already present is exactlyIt is nonempty for $w\ne e$ and is contractible by C3. The chamber $wK$ is contractible as well, so C4 shows inductively that every finite length-ordered union of chambers is contractible.

The Davis complex is a CW complex and is the increasing union of these chamber unions. Every map from a sphere has compact image and therefore lies in a finite union; the next finite contractible union null-homotopes it. Thus every homotopy group of the Davis complex vanishes. Since it is connected, the Whitehead theorem implies

A Wirtinger presentation from a connected knot diagram has one generator per arc and one relator per crossing, with one relator redundant. Its presentation complex is a finite two-dimensional CW complex $X$ with one zero-cell, $n$ one-cells, and $n-1$ two-cells, and the usual diagrammatic construction gives a homotopy equivalence $X\simeq E_K$.

The abelianization of the knot group is $H_1(E_K;\mathbb{Z})\cong \mathbb{Z}$, generated by a meridian of a knot. Every homomorphism to the cyclic group $\mathbb{Z}/2$ factors through this abelianization, and reduction modulo two is its unique surjection. Thus the requested map $\alpha$ is unique.

Its kernel determines a two-sheeted covering space $\hat{X}$. The nontrivial deck transformation acts on cellular chains and homology, giving them module structures over the group ringLift one copy of every cell of $X$; its two deck translates form a free $\hat{R}$-basis. Hence $C_0\cong \hat{R}$, $C_1\cong {\hat{R}}^n$, and $C_2\cong {\hat{R}}^{n-1}$. If $\tilde{X}$ is the infinite cyclic cover, its cellular chains are free over $R=\mathbb{Z}[t^{\pm 1}]$, and imposing $t^2=1$ gives

For an odd prime $p$, the two idempotents $e_{+}=(1+t)/2$ and $e_{-}=(1-t)/2$ split the group algebraThe plus summand is the cellular chain complex of $X$ with ${\mathbb{F}}_p$ coefficients, while the minus summand is $C_{-}=C_{\ast }^{\mathrm{cell}}(\tilde{X}){\otimes }_R{R}_{-}$. Therefore

On the minus summand, the boundary $t-1:C_1\to C_0$ becomes multiplication by $-2$, which is invertible in ${\mathbb{F}}_p$, so $H_0(C_{-})=0$. After the corresponding cancellation, the remaining square boundary matrix is an Alexander matrix specialized at $t=-1$. It is singular over ${\mathbb{F}}_p$ exactly whenor equivalently when $p$ divides the knot determinant $\det K$. Thus $H_{\ast }(C_{-})$ is nonzero exactly in that case.

Finally, $\det K=|{\Delta }_K(-1)|$ is a nonzero odd integer, so the minus complex is acyclic over $\mathbb{Q}$. Since a knot exterior has the rational homology of a circle,

Write $S^n$ as the union of slightly enlarged northern and southern hemispheres $U$ and $V$. Both are contractible, while $U\cap V$ deformation retracts onto $S^{n-1}$. The reduced Mayer–Vietoris theorem therefore givesStarting from ${\tilde{H}}_0(S^0;\mathbb{Z})\cong \mathbb{Z}$ proves the homology of a sphere:This uses no cellular homology. A reflection of $S^n$ reverses its orientation and has degree of a continuous mapping $-1$, so it induces the identity on $H_0$, multiplication by $-1$ on $H_n$, and the unique map between zero groups in every other degree.

For a CW complex with skeleta $X^k$, its cellular chain complex isThe differential is the connecting map to $H_{k-1}(X^{k-1})$ followed by passage to $H_{k-1}(X^{k-1},X^{k-2})$. Equivalently, the coefficient of a $(k-1)$-cell in the boundary of a $k$-cell is the degree obtained from its attaching map after collapsing the complement of that lower cell. This is the cellular boundary formula.

The quotient $D^k/(x\sim -x\text{ on }{S}^{k-1})$ builds ${\mathbb{RP}}^k$ from ${\mathbb{RP}}^{k-1}$ by one $k$-cell, so ${\mathbb{RP}}^n$ has one cell in each dimension $0,\dots ,n$. The two lifts of the attaching map contribute with relative sign $(-1{)}^k$, and the cellular homology of real projective space has differentialConsequentlyWith ${\mathbb{F}}_2=\mathbb{Z}/2$ coefficients every differential vanishes, and hencewith zero homology outside that range.

The standard CW complex structure on Real projective space ${\mathbb{RP}}^n$ has one cell in each dimension $0,1,\dots ,n$. Its cellular chain complex has $C_q\cong \mathbb{Z}$ and differentialConsequentlyAfter tensoring the cellular complex with ${\mathbb{F}}_2=\mathbb{Z}/2$, every differential vanishes, so

The standard CW complex structure on ${\mathbb{CP}}^n$ has one cell in every even dimension from $0$ to $2n$, and ${\mathbb{CP}}^k$ is its $2k$-skeleton. Collapsing that subcomplex leaves one zero-cell and one cell in each dimension $2i$ for $k+1\le i\le n$. All cellular boundaries vanish, so

Let $x\in H^2({\mathbb{CP}}^n;\mathbb{Z})$ be the usual generator. For $i>k$, choose $u_i$ whose pullback under the quotient map is $x^i$. Naturality of the cup product and the cohomology ring of complex projective space giveTogether with the unit, this determines the ring; equivalently, its reduced part is the ideal $(x^{k+1})/(x^{n+1})$ with the inherited multiplication. This is the cohomology ring of a collapsed projective subspace.

If $n=k+1$, the quotient has just a zero-cell and a $2n$-cell, so it is $S^{2n}$ and is a compact manifold. Conversely, suppose $n\ge k+2$ and the quotient is homotopy equivalent to a compact manifold. Its top cohomology is $\mathbb{Z}$, so that manifold must be closed, orientable, and $2n$-dimensional. But $H^{2n-2}\cong \mathbb{Z}$ while $H^2=0$, contradicting Poincare duality. Therefore

For a CW complex $X$, the cellular chain complex isthe free abelian group generated by the oriented $n$-cells. Its differential is the compositeNaturality of the long exact sequences of the triples $X^{n-2}\subset X^{n-1}\subset X^n$ makes two successive connecting maps compose to zero, so $d_{n-1}{d}_n=0$.

The cellular boundary formula says that the coefficient of an $(n-1)$-cell $e_{\alpha }^{n-1}$ in the boundary of $e_{\beta }^n$ is the degree of

For a phantom map of spectra $p:D\to E$ and a finite CW complex $K$, Spanier-Whitehead duality identifies $D_k(K)$ with maps from the finite spectrum ${\Sigma }^k({\Sigma }^{\infty }K{)}^{\vee }$. Hence $p_{\ast }=0$ there. An arbitrary CW complex is the filtered union of its finite subcomplexes, and represented homology theory commutes with that filtered union because spheres are compact. Thus $p$ induces zero on the entire represented homology theory.

A Postnikov tower of a connected CW complex $X$ consists of spaces $P_{n}X$ with ${\pi }_i(P_{n}X)={\pi }_i(X)$ for $i\le n$ and zero for $i>n$, together with compatible maps $X\to P_{n}X\to P_{n-1}X$. For simply connected $X$, each stage is a principal Eilenberg–MacLane fibration with fibre $K({\pi }_{n}X,n)$, classified by a Postnikov invariant. The canonical map $X\to {\mathrm{holim}}_n{P}_{n}X$ is a weak equivalence: in each homotopy degree the tower is eventually constant, so the derived inverse-limit obstruction vanishes.

In the simply connected homotopy category, a rational space is a simply connected CW complex whose positive homotopy groups are vector spaces over $\mathbb{Q}$. Multiplication by every nonzero integer on these groups is invertible. More generally one uses nilpotent spaces with localized fundamental group and higher homotopy groups; the simply connected version avoids local-coefficient twisting.

The based suspension collapses both ends and the basepoint cylinder of $X\times I$ to one basepoint. The loop space and reduced suspension are adjoint in based homotopy theory. For a connected based CW complex, the James reduced product models the loop space of its reduced suspension.

For a CW complex $X$, abelian $G$ and $n\ge 1$, homotopy classes of maps to the Eilenberg–MacLane space correspond to cohomology classes by pullback of the universal cohomology class of an Eilenberg–MacLane space. Pointed maps give the reduced version. This converts a cohomology class into an actual map realizing its effect on homotopy.

A simply connected CW complex of finite type has finitely generated homotopy groups in every degree. More generally, finite generation of its integral homology groups in each degree suffices. This is a finiteness theorem, not a claim that the groups are finite. A finite fundamental group allows the same conclusion after passing to a universal cover with finite type: a finite number of base cells lifts to a finite number of covering cells in each degree. It permits higher homotopy to be killed with finitely many cell attachments per dimension.

The $q$-skeleton of a CW complex is the subcomplex consisting of its topological cells of dimension at most $q$. A cellular map preserves these skeleta. The cellular approximation theorem lets continuous maps respect this filtration up to homotopy.

An open $q$-cell of a CW complex is a copy of an open $q$-dimensional ball. Its characteristic map is a map from a closed ball whose interior parametrizes that cell and whose boundary lands in the preceding skeleton. The characteristic map need not be injective on the boundary. Each oriented cell gives one generator of the cellular chain complex.