arXiv reader

Framed Knotoids and Their Quantum Invariants

Wout Moltmaker

arXiv
2108.10246v3 · PDF · 15 March 2022
Categories
math.GT, math.QA
DOI
10.1007/s00220-022-04382-1
Licence
CC BY 4.0 The site shows the text.

Abstract

We modify the definition of spherical knotoids to include a framing, in analogy to framed knots, and define a further modification that includes a secondary ’coframing’ to obtain ’biframed’ knotoids. We exhibit topological spaces whose ambient isotopy classes are in one-to-one correspondence with framed and biframed knotoids respectively. We then show how framed and biframed knotoids allow us to generalize quantum knot invariants to a knotoid setting, leading to the construction of general Reshetikhin-Turaev type biframed knotoid invariants.

Items 51

Definition

Definition 2.1

JIQ7

[turaev2012knotoids] Let \Sigma be a surface. A knotoid diagram in \Sigma is a smooth immersion \phi:[0,1]\hookrightarrow \Sigma^\circ into the interior of \Sigma, whose only singularities are transversal double points endowed with over/undercrossing data. Knotoid diagrams have a natural orientation, namely from the leg \phi(0) to the head \phi(1). We will not always label the leg and head or depict knotoids as oriented, but this orientation is always implicit. Two knotoid diagrams are equivalent if they can be related by a sequence of isotopies of \Sigma and applications of the Reidemeister moves R1,R2,R3 familiar for knot diagrams. Knotoids are the equivalence classes of knotoid diagrams.

Applications of the Reidemeister moves are not allowed to involve the end-points, and indeed the diagrammatic moves in Figure ? are expressly forbidden.

Remark

Remark 2.2

TV4Z

Knotoids in \Sigma=S^2 are equivalent to knotoids in \Sigma=\mathbb{R}^2 modulo the spherical move R4 depicted in Figure 2.2.

The paper has a figure here, which this page does not show.

Note that while this move needs to be imposed on knotoid diagrams in \mathbb{R}^2 and may change the equivalence class of a knotoid diagram in \mathbb{R}^2, it is a surface isotopy for knotoids in S^2 given by sweeping a strand external to the diagram along the back of S^2. Nevertheless, it will be helpful to distinguish this move from other isotopies, so that we are free to think of knotoids in S^2 as lying in \mathbb{R}^2.

Remark

Remark 2.3

LOTQ

In the remainder of this section we will consider several kinds of embeddings of topological spaces in S^3, related to ‘theta-curves’ defined below. All of these topological spaces will be locally homeomorphic to \mathbb{R}, \mathbb{R}^2, or \mathbb{R}\times[0,\infty) except at two points or arcs. All the embeddings that we will consider in what follows will be implicitly assumed to be smooth everywhere except for these points or arcs, where smoothness is not defined.

Definition

Definition 2.4

E0EW

[turaev2012knotoids] A theta-curve \theta is an embedding into S^3 of the graph \Theta, which consists of two vertices v_0,v_1 and three edges e_-,e_0,e_+ joining them. We consider such embeddings up to ambient isotopies of S^3 that preserve the labels of the vertices and edges. If \theta is a theta-curve, then omitting any edge from \Theta results in an embedding S^1\hookrightarrow S^3, i.e. a knot. A theta-curve \theta is said to be simple if the image of e_-\cup e_+ is the unknot.

Theorem

Theorem 2.5

0D88

There is a bijection between spherical knotoids and label-preserving ambient isotopy classes of simple theta-curves. We say that \Theta is therefore the geometric realization of knotoids.

Definition

Definition 2.6

09S8

A simple theta-curve \theta is standard if the vertices of \theta lie in \mathbb{R}^2\times\{0\}\subseteq S^3\cong \mathbb{R}^3\cup\{\infty\}, \theta(e_+),\theta(e_-) lie in the upper- and lower half-plane of \mathbb{R}^2\times \{0\} respectively, and \theta(e_+),\theta(e_-) project bijectively to the same arc a\subseteq\mathbb{R}^2\times\{0\} that connects the vertices of \theta.

Definition

Definition 2.8

7BVP

Let K be a framed knotoid diagram. We define the blackboard framing of K to be the writhe of K, i.e. the sum of the signs of all crossings of K. Here the sign of a crossing is defined analogously as for knot diagrams, see [elhamdadi2020framed].

Uses Definition 2.7 · Used by Remark 2.15
Lemma

Lemma 2.9

AAL2

There is a bijection

\begin{aligned} \{ \text{Framed knotoids} \} &\leftrightarrow \{ \text{Knotoids} \}\times\mathbb{Z} \\ K &\mapsto \left(K,\text{writhe}(K)\right) . \end{aligned}
Proof of Lemma 2.9

First note that surjectivity is clear. Indeed, given a knotoid diagram K we can add R1 loops to adjust the framing of K at will without altering the underlying knotoid. (By an R1 loop we mean a loop like those pictured in Figure ?.) For injectivity, suppose that K,K' are equivalent knotoid diagrams with equal writhe. Then we must show that K,K' are equivalent as framed knotoid diagrams. To see this, first note that positive and negative R1 loops can be cancelled against each other via a combination of R2 and R3 moves. See Figure ?.

The paper has a figure here, which this page does not show.

