### Current browse context:

math.RT

### Change to browse by:

### References & Citations

# Mathematics > Representation Theory

# Title: On Frobenius exact symmetric tensor categories

(Submitted on 6 Jul 2021 (v1), last revised 1 Sep 2022 (this version, v2))

Abstract: A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this paper we prove a characteristic p version of this theorem. Namely we show that a pre-Tannakian category over an algebraically closed field of characteristic p>0 admits a fiber functor into the Verlinde category Ver_p (i.e., is the representation category of an affine group scheme in Ver_p) if and only if it has moderate growth and is Frobenius exact. This implies that Frobenius exact pre-Tannakian categories of moderate growth admit a well-behaved notion of Frobenius-Perron dimension.

It follows that any semisimple pre-Tannakian category of moderate growth has a fiber functor to Ver_p (so in particular Deligne's theorem holds on the nose for semisimple pre-Tannakian categories in characteristics 2,3). This settles a conjecture of the third author from 2015.

In particular, this result applies to semisimplifications of categories of modular representations of finite groups (or, more generally, affine group schemes), which gives new applications to classical modular representation theory. For example, it allows us to characterize, for a modular representation V, the possible growth rates of the number of indecomposable summands in V^{\otimes n} of dimension prime to p.

## Submission history

From: Kevin Coulembier [view email]**[v1]**Tue, 6 Jul 2021 03:44:50 GMT (35kb)

**[v2]**Thu, 1 Sep 2022 10:33:09 GMT (38kb)

Link back to: arXiv, form interface, contact.