ScalingStacks

8.3 (1,1)(1,1)-tangles

A (1,1)(1,1)-tangle is a proper smooth embedding e:T↪ℝ2×[0,1]e:T\hookrightarrow\mathbb{R}^{2}\times[0,1] of a finite collection TT of circles and one interval [0,1][0,1] into ℝ2×[0,1]\mathbb{R}^{2}\times[0,1] such that the boundary points of [0,1][0,1] go to the corresponding boundary component of ℝ2×[0,1]:\mathbb{R}^{2}\times[0,1]:

e⁡(0)∈ℝ2×{0},e⁡(1)∈ℝ2×{1}.e(0)\in\mathbb{R}^{2}\times\{0\},\hskip 14.45377pte(1)\in\mathbb{R}^{2}\times\{1\}. (202)

Two (1,1)(1,1)-tangles are called equivalent if they are isotopic via an isotopy that fixes the boundary. Oriented (1,1)(1,1)-tangles are (1,1)(1,1)-tangles with a chosen orientation of each component, orientation of [0,1][0,1] always chosen in the direction from 00 to 1.1.

Define a marked oriented link (in ℝ3\mathbb{R}^{3}) as an oriented link with a marked component. Obviously, there is a natural one-to-one correspondence between marked oriented links and oriented (1,1)(1,1)-tangles: the closure of a (1,1)(1,1)-tangle is a marked oriented link. Denote this map from oriented (1,1)(1,1)-tangles to oriented marked links by cl.\mbox{cl}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Mikhail Khovanov

Original source: arXiv:math/9908171v2