Since K,K' are equivalent as knotoids there is a sequence of isotopies of S^2 and Reidemeister moves that turns K' into K. By the above, we can modify this sequence of moves into a sequence of framed knotoid diagram moves. Namely we replace every deletion of an R1 loop by the sequence of isotopies of S^2 and R2,R3 moves that brings this R1 loop to a neighbourhood of the head of K', and every creation of an R1 loop by the creation of that loop and its opposite, followed by moving this opposite to the head of K'. The result is the diagram K, but with a finite number of R1 loops concentrated in a neighbourhood of the head. Since K' and K have equal writhe, the sum of the signs of these loops is 0. Thus we can apply the moves in Figure ? finitely many times to remove all these loops, ending up with a diagram of K.

Definition

Definition 2.10

1B68

Let \overline{\Theta} denote the space \Theta with the middle edge e_0 thickened into a 2-dimensional ribbon \overline{e}_0 attached along neighbourhoods of v_0,v_1 as depicted in Figure ?. A framed theta-curve is an embedding \overline{\Theta}\hookrightarrow S^3. We consider such embeddings up to label-preserving ambient isotopies of S^3.

We say that a framed theta-curve is simple if it has integer framing and the image of e_+\cup e_- is the unknot, the former meaning that if we put \theta in a form such that e_+\cup e_- is manifestly unknotted then the same side of \overline{e}_0 must face ‘outwards’ at v_0 and v_1. In other words, it means that we want \theta(\overline{e}_0) to make an integer number of turns through S^3, in some sense; see Figure ?.

Definition

Definition 2.11

Q9H5

Let \mathbb{R}^2 denote the plane \mathbb{R}^2\times \{0\} \subseteq \mathbb{R}^3\subseteq S^3. In analogy to the proof of Theorem 2.5 we say that a framed simple theta-curve \theta is standard if the same assumptions on \theta(e_+),\theta(e_-) as for standard theta-curves hold, and the neighbourhoods of \theta(e_+\cup e_-) where \theta(\overline{e}_0) is attached are parallel straight lines in \mathbb{R}^2. In particular the example in Figure ? is standard.

Let e_0 be one of the lengths of the boundary of \theta(\overline{e}_0). The direction into the interior of \overline{e}_0 that is transversal to e_0 defines a path in SO(2) when considered along all of \theta(\overline{e}_0). In the case of a standard simple framed theta-curve this path is a loop by assumption. The corresponding element of \pi_1(SO(2))\cong \mathbb{Z} is defined to be the framing integer \text{fr}(\theta) of \theta.

Remark

Remark 2.12

OKBE

Note that any framed simple theta-curve can be brought into standard form. Indeed, it suffices to extend the same moves that bring a simple theta-curve into standard form to a framed simple theta-curve, and then to adjust regular neighbourhoods of the end-points to be vertical. (For the definition of a regular neighbourhood of an end-point, see [turaev2012knotoids]. Here we assumed without loss of generality that the attachments of \overline{e}_0 lie inside such a neighbourhood.) This works because any move on theta-curves can easily be extended to a move of framed theta-curves, up to deformations that shrink a portion of the ribbon \overline{e}_0. We will see in subsection ? that for biframed theta-curves this is not quite the case.

It is clear that the framing integer is independent of the standard form produced in this way. Indeed, the relative twisting between the transversal vectors to e_0 into \overline{e}_0 at v_0,v_1 when transforming a theta-curve into standard form is clearly independent of the standard form chosen.

Lemma

Lemma 2.13

U7NU

There is a bijection

\begin{aligned} \{ \text{Framed simple theta-curves} \} &\leftrightarrow \{ \text{Simple theta-curves} \}\times\mathbb{Z} \\ \theta &\mapsto \left(\theta^\circ,\text{fr}(\theta)\right), \end{aligned}

where \theta^\circ is the simple theta-curve obtained from the projection \overline{e}_0\twoheadrightarrow e_0 of a ribbon onto one of its 1-dimensional boundary lengths (which is a smooth arc).

Proof of Lemma 2.13

This proof is analogous to that of Lemma 2.9: surjectivity is clear. For injectivity suppose that \theta_1,\theta_2 have equal framing and that \theta_1^\circ\simeq\theta_2^\circ. Then an ambient isotopy relating \theta_1^\circ to \theta_2^\circ can be extended to an ambient isotopy relating \theta_1 to a theta-curve \theta_3 such that \theta_3^\circ is equal to \theta_2^\circ. This extension may end up adding extra twists (both clockwise and counter-clockwise) to \theta_3 that are not present in \theta_2. But since \text{fr}(\theta_3)=\text{fr}(\theta_1)=\text{fr}(\theta_2) these extra twists must cancel to give \theta_1\simeq \theta_3\simeq \theta_2, proving injectivity.

Corollary

Corollary 2.14

3K1G

The geometric realization of framed knotoids is \overline{\Theta}, i.e. the equivalence classes of embeddings of \overline{\Theta} are in bijective correspondence with framed knotoids.

Remark

Remark 2.15

MLL0

A priori the bijection of Corollary 2.14 is not topological in nature: it simply says that both framed knotoids and framed simple theta-curves correspond to knotoids with an integer attached. As with framed knots, the topological interpretation of Corollary 2.14 passes through the blackboard framing.

The paper has a figure here, which this page does not show.

