Related papers: The 2-Deligne Tensor Product

We study the derived tensor product of the representation rings of subgroups of a given compact Lie group G. That is, given two such subgroups H_1 and H_2, we study the tensor product of the associated representation rings R(H_1) and R(H_2)…

A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a…

Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…

We briefly report on our result that the braided tensor product algebra of two module algebras $A_1,A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $H_1$ with a subalgebra isomorphic to $A_2$…

For each finite semisimple tensor category, we associate a quantum group (face algebra) whose comodule category is equivalent to the original one, in a simple natural manner. To do this, we also give a generalization of the Tannaka-Krein…

In the case of a compact orientable pseudomanifold, a well-known theorem of M. Goresky and R. MacPherson says that the cap product with a fundamental class factorizes through the intersection homology groups. In this work, we show that this…

It is known that the spatial product of two product systems is intrinsic. Here we extend this result by analyzing subsystems of the tensor product of product systems. A relation with cluster systems is established. In a special case, we…

Given 2-categories $\mathcal{C}$ and $\mathcal{D}$, let $\textrm{Lax}(\mathcal{C},\mathcal{D})$ denote the 2-category of lax functors, lax natural transformations and modifications, and $[\mathcal{C},\mathcal{D}]_\mathrm{lnt}$ its full…

We study thick subcategories of the category of 2-term complexes of projective modules over an associative algebra. We show that those thick subcategories that have enough injectives are in explicit bijection with 2-term silting complexes…

We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,d) depending on a degree function d. Under the condition that all objects of A have only finitely many subobjects, our…

Let G be a compact Lie group acting on a smooth manifold M. In this paper, we consider Meinrenken's G-equivariant bundle gerbe connections on M as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe…

We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…

Two different types of Deligne categories have been defined to interpolate the finite dimensional complex representations of the hyperoctahedral group. The first one, initially defined by Knop and then further studied by Likeng and Savage,…

We extend Deligne's notion of determinant functor to tensor triangulated categories. Specifically, to account for the multiexact structure of the tensor, we define a determinant functor on the 2-multicategory of triangulated categories and…

We prove a structure theorem for Yetter-Drinfel'd Hopf algebras over groups of prime order that are nontrivial, cocommutative, and cosemisimple: Under certain assumptions on the base field, these algebras can be decomposed into a tensor…

In this paper we completely classify irreducible tensor products of covering groups of symmetric and alternating groups in characteristic $\not=2$.

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…

We establish a tensor product theorem for slope semistable parabolic $\lambda$-connections over smooth projective varieties in arbitrary characteristic.

Recently Dupont proved that the categories of discrete and codiscrete (or connected) objects in an abelian 2-category are equivalent abelian categories. He posses also a question whether any abelian category comes in this way. We will give…

We show that the product of any number of sequentially pseudocompact topological spaces is still sequentially pseudocompact. The definition of sequential pseudocompactness can be given in (at least) two ways: we show their equivalence. Some…