Renormalized Reshetikhin-Turaev invariants for the unrolled quantum group of \mathfrak{sl}_2(\mathbb{C})

We need to verify that \{p_V\}_{V \in \mathcal{C}} are the components of a monoidal natural isomorphism p: \mathrm{id}_{\mathcal{C}} \Rightarrow (-)^{\vee} \circ (-)^{\vee}. Naturality is immediate and a direct check shows that p_V is \overline{U}^H_q(\mathfrak{sl}_2(\mathbb{C}))-linear. The relation \Delta(K^{1-r}) = K^{1-r} \otimes K^{1-r} implies the equality p_{V \otimes W} = p_V \otimes p_W, V,W \in \mathcal{C}, which is the required monoidality.

Let V \in \mathcal{C} be simple and v \in V a weight vector. Since E^r=0, there exists a minimal integer l > 0 such that E^l v=0. Then E^{l-1} v is a highest weight vector and \overline{U}^H_q(\mathfrak{sl}_2(\mathbb{C})) \cdot E^{l-1} v \subset V is a non-zero submodule which, by simplicity, is equal to V.

By adjunction, there is an isomorphism

It follows that \textnormal{Hom}_{\mathcal{C}}(V_{\alpha}, V) is isomorphic to the subspace of highest weight vectors of weight \alpha+r-1 in V. In particular, if v \in V is a generating highest weight vector of weight \alpha+r-1, then the assignment v_0 \mapsto v extends to a surjective morphism V_{\alpha} \rightarrow V in \mathcal{C}.

If \alpha \notin \mathbb{Z} \setminus r \mathbb{Z}, then \frac{\{i\}\{i - \alpha\}}{\{1\}^2} \neq 0 for i=1, \dots, r-1, as follows from the assumption that q is a primitive 2rth root of unity. It follows from the explicit form of the action of E on V_{\alpha} that Ev_i \neq 0 for i=1, \dots, r-1, whence V_{\alpha} is simple.

If instead \alpha \in \mathbb{Z} \setminus r\mathbb{Z}, then V_\alpha has exactly one proper submodule. Indeed, write \alpha = (l-1)r + n + 1 as in the statement of the proposition, so that V_\alpha is of highest weight lr + n. Examining the action of E on V_\alpha shows that Ev_{n+1} = 0 and Ev_i \neq 0 if i\neq 0, n+1. Hence, S := \text{span}\{v_{n+1}, \ldots, v_{r-1}\} is the unique proper submodule of V_\alpha. The module S has dimension r - n - 1 and its quotient S_n^{lr}:=V_\alpha / S is a simple highest weight module of highest weight lr + n and dimension n+1. By Lemma 1.3, there exists a surjection V_{(l-1)r-n-1} \rightarrow S which, by the argument of this paragraph, descends to an isomorphism S_{r - n - 2}^{(l-1)r} \xrightarrow[]{\sim}S. Finally, the uniqueness of S implies that the sequence

is non-split.

By Lemma 1.2, Lemma 1.3, any simple module is a quotient of a Verma module. Thus, the third statement of the proposition follows from the first two.

Let f: V \twoheadrightarrow W be a surjection in \mathcal{C} and \phi: V_{\alpha} \rightarrow W a non-zero morphism. By the proof of Lemma 1.3, the map \phi is determined by a highest weight vector \phi(v_0)=w \in W of weight \alpha+r-1. Surjectivity of f implies that w has a preimage under f, say v, which is of weight \alpha+r-1 and satisfies Ev \in \ker f.

Let \xi = Ev, which is of weight \alpha+r+1 and satisfies E^{r-1} \xi=0. For any a_0, \dots, a_{r-2} \in \mathbb{C}, the vector

is of weight \alpha+r-1 and satisfies f(v^{\prime})=w. Using [jantzen, § 1.3], we compute

Then Ev^{\prime}=0 if and only if the recursive equations