Given a knotoid diagram K, let K' be given by a small shift transversal to K; see Figure ?. Under the inverse of the projection assignment from Theorem 2.5, this K' specifies a transversal vector field on e_0 of the standard theta-curve corresponding to K. (As a convention, we take this vector field to be upwards in \mathbb{R}^2\times\{0\} at v_0,v_1.) In turn this specifies a ribbon extension \overline{e}_0 to e_0. The corresponding framing is defined to be the blackboard framing of K. This is a number equal to the writhe of K. The proof of this is analogous to that for framed knots; see [elhamdadi2020framed].

In this way, the notions of framing for knotoids and theta-curves coincide under the map \{\text{Knotoids}\}\to\{\text{Simple theta-curves}\} from Theorem 2.5.

Definition

Definition 2.16

0ZOK

Let \lvert\Theta\rvert denote the space depicted on the left in Figure ?, i.e. the space \Theta with \{e_-,e_0,e_+\} thickened into ribbons \{\overline{e}_-,\overline{e}_0,\overline{e}_+\} and with \overline{e}_0 attached at attaching arcs a_0,a_1 along the width of \overline{e}_-\cup\overline{e}_+. This means that if we note that \overline{e}_+\cup\overline{e}_- \cong S^1\times [0,1] then the arcs a_i are equal to p_i\times [0,1] for some p_i\in S^1 and i\in\{0,1\}. A biframed theta-curve is an embedding \theta:\lvert\Theta\rvert\hookrightarrow S^3. We consider such embeddings up to label-preserving ambient isotopies of S^3.

Definition

Definition 2.17

EM5R

A biframed theta-curve \theta is said to be standard if the following conditions hold:

  • The annulus \theta(\overline{e}_-\cup\overline{e}_+) is the unframed (i.e. framing 0) unknot, and \theta(a_i) lies in the horizontal plane \mathbb{R}^2\times\{0\}\subseteq S^3 for i\in\{0,1\}.

  • The annulus \theta(\overline{e}_-\cup\overline{e}_+) is in manifestly unframed form, i.e. of the form S^1\times[-\epsilon,\epsilon] with S^1\subseteq\mathbb{R}^2\times\{0\}\subseteq S^3.

  • Let e_0 denote one of the lengths of the boundary of \theta(\overline{e}_0). Some neighbourhoods of the attaching arcs of \theta(\overline{e}_0) to \theta(\overline{e}_-\cup\overline{e}_+) lie in a single plane P, and the tangent of e_0 is perpendicular to \theta(\overline{e}_-\cup\overline{e}_+) at both attaching points.

  • Away from the attaching arcs, \theta(\overline{e}_0) does not intersect the vertical bars perpendicular to P that are depicted in Figure ?.

The paper has a figure here, which this page does not show.
Definition

Definition 2.18

3BP7

Let \theta,e_0 be as in Definition 2.17. As with framed theta-curves, the direction of the interior of \theta(\overline{e}_0) perpendicular to e_0 determines a framing integer in \pi_1(SO(2))\cong\mathbb{Z}. To define the coframing, parametrize e_0 by t\in[0,1] such that e_0(0)\in a_0 and e_0(1)\in a_1. Note that e_0 is a smooth arc by assumption on \theta: \lvert\Theta\rvert\hookrightarrow S^3. For t\in(0,1) and i\in\{0,1\}, consider the vectors in S^3 from e_0(i) to e_0(t). Project these vectors onto P and normalize them. This is possible by the fourth assumption of standard-ness: note that without this assumption some of these projections onto P could yield the zero vector. This results in paths p_i in SO(2), which are loops by the first and third assumption of standard-ness. Let n_i denote the associated elements of \pi_1(SO(2))\cong\mathbb{Z}. Then we define the coframing of \theta to be given by

\text{cofr}(\theta) = n_0 - n_1.
Remark

Remark 2.19

9E6C

As before it is clear that \text{fr}(\theta) is independent of how \theta is put into standard form, but this is not immediate for \text{cofr}(\theta): the ambiguity arises because we can undo a twist in \theta(\overline{e}_-\cup\overline{e}_+) either at a_0 or at a_1, dragging \overline{e}_0 around one end of \theta(\overline{e}_-\cup\overline{e}_+) or the other. This is illustrated in Figure ?.

The paper has a figure here, which this page does not show.

As can be read off immediately from Figure ?, the difference between undoing a twist in \theta(\overline{e}_-\cup\overline{e}_+) at one end or the other is a difference n_i\to n_i-1 for i\in\{0,1\}. The minus sign in Equation (2.18) cancels this difference, so that the coframing is independent of the chosen standard form. Analogous reasoning holds for oppositely directed twist in \theta(\overline{e}_-\cup\overline{e}_+). Thus Definition 2.18 gives a well-defined coframing for any biframed theta-curve \theta such that \theta(\overline{e}_-\cup\overline{e}_+) is the unframed unknot.

Remark

Remark 2.21

1BTF

For both standard and simple biframed theta-curves, note that we have restricted to embeddings of \lvert\Theta\rvert such that \overline{e}_-\cup\overline{e}_+ has framing 0. One may think that the complexity added by making \overline{e}_-\cup\overline{e}_+ a ribbon is negated by this restriction. To see that this is not the case, consider Figure ?.

The paper has a figure here, which this page does not show.

Figure ? depicts two simple biframed theta-curves. Indeed, for the second theta-curve \overline{e}_-\cup\overline{e}_+ can clearly be deformed into the standard unframed form (as depicted). However, the deformation that accomplishes this drags \overline{e}_0 around \overline{e}_-\cup\overline{e}_+, as pictured, resulting in a biframed theta-curve that differs from the first. The coframing is defined to record exactly such differences.

