basic problems of algebraic topology

In algebraic topology one defines and uses functors from some category of topological spaces to some category of algebraic objects to help solve some existence or uniqueness problem for spaces or maps.

There are 4 basic problems of algebraic topology for the existence of maps: extension problems, retraction problems, lifting problems and section problems.

Regarding that these problems make sense in any category, we will talk about objects and morphisms and not spaces and maps.

Given morphisms $i:A\to X$, $f:A\to Y$ find an extension of $f$ to $X$, i.e. a morphism $\tilde{f}:X\to Y$ such that $i\circ\tilde{f}=f$. Notice that if $i:A\hookrightarrow X$ is a subobject, then $i\circ\tilde{f}$ is the restriction $\tilde{f}{|_A}$, and the condition is $\tilde{f}{|_A} = f$.

Let $f:A\to Y$ be a morphism. Find a retraction of $f$, that is a morphism $r:Y\to A$ such that $r\circ f = id_A$.

The retraction problem is a special case of the extension problem for $A=X$ and $i=id_A$. Conversely, the general extension problem may (in Top and many other categories) be reduced to a retraction problem:

If the pushout $Y\coprod_A X$ exists (for $i$, $f$ as above) then the extensions $\tilde{f}$ of $f$ along $i$ are in 1–1 correspondence with the retractions of $i_*(f) : Y\to Y\coprod_A X$.

Given morphisms $p:E\to B$ and $g:Z\to B$, find a lifting? of $g$ to $E$, i.e. a morphism $\tilde{g}:Z\to E$ such that $p\circ\tilde{g}=g$.

For any $p:E\to B$ find a section $s: B\to E$, i.e. a morphism $s$ such that $p\circ s = id_B$.

The section problem is a special case of a lifting problem where $g = id_E : E\to E$. Then the lifting is the section: $\tilde{g} = s$. A converse is true in the sense

If the pullback $Z\times_B E$ exists then the general liftings for of $G$ along $p$ as above are in a bijection with the section of $g^*(p)=Z\times_B p : Z\times_B E\to Z$.

Revised on December 9, 2009 04:00:55
by Toby Bartels
(173.60.119.197)