On cohomology in symmetric tensor categories in prime characteristic

DOI10.4310/HHA.2022.V24.N2.A8MaRDI QIDQ6348014arXivFDO

Authors David Benson, Pavel Etingof

Publication date 30 August 2020

Mathematics Subject Classification ID

Graded rings (13A02) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Steenrod algebra (55S10) Fusion categories, modular tensor categories, modular functors (18M20)

Abstract: We describe graded commutative Gorenstein algebras ${mathcalE}_n(p)$ over a field of characteristic $p$, and we conjecture that $$, where $mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of these algebras, and the relationship with Minc's partition function, as well as possible actions of the Steenrod operations on them. Evidence for the conjecture includes a large number of computations for small values of $n$. We also provide some theoretical evidence. Namely, we use a Koszul construction to identify a homogeneous system of parameters in ${mathcalE}_n(p)$ with a homogeneous system of parameters in $$. These parameters have degrees $2^i-1$ if $p=2$ and $2(p^i-1)$ if $p$ is odd, for $1leilen$. This at least shows that $$ is a finitely generated graded commutative algebra with the same Krull dimension as ${mathcalE}_n(p)$. For $p=2$ we also show that $$ has the expected rank $2^{n(n-1)/2}$ as a module over the subalgebra of parameters.

This page was built for publication: On cohomology in symmetric tensor categories in prime characteristic

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