Tensor envelopes of regular categories

Abstract

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 main results are as follows: 1. Let N be the maximal proper tensor ideal of T(A,d). We show that T(A,d)/N is semisimple provided that A is exact and Mal'cev. Thereby, we produce many new semisimple, hence abelian, tensor categories. 2. Using lattice theory, we give a simple numerical criterion for the vanishing of N. 3. We determine all degree functions for which T(A,d) is Tannakian. As a result, we are able to interpolate the representation categories of many series of profinite groups such as the symmetric groups S_n, the hyperoctahedral groups S_n\semidir Z_2^n, or the general linear groups GL(n,F_q) over a fixed finite field. This paper generalizes work of Deligne, who first constructed the interpolating category for the symmetric groups S_n. It also extends (and provides proofs for) a previous paper math.CT/0605126 on the special case of abelian categories.

v1: 52 pages; v2: 52 pages, proof of Lemma 7.2 fixed, otherwise minor changes

References in corpus (3)

• Nilpotence, radicaux et structures mono\"ıdales
• A construction of semisimple tensor categories
• Algebras in Higher Dimensional Statistical Mechanics - the Exceptional Partition (MEAN Field) Algebras

Cited by in corpus (16)

• FI-modules and stability for representations of symmetric groups
• On blocks of Deligne's category Rep(S_t)
• Deligne Categories in Lattice Models and Quantum Field Theory, or Making Sense of $O(N)$ Symmetry with Non-integer $N$
• Random Field Ising Model and Parisi-Sourlas Supersymmetry. Part II. Renormalization Group
• On representation categories of wreath products in non-integral rank
• Semisimplicity and Indecomposable Objects in Interpolating Partition Categories
• Generalized trace and modified dimension functions on ribbon categories
• The subobject decomposition in enveloping tensor categories
• Decorated one-dimensional cobordisms and tensor envelopes of noncommutative recognizable power series
• Group partition categories
• Modified Traces on Deligne's Category Rep(S_{t})
• Embedding Deligne's category $\underline{\mathrm{Re}}\mathrm{p}(S_t)$ in the Heisenberg category
• Multiplicities and dimensions in enveloping tensor categories
• Integral objects and Deligne's category Rep(S_t)
• Interpolation categories for Conformal Embeddings
• Growth problems in diagram categories