[Paper Review] An invariant of tangle cobordisms via subquotients of arc rings

Yanfeng Chen, Mikhail Khovanov|ArXiv.org|Oct 2, 2006

Algebraic structures and combinatorial models12 references18 citations

TL;DR

This paper constructs a categorification of the quantum group $\mathfrak{sl}(2)$ representation $V^{\otimes n}$ using graded rings $A^{n-k,k}$ and their product $A^n = \prod_{k=0}^n A^{n-k,k}$, defining tangle invariants as complexes of graded bimodules over $A^n$. The key result is that the Grothendieck group of the category of finitely generated graded $A^n$-modules is isomorphic to $V^{\otimes n}$ over $\mathbb{Z}[q,q^{-1}]$, with the basis of projective modules mapping to the dual canonical basis of $V^{\otimes n}$ under a $q \to -q^{-1}$ twist.

ABSTRACT

We construct an explicit categorification of the action of tangles on tensor powers of the fundamental representation of quantum sl(2).

Motivation & Objective

• To construct a down-to-earth categorification of the $\mathfrak{sl}(2)$-representation $V^{\otimes n}$ using graded rings $A^{n-k,k}$ and their product $A^n$.
• To define tangle invariants as complexes of graded $(A^m, A^n)$-bimodules, providing a direct algebraic realization of tangle cobordisms.
• To establish a Grothendieck group isomorphism between the category of finitely generated graded $A^n$-modules and the $\mathbb{Z}[q,q^{-1}]$-lattice in $V^{\otimes n}$, identifying the basis of projective modules with the dual canonical basis.
• To show that the induced action on the Grothendieck group recovers the standard $\mathfrak{sl}(2)$-action on $V^{\otimes n}$, with a sign twist in the parameter $q$.

Proposed method

• Define graded rings $A^{n-k,k}$ as finite-dimensional quotients of path algebras, modeling the arc diagrams of tangles.
• Construct the product ring $A^n = \prod_{k=0}^n A^{n-k,k}$ to encode the full tensor product $V^{\otimes n}$ as a direct sum of weight spaces.
• Associate to each arc diagram $a \in B^{n-k,k}$ a basis element $p_a \in V^n$ via tensor products of $v_1 \otimes v_{-1} + q v_{-1} \otimes v_1$, with appropriate position assignments.
• Define a complex of graded $(A^m, A^n)$-bimodules $\mathcal{F}(T)$ for each $(m,n)$-tangle $T$, with the tensor product functor inducing a map on Grothendieck groups.
• Establish an isomorphism $K_p(A^n\text{-gmod}) \cong V^n$ sending $[P_a]$ to $p_a$, where $P_a$ is the indecomposable projective module associated to arc diagram $a$, and show that the induced action matches the standard $\mathfrak{sl}(2)$-action on $V^{\otimes n}$.
• Verify that under the isomorphism, the basis $[P_a]$ corresponds to the Lusztig dual canonical basis of $V^{\otimes n}$ after the substitution $q \to -q^{-1}$.

Experimental results

Research questions

• RQ1 How can the $\mathfrak{sl}(2)$-representation $V^{\otimes n}$ be categorified using a direct algebraic construction based on arc diagrams and graded rings?
• RQ2 What is the relationship between the Grothendieck group of the category of finitely generated graded modules over the product ring $A^n$ and the tensor power $V^{\otimes n}$?
• RQ3 Can tangle invariants and tangle cobordisms be realized as functors and natural transformations between categories of graded modules over $A^n$?
• RQ4 Does the basis of indecomposable projective modules in $K_p(A^n\text{-gmod})$ correspond to a known basis in $V^{\otimes n}$, such as the dual canonical basis?
• RQ5 How does the action of tangle cobordisms on the Grothendieck group recover the standard quantum group action on $V^{\otimes n}$?

Key findings

• The Grothendieck group $K_p(A^n\text{-gmod})$ is a free $\mathbb{Z}[q,q^{-1}]$-module of rank $2^n$, isomorphic to $V^n$ via the map sending $[P_a]$ to $p_a$.
• The basis $\{[P_a] \mid a \in \sqcup_{k=0}^n B^{n-k,k}\}$ of $K_p(A^n\text{-gmod})$ corresponds to the Lusztig dual canonical basis of $V^{\otimes n}$ after the substitution $q \to -q^{-1}$.
• The tangle invariant $\mathcal{F}(T)$ induces a $\mathbb{Z}[q,q^{-1}]$-linear map on the Grothendieck group that matches the standard $\mathfrak{sl}(2)$-action on $V^{\otimes n}$.
• The construction provides a direct, algebraic categorification of $V^{\otimes n}$ without relying on highest weight categories or matrix factorizations.
• The ring $H^n$, controlling the categorification of $\mathrm{Inv}(V^{\otimes 2n})$, embeds into $A_{n,n}$ as $eA_{n,n}e$, and the isomorphism $H^n \otimes_{\mathbb{Z}} \mathbb{C} \cong eA_{n,n}e$ is compatible with the bimodule structures.
• The complex of bimodules $\mathcal{F}(T)$ for a tangle $T$ induces an exact functor between derived categories of graded $A^n$-modules, and its action on the Grothendieck group recovers the linear map $f_{\text{inv}}(T)$.