On cohomology in symmetric tensor categories in prime characteristic

DOI10.4310/HHA.2022.V24.N2.A8arXiv2008.13149MaRDI QIDQ6348014FDOQ6348014

Pavel Etingof, David Benson

Publication date: 30 August 2020

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.

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)

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)