New incompressible symmetric tensor categories in positive characteristic

DOI10.1215/00127094-2022-0030arXiv2003.10499MaRDI QIDQ6337276FDOQ6337276

Authors: David Benson, Pavel Etingof, Victor Ostrik

Publication date: 23 March 2020

Abstract: We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field

. If

, we use this method to construct generalizations

{m V e r}_{p^{n}}

,

{m V e r}_{p^{n}}^{+}

of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for

p = 2

and by Gelfand-Kazhdan and Georgiev-Mathieu for

n = 1

. Namely,

{m V e r}_{p^{n}}

is the abelian envelope of the quotient of the category of tilting modules for

by the

n

-th Steinberg module, and

{m V e r}_{p^{n}}^{+}

is its subcategory generated by

-modules. We show that

{m V e r}_{p^{n}}

are reductions to characteristic

p

of Verlinde braided tensor categories in characteristic zero, which explains the notation. We study the structure of these categories in detail, and in particular show that they categorify the real cyclotomic rings

m a t h b b Z [2 c o s (2 p i / p^{n})]

, and that

{m V e r}_{p^{n}}

embeds into

{m V e r}_{p^{n + 1}}

. We conjecture that every symmetric tensor category of moderate growth over

admits a fiber functor to the union

{m V e r}_{p^{i} n f t y}

of the nested sequence

{m V e r}_{p} s u b s e t {m V e r}_{p^{2}} s u b s e t c d o t s

. This would provide an analog of Deligne's theorem in characteristic zero and a generalization of the result of arXiv:1503.01492, which shows that this conjecture holds for fusion categories, and then moreover the fiber functor lands in

{m V e r}_{p}

.

Mathematics Subject Classification ID

Monoidal categories, symmetric monoidal categories (18M05)

This page was built for publication: New incompressible symmetric tensor categories in positive characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6337276)