Abstract:In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda whose Grothendieck group is isomorphic to a tensor product of simple modules. However, we require a much stronger structure than a mere isomorphism of representations; most importantly, each such categorical representation must have standardly stratified structure compatible with the categorification functors, and with combinatorics matching those of the tensor product. With these stronger conditions, we recover a uniqueness theorem similar in flavor to that of Rouquier for categorifications of simple modules. Furthermore, we already know of an example of such a categorification: the representations of algebras T^\lambda previously defined by the second author using generators and relations. Next, we show that tensor product categorifications give a categorical realization of tensor product crystals analogous to that for simple crystals given by cyclotomic quotients of KLR algebras. Examples of such categories are also readily found in more classical representation theory; for finite and affine type A, tensor product categorifications can be realized as quotients of the representation categories of cyclotomic q-Schur algebras.

Support varieties without the tensor product property

Support varieties without the tensor product property

Support varieties for finite tensor categories: the tensor product property

Formal extension of noncommutative tensor-triangular support varieties

Support theories for non-Noetherian tensor triangulated categories

Compactly generated tensor t-structures on the derived category of a Noetherian scheme

Support varieties for transporter category algebras

Support Τ-Tilting Subcategories in Exact Categories

On uniqueness of tensor products of irreducible categorifications

Bounds on cohomological support varieties

The Gray tensor product of $(\infty,n)$-categories

Algebraic geometry in tensor categories

Tensor products of finitely cocomplete and abelian categories

Multiplicities and Dimensions in Enveloping Tensor Categories

A bijection between support $τ$-tilting subcategories and $τ$-cotorsion pairs in extriangulated categories

Co-t-structures on derived categories of coherent sheaves and the cohomology of tilting modules

Serre algebra, matrix factorization and categorical Torelli theorem for hypersurfaces

Categories of abelian varieties over finite fields I. Abelian varieties over $\mathbb{F}_p$

Derived categories of curves of genus one and torsors over abelian varieties

Stratification and the comparison between homological and tensor triangular support

Tensor structures on fibered categories