hold, with a_{-1}=1. This recursive system determines \{a_i\}_i if and only if \alpha \in \mathbb{C} \setminus \mathbb{Z} \cup r \mathbb{Z}, as otherwise the coefficient of some a_{i+1} vanishes. Arguing as in the start of the proof, the assignment v_0 \mapsto v^{\prime} determines a \overline{U}^H_q(\mathfrak{sl}_2(\mathbb{C}))-linear map \tilde{\phi}:V_{\alpha} \rightarrow V which satisfies f \circ \tilde{\phi} = \phi. This establishes the projectivity of V_{\alpha}.

In view of the isomorphism (?) and the previous paragraph, the module V_\alpha^\vee is projective. Standard adjunction isomorphisms (see [etingof2016tensor, Proposition 2.10.8]) give a natural isomorphism of contravariant functors

Because V_\alpha^\vee is projective, \textnormal{Hom}_\mathcal{C}(V_{\alpha}^{\vee}, -) is an exact functor. Because (-)^\vee is an exact functor at the level of complex vector spaces, it is also exact on \mathcal{C}. Hence, the functor \textnormal{Hom}_{\mathcal{C}}(-,V_{\alpha}) is exact and V_\alpha is injective.

Let \overline{\alpha} \in (\mathbb{C}/2\mathbb{Z}) \setminus (\mathbb{Z}/2\mathbb{Z}) and V \in \mathcal{C}_{\overline{\alpha}} a non-zero object. Then V contains a highest weight vector v of weight \alpha \in \mathbb{C}, where \alpha is in the class \overline{\alpha}. The assumption on \overline{\alpha} implies that the submodule generated by v is isomorphic to V_{\alpha - r + 1}; see the proof of Proposition 1.4. The module V_{\alpha - r + 1} is injective by Proposition 1.5, whence there is a splitting V \simeq V_{\alpha - r + 1} \oplus V^{\prime} for some V^{\prime} \in \mathcal{C}_{\overline{\alpha}} of dimension strictly less than that of V. An induction argument on the dimension of V then completes the proof.

It suffices to check linearity of c_{V,W} on the generators H,F,E. Let v \in V and w \in W of weight \lambda^v and \lambda^w, respectively. We have

We prove E-linearity. We have an equality

in \textnormal{End}_{\mathbb{C}}(V \otimes W). Indeed, we compute

and

A similar calculation shows that E \otimes 1 \circ q^{H \otimes H / 2} = q^{H \otimes H / 2} \circ E \otimes K^{-1}. Using these two equalities, E-linearity of c_{V,W} reduces to the equality

in \overline{U}^H_q(\mathfrak{sl}_2(\mathbb{C})) \otimes \overline{U}^H_q(\mathfrak{sl}_2(\mathbb{C})), which is proved in [ohtsuki2002quantum, Equation A.10]. Linearity of F is proved similarly.

Clearly \tau is invertible. We claim that the inverse of R is

Compare with [ohtsuki2002quantum, § A.2]. We have q^{H \otimes H /2} \circ q^{-H \otimes H /2}= 1. By definition,

Since (E\otimes F)^r=0, the double sum is

The sum \sum_{l=0}^{i} (-1)^l \genfrac{[}{]}{0pt}{}{i}{l} q^{l (i-1)} is 0 for i > 0 and 1 if i=0; see [jantzen, § 0.2]. The inverse of R is thus as stated.

Lemma 1.7, Lemma 1.8 yield that the maps c_{V,W} give a family of isomorphisms in \mathcal{C}. Naturality of c_{V,W} follows from the fact that the endomorphism q^{H \otimes H /2} commutes with \overline{U}^H_q(\mathfrak{sl}_2(\mathbb{C}))-linear maps. It remains to verify the hexagon axioms [etingof2016tensor, Definition 8.1.1]. Let V,W,U \in \mathcal{C}. We prove that

and leave the verification of the equality c_{V \otimes W, U} = (c_{V,U} \otimes \mathrm{id}_W)\circ (\mathrm{id}_V \otimes c_{W,U}) to the reader. Let v \in V, w \in W, u \in U be weight vectors of weights \lambda^v,\lambda^w, \lambda^u, respectively. We compute

A straightforward induction argument shows that

