Related papers: Virtual tangles and fiber functors

Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of…

Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs,…

We study the structure of the virtual braid group. It is shown that the virtual braid group is a semi--direct product of the virtual pure braid group and the symmetric group. Also, it is shown that the virtual pure braid group is a…

In [arXiv:1509.02937], the notion of a module tensor category was introduced as a braided monoidal central functor $F\colon \mathcal{V}\longrightarrow \mathcal{T}$ from a braided monoidal category $\mathcal{V}$ to a monoidal category…

Given a positive integer $n$, we say that two knots are $V_n$-equivalent if they have the same Vassiliev invariants of order $\le n$. We showed that the $V_n$-equivalence classes of ribbon knots form a group, the operation being induced by…

In a fibre bundle, natural derivatives of a section are defined as tangent vector fields on the image of a section of the fibre bundle. A local extension to vector fields in the tangent bundle leads to a direct proof of the formula…

In this paper, we introduce twisted virtual doodles, defined as stable equivalence classes of immersed circles on closed surfaces that may be non-orientable. These objects admit planar representative diagrams, considered up to a suitable…

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on…

We construct universal monoidal categories of topological tensor supermodules over the Lie superalgebras $\mathfrak{gl}(V\oplus \Pi V)$ and $\mathfrak{osp}(V\oplus \Pi V)$ associated with a Tate space $V$. Here $V\oplus \Pi V$ is a…

In this paper, we consider the problem of determining when two tensor networks are equivalent under a heterogeneous change of basis. In particular, to a string diagram in a certain monoidal category (which we call tensor diagrams), we…

In this paper we construct invariants of 3-manifolds "\`a la Reshetikhin-Turaev" in the setting of non-semi-simple ribbon tensor categories. We give concrete examples of such categories which lead to a family of 3-manifold invariants…

Let $V$ be a vertex operator algebra with a category $\mathcal{C}$ of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let $A$ be a vertex operator (super)algebra extension of…

We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the…

The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…

Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, and every simple object V is strongly simple, meaning that (V)…

We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in…

Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of…

Let $O$ be the ring of power series in one variable over a finite field, with $K$ its fraction field. We introduce the notion of a "formal $K$-vector space"; this is a certain kind of $K$-vector space object in the category of formal…

The inclusion of the unit in a braided tensor category $\mathcal{V}$ induces a 1-morphism in the Morita 4-category of braided tensor categories $BrTens$. We give criteria for the dualizability of this morphism. When $\mathcal{V}$ is a…

This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give…