13
$\begingroup$

This question has been cross posted on MathOverflow with some very interesting answers and discussion.


I'm currently writing a project on the braid groups and their analogues on closed surfaces. It's an easy exercise to show that if $B_n$ is Artin's classical braid group on $n$ strings, then $B_n$ can be embedded in $B_{n+1}$ (the homomorphism is given by 'adding a string' on to the end of any braid in $B_n$ and this can be shown to be a monomorphism). A similar statement can be proved for the pure braid group $P_n$.

Let $P\mathcal{S}_n$ be the pure $n$-string braid group on the sphere $S^2$. Fox's definition of this group is the fundamental group of the configuration space $F_{n}S^2=\prod_n S^2\setminus\{(x_1,\ldots,x_n)|\exists i\neq j, x_i=x_j\}$ with basepoint $\hat{x}=(\hat{x}_1,\ldots,\hat{x}_n)$. The full braid group $\mathcal{S}_n$ is then the fundamental group of the configuration space $B_nS^2=F_nS^2/\sim$ where $x \sim y$ if the coordinates of $y$ are a permutation of the coordinates of $x$. It follows that $\mathcal{S}_n/P\mathcal{S}_n=\Sigma_n$ where $\Sigma_n$ is the symmetric group on $n$ elements.

It's well known that for $n\geq 3$, $P\mathcal{S}_n$ (and so $\mathcal{S}_n$) has torsion elements (given by the solution to the Dirac string problem for instance).

With that framework now built up, my question is, can $\mathcal{S}_n$ be embedded in to $\mathcal{S}_{n+1}$ for $n\geq 3$ (and similarly for their pure counter parts)? The naive 'add a string on the end' map will not work because, for instance, the following trivial braid $\gamma$ here (see image below) becomes non-trivial when a string is added on the end, and so any such map would not respect the equivalence class of isotopic braids.

I would think that the answer is no, but a proof eludes me. I've not been able to find any answer in the extensive literature which leads me to believe that the question is difficult. If a solution does exist, I would prefer a geometric proof as opposed to an algebraic proof, but any proof would be welcomed.

enter image description here

  • 0
    What if you add n+1 strand so that there is no interaction with the n-braid?2012-12-23
  • 0
    How would you do that consistently so that the map was an injective homomorphism? That's the essential problem that needs to be solved. My intuition tells me that it **can not** be done, and so no such map exists. I'd be pleasantly surprised if there was such a non-trivial embedding though.2012-12-23
  • 0
    Oh, I see, it is not the usual braid group, but on the sphere.2012-12-23

1 Answers 1

2

What about a doubling map? Take the $1$st strand and replace it with two parallel copies.

  • 0
    That seems like a good idea and looks to sort out the problem with the braid $\gamma$. I'm slightly worried about how you would well-define such a map though, especially as the first strand can take rather complex paths round the sphere. How do you ensure that the new strand doesn't get twisted with the first strand, and in a consistent way. I think my worry is with the word 'parallel'. Could we just take as definition that the braid, when restricted to the first two strands, is trivial, and that the newly added strand is sufficiently close to the first? Thanks for the reply. I'll think on it.2013-01-19
  • 0
    Yes, that's the definition I'm thinking of. As you say, there are many parallel copies, so you need to pick the unique one that has linking number zero with the original strand. This is the same as your proposal of taking the one that restricts to a trivial link when you delete the other strands.2013-01-19
  • 0
    Now that I think about it, I believe there may be some trouble. Any pure braid with two strings is trivial on the sphere so it's not obvious to me how you would choose a canonical new strand. Especially as any twisting of the new strand really does make a difference when you take the context of the other strings in to account. As an example, how would you choose the second strand if the first spiralled anticlockwise around the inner sphere?2013-01-19
  • 0
    EDIT: Ignore the example, it's not a very good one. My point about the braid group on two strings being trivial for the sphere is still valid though, and I believe with a little more thought I may be able to find a counter-example.2013-01-19
  • 0
    Yes, I'm not used to thinking about the spherical braid group. Twisting is definitely a problem! Not sure if there's a way to fix it or not.2013-01-19
  • 0
    It might help to know that every braid can always have its first strand straightened, and so there would then be a canonical way to double the strand in that case. This seems rather arbitrary though (for instance I'm not sure if there's a canonical way to straighten the first strand), and I'm not sure if the map that we end up with will be a homomorphism. Thanks for the help, I haven't looked at this stuff in a few months but recently revisited it.2013-01-19
  • 0
    @DanielR: At least my construction works for the framed braid group, where the configuration space is modified to include a tangent vector at each of the points. (Or you can think of it as being composed of ribbons as opposed to strands.) The framing then gives a canonical parallel push-off.2013-01-19
  • 0
    You might like to see the discussion for this question after it was cross posted to MO http://mathoverflow.net/questions/119481/can-the-n-string-sphere-braid-group-embed-in-to-the-n1-string-sphere-braid-gro2013-01-23