Naturality and decomposability conjectures for the categorified ribbon element

From papers

Let U˙\dot{\mathcal{U}} be the Karoubi envelope of the categorified quantum group U\mathcal{U}, and let r1nr\mathbf{1}_n and r11nr^{-1}\mathbf{1}_n be the bicomplexes categorifying the ribbon element and its inverse. For each complex XCom(U)X\in\operatorname{Com}(\mathcal{U}), let κX:Xr1nrX1n\kappa_X:Xr\mathbf{1}_n\rightarrow rX\mathbf{1}_n and ηX:Xr11nr1X1n\eta_X:Xr^{-1}\mathbf{1}_n\rightarrow r^{-1}X\mathbf{1}_n be the chain maps from the centrality theorem. A bicomplex is indecomposable if it is not isomorphic to a nontrivial direct sum, and a complex is contractible if its identity map is chain-homotopic to zero.

Naturality and decomposability conjectures. The chain maps κX\kappa_X and ηX\eta_X are natural, namely, they commute with all 2-morphisms of U˙\dot{\mathcal{U}}. Moreover, for n0n\geq 0, the bicomplex r1nr\mathbf{1}_n is indecomposable in Kom(U˙)\operatorname{Kom}(\dot{\mathcal{U}}), and ω(r1n)\omega(r\mathbf{1}_{-n}) is isomorphic to a direct sum of r1nr\mathbf{1}_n and a contractible complex. For n0n\leq 0, ω(r1n)\omega(r\mathbf{1}_{-n}) is indecomposable in Kom(U˙)\operatorname{Kom}(\dot{\mathcal{U}}), and r1nr\mathbf{1}_n is isomorphic to a direct sum of ω(r1n)\omega(r\mathbf{1}_{-n}) and a contractible complex. For n=0n=0, the bicomplexes r1nr\mathbf{1}_n and ω(r1n)\omega(r\mathbf{1}_{-n}) are isomorphic.

These expected properties would strengthen the categorified ribbon element's centrality and clarify its indecomposable decomposition, but the source provides no resolution of either assertion.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Anna Beliakova and Kazuo Habiro, “A categorification of the ribbon element in quantum sl(2)”, arXiv:1304.7585 (2013).

Solutions 0

No solutions have been posted yet.