Codex @codex  0

A topological space with a distinguished basepoint. Maps preserve the basepoint, and based homotopies keep it fixed.

The fundamental group ${\pi }_1(X,x_0)$ consists of based loops modulo based homotopy. Multiplication follows one based loop and then the other; the constant based loop represents the identity, and path reversal gives the inverse. Passing to homotopy classes makes this operation associative, as explained by well-defined loop concatenation.

Identify the circle with $S^1=\{z\in \mathbb{C}:|z|=1\}$ and choose basepoint $1$. Its based loopshave winding number $n$: positive $n$ counts counterclockwise turns, negative $n$ counts clockwise turns, and $n=0$ gives the constant based loop. Every based loop on the circle is joined by a based homotopy to exactly one ${\gamma }_n$. ConsequentlyThis is Hatcher's Theorem 1.7 in Algebraic Topology, §1.1, pp. 29–30. For example, two counterclockwise turns followed by one clockwise turn represent $2+(-1)=1$, rather than three turns. The winding graph in the figure above makes the signed arithmetic visible.

A proof outline uses the covering map $q:\mathbb{R}\to S^1$, $q(u)=e^{2\pi iu}$. By the path lifting theorem, a based loop has a unique lift starting at zero and ending at an integer $n$. Interpolating its lift to $s\mapsto ns$ produces a based homotopy to ${\gamma }_n$. The homotopy lifting theorem for a covering map keeps that endpoint unchanged during a based homotopy, proving uniqueness.

In the filled disk, every based loop $\gamma$ at $x_0$ has a based homotopy to the constant based loop:Both endpoints remain $x_0$, and the convex set property of the disk keeps every intermediate point inside. Thus ${\pi }_1(D^2,x_0)$ is the trivial group. Together with the deformation retraction above, this computes three concrete answers: the filled disk has trivial fundamental group, while the circle and the annulus have infinite cyclic groups.

Maps have computable algebraic shadows too. The continuous map $p_n:S^1\to S^1$, $p_n(z)=z^n$, fixes $1$ and sends ${\gamma }_k$ to ${\gamma }_{nk}$. Its induced group homomorphism is therefore $k\mapsto nk$, and its mapping degree is $n$. For $n=2$ the image consists of even integers, so this map cannot be a homotopy equivalence. Composing $p_2$ with $p_{-3}$ gives $p_{-6}$: map composition multiplies degrees, whereas concatenating based loops adds winding numbers. Distinct degrees distinguish these maps up to homotopy; this calculation does not classify arbitrary topological spaces.

Historically, Poincaré's 1895 Analysis Situs introduced the fundamental group; its original §12 explicitly names it. The CNRS transcription of Poincaré's §12, Groupe fondamental provides a direct view of this early formulation.

For a covering map $p:X\to Y$ and base point $y$, the path lifting theorem lifts each based loop from each point of the fibre $p^{-1}(y)$. Its endpoint defines a permutation of that fibre; path reversal gives the inverse. The homotopy lifting theorem for a covering map makes the permutation depend only on the based homotopy class. These permutations form the monodromy group, the image of the fundamental group actionThe image is independent of the convention for composing routes; one may reverse the loop classes to obtain a left group action when route multiplication means following the first route and then the second.

For $p(w)=w^2$ on the punctured plane, the fibre over $1$ is $\{1,-1\}$, and a once-around based loop exchanges its two points. The monodromy group has two elements: only the parity of the winding number matters. For the covering map $p(w)=e^w$ from the complex plane to the punctured plane, the fibre over $1$ is $2\pi i\mathbb{Z}$, and a positive turn acts by $2\pi ik\mapsto 2\pi i(k+1)$. Its monodromy group is an infinite cyclic group. These are the geometric versions of logarithm and square-root continuation along different paths: the base point returns, while its lifted endpoint can move to another sheet.

Use derived smash products of spectra and replace a based space by a based CW complex when necessary. The reduced represented homology theory of $E$ isThus represented homology theory is covariant in $X$: a based map induces a map of suspension spectra, and hence a map on the stable homotopy groups of the displayed smash product of spectra. In a well-based sequential model the same definition iswith $j$ sufficiently large and transition maps given by suspension followed by the structure map.

The reduced represented cohomology theory isThe brackets denote maps in the stable homotopy category. This is contravariant in $X$, by precomposition. For the Omega-spectrum $E$ it is also the group of based homotopy classes $[X,E_q{]}_{\ast }$, where for negative $q$ we take $E_q={\Omega }^{-q}{E}_0$. More generally, for $j\ge \max (q,0)$ the Omega-spectrum identifications give ${\tilde{E}}^q(X)=[{\Sigma }^{j-q}X,E_j{]}_{\ast }$; the shifts and loops supply its abelian group structure. In particularAll these definitions are reduced: the basepoint itself contributes zero.

