9
$\begingroup$

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See below for a quick definition of planar tangles, composition and tangle isotopy.

Question: What's the detailed proof of "the composition of planar tangles is well-defined"?
(with all i's dotted and t's crossed)

Remark: A series of lectures given by Vijay Kodiyalam on the fundation of the planar algebra theory can be found in this link.


Quick definition of planar tangles and composition

A (shaded) planar tangle is the data of finitely many "input" disks, one "output" disk, non-intersecting (smooth) strings giving $2n$ intervals per disk and one $\star$-marked interval per disk. A tangle is defined up to isotopy.

enter image description here

To compose two planar tangles, put the outup disk of one into an input of the other, having as many intervals, same shading of marked intervals and such that the marked intervals coincide. Finally we remove the coinciding circles (possibly zero, one or several compositions).

enter image description here


Tangle isotopy

The definition of a tangle isotopy is implicitly the one so that the "data needed" (for subfactors theory) is kept.
I will try an explicit and concrete definition (I invite the experts to correct it).

Two tangles are isotopic if we can go from one to the other by the following smooth deformation:

  • the radius and the center of an "input" disk can smoothly vary as long as the radius stays strictly positive and as long as the "input" disk does not touch an other "input" disk, an other string or the border of the "output" disk.
  • the contact points of a disk (with strings) can vary smoothly as long as they don't cross (or touch) themselves.
  • when an "inner" disk varies or when the contact points varies as above, an open strings touching the disk should vary smoothly so that the contact point follow the deformation, and the string does not touch itself, an other string, an other "input" disk or the border of the "output" disk.
  • a string can also vary smoothly as long as it keeps its endpoints (for the open string case), and as long as the string does not touch itself, an other string an other "input" disk or the border of the "output" disk.
  • the $\star$-marked intervals and the shading follow the deformation.
  • (optional) we could also add the "spherical isotopy" for the tangles whose "output" disk has no contact point.
$\endgroup$
12
  • $\begingroup$ To me the wikipedia's definition of planar algebra is unreadable, just horrible. $\endgroup$ May 26, 2015 at 16:16
  • $\begingroup$ @WłodzimierzHolsztyński: the definition of planar algebra needs nice diagrams to become more clear, see for example this paper section 2. $\endgroup$ May 26, 2015 at 16:24
  • 2
    $\begingroup$ With the labels you have just enough information to make the gluing. The key fact is, up to isotopy, there is a unique orientation-preserving diffeomorphism of a circle. But this is not true for relative diffeomorphisms of pairs (circle, finite subset). Diffeomorphisms of such objects are determined by not just whether or not they preserve orientation, but also where one point in the finite set is sent. That's the purpose of your "star" label, to determine where one point goes. Does this help? $\endgroup$ May 27, 2015 at 15:24
  • 2
    $\begingroup$ Well in a sense we are dancing around a complete proof, but in part that's because the definition tries to avoid the technical issues at the heart of the problem. I think if you go through the argument that the group of isotopy-classes of diffeomorphisms of a pair $(S^1,F)$ where $F \subset S^1$ is finite, that this group is a dihedral group for an $n$-gon where $F$ has $n$ elements, once you see this proof you will likely see how it completes the proof you are looking for. $\endgroup$ May 27, 2015 at 16:31
  • 1
    $\begingroup$ I'm kind of swamped reconstructing my house at present so I'm not logging in very much (let alone talking math with other human beings often). But I'd be happy to go into more details in one-on-one conversations. $\endgroup$ Jun 17, 2015 at 4:26

1 Answer 1

4
$\begingroup$

You could define the composition of planar tangles in a way that is obviously well-defined. Something like:

Scale the input planar tangle to half the size of the hole it goes in. Rotate the input disk so the two stars are on the same radial line. Finally, connect endpoints using the unique arcs that are linear functions in polar coordinates and do not cross the radial line between the two stars.

EDIT: On second thoughts, that did not address your question, since I still implicitly chose a representative input disk from the equivalence class. Let me try again.

If I understand right, your definition of composition is: choose a representative input tangle such that the endpoints and marked regions match up correctly, and then insert it into the input disk. And your question is: prove that if two tangles both match up correctly and are isotopic to each other, then inserting them into the input disk gives isotopic tangles. Is that right?

You could use:

Lemma: If two homeomorphisms $f,g:D \to D$ are isotopic and agree on a finite set of points then they are isotopic relative to that finite set of points.

If two input tangles are isotopic relative to the endpoints on the boundary, then it's easy to extend that isotopy to the larger tangle.

Sorry I haven't dotted my i's and crossed my t's, but I think it would be straightforward (though tedious) to turn this into a rigorous proof.

$\endgroup$
1
  • $\begingroup$ Hi Stephen. FYI you can edit your answer and amalgamate your two replies into one. It appears as if you used the same user account for the two replies, so this feature should be available. "edit" appears on a line immediately below your reply, and above this comment. $\endgroup$ Jul 12, 2016 at 7:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.