Reconstruction of hidden symmetries (Q1921900)

Let \(\mathfrak A\) be a braided monoidal category, with \(H\) an algebra (bialgebra, Hopf algebra) in \(\mathfrak A\). The author studies the possibility of reconstructing \(H\) from \(_H{\mathfrak A}\) (left \(H\)-modules in \(\mathfrak A\)), the underlying (forgetful) functor \(\omega:{_H{\mathfrak A}}\to{\mathfrak A}\) and the monoidal structure in \(\mathfrak A\). Usually one reconstructs an object \(\text{end}(\omega)\) that is larger than \(H\). For example, if \(H=kG\) for a group \(G\), this produces additional symmetries called hidden symmetries. The reconstruction is controlled by a control category \(\mathfrak C\) which operates on \(\omega\), which produces a reconstruction \(\text{end}_{\mathfrak C}(\omega)\). The author studies general braided monoidal categories \(\mathfrak C\) and \(\mathfrak C\)-categories, and then the general algebraic structure of reconstructed objects in a braided monoidal category. He bases this on coalgebras and right comodules. He gives conditions under which a coalgebra \(C\) in \(\mathfrak A\) can be reconstructed from the category \({\mathfrak A}^C\) of \(C\)-comodules in \(\mathfrak A\) and the functor \(\omega:{\mathfrak A}^C\to{\mathfrak A}\). If \(C\) is a coalgebra in the \(\mathfrak C\)-monoidal category \({\mathfrak A}={\mathfrak C}\), then he shows that \(C=\text{coend}_C(\omega)\). A counter-example is given to show that this cannot be generalized to \(C\) a coalgebra in an arbitrary \(\mathfrak C\)-monoidal category \(\mathfrak A\), i.e., there are hidden symmetries. Another existence theorem deals with the reconstruction of \(C\) in the case of an arbitrary \(\mathfrak C\)-functor \(\omega:{\mathfrak B}\to{\mathfrak A}\). Finally, he shows that the universal object \(\text{coend}_{\mathfrak C}(\omega)=U_{\mathfrak C}\) for a functor \(\omega:{\mathfrak B}\to{\mathfrak A}\) tends to decompose into a cosmash product of a Hopf algebra with a coalgebra.