2
$\begingroup$

First of all, I apologize for the crudeness of my question. Consider the construction of the homotopy groups. We mod out the space of "loops" at point by the equivalence relation generated by homotopy equivalence then give the new space a group structure were the operation is "concatenation" of loops. My question: Could we, instead, mod out the space of "loops" (without reference to a specific point) by the equivalence relation generated by isotopy equivalence then give this space a group structure using some kind of "surgery" on the equivalence classes?

  • 1
    Homotopy equivalence is already an equivalence relation. Are you talking about ambient isotopy here? What do you mean by "some kind of surgery"?2012-06-28
  • 0
    yes, ambient isotopy, was what I was referencing. By "surgery" I meant something like what follows: let f:[0,1] --> M and g:[0, 1] --> M be two loops on the space M, then remove a disk from f and a disk from g then form a new "loop" by attaching line segments to the end points in an obvious manner (perserving orientation?).2012-06-28
  • 0
    do you want to cut out disks that "bound" the images of $f$ and $g$? This may only be possible for trivial loops, those homotopic to the constant loop.2012-06-28
  • 1
    What do you mean by "remove a disk from $f$"?2012-06-28
  • 0
    By "remove a disk from f" I mean to remove the image of a compact connected subset of the interval that does not include any possible points of self intersection.2012-06-28
  • 1
    You cannot remove such a disc from the constant loop. Besides, the line segments you want to attach are not canonical (there are several homotopy classes of them and you have to choose one).2012-06-28

0 Answers 0