Can all induced maps be described categorically.?. (or at least as generally as possible) - MathOverflow

Can all induced maps be described categorically.?. (or at least as generally as possible)

2010-05-18T04:56:30Z

Hi: I am new here. I went over the fAQ's, still, sorry if I break protocol.

I am pretty confused about induced maps in different areas of algebraic topology; I do know how these induced maps are defined in many cases, but I definitely do not understand well-enough the rules governing when a map between two topological spaces X,Y , induces a map in homology, or homotopy. AFAIK, if we have a map f:X-->Y , and this map takes cycles to cycles and boundaries to boundaries, then this map "passes to homology" (not clear what that means.).
Problem(at least to me) is that this word "induced" seems to be overused (in the sense that its meaning does not always seem clear.): induced quotients, induced homomorphisms, induced bundles, etc. So: does anyone know if induced maps can be described categorically, or at least, could someone please explain when a given map between topological spaces induces a map on homology or cohomology.?.

I think there is some underlying algebraic result dealing with normal subgroups(which extends to any subgroup in homology, since chain groups are Abelian.), but I am not too sure of this.

Thanks For any Help.

Answer by Robin Chapman for Can all induced maps be described categorically.?. (or at least as generally as possible)

2010-05-18T06:36:42Z

The key word in this context is functor. The point is that homology, homotopy etc. are functors. For example consider homology $H_n$. This is a functor from the category of topological spaces to the category of Abelian groups. In categories, although the usual notation obscures it, morphisms are more important than objects. It is crucial to define the action of the functor on morphisms. Returning to our example, to define the functor $H_n$ we need to define an Abelian group $H_n(X)$ for each topological space $X$, and for each continuous map $f:X\to Y$ a group homomorphism $H_n(f):H_n(X)\to H_n(Y)$. These maps $H_n(f)$ must preserve composition and identities. In practice, we don't use the notation $H_n(f)$ for these maps but typically use alternatives like $f_*$ which is quicker to write, but less informative. Similarly homotopy groups and cohomology groups form functors on suitable categories.

There is a whole algebra of categories, functors and more which are dealt with in texts on category theory. For instance the composition of two functors is a functor. In our example, some texts see the homology group functor as a composite, being a functor from topological spaces to chain complexes, and the functor taking a chain complex to its homology groups. Also texts on topology vary in the detail in which they explain the construction of the maps I've denoted as $H_n(f)$; some go into lots of detail while other wave their hands more. In general once they have done some examples in detail, they tend not to go into so much detail in subsequent examples, as they assume that the reader can now fill in more details.

Answer by Mattia Talpo for Can all induced maps be described categorically.?. (or at least as generally as possible)

2010-05-18T08:32:16Z

Let me add that the answer to your question "when does a map between spaces induce a map in homology/cohomology/homotopy?" is "always" (as long as you stick to continuous maps..).

In fact (say for homology) if you have a continuous $f:X\to Y$, the induced homomorphism of chain complexes $C_\bullet(f):C_\bullet(X)\to C_\bullet(Y)$ sends automatically cycles to cycles and boundaries to boundaries (simply because it is compatible with the differentials of the two complexes, in the sense that $f\circ d_X=d_Y\circ f$).

The fact that it "passes" to homology is now an algebraic fact, namely the fact that if you have four abelian groups $A,B,C,D$ and three homomorphisms $f:A\to B, g:A\to C, h:B\to D$ with $g$ and $h$ surjective (so $C$ is a quotient of $A$ and $D$ is a quotient of $B$), then you can find $f':C\to D$ such that $f'\circ g=h\circ f$ if and only if $f(\ker(g))\subseteq \ker(h)$. (you might want to draw a diagram here :D)

Take $A=Z_n(X), B=Z_n(Y), C=H_n(X)=Z_n(X)/B_n(X), D=H_n(Y)=Z_n(Y)/B_n(Y)$, where $Z_\bullet=$cycles and $B_\bullet=$ boundaries, as usual, and you get your induced map in homology.