4
$\begingroup$

Does anyone have a good quick proof of this using the Simplicial Approximation Theorem? I'm aware that it comes out as a corollary when considering edge paths and the edge group, but this seems like quite heavy machinery for what should be a simple idea. I haven't been able to put together a convincing argument myself though!

  • 2
    Simiplicial approximation should give it to you immediately. Loops are $1$-dimensional, so can be pushed into the $1$-skeleton and homotopies are $2$-dimensional, so can be pushed into the $2$-skeleton. You can also use Seifert-VanKampen's theorem.2012-06-02
  • 0
    @JimConant: I agree that it should be immediate, but I can't see how to formalise your suggestion of __pushing into__. Could you possibly expand on this? Many thanks!2012-06-02
  • 1
    "Pushing into" means that there is a homotopy. So, every loop is homotopic to a loop in the $1$-skeleton. Then you need to argue that if two loops are homotopic then they are homotopic through the $2$-skeleton. The SAT implies that a homotopy regarded as a map from $I^2$ is itself homotopic to one that lies in the $2$-skeleton. (However the fact that the homotopy is homotopic to the new one is not relevant for the argument.)2012-06-02
  • 0
    Okay - I'll try to work through that idea!2012-06-02
  • 0
    @JimConant: Okay - think I see how to do it. Just to check, it suffices to prove that2012-06-03
  • 0
    (1) any loop in |K| is homotopic to a loop in |K(1)| using simplicial approx theorem2012-06-03
  • 0
    (2) any two homotopic loops in |K(1)| are homotopic by a homotopy in |K(2)| using simplicial approx theorem again2012-06-03
  • 0
    Am I right? Many thanks!2012-06-03
  • 1
    yes, that's what I was thinking.2012-06-03

1 Answers 1