4

What is the relation between the definition of homotopy of two functions

"A homotopy between two continuous functions $f$ and $g$ from a topological space $X$ to a topological space $Y$ is defined to be a continuous function $H : X × [0,1] → Y$ from the product of the space $X$ with the unit interval $[0,1]$ to $Y$ such that, if $x \in X$ then $H(x,0) = f(x)$ and $H(x,1) = g(x)$".

and the definition of the homotopy between two morphisms of chain complexes

"Let $A$ be an additive category. The homotopy category $K(A)$ is based on the following definition: if we have complexes $A, B$ and maps $f, g$ from $A$ to $B$, a chain homotopy from $f$ to $g$ is a collection of maps $h^n \colon A^n \to B^{n - 1}$ (not a map of complexes) such that $f^n - g^n = d_B^{n - 1} h^n + h^{n + 1} d_A^n$, or simply $f - g = d_B h + h d_A$."

Please help me. Thank you!

Watson
  • 24,404
Vrouvrou
  • 5,233
  • This question is related and might be useful: http://math.stackexchange.com/questions/132533/can-we-think-of-a-chain-homotopy-as-a-homotopy/132547#132547 – Thomas Belulovich Oct 08 '13 at 15:47

2 Answers2

3

A homotopy $H : f \to g$ induces a homotopy $H_* : f_* \to g_*$ between the morphisms of singular chain complexes induced by $f$ and $g$. The construction is standard and can be found in Hatcher's book, for instance.

Hatcher uses simplices for the construction of the singular chain complex. This has the disadvantage of making the construction of $H_*$ not so transparent, as it requires the construction of an intermediate "prism operator" in order to decompose $I \times \Delta^n$ as a union of $\Delta^{n+1}$'s. If you want to really understand how $H_*$ is constructed, I recommend replacing simplices by cubes, because then $I\times I^n$ is already $I^{n+1}$, and the definiton of $H_*$ becomes much more transparent. It is an excellent exercise!

Bruno Joyal
  • 55,975
  • If i want to prove it how to do ? , i have two morphisms of chain complexes from the definition of homotopie between two functions haw i can prove that the homotopy between $\phi$ and $\psi$ is a sequence of modules ($K_n:C_n\rightarrow D_{n+1}){n\in \mathbb{B}}$) such that $\phi_n-\psi_n=\partial^2{n+1}\circ K_n+K_{n-1}\circ \partial_{n}^1$ ($\partial_n^1:C_n\rightarrow C_{n-1}, \partial_n^2: D_n\rightarrow D_{n-1}$) – Vrouvrou Oct 08 '13 at 06:35
2

In algebraic topology you can construct a functor sending every topological space to a chain complex (the singular complex) and every continuous map between two spaces in a chain map between the corresponding chain complexes.

This mapping can be extended further so that we can associates to every (homotopy classes of) homotopy between two maps an homotopy between the corresponding chain maps. This extend the previous mentioned functor to a $2$-functor from the $2$-category of topological spaces, continuous maps and (homotopy classes of) homotopies to the $2$-category of chain complexes, chain maps and chain homotopies.

Edit What follows is an explanation of the construction of prism operator, since the author of the question asked for (and a comment doesn't seem to be good enough to contain such explanation).

The idea is the following suppose you have an homotopy $H \colon X \times I \to Y$ between the functions $f \colon X \to Y$ and $g \colon X \to Y$.

Then you consider the space $\Delta^n \times I$ with the simplicial structure given by the points $v_i = (e_i,0)$ and $w_i = (e_i,1)$ (where by $e_i$ I denote the $i$-th vertex of standard $n$-simplex $\Delta^n$).

In such $\Delta$-structure you consider the family of simplexes $[v_0 \dots v_i w_i \dots w_n]$ (each $[v_0\dots v_i w_i \dots w_n]$ is the linear map from $\Delta^{n+1}$ to $\Delta^n \times I$ that send the $j$-th vertex of $\Delta^{n+1}$ in $v_j$ for $j \leq i$ and in $w_{j-i}$ for $j \geq i$).

Then it construct the prism operator $P_n \colon C_n(X) \to C_{n+1}(Y)$ in the following way:

  • it consider a generic $\sigma \in C_n(X)$ and the consider the map $H \circ \sigma \times 1_I \colon \Delta^n \times I \to Y$;
  • defined $P_n(\sigma)$ as the linear combination $$P_n(\sigma) = \sum_{i=0}^{n} (-1)^i H \circ \sigma \times 1_I \circ [v_0\dots v_i w_i \dots w_n]$$
  • the morphism $P_n$ is extended to a linear map from $C_n(X)$ by the property of the $\{\sigma \mid \sigma \in \mathbf{Top}(\Delta^n,X)\}$ of being a basis for $C_n(X)$.

(Note that $[v_0\dots v_i w_i \dots w_n] \colon \Delta^{n+1} \to X$ so the linear combination above are really elements of $C_{n+1}(Y)$).

From a little count you can prove that $\delta \circ P + P \circ \delta = g_\# - f_\#$ and so that $P$ is indeed an homotopy of chain maps $f_\#$ and $g_\#$ (which are induced by the maps $f$ and $g$ respectively).

Hope this helps.

Giorgio Mossa
  • 18,698
  • If i want to prove it how to do ? , i have two morphisms of chain complexes from the definition of homotopie between two functions haw i can prove that the homotopy between ϕ and ψ is a sequence of modules $(K_n:C_n\rightarrow D_{n+1}){n\in \mathbb{N}}$ such that $\phi_n-\psi_n=\partial^2{n+1}\circ K_n+K_{n-1}\circ \partial_{n}^1$ $\partial_n^1:C_n\rightarrow C_{n-1}, \partial_n^2: D_n\rightarrow D_{n-1}$ – Vrouvrou Oct 08 '13 at 14:49
  • @Giogio Mossa please – Vrouvrou Oct 08 '13 at 14:55
  • @Vrouvrou Be more specific, what is your problem? haven't you looked at the proof in Hatcher's book? – Giorgio Mossa Oct 08 '13 at 15:02
  • i see it on page 112 and 113 but i dont understand it , – Vrouvrou Oct 08 '13 at 15:09
  • i want to prove the relation of homotopy between two morphisms of a complexes chain using the initial definition of homotopy between two functions – Vrouvrou Oct 08 '13 at 15:12
  • @Vrouvrou I've edited the question adding some stuff let me know it that's what you needed. – Giorgio Mossa Oct 08 '13 at 15:39
  • please you understand french ?, because in my book they don't speak about simplicial structure only after saying what is the homotopy between two morphismes of complexes chain – Vrouvrou Oct 08 '13 at 15:48
  • @Vrouvrou I'm sorry but I can't speak french nontheless Hatcher's book tells what a simplicial complex is: it's a $\Delta$-complex in which for every $n+1$-ple of vertex of the $\Delta$-complex there's at most one $n$-simplex having those points as vertex. The definition of $\Delta$-complex can be found at the beginning of chapter 2 in Hatcher's book. – Giorgio Mossa Oct 08 '13 at 16:33