Lemma

Lemma 2.22

5T4B

There is a bijection:

\begin{aligned} \{ \text{Simple biframed theta-curves} \} &\leftrightarrow \{ \text{Simple theta-curves} \}\times\mathbb{Z}^2 \\ \theta &\mapsto \left(\theta^\circ,\text{fr}(\theta),\text{cofr}(\theta)\right). \end{aligned}

Here \theta^\circ is the theta-curve given by any one component of the 1-dimensional boundary of \theta(\lvert\Theta\rvert).

Proof of Lemma 2.22

This proof is analogous to that of Lemma 2.13. In short: surjectivity is clear and for injectivity an equivalence \theta_1^\circ \cong \theta_2^\circ extends to \theta_1\cong \theta_2 up to framing twists and coframing loops that must cancel if \text{fr}(\theta_1)=\text{fr}(\theta_2) and \text{cofr}(\theta_1)=\text{cofr}(\theta_2) (e.g. via Figure ?).

Definition

Definition 2.23

W9UE

Pick two points v_0,v_1\in S^2. Denote the directed straight arc in \mathbb{R}^2\cup\{\infty\}\cong S^2 from v_0 to v_1 by L. A biframed knotoid diagram is a knotoid diagram K in S^2 with leg and head equal to v_0 and v_1 respectively, such that the tangents of K coincide with L in neighbourhoods of v_0,v_1. Two biframed knotoid diagrams are said to be equivalent if they can be related by applications of R1',R2,R3,R4, ambient isotopies of S^2 away from v_0,v_1, and the coframing identities depicted in Figure ? which encode the move in Figure ?.

Lemma

Lemma 2.25

KT1T

The coframing is a biframed knotoid diagram invariant.

Proof of Lemma 2.25

The only moves for which invariance is not immediate are the non-local moves, i.e. R4 and the coframing identities. The coframing is defined to be invariant under the coframing identities, namely these identities respectively change both n_0 and n_1 by \pm1, and so these changes cancel in the definition of \text{cofr}(K). Next say that R4 is applied to an arc that traverses \alpha_i radians around v_i. Then the new arc traverses -(2\pi-\alpha_i) radians around v_i. Noting that

-(2\pi-\alpha_0) + (2\pi-\alpha_1) = \alpha_0-\alpha_1,

we see that these differences again cancel in the definition of \text{cofr}(K).

Lemma

Lemma 2.26

IGGK

There is a bijection

\begin{aligned} \{ \text{Biframed knotoids} \} &\leftrightarrow \{ \text{Knotoids} \}\times\mathbb{Z}^2 \\ K &\mapsto \left(K,\text{writhe}(K),\text{cofr}(K)\right) . \end{aligned}
Proof of Lemma 2.26

Clearly n_0, n_1, and hence the coframing of a biframed knotoid, can be adjusted at will by adding loops around v_0 as needed. Combined with bijection (2.9), this gives surjectivity of assignment (2.26). Injectivity follows from bijection (2.9), and reasoning analogous to the proof of bijection (2.9) for the coframing: in short, an equivalence K\simeq K' as knotoids can be extended to an equivalence of biframed knotoids, up to loops around v_0,v_1 which must cancel via Figures ? and ? if we assume \text{cofr}(K)=\text{cofr}(K'). Thus assignment (2.26) is a bijection.

Definition

Definition 3.1

3PMJ

[majid1993beyond, majidfoundations] Let \mathcal{C} be a ribbon category. A braided group (or ‘Hopf algebra object of a ribbon category’) is an object B of \mathcal{C} endowed with morphisms \cdot:B\otimes B\to B, \Delta: B\to B\otimes B, \eta:k\to B, \epsilon: B\to k, S:B\to B. These morphisms must be such that the axioms depicted in Figure ? are satisfied when considered as equations of morphisms via Figures ? and ?. This means the crossing in Figure ? is now taken to represent \Psi instead of \tau, in accordance with Figure ?.

Definition

Definition 3.2

SETK

Let K be a diagram for a framed knotoid. Recall that all knotoids are implicitly oriented from leg to head. Define V_G(K)\in D(H) by the same process as above, tracing through K from leg to head.

Proposition

Proposition 3.3

MG01

The element V_G(K) is a framed knotoid invariant.

Proof of Proposition 3.3

Invariance under ambient isotopy and the spherical move R4 is immediate since these moves do not alter the crossing data of K. Thus it suffices to check invariance of V_G(K) under R1',R2,R3. This follows from V_G being an invariant when defined on framed (long) knots. For completeness, we also prove by hand that V_G is a framed knotoid invariant below:

Since the oriented versions of R1' do not change the signs of crossings, invariance of V_G(K) under R1' follows from

(\delta_g\otimes e)(1\otimes g) = \delta_g\otimes g = (1\otimes g)(\delta_g\otimes e) \hspace{0.5em}\text{ and }\hspace{0.5em} (\delta_{g^{-1}}\otimes e)(1\otimes g) = \delta_{g^{-1}}\otimes g = (1\otimes g)(\delta_{g^{-1}}\otimes e).

The move R2 has four oriented versions. The move R3 has eight. For brevity we consider only one of each; see Figure ?. The proofs for the other orientations are analogous.

The paper has a figure here, which this page does not show.