Compare with [jantzen, § 3.1], where slightly different conventions are used. Using this, we find

which evaluates to

On the other hand, we compute

Applying \mathrm{id}_W \otimes c_{V,U} then gives

To check the equality c_{V, W \otimes U}(v\otimes w \otimes u) = c_{V,W} \otimes \mathrm{id}_U (v\otimes w \otimes u), we compare the coefficients of F^a w \otimes F^b u \otimes E^{a+b} v. The coefficients on the left and right-hand sides of the desired equality are

and

respectively, which are equal by direct verification.

Recall that the generic simple objects of \mathcal{C} are the Verma modules V_{\alpha} with \alpha \in \mathbb{C} \setminus \mathbb{Z}. For any \alpha \in \mathbb{C} the right partial trace of c_{V_\alpha, V_\alpha} is

Since \textnormal{End}_{\mathcal{C}}(V_{\alpha}) \simeq \mathbb{C} (see the proof of Lemma 1.3), it suffices to compute the image of the highest weight vector v_{0} \in V_{\alpha} under this composition. We have

Since V^\vee_\alpha \simeq V_{-\alpha} and the scalar q^{(\alpha + r - 1) (\alpha - r + 1) /2} is unchanged under the substitution \alpha \mapsto - \alpha, it follows that \theta_{V_{\alpha}^{\vee}} = \theta_{V_{\alpha}}^{\vee} for all \alpha \in \mathbb{C}. Theorem 1.10 therefore applies in the present setting, allowing the conclusion that the maps \{\theta_V\}_{V \in \mathcal{C}} define a twist on \mathcal{C}.

Lemma 2.2 holds by the following indicated combination of framed Reidemeister moves:

If V is simple then Lemma 2.2 holds by planar isotopy:

The snake relation (?) implies that the second scalar in the final line is 1.

Using isotopy invariance we can draw a diagram of L of the form

Since V is simple, the endomorphism F_\mathcal{D}(T) is a scalar and Lemma 2.3 follows.

This follows from Theorem 2.1 and the standard fact that two connected (1,1)-tangles T and T^{\prime} are isotopic if and only if their closures are framed isotopic knots.

Let T be a (2,2)-tangle whose open strands are colored by V and let L be the diagram

Since L is obtained by taking the right and left partial traces of the (1,1)-tangles appearing in ?, we find that both sides of this equation are equal to \frac{\langle F(L) \rangle}{\textnormal{qdim}_\mathcal{C}(V)} \mathrm{id}_V.

Let U_1, \ldots, U_n be pairwise non-isomorphic simples such that V \otimes W \simeq U_1 \oplus \cdots \oplus U_n. Schur’s Lemma implies algebra isomorphisms \textnormal{End}_{\mathcal{C}}(V \otimes W) \simeq \bigoplus_{i=1}^n \textnormal{End}_{\mathcal{C}}(U_i) \simeq \mathbb{C}^n.

Since 2\eta \notin \mathbb{Z}, the object V_\eta \otimes V_\eta \in \mathcal{C}_{\overline{2\eta}} is semisimple by Theorem 1.6. Hence, there exist unique integers m_{2\eta_r -r +2i+1} \in \mathbb{Z}_{\geq 0} such that

Consider \mathbb{Q}[\mathbb{C}], the group algebra of \mathbb{C}, with basis \{x^{\lambda}\}_{\lambda \in \mathbb{C}}. The character of V \in \mathcal{C} is \text{ch}(V) = \sum_{\lambda \in \mathbb{C}} \dim_{\mathbb{C}}(V[\lambda]) x^\lambda. The explicit description of V_\alpha gives \text{ch}(V_\alpha) = x^{\alpha}[r]_x, where [r]_x = \sum_{i=0}^{r-1} x^{r-1-2i}. We claim that the set

