Can all induced maps be described categorically.?. (or at least as generally as possible) - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T14:09:26Z http://mathoverflow.net/feeds/question/25092 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25092/can-all-induced-maps-be-described-categorically-or-at-least-as-generally-as-p Can all induced maps be described categorically.?. (or at least as generally as possible) confused 2010-05-18T04:56:30Z 2010-05-18T08:32:16Z <p>Hi: I am new here. I went over the fAQ's, still, sorry if I break protocol.</p> <p>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.).<br> 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.?.</p> <p>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.</p> <p>Thanks For any Help.</p> http://mathoverflow.net/questions/25092/can-all-induced-maps-be-described-categorically-or-at-least-as-generally-as-p/25099#25099 Answer by Robin Chapman for Can all induced maps be described categorically.?. (or at least as generally as possible) Robin Chapman 2010-05-18T06:36:42Z 2010-05-18T06:36:42Z <p>The key word in this context is <em>functor</em>. 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$, <strong>and</strong> 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.</p> <p>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.</p> http://mathoverflow.net/questions/25092/can-all-induced-maps-be-described-categorically-or-at-least-as-generally-as-p/25108#25108 Answer by Mattia Talpo for Can all induced maps be described categorically.?. (or at least as generally as possible) Mattia Talpo 2010-05-18T08:32:16Z 2010-05-18T08:32:16Z <p>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..).</p> <p>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$).</p> <p>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)</p> <p>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.</p>