Use path concatenation in the order of traversal and let $\bar{u}(t)=u(1-t)$. A loop $\alpha$ based at $x_0$ determines the loop $\bar{u}\ast \alpha \ast u$ based at $x_1$. Thus the change of basepoint isomorphism isA based homotopy of $\alpha$ can be concatenated with the fixed outer paths to give a based homotopy of the resulting loops, so this map is well-defined on the fundamental group. Different parenthesizations and affine reparametrizations of path concatenation are based homotopic.

Let $H(s,z)$ be the free homotopy from $\alpha$ to $\beta$ and put $v(s)=H(s,1)$. Because both endpoint loops are based at $x_0$, this is itself a loop based at $x_0$.

Cut the circle parameter at 1 and regard $H$ as a map on a square. Traversing its boundary gives the concatenation $\alpha \ast v\ast \bar{\beta }\ast \bar{v}$. The boundary is null-homotopic since the map extends over the square. Thus, in the fundamental group,Hence the corresponding elements are conjugate group elements. The moving basepoint path is precisely what distinguishes free homotopy from based homotopy.

View the torus as the topological group $S^1\times S^1$ under coordinatewise multiplication, and let $x_0$ be the common basepoint. From the given free homotopy constructThis is continuous, has $K(s,1)=x_0$, and at $s=0,1$ agrees with $\alpha ,\beta$ because $H(0,1)=H(1,1)=x_0$. Thus it exhibits the requested based homotopy explicitly.

Algebraically ${\pi }_1(S^1\times S^1)\cong {\mathbb{Z}}^2$ is Abelian, so conjugate elements are equal. Free and based homotopy classes of loops with a specified common basepoint therefore coincide here.

Let $a,b$ be the two oriented circle generators of the fundamental group of a bouquet of circles, ${\pi }_1(S^1\vee S^1)\cong F(a,b)$. TakeTheir loops are freely homotopic: slide the basepoint of the $a$ loop along the path $b$, thereby introducing the route $b^{-1}$ to the original loop and $b$ back. Equivalently the change-of-basepoint construction along a loop realizes conjugation, and the retraced connecting portions can be contracted with a moving marked point.

They are not based homotopic, since their reduced words in the free group are distinct: $a$ has length one and $b^{-1}ab$ has length three with no cancellation. This illustrates that free homotopy remembers conjugacy classes, whereas based homotopy remembers actual elements of the fundamental group.

Whenever a combinatorial loop $\alpha$ traverses an oriented edge and immediately traverses the same edge backwards, delete that backtracking pair. Each deletion is a homotopy relative to endpoints inside $Z$ and reduces the edge length by two, so the process terminates at a reduced, hence locally injective, combinatorial loop $\beta$.

The universal cover $\tilde{Y}$ of a connected graph is a tree. The lift $\tilde{\beta }$ is also locally injective because a covering map is a local graph isomorphism. A locally injective edge path in a tree cannot repeat a vertex: the segment between two successive visits would be a nonempty reduced closed path, whereas every closed path in a tree backtracks. Thus $\tilde{\beta }$ is injective unless $\beta$ is constant.

Now let a loop in $Z$ become null-homotopic in $Y$. Its reduced representative $\beta$ lifts to a closed path in $\tilde{Y}$. The preceding injectivity forces that lift, and hence $\beta$, to be constant. The original loop is null-homotopic in $Z$, proving thatis an injective group homomorphism.

An edge loop is a finite sequence of vertices $v_0,\dots ,v_m$, starting and ending at $b$, in which consecutive distinct vertices span an edge. Two such sequences are equivalent when related by finitely many elementary edge homotopies, with endpoints fixed: insert or delete a repeated vertex, cancel or insert a spur $(u,v,u)$, and replace $(u,v,w)$ by $(u,w)$ or conversely when the vertices lie in one simplex. Repetitions are allowed in this last convention; a nondegenerate move uses a triangle.

The edge-loop group $E(K,b)$ consists of these equivalence classes, with product given by concatenating the sequences at $b$. Elementary moves remain valid inside a longer concatenation, so this product is well defined. Concatenation is associative after the harmless repeated base vertex is removed; the constant edge loop is the identity. Reversing a sequence gives its inverse, because a sequence followed by its reverse cancels by successive spurs. Thus these operations do form a group.

Realize an edge loop as a piecewise linear path in the geometric realization $|K|$. A spur contracts in an edge, and a triangle move is a homotopy across that triangle, always fixing endpoints. Hence realization gives a well-defined map $\theta$ to the fundamental group. Realization respects concatenation up to endpoint-preserving reparametrization, so $\theta$ is a homomorphism.

