The question is rather rambling and it is more about not so well-defined appetites (do you have a more conrete motivation?).
There is one thing which however makes full sense and deserves the consideration. Namely it has been asked what about higher categorical analogues of (noncommutative noncocommutative) Hopf algebras. This is not a trivial subject, because it is easier to do resolutions of operads than more general properads. Anyway the infinity-bialgebras are much easier than the Hopf counterpart. There is important work of Umble and Saneblidze in this direction (cf. arxiv/0709.3436). The motivating examples are however rather different than quantum groups, coming from rational homotopy theory, I think.
Similarly, there is no free Hopf algebra in an obvious sense what makes difficult to naturally interpret deformation complexes for Hopf algebras (there is a notion called free Hopf algebra, concerning something else). Boris Shoikhet, aided with some help from Kontsevich, as well as Martin Markl have looked into this.
Another relevant issue is to include various higher function algebras on higher categorical groups, enveloping algebras of higher Lie algebras (cf. baranovsky (pdf) or arxiv 0706.1396 version), usual quantum groups, examples of secondary Steenrod algebra of Bauese etc. into a unique natural higher Hopf setting. I have not seen that.
The author of the question might also be interested in a monoidal bicategorical approach to general Hopf algebroids by Street and Day.
No comments:
Post a Comment