On the left-hand side of the R2 move in Figure ? there are two crossings. For each orientation of R2, one is positive and the other negative. To find invariance we must show that the contributions from these crossings cancel. Indeed, the bottom arc gives a contribution

(\delta_{g^{-1}}\otimes e)(\delta_h\otimes e) = \begin{cases} \delta_h\otimes e &\quad \text{ if } g^{-1}=h,\\ 0 &\quad \text{ otherwise.} \end{cases}

The top arc gives a contribution (1\otimes g)(1\otimes h) which is thus (1\otimes e) for nonzero contributions. Noting that \sum_h(\delta_h\otimes e)=1\otimes e we see that the contribution of the bottom arc is also trivial, as required.

To verify invariance under the R3 move in Figure ?, we calculate the contributions of both sides and show they are equal. When running through K, suppose we pass through the vertical line first, then through the line going diagonally up, and finally through the strand going diagonally down (other orders are proven analogously). Then we compute V_G(K) on the left-hand side to be

\begin{aligned} V_G(K) &= \sum_{g,h,k,\dots}\dots(1\otimes g)(1\otimes h)\dots(\delta_{g^{-1}}\otimes e)(1\otimes k)\dots(\delta_{h^{-1}}\otimes e)(\delta_{k^{-1}}\otimes e)\\ &= \sum_{g,k,\dots}\dots(1\otimes g)(1\otimes k)\dots(\delta_{g^{-1}}\otimes e)(1\otimes k)\dots(\delta_{k^{-1}}\otimes e). \end{aligned}

Here the (\dots) are generic placeholder for contributions due to the rest of K. Now we drag the term (\delta_{k^{-1}}\otimes e) towards the middle contribution. Every time an element of the form (1\otimes x) is encountered, the argument of \delta_{k^{-1}} is conjugated by x^{-1}. Thus we find

\begin{aligned} V_G(K) &= \sum_{g,k,\dots}\dots(1\otimes g)(1\otimes k)\dots(\delta_{g^{-1}}\otimes e)(1\otimes k)(\delta_{wk^{-1}w^{-1}}\otimes e)\dots\\ &= \sum_{g,k,\dots}\dots(1\otimes g)(1\otimes k)\dots(\delta_{g^{-1}}\otimes e)(\delta_{kwk^{-1}w^{-1}k^{-1}}\otimes e)(1\otimes k)\dots, \end{aligned}

for some word w on G. This implies that g^{-1}=kwk^{-1}w^{-1}k^{-1}. Thus we conclude

V_G(K) = \sum_{k,\dots} \dots(1\otimes kwkw^{-1})\dots(\delta_{kwk^{-1}w^{-1}k^{-1}}\otimes k)\dots

Following the same procedure on the right-hand side (with the labels g,h,k attached to the same crossings as before) we find

\begin{aligned} V_G(K) &= \sum_{g,k,\dots}\dots(1\otimes k)(1\otimes g)\dots(1\otimes k)(\delta_{g^{-1}}\otimes e)\dots(\delta_{k^{-1}}\otimes e)\\ &= \sum_{g,k,\dots}\dots(1\otimes k)(1\otimes g)\dots(1\otimes k)(\delta_{g^{-1}}\otimes e)(\delta_{wk^{-1}w^{-1}}\otimes e)\dots\\ &= \sum_{k,\dots} \dots(1\otimes kwkw^{-1})\dots (1\otimes k)(\delta_{wk^{-1}w^{-1}}\otimes e)\dots\\ &= \sum_{k,\dots} \dots(1\otimes kwkw^{-1})\dots(\delta_{kwk^{-1}w^{-1}k^{-1}}\otimes k)\dots. \end{aligned}

(Note that w here is the same word as in the left-hand side computation!) We thus conclude that V_G is indeed invariant under R3, completing the proof.

Example

Example 3.4

RRH2

Let K be the framed knotoid depicted in Figure ?.

The paper has a figure here, which this page does not show.

The signs of the crossings of K are indicated in Figure ?, as are the nontrivial parts of \mathcal{R},\mathcal{R}^{-1} that occur in the construction of V_G. Using the definition of V_G and Equation (?) we compute:

\begin{aligned} V_G(K) &= \sum_{g,h,k\in G} (\delta_g \otimes e)(1\otimes h)(\delta_{h^{-1}}\otimes e)(1\otimes k)(1\otimes g)(\delta_k\otimes e)\\ &= \sum_{g,h,k\in G} \delta_g\delta_{h^{-1}} \delta_{hkgkg^{-1}k^{-1}h^{-1}} \otimes hkg\\ &= \sum_{g,k\in G} \delta_g\delta_{g^{-1}kgkg^{-1}k^{-1}g} \otimes g^{-1}kg\\ &= \sum_{g,k\in G} \delta_{gkg}\delta_{kgk} \otimes g^{-1}kg. \end{aligned}

Here the last two equalities use that \delta_a\delta_b\neq 0\iff a=b. This also means that a choice of (g,k) only gives a nonzero contribution to V_G(K) if gkg=kgk. In other words, we only obtain a contribution to V_G(K) if B_3\to G:(x,y)\mapsto(g,k) constitutes a group homomorphism, where

B_3 = \langle x,y\,\vert\, xyx=yxy \rangle

is the braid group on 3 strands.

Uses Definition 2.7 · Used by Example 3.8
Definition

Definition 3.5

9ZWS

