# Quantum Algebra (math.QA)

• For a classical group $G$ and a Coxeter element $c$ of the Weyl group, it is known that the coordinate ring $\mathbb{C}[G^{e,c^2}]$ of the double Bruhat cell $G^{e,c^2}:=B\cap B_-c^2B_-$ has a structure of cluster algebra of finite type, where $B$ and $B_-$ are opposite Borel subgroups. In this article, we consider the case $G$ is of type ${\rm B}_r$, ${\rm C}_r$ or ${\rm D}_r$ and describe all the cluster variables in $\mathbb{C}[G^{e,c^2}]$ as monomial realizations of certain Demazure crystals.
• 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$.