The relative Simplicial approximation theorem says that a continuous map from a finite complex to a geometric realization is homotopic, after sufficiently fine subdivision of its domain, to a simplicial map, with a chosen already simplicial subcomplex kept fixed. Apply its based-circle version to a loop, keeping its marked vertex at $b$. The resulting subdivided simplicial circle traverses edges, so every based homotopy class has an edge-loop representative. Thus $\theta$ is surjective.

For the full two-skeleton, use the triangles through $b$ to replace each edge $(u,v)$ of a loop by $(u,b,v)$. Degenerate cases use repeated-vertex or spur moves. The resulting path contracts by spurs, so its edge-loop group, and therefore its fundamental group, is trivial. This also covers one or two vertices, when only repeated vertices and spurs are needed.

If the deleted triangle has vertices $u,v,w$, choose a fourth vertex $t$. Its boundary is filled by the three present triangles $(t,u,v)$, $(t,v,w)$ and $(t,w,u)$: their union is the cone from $t$ on that boundary. Every elementary homotopy that formerly crossed the missing triangle can therefore be replaced by a homotopy through these three triangles, staying in $|L|$. Since the one-skeleton has not changed, the same contraction of any edge loop is available in $L$. Surjectivity of its realization map gives

A deck transformation of a covering $p:\tilde{X}\to X$ is a homeomorphism $d:\tilde{X}\to \tilde{X}$ with $p\circ d=p$. A connected covering is a regular covering map if its deck transformation group acts transitively on each fiber; for a path-connected base, transitivity on the fiber over the chosen basepoint is equivalent.

Write $H=p_{\ast }{\pi }_1(\tilde{X},\tilde{b})$ and $G={\pi }_1(X,b)$. A based loop represents an element of $H$ exactly when its lift starting at $\tilde{b}$ is closed. Indeed a closed lift itself projects to a representative of an image element; conversely the image of a closed path lifts to that path, and the closed-endpoint property is unchanged by based homotopy.

Suppose the covering is regular, let $h\in H$, and let $g\in G$. Lift a representative of $g$ from $\tilde{b}$ to an endpoint $v$. By regularity some deck transformation sends $\tilde{b}$ to $v$. Applying it to the closed lift of $h$ gives a closed lift of $h$ at $v$, by uniqueness in the path lifting theorem. The concatenation of the lift of $g$, that closed lift of $h$, and the reverse lift of $g$ is therefore a closed lift of $gh{g}^{-1}$. Thus $gH{g}^{-1}\subseteq H$; applying the same argument to $g^{-1}$ gives equality. Hence a regular covering has a normal image subgroup.

For the explicit cover, label the bottom vertex $B=\tilde{b}$, the top $T$, the left $L$, the right $C=c$, and the rear/front equatorial vertices $U,V$, respectively. Reading the arrows gives the complete monodromy table:

Thus the $x$ edges form the cycle $B,V,L,T,C,U,B$, and the $y$ edges form the cycle $B,C,V,T,U,L,B$. In particular every vertex has one incoming and one outgoing edge of each label, as a covering of the two-circle wedge requires. All word paths below are traversed from left to right.

Choose the spanning tree consisting of the first five $x$ edges from $B$ to $U$. The tree paths to $B,V,L,T,C,U$ have labels $1,x,x^2,x^3,x^4,x^5$. For every directed non-tree edge $v\stackrel{z}{\to }w$, the path from $B$ along the tree to $v$, then along the edge, then back along the tree from $w$, has label $t_{v}z{t}_w^{-1}$. Collapsing a spanning tree turns a connected graph into a wedge of circles, so these paths form a free basis of its fundamental group. There are seven non-tree edges, since $12-6+1=7$. Their projected labels give the explicit generating setThe covering map induces an injection on fundamental groups, so these seven generators are also a free basis for the image subgroup. The first comes from the remaining $x$ edge $U\to B$; the other six come from the outgoing $y$ edge at each vertex in the table.

Now the word $h=y{x}^2$ lifts at $B$ around the triangleso $h\in H$. Starting at $C$, however, its lift iswhich is not closed. A deck transformation sending $B$ to $C$ would take the first closed path to a closed lift of the same word at $C$, contradicting uniqueness of lifts and the displayed nonclosed path. No such deck transformation exists. This is also the closed-lift obstruction expressed by the deck transformation group as a monodromy centralizer.

For a connected covering of a connected, locally path-connected, semilocally simply connected space, the classification of connected covering spaces says that the image subgroup is normal if and only if the covering is regular. The two-circle wedge and this connected finite graph satisfy those hypotheses. Since regularity fails, $H$ is not normal in the base group ${\pi }_1(X,b)\cong F(x,y)$. All normality comparisons here are in that base group.

Finally takeThe lift of $gh{g}^{-1}=y^2{x}^2{y}^{-1}$ from $B$ followsIt ends at $V\ne B$, so $gh{g}^{-1}\notin H$. This is the required explicit witness, and independently proves the failure of normality.