English

Minimal extensions of Tannakian categories in positive characteristic

Quantum Algebra 2022-03-30 v2 Rings and Algebras

Abstract

We extend \cite[Theorem 4.5]{DGNO} and \cite[Theorem 4.22]{LKW} to positive characteristic (i.e., to the finite, not necessarily fusion, case). Namely, we prove that if \D\D is a finite non-degenerate braided tensor category over an algebraically closed field kk of characteristic p>0p>0, containing a Tannakian Lagrangian subcategory \Rep(G)\Rep(G), where GG is a finite kk-group scheme, then \D\D is braided tensor equivalent to \Rep(Dω(G))\Rep(D^{\omega}(G)) for some ωH3(G,Gm)\omega\in H^3(G,\mathbb{G}_m), where Dω(G)D^{\omega}(G) denotes the twisted double of GG \cite{G2}. We then prove that the group Mext(\Rep(G))\mathcal{M}_{{\rm ext}}(\Rep(G)) of minimal extensions of \Rep(G)\Rep(G) is isomorphic to the group H3(G,Gm)H^3(G,\mathbb{G}_m). In particular, we use \cite{EG2,FP} to show that Mext(\Rep(μp))=1\mathcal{M}_{\rm ext}(\Rep(\mu_p))=1, Mext(\Rep(αp))\mathcal{M}_{\rm ext}(\Rep(\alpha_p)) is infinite, and if \O(Γ)=u(\g)\O(\Gamma)^*=u(\g) for a semisimple restricted pp-Lie algebra \g\g, then Mext(\Rep(Γ))=1\mathcal{M}_{\rm ext}(\Rep(\Gamma))=1 and Mext(\Rep(Γ×αp))\g(1)\mathcal{M}_{\rm ext}(\Rep(\Gamma\times \alpha_p))\cong \g^{*(1)}.

Keywords

Cite

@article{arxiv.2105.13436,
  title  = {Minimal extensions of Tannakian categories in positive characteristic},
  author = {Shlomo Gelaki},
  journal= {arXiv preprint arXiv:2105.13436},
  year   = {2022}
}

Comments

21 pages; to appear in the Journal of Algebra