Related papers: Categorical quantum symmetries and ribbon tensor 2…

The Reshetikhin-Turaev invariant, Turaev's TQFT, and many related constructions rely on the encoding of certain tangles (n-string links, or ribbon n-handles) as n-forms on the coend of a ribbon category. We introduce the monoidal category…

We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also…

We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion…

Our first collection of results parametrize (filtered) actions of a quantum Borel $U_q(\mathfrak{b}) \subset U_q(\mathfrak{sl}_2)$ on the path algebra of an arbitrary (finite) quiver. When $q$ is a root of unity, we give necessary and…

The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…

We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion…

We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $\Gamma$ and mutual actions by permutations $\rhd: \Gamma…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

We develop a theory of generalized Hopf invariants in the setting of sectional category. In particular we show how Hopf invariants for a product of fibrations can be identified as shuffle joins of Hopf invariants for the factors. Our…

Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a Lie algebra automorphism $\theta$. We…

To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized computations, we adopt an approach that treats elements of linear…

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

We take a first step towards a reconstruction of finite tensor categories using finitely many $F$-matrices. The goal is to reconstruct a finite tensor category from its projective ideal. Here we set up the framework for an important…

We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…

The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of…

We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$…

Let C be an integral fusion category. We study some graphs, called the prime graph and the common divisor graph, related to the Frobenius-Perron dimensions of simple objects in the category C, that extend the corresponding graphs associated…

We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the…