Related papers: Virtual tangles and fiber functors

Two pertinent questions for any support theory of a monoidal triangulated category are whether it is functorial and if the tensor product property holds. To this end, we consider the complete prime spectrum of an essentially small monoidal…

We extend the $sl(3)$-polynomial invariant for links to tangles. Motivated by Kuperberg's construction of this invariant via planar trivalent graphs, we first define a category of $sl(3)$ webs and its sister linear category, and describe…

We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this…

We construct an explicit equivalence between the (bi)category of gl(2) webs and foams and the Bar-Natan (bi)category of Temperley-Lieb diagrams and cobordisms. With this equivalence we can fix functoriality of every link homology theory…

We construct the categories of standard vector bundles over schemes and define direct sum and tensor product. These categories are equivalent to the usual categories of vector bundles with additional properties. The tensor product is…

We show that the definition and many useful properties of Soergel's functor $\mathbb{V}$ extend to "universal" variants of the BGG category $\mathcal{O}$, such as the category which drops the semisimplicity condition on the Cartan action.…

For classical knots, there is a concept of (semi)meander diagrams; in this short note we generalize this concept to virtual knots and prove that the classes of meander and semimeander diagrams are universal (this was known for classical…

The geometry of graded principal bundles is discussed in the framework of graded manifold theory of Kostant-Berezin-Leites. In particular, we prove that a graded principal bundle is globally trivial if and only if it admits a global graded…

We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories. We show that any regular virtual double category admits a…

We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some…

We remark on the claim that the string-net model of Levin and Wen is a microscopic Hamiltonian formulation of the Turaev-Viro topological quantum field theory. Using simple counterexamples we indicate where interesting extra structure may…

Let $X$ be a projective and smooth variety over an algebraically closed field $k$. Let $f:Y\rightarrow X$ be a proper and surjective morphism of $k$-varieties. Assuming that $f$ is separable, we prove that the Tannakian category associated…

The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For…

Ribbon tangles are proper embeddings of tori and cylinders in the $4$-ball~$B^4$, "bounding" $3$-manifolds with only ribbon disks as singularities. We construct an Alexander invariant $\mathsf{A}$ of ribbon tangles equipped with a…

We prove that the vector bundles at the core of the Knizhnik-Zamolodchikov and quantum constructions of braid groups representations are topologically trivial bundles. We provide partial generalizations of this result to generalized braid…

We define a symmetric tensor enhancement $\mathrm{E}\mathbb{F}$ with full duals of the 3-category $\mathbb{F}$ of fusion categories in which every Reshetikhin--Turaev theory has a fully local realization. Our $\mathrm{E}\mathbb{F}$ is a…

We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…

Virtual knots are defined diagrammatically as a collection of figures, called virtual knot diagrams, that are considered equivalent up to finite sequences of extended Reidemeister moves. By contrast, knots in $\mathbb{R}^3$ can be defined…

We give criteria for when finitely generated local modules over a commutative algebra $A$ in the ind-completion $\widehat{\mathcal{C}}$ of a braided tensor category $\mathcal{C}$ inherit the structure of a (rigid, braided, ribbon) tensor…

We introduce the theory of biset functors defined on finite categories. Previously, biset functors have been defined on groups, and in that context they are closely related to Mackey functors. Standard examples on groups include…