2017/04/25 by Pavel Etingof
Mathematics · #Algebraic structures and combinatorial models #Finite Group Theory Research #Functor #Homotopy and Cohomology in Algebraic Topology #Hopf algebra #Isomorphism (crystallography) #Modulo #Noetherian #Quotient #Section (typography) #Separable space #Subcategory #math.QA
paper · pdf · doi:10.2140/ant.2018.12.551
published as Alg. Number Th. 12 (2018) 551-569 · 23 pages, latex
arxiv created 2017/04/25 · openalex created_date 2017/05/05 · openalex publication_date 2018/06/12 · arxiv updated 2018/06/20 · openalex updated_date 2026/08/06
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 [math] to characteristic zero, showing that, moreover, any isomorphism between such structures can be reduced modulo [math] . This fills a gap in our earlier work. 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 our earlier work), and use this to show that certain classes of tensor functors between lifts of separable categories to characteristic zero can be reduced modulo [math] .