相关论文: On the Dualizability of Fusion 2-Categories

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…

In arXiv:2211.04917, it was shown that, over an algebraically closed field of characteristic zero, every fusion 2-category is Morita equivalent to a connected fusion 2-category, that is, one arising from a braided fusion 1-category. This…

We prove that the Drinfeld center of a fusion 2-category is invariant under Morita equivalence. We go on to show that the concept of Morita equivalence between connected fusion 2-categories recovers exactly the notion of Witt equivalence…

We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

We define fully exact module categories, a subclass of exact module categories over a finite braided tensor category that is stable under the relative Deligne product. In contrast, we demonstrate with examples in both zero and non-zero…

We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the $Hom$-categories, connected components, and simple objects of a 2-Deligne tensor…

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field.

A finite pre-tensor category is a finite abelian category equipped with a right exact tensor product for which every projective object has duals. Finite tensor categories, for which every object has duals, are notable examples. More…

We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two…

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

A tensor category $\mathcal{C}$ over a field $\mathbb{K}$ is said to be invertible if there's a tensor category $\mathcal{D}$ such that $\mathcal{C}\boxtimes\mathcal{D}$ is Morita equivalent to $\mathrm{Vec}_{\mathbb{K}}$. When $\mathbb{K}$…

Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple…

A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable…

The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We…

Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

In this paper, we define what it means for an object in an abstract module category to be dualizable and we give a homological description of the direct limit closure of the dualizable objects. Our description recovers existing results of…

Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…