Finite Symmetric Integral Tensor Categories with the Chevalley Property with an Appendix by Kevin Coulembier and Pavel Etingof
Name
1901.00528.pdf
Description
Submitted version
Size
368.39 KB
Format
Adobe PDF
Checksum (MD5)
a78fe97325cad5b8669be47323e1e3f2
Author(s)
Etingof, Pavel
Gelaki, Shlomo
Date Issued
2019
Journal
International Mathematics Research Notices
Publisher
Oxford University Press (OUP)
Version
Original manuscript
Abstract
Abstract
We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to the category of supervector spaces. This proves Ostrik’s conjecture [25, Conjecture 1.3] in this case. Equivalently, we prove that there exists a unique finite supergroup scheme $\mathcal{G}$ over $k$ and a grouplike element $\epsilon \in k\mathcal{G}$ of order $\le 2$, whose action by conjugation on $\mathcal{G}$ coincides with the parity automorphism of $\mathcal{G}$, such that $\mathcal{C}$ is symmetric tensor equivalent to $\textrm{Rep}(\mathcal{G},\epsilon )$. In particular, when $\mathcal{C}$ is unipotent, the functor lands in $\textrm{Vec}$, so $\mathcal{C}$ is symmetric tensor equivalent to $\textrm{Rep}(U)$ for a unique finite unipotent group scheme $U$ over $k$. We apply our result and the results of [17] to classify certain finite dimensional triangular Hopf algebras with the Chevalley property over $k$ (e.g., local), in group scheme-theoretical terms. Finally, we compute the Sweedler cohomology of restricted enveloping algebras over an algebraically closed field $k$ of characteristic $p>0$, classify associators for their duals, and study finite dimensional (not necessarily triangular) local quasi-Hopf algebras and finite (not necessarily symmetric) unipotent tensor categories over an algebraically closed field $k$ of characteristic $p>0$. The appendix by K. Coulembier and P. Etingof gives another proof of the above classification results using the recent paper [4], and more generally, shows that the maximal Tannakian and super-Tannakian subcategory of a symmetric tensor category over a field of characteristic $\ne 2$ is always a Serre subcategory.
We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to the category of supervector spaces. This proves Ostrik’s conjecture [25, Conjecture 1.3] in this case. Equivalently, we prove that there exists a unique finite supergroup scheme $\mathcal{G}$ over $k$ and a grouplike element $\epsilon \in k\mathcal{G}$ of order $\le 2$, whose action by conjugation on $\mathcal{G}$ coincides with the parity automorphism of $\mathcal{G}$, such that $\mathcal{C}$ is symmetric tensor equivalent to $\textrm{Rep}(\mathcal{G},\epsilon )$. In particular, when $\mathcal{C}$ is unipotent, the functor lands in $\textrm{Vec}$, so $\mathcal{C}$ is symmetric tensor equivalent to $\textrm{Rep}(U)$ for a unique finite unipotent group scheme $U$ over $k$. We apply our result and the results of [17] to classify certain finite dimensional triangular Hopf algebras with the Chevalley property over $k$ (e.g., local), in group scheme-theoretical terms. Finally, we compute the Sweedler cohomology of restricted enveloping algebras over an algebraically closed field $k$ of characteristic $p>0$, classify associators for their duals, and study finite dimensional (not necessarily triangular) local quasi-Hopf algebras and finite (not necessarily symmetric) unipotent tensor categories over an algebraically closed field $k$ of characteristic $p>0$. The appendix by K. Coulembier and P. Etingof gives another proof of the above classification results using the recent paper [4], and more generally, shows that the maximal Tannakian and super-Tannakian subcategory of a symmetric tensor category over a field of characteristic $\ne 2$ is always a Serre subcategory.
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1093/IMRN/RNZ093
