0
$\begingroup$

Given a topological space and two maps from $[0,1]=|\Delta^1|$, say $f$ and $f'$ to $X$, a homotopy using an element of the 2-simplices of the singular set of $X$, such that its edges are given by the diagram below

enter image description here

This diagram denotes a simplex $\sigma$ such that $d^2 \sigma=id$, $d^0(\sigma)=f$, and $d^1(\sigma)=f'$. The second figure illustrates how this corresponds to a homotopy between $f$ and $f'$.

My question is if I consider the 'space' whose points are chain complexes, so that $f$ and $f'$ are maps of chain complexes$ C^* \to D^*$, then why does the existence of such a 2 simplex guarantee that $f$ and $f'$ are chain homotopic?

(More precisely I consider the natural transformations from the canonical natural transformation $Hom(*,[2]) \to Kom$ given by mapping the vertex $0$ to the chain complex $C$, $1$ to $C$, $0 \to 1$ to the identity morphism from $C \to C$, $1 \to 2$ to the morphism $f$, $0 \to 2$ to the morphism $f'$, etc. )

If I naively proceed using my own intuition of what the boundary of a 2-simplex should be and call the 2-simplex $\sigma$. $\sigma$ by definition is a map from $C \to D$. Let $f$ and $f'$ be maps from $C \to D$, I get that $\partial \sigma:= d^0(\sigma)-d^1(\sigma)+d^2(\sigma)=f-f'+Id$.

How can I use this to show that $f$ and $f'$ are chain homotopic?


Answer:

The textbook definition(crash course on $\infty$-categories, gaitsgory seminar) of the boundary map appears to have been written so that $\sigma$ defines a chain homotopy. Thus $\partial \sigma+f \circ \partial =f'-f \circ Id=f'-f$, if $d(\sigma)$ is defined to be $\partial \sigma + f \circ \partial$.

  • 0
    Which book are you reading from?2017-01-26
  • 0
    The textbook definition is from a crash course on $\infty$ categories(11 pages long).2017-01-27

0 Answers 0