6
$\begingroup$

I'm reading Jeff Strom's book on Homotopy Theory and I am trying to make some sense of a certain exercise. On page 91, "Homotopy in Mapping Categories" we consider the category of arrows of topological spaces, that is, the objects are continuous maps $f:X \rightarrow Y$ , X and Y are topological spaces. Morphisms between two maps $f:X \rightarrow Y$, $g: Z \rightarrow W$ are pairs $\alpha = (\alpha^d,\alpha_t)$ $\alpha^d:X \rightarrow Z$, $\alpha_t : Y \rightarrow W$ making the obvious diagram commute. Let us call this category Map.

Later on, he introduces a notion of homotopy in Map. A homotopy between morphisms $\alpha:f \rightarrow g$ and $\beta:f \rightarrow g$ consists of two maps $(H^d,H_t)$, $H^d: X \times I \rightarrow Z $ , $H_t: Y \times I \rightarrow W$ , such that we have $H_t \circ (f \times id_I) = g \circ H^d $. Now, $\alpha:f \rightarrow g$ is a homotopy equivalence in Map if we can find $\beta:g \rightarrow f$ such that both $\alpha \circ \beta \simeq id_{g}$ and $\beta \circ \alpha \simeq id_{f}$. OK, so later on he explains that this is quite a strong requirement of homotopy, and one sometimes weakens it. One is pointwise homotopy equivalence in Map, which is the requirement that both $\alpha^d$ and $\alpha_t$ as above are homotopy equivalences of topological spaces. He then asks the following:

Show that if $f \simeq g:X \rightarrow Y$, then f and g are equivalent in $\textbf{h}\mathcal{T}$.

Here $\textbf{h} \mathcal{T}$ is a homotopy category of topological spaces. I am very confused by the above problem. My question is:

What does the problem ask me to do?

Does $f \simeq g$ above mean that f and g are homotopic? Or simply that they are an equivalence in Map? I am not sure what to show to be honest, and I have been trying to understand the notation for quite some time now here, so I would be beyond grateful for any help on this matter.

  • 0
    Presumably, $f\cong g$ means that $f$ and $g$ are isomorphism as objects in **Map**.2012-07-23
  • 0
    Oh, I see that I used $\cong$ instead of $\simeq$. I'll change that.2012-07-23
  • 0
    Yeah, I think it just means show that if $f$ and $g$ are homotopic in the usual sense (as maps of spaces) then they are the same map in the homotopy category (of spaces). The follow up exercises deal with the mapping category.2012-07-23
  • 1
    Justin: Isn't that completely tautological by the definition of the homotopy category of spaces? (In some sense I guess all things in math are tautological, but still ) We just identify the homotopic maps? Thanks!2012-07-23
  • 1
    I haven't read Strom, but these days, the homotopy category means we formally invert the weak equivalences. There is still something to prove to show that homotopic maps induce the same map, it's fairly trivial, but not tautological.2012-07-23
  • 0
    Justin: OK, the reason I'm asking is since he uses the definition of mappings in homotopy category the homotopy classes of maps.2012-07-23
  • 0
    Yes, I see that. Looks tautological to me, probably it was intended to be something else.2012-07-23
  • 2
    I think the problem is asking you to show that if two particular objects of $Map$ are homotopy-equivalent in that category, then the underlying morphisms in $T$ are homotopic (or equivalently, they are equal in $hT$). A key point is that to pass from a category to its homotopy category, you only change the morphisms; you still have the same objects as before. To clarify what @JustinYoung said, it is true that we call the homotopy category of a model category the result of inverting the weak equivalences, but the old-school definition just involves passing to homotopy classes of maps.2012-07-25
  • 0
    Aaron: Ah, OK, thanks. I don't know how to prove that , so if you have the time I'd love an answer involving how to prove that equivalence, some hints or whatever you have the energy for.2012-07-25
  • 0
    @Dedalus (btw, you should put the @ sign in order for M.SE to notify the person): I haven't done it, but this should be a purely formal exercise in unwinding definitions. To get you started, suppose $f,g:X\rightarrow Y$ are two objects in $Map$, and the morphisms $\alpha:f \leftrightarrows g:\beta$ in $Map$ induce a homotopy equivalence equivalence between them. This will be witnessed by some pairs $(H^{d,f},H_{t,f})$ and $(H^{d,g},H_{t,g})$. Your job (should you choose to accept it) is to figure out what the heck these $H$'s are and what diagrams they satisfy, ...2012-07-26
  • 0
    ... and then deduce from this information that $f$ and $g$ are homotopic (*as maps in* $T$!).2012-07-26

0 Answers 0