# On Frobenius exact symmetric tensor categories

To Vera Serganova on her 60th birthday with admiration

### 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 $\mathrm{Ver}_p$ (i.e., is the representation category of an affine group scheme in $\mathrm{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 ${\rm 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$.

## Authors

Kevin Coulembier

School of Mathematics and Statistics, University of Sydney NSW 2006, Australia

Pavel Etingof

Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Ave., Cambridge, MA 02139

Victor Ostrik

Department of Mathematics, University of Oregon, Eugene, OR 97403