Let K be a knotoid diagram with n crossings. Suppose V_G(K) is of the form

V_G(K) = \sum_{g_1,g_2,\dots,g_n} \delta_{w_1}\delta_{w_2}\dots\delta_{w_n} \otimes w_{n+1}

where each w_i is a word in g_1,\dots g_n. We define the knotoid group W(K) of K by the presentation:

W(K) = \langle g_1,g_2,\dots g_n \vert w_1=w_2=\dots=w_n \rangle.
Remark

Remark 3.6

9OBH

One might expect the knotoid group W(K) to be isomorphic to the fundamental group of S^3 with an arc that projects to give K removed, in which case it is isomorphic to S^3 with an arc removed and hence trivial. Instead W(K) is a group defined by the combinatorial information of K and hence not necessarily related to any fundamental group. We shall see below that it is nontrivial in general. A knotoid group was also defined by Turaev directly via the Wirtinger presentation [turaev2012knotoids]. Turaev’s knotoid group, which I shall denote here by W'(K), has one generator more than W(K), and in [turaev2012knotoids] it is shown that W'(K)\cong\pi_1(S^3-K_-) where K_- is the knot formed from a knotoid K by connecting the endpoints via a strand that runs under all of K. We shall see in Example 3.8 below that this last fact does not hold for W(K), and hence W(K)\ncong W'(K) in general.

Lemma

Lemma 3.7

ZYSG

The knotoid group W(K) is R1-invariant.

Proof of Lemma 3.7

Let WKleft.pdf and WKright.pdf denote two knotoid diagrams for K that are equal outside of the depicted discs. Let us write

\begin{aligned} V_G\big( \raisebox{-.24cm}{\includegraphics[width=.7cm]{WKleft.pdf}} \big) &= \sum_{g,g_1,g_2,\dots} \dots (1\otimes g)(\delta_{g^{-1}}\otimes e) \dots\\ &= \sum_{\dots,g,g_1,\dots} \left( \delta_{\dots} \dots \delta_{\dots} \delta_{\Omega g^{-1}\Omega^{-1}} \delta_{\Omega g w_1 g_1 w_1^{-1} g^{-1} \Omega^{-1}} \delta_{\Omega g w_2 g_2 w_2^{-1} g^{-1} \Omega^{-1}}\dots \right) \otimes w'. \end{aligned}

Here w',w_1,w_2,\dots are words in g_1,g_2,\dots, and \Omega is the word by which the term \delta_{g^{-1}} gets conjugated in the reduction of V_G. We want to show that the generator g can be removed from the defining presentation of W(K). Omitting the generators from the presentations, we compute

\begin{aligned} W\big( \raisebox{-.24cm}{\includegraphics[width=.7cm]{WKleft.pdf}} \big) &= \langle \dots = \Omega g^{-1}\Omega^{-1} = \Omega g w_1 g_1 w_1^{-1} g^{-1} \Omega^{-1} = \Omega g w_2 g_2 w_2^{-1} g^{-1} \Omega^{-1} = \dots \rangle \\ &= \langle \dots = \Omega g^{-1}\Omega^{-1}, \\ & \qquad\qquad g^{-1} = g w_1 g_1 w_1^{-1} g^{-1} = g w_2 g_2 w_2^{-1} g^{-1} = \dots \rangle \\ &= \langle \dots = \Omega g^{-1}\Omega^{-1}, \\ & \qquad\qquad g^{-1} = w_1 g_1 w_1^{-1} = w_2 g_2 w_2^{-1} = \dots \rangle \\ &= \langle \dots = \Omega w_1 g_1 w_1^{-1}\Omega^{-1}, \\ & \qquad\qquad w_1 g_1 w_1^{-1} = w_2 g_2 w_2^{-1} = \dots \rangle \\ &= \langle \dots = \Omega w_1g_1w_1^{-1}\Omega^{-1} = \Omega w_2g_2w_2^{-1}\Omega^{-1} = \dots \rangle = W\big( \raisebox{-.24cm}{\includegraphics[width=.7cm]{WKright.pdf}} \big), \end{aligned}

as required. The proof for the R1-relation of the other sign is analogous.

Example

Example 3.9

QQP6

As a more substantial example of computing V_G, we shall show that V_G(K) can contain more information than the cardinality of \text{Hom}(W(K),G). Indeed: let K_1 and K_2 be the oriented knotoids depicted in figure ?.

The paper has a figure here, which this page does not show.

We compute that

\begin{aligned} V_G(K_1) &= \sum_{g,h,i,j,k\in G} (\delta_{g^{-1}}\otimes e) (\delta_{h}\otimes e) (1\otimes i) (\delta_{j}\otimes e) (1\otimes g)\\ &\hspace{.2\linewidth}\cdot (1\otimes j) (1\otimes k) (\delta_{i}\otimes e) (1\otimes h) (\delta_{k^{-1}}\otimes e)\\ &= \sum_{g,h,i,j,k\in G} \delta_{g^{-1}} \delta_{h} \delta_{iji^{-1}} \delta_{igjki(igjk)^{-1}} \delta_{igjkhk^{-1}(igjkh)^{-1}} \otimes igjkh. \end{aligned}

and

