四维$2$型手柄中的ribbon surface的量子不变量

我们使用unimodular ribbon categories来构造四维$2$型手柄中ribbon surface的量子不变量，至多至$1$-等位。过程中，我们恢复了Bobtcheva-Messia、Broda-Petit、Gainutdinov-Geer-Patureau-Runkel(与第二作者合作)以及Lee-Yetter的不变量。我们的做法不假设semisimplicity，基于将Reshetikhin-Turaev函子推广到标记Kirby图的类别，这也产生边界中framed link的不变量至$2$-变形。该设置非常灵活，允许使用满足Hennings和Bobtcheva-Messia引入的方程的central元素、modified traces以及满足Hughes、Kim和Miller开发的嵌入表面图示计算法所需条件的Frobenius代数模块。