is linearly independent. Suppose that \sum_{i=0}^{r-1} a_i \text{ch}(V_{2\eta - r + 2i + 1}) = 0 for some a_i \in \mathbb{Q}. Since all powers of x which appear in this equation lie on the same affine real line in \mathbb{C}, they are naturally ordered. The largest such power is x^{2\eta + 2(r-1)} with coefficient a_{r-1}, resulting from \text{ch}(V_{2\eta - r + 2(r-1) + 1}). Hence, a_{r-1}=0. Continuing in this way shows that a_{r-2}=\cdots = a_0=0 and \mathcal{S} is linearly independent.

The character of V_\eta \otimes V_\eta is \text{ch}(V_\eta)^2 = x^{2\eta}[r]_x^2. On the other hand,

Setting each m_{2\eta-r+1+2i}=1, the right-hand side of the previous equation becomes

In view of the linear independence of \mathcal{S}, this completes the proof.

By Lemma 3.2, Lemma 3.3, the algebra \textnormal{End}_{\mathcal{C}}(V_\eta \otimes V_\eta) is commutative. Let T be a (2,2)-tangle whose open strands are colored by V_{\eta}. Then we have the following sequence of equalities, where we implicitly apply F to each tangle and the coupons are colored by T:

The second equality is implied by the commutativity of \textnormal{End}_{\mathcal{C}}(V_\eta \otimes V_\eta). The fifth and seventh equalities are each a combination of framed Reidemeister moves \text{RII} and \text{RIII}. The sixth equality holds by a combination of framed Reidemeister moves that depends on T. The other equalities hold by the indicated framed Reidemeister moves.

This was computed in ?.

This follows immediately from Proposition 3.5 and the definition of \mathbf{d}_{(-)}.

Because V_\eta is ambidextrous, there is an equality

We expand both sides of this equality. The left-hand side becomes

where we have repeatedly applied Lemma 2.2. The right-hand side becomes

By Proposition 3.5, S'(\eta,\alpha) and S'(\eta,\beta) are non-zero. We can therefore divide both sides of Proof Proof by S'(\eta,\alpha)S'(\eta,\beta) to complete the proof.

Let \eta \in \mathbb{C} \setminus \frac{1}{2} \mathbb{Z}. By Theorem 3.4, the module V_{\eta} is ambidextrous. By Proposition 3.5, the scalar \mathbf{d}_{\eta}(\alpha) is non-zero. The first statement now follows from taking \alpha =\beta in Theorem 3.7. Using the classification of simple objects of \mathcal{C} given in Proposition 1.4, the second claim follows from the above and Lemma 3.1.

Well-definedness of F_\eta' is the statement that F_\eta'(L) is independent of the choice of (1,1)-tangle T used in its definition. If T and T' are (1,1)-tangles constructed from L by cutting along strands colored by V_\alpha and V_\beta, respectively, then, in view of Corollary 3.8, Theorem 3.7 shows that \mathbf{d}_\eta(\alpha) \langle F(T) \rangle = \mathbf{d}_\eta(\beta) \langle F(T^{\prime}) \rangle. Isotopy invariance of F_\eta' follows from Theorem 2.1.

Let L be a Hopf link with strands colored by V_\alpha and V_{\eta} for some \alpha \in \mathbb{C} \setminus \mathbb{Z} \cup r\mathbb{Z} and \eta \in \mathbb{C} \setminus \mathbb{Z}. The assumption of well-definedness of the invariant implies that D(\alpha) S'(\eta, \alpha) = D(\eta) S'(\alpha, \eta), whence D(\alpha) = D(\eta) \mathbf{d}_\eta(\alpha). Taking d = D(\eta) proves the lemma.

Consider a knot diagram for L \# L^{\prime} of the form

where the obvious closures of the (2,0)-tangle U and (0,2)-tangle U^{\prime} are knot diagrams for L and L^{\prime}, respectively, and we have written \alpha for the color V_{\alpha}. Cutting this diagram along one of the connecting strands gives

where, by a slight abuse of notation, we now denote by U the (1,1)-tangle obtained from U by pulling one open strand to the top, and similarly for U^{\prime}. Since V_\alpha is simple, the right hand side of this equation is equal to

This gives the desired expression for F^{\prime}_{\eta}(L \# L^{\prime}).