\begin{aligned} V_G(K_2) &= \sum_{g,h,i,j,k\in G} (\delta_{g}\otimes e) (1\otimes h) (1\otimes i) (\delta_{j^{-1}}\otimes e) (\delta_{k^{-1}}\otimes e)\\ &\hspace{.2\linewidth}\cdot (1\otimes g) (1\otimes k) (\delta_{h^{-1}}\otimes e) (1\otimes j) (\delta_{i^{-1}}\otimes e)\\ &= \sum_{g,h,i,j,k\in G} \delta_{g} \delta_{hij^{-1}(hi)^{-1}} \delta_{hik^{-1}(hi)^{-1}} \delta_{higkh^{-1}(higk)^{-1}} \delta_{higkji^{-1}(higkj)^{-1}} \otimes higkj. \end{aligned}

Taking G=S_3, we find that both V_{S_3}(K_1) and V_{S_3}(K_2) have 12 nonzero contributions. More specifically, we find

\begin{aligned} &V_{S_3}(K_1) = \delta_{e}\otimes e + \delta_{(1,3,2)}\otimes (1,3,2) + \delta_{(1,2,3)}\otimes (1,2,3) + \dots,\\ &V_{S_3}(K_2) = \delta_{e}\otimes e + \delta_{(1,2,3)}\otimes e + \delta_{(1,3,2)}\otimes e + \dots, \end{aligned}

where the omitted terms in both expressions each consist of ten terms only involving the 2-cycles (1,2),(1,3),(2,3)\in S_3. From these computations we note that

\#\text{Hom}(W(K_1),S_3) = 12 = \#\text{Hom}(W(K_2),S_3),

meaning that \#\text{Hom}(W(\cdot),S_3) cannot distinguish K_1 and K_2. However, the expressions of V_{S_3}(K_1) and V_{S_3}(K_2) given above clearly show that V_{S_3}(K_1)\neq V_{S_3}(K_2), which implies that V_{S_3}(\cdot) can distinguish K_1 and K_2. We therefore conclude that V_G(\cdot) can be a strictly stronger invariant than \#\text{Hom}(W(\cdot),S_3), as claimed.

Definition

Definition 3.10

NO29

Suppose \mathcal{C}={}_H\mathcal{M}_F for some ribbon Hopf algebra(By Tannaka duality this is equivalent to \mathcal{C} having a fiber functor [majidfoundations,  Ch. 9].) H. Let V be an n-dimensional object of \mathcal{C}, and K a biframed knotoid diagram. For simplicity we assume K has integer coframing. View K as a tangle decorated with two endpoints representing maps \eta:k\to V and \epsilon: V\to k. Extend \varphi to an assignment on K, by choosing a basis \{e_1,\dots,e_n\} of V and defining

\eta : 1\mapsto \sum_{i=1}^n c_i e_i \qquad\text{ and }\qquad \epsilon : \sum_{i=1}^n \lambda_i e_i \mapsto \sum_{i=1}^n \lambda_i d_i,

where \{c_i,d_i\}_{i=1}^n consists of elements of k. The maps \eta and \epsilon are chosen to be linear maps, but not H-module isomorphisms. The Reshetikhin-Turaev invariant associated to K is then \varphi(K).

Example

Example 3.11

62OU

We consider the example of H=U_q(\mathfrak{sl}_2), letting V be the standard 2-dimensional representation. In this case the structures of \Psi,\text{ev},\text{coev}, etc. are well-known (up to a choice of normalization); see e.g. [chmutov2012introduction,  Ch. 2.6] or [jackson,  Ch. 9.4]. Let \{e_1,e_2\} be the standard basis on V, \{e^1,e^2\} the dual basis on V^*, and \{e_1\otimes e_1,e_1\otimes e_2,e_2\otimes e_1,e_2\otimes e_2\} the standard ordered basis of V\otimes V (and similarly for V^*\otimes V, V\otimes V^*). Then the values of \varphi on knot diagram elements with respect to these bases are given in Figure ?.

The paper has a figure here, which this page does not show.

From now on, assume for simplicity that we are working with a (triframed) knotoid diagram K with integer coframing, drawn so that the tangent vectors at the end-points of K are vertical.

We extend \varphi to triframed knotoid diagrams by associating undetermined linear maps to the endpoints; see Figure ?.

The paper has a figure here, which this page does not show.

We can now carry out computations analogously as one does for knot diagrams, e.g. computing that

q^{1/4} R - q^{-1/4} R^{-1} = (q^{1/2}-q^{-1/2})I_4,

where I_4 is the identity matrix of dimension 4. We conclude the following:

Proposition.

Write Q_{\mathfrak{sl}_2} to denote the assignment \varphi for our choice of (\mathcal{C},V). Then this assignment constitutes the existence of a class of triframed knotoid invariants, satisfying the properties of Figures ? and ?.

The paper has a figure here, which this page does not show.

This class is indexed by the four free parameters c_1,c_2,d_1,d_2.

Our next question is whether we can pick c_1,c_2,d_1,d_2 so that Q_{\mathfrak{sl}_2} is invariant under the coframing identities. To this end we calculate the value of Q_{\mathfrak{sl}_2} on coframing loops around either end-points. See Figure ?.

The paper has a figure here, which this page does not show.

If we take c_1=d_1 and c_2=d_2 then adding a (+1)-coframing loop clearly has the same effect when added around either end-point, and similarly for (-1)-coframing loops. Thus in this case Q_{\mathfrak{sl}_2} is seen to be invariant under the coframing identities.

In particular taking c_1=c_2=d_1=d_2=1/\sqrt{2} we conclude:

Proposition.

