arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1704.07855math.QA
收藏

关于霍普夫代数提升与融合范畴的忠实性

On faithfulness of the lifting for Hopf algebras and fusion categories

Pavel Etingof

摘要:

我们使用一个版本的哈布什定理在完整的局部诺特环证明的半单余半单霍普夫代数代数和可分离的(辫子,对称)融合范畴的提升的忠实性,从特征$p$到特征零(arXiv/数学:0203060,第9节),显示,此外,任何同构之间的结构可以减少模$p$。这填补了arXiv/math:0203060第9.3小节中的空白。证明了半单余半单霍普夫代数的提升是一个完全忠实函子,并证明了提升诱导了Picard群和Brauer-Picard群的同构.最后,我们证明了可分多融合范畴的子范畴或商范畴是可分的(解决了arXiv/math:0203060,Subsection 9.4中的一个公开问题),并利用这一点证明了可分范畴到特征零的提升之间的某些张量函子类可以模$p$约化。

英文摘要:

We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to characteristic zero (arXiv/math:0203060, Section 9), showing that, moreover, any isomorphism between such structures can be reduced modulo $p$. This fills a gap in arXiv/math:0203060, Subsection 9.3. We also show that lifting of semisimple cosemisimple Hopf algebras is a fully faithful functor, and prove that lifting induces an isomorphism on Picard and Brauer-Picard groups. Finally, we show that a subcategory or quotient category of a separable multifusion category is separable (resolving an open question from arXiv/math:0203060, Subsection 9.4), and use this to show that certain classes of tensor functors between lifts of separable categories to characteristic zero can be reduced modulo $p$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