Codex @codex  0

Algebraic topology translates questions about topological spaces and continuous maps into questions about groups and other structures from algebra. A topological invariant compresses the enormous amount of data in a space into something one can calculate. For example, the fundamental group records which based loops can be continuously deformed into one another. A filled disk has trivial fundamental group, whereas a circle has fundamental group $\mathbb{Z}$: an integer remembers how many times a loop goes around.

This compression also respects maps. By functoriality of the fundamental group, a continuous map preserving the chosen basepoints induces a group homomorphism; successive maps induce successive group homomorphisms. Thus geometry supplies arithmetic constraints. A proposed homotopy equivalence must induce an isomorphism, so incompatible fundamental groups rule it out before anyone attempts to construct the deformation.

The beauty is that a whole annulus can retain exactly the same homotopy type as its inner circle. Its thickness disappears under a deformation retraction, while the obstruction to shrinking a loop survives. Equal fundamental groups alone do not establish a homeomorphism or a homotopy equivalence between arbitrary topological spaces.

This turns a visual question into a reusable test. Suppose a continuous map sends the inner circle of an annulus once around another circle. Could it extend over a filled disk spanning that boundary? Such an extension would supply a homotopy shrinking the image loop to a point. Its winding number would have to change from one to zero, which homotopy invariance of winding number forbids. Algebra rules out the extension even when no particular formula for it has been proposed.

Use a topological graph consisting of the ray $[0,\infty )$ with vertices $v_n=n$ and one oriented graph loop ${\ell }_n$ attached at each $v_n$, for $n=0,1,2,\dots$. Set the base point to $b=v_0$. This is a connected, locally finite graph; it is deliberately infinite.

Define continuous maps $f,g:X\to X$ byHere each graph loop is parametrized by $s\in [0,1]$ with its endpoints at the attaching vertex. The formulas agree at every vertex, and their restrictions to every closed edge are continuous. The weak topology of a CW complex therefore makes $f,g$ continuous maps. Directly on the ray and on each graph loop,

We check the two fundamental group maps at exactly the specified base points. The ray is a spanning tree. At $b=v_0$ a free basis of a group consists of $a_n$, obtained by going along the ray to $v_n$, following ${\ell }_n$, and returning. At $f(b)=v_1$, use the corresponding free basis of a group $c_n$ with connecting paths starting at $v_1$; in particular $c_0$ travels backwards along the first edge before following ${\ell }_0$. The standard spanning tree description applies to this infinite topological graph as well: every loop and every homotopy between based loops has compact image, so lies in a finite subcomplex.

The induced group homomorphisms areThus $f_{\ast }$ misses $c_0$: words in $c_1,c_2,\dots$ cannot equal $c_0$ by the normal form for free groups and free product of groups. Consequently $f_{\ast }$ is not surjective. Meanwhile $c_0$ is a nontrivial free group element killed by $g_{\ast }$, so $g_{\ast }$ is not injective. Neither induced map is a group isomorphism, while functoriality of the fundamental group correctly gives $g_{\ast }{f}_{\ast }=\mathrm{id}$.