There exists an invariant of biframed planar knotoids, denoted \overline{Q}_{\mathfrak{sl}_2}, possessing the properties from Figure ? and satisfying

\overline{Q}_{\mathfrak{sl}_2}\Big( \raisebox{-.45cm}{\includegraphics[width=1.1cm]{unknotoid.pdf}} \Big) = 1.

One can adjust this invariant using the integer \text{fr}(K) to obtain an R1-invariant version of \overline{Q}_{\mathfrak{sl}_2} exactly as one does for knots. For knots this results in the Jones polynomial [jackson,  Ch. 9.4]. Using the integer \text{cofr}(K) one can similarly adjust \overline{Q}_{\mathfrak{sl}_2} to be coframing-invariant, resulting in an extension of the Jones polynomial to knotoids. Such an extension was already given in [gugumcu2017new], and these extensions must agree up to normalization since a knotoid invariant is uniquely defined by its Skein relations and its values on unknotted components (given that an invariant with these Skein relation exists, which is the statement of Proposition 3.11). Also note that the Kauffman bracket was already extended to knotoids in [turaev2012knotoids].

Proposition

Proposition 3.12

N03W

Write Q_{\mathfrak{sl}_2} to denote the assignment \varphi for our choice of (\mathcal{C},V). Then this assignment constitutes the existence of a class of triframed knotoid invariants, satisfying the properties of Figures ? and ?.

The paper has a figure here, which this page does not show.

This class is indexed by the four free parameters c_1,c_2,d_1,d_2.

Proposition

Proposition 3.13

LPVF

There exists an invariant of biframed planar knotoids, denoted \overline{Q}_{\mathfrak{sl}_2}, possessing the properties from Figure ? and satisfying

\overline{Q}_{\mathfrak{sl}_2}\Big( \raisebox{-.45cm}{\includegraphics[width=1.1cm]{unknotoid.pdf}} \Big) = 1.
Definition

Definition 3.14

IOOK

Let B be a braided group in a rigid ribbon category C. Let K be a biframed knotoid, assuming for simplicity that K has integer coframing. Take a diagram of K such that the tangent vectors of K at the endpoints are vertically downwards. Now replace the leg of K by a splitting \Delta representing the coproduct of B, attaching K on the left-hand side, and replace the head by a merging \cdot representing the product of B, again attaching K on the left. See figure ?.

The paper has a figure here, which this page does not show.

The additions \Delta,\cdot now have 4 open ends: two on the right-hand side and two vertically outgoing ends. Attach the right-hand ends via a line segment going under any strand of K it encounters. Extend the outgoing ends vertically, going over all of K. Take the closure of the resulting decorated tangle to obtain a decorated tangle \overline{K}. Define \varphi_\theta(K) to be the braided group extension of \varphi evaluated on \overline{K}.

Example

Example 3.15

PZDT

The construction of \varphi_\theta(K) is depicted for an example knotoid in Figure ?.

Theorem

Theorem 3.16

9IGN

The map \varphi_\theta(K)\in\operatorname{Hom}_\mathcal{C}(k,k) is a biframed knotoid invariant, but it is not invariant under the forbidden moves from Figure ?.

Proof of Theorem 3.16

Invariance under R1',R2,R3 and isotopies away from the end-points follows from the invariance of \varphi under these moves, so for the first statement it suffices to prove invariance under the spherical move R4 and the coframing identities.

Invariance under R4 is clear, since strands can be moved over (\cdot,\Delta) and hence all of \overline{K}, and oppositely oriented R1-loops cancel by Figure ?.

To show invariance under the first coframing identity from Figure ? we do some preliminary computations, depicted in Figures ? and ?.

The paper has a figure here, which this page does not show.
The paper has a figure here, which this page does not show.

In Figures ? and ? we turn (\cdot,\Delta) around to depict morphisms (\Delta^*,\cdot^*) on B^*. The morphisms defined as such diagrammatically extend to a canonical braided group structure on B^* for which the diagrammatic moves we have used hold by definition; see [majid1993beyond,  Prop. 4.11].

Using these preliminaries, as well as two applications of R1', invariance of \varphi_\theta(K) follows from the sequence of moves depicted in Figure ?.

The paper has a figure here, which this page does not show.

Invariance under the other coframing identity is shown analogously. For the final statement of the theorem, let D_1 and D_2 denote the oriented tangle diagrams that \varphi_\theta assigns to both sides of one of the moves in Figure ?. Then clearly D_1 and D_2 differ by at least one crossing change, and so in general \varphi_\theta(K) cannot be invariant under either of these moves.

Remark

Remark 3.17

U885

The proof of Theorem 3.16 shows in particular how \varphi_\theta(K) changes under adjustment of the coframing: namely by adding an R1-loop to the strand of \overline{K} representing \overline{e}_+, and an oppositely oriented R1-loop to the strand representing \overline{e}_-.

This remark also motivates why biframed knotoids are a natural object to consider if one wants to extend quantum knot invariants to knotoids or their associated theta-curves. Namely because quantum invariants are only R1'-invariant and not R1-invariant, one would expect the lines representing \overline{e}_\pm to need to be framed as well. As the proof of Theorem 3.16 shows, it turns out biframed knotoids provide a proper framework for this in the case of spherical knotoids.

Source and licence

The text on this page is from arXiv:2108.10246v3 by Wout Moltmaker, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2108/2108.10246.jsonl.