# The Unapologetic Mathematician

## The Category of Representations of a Hopf Algebra

It took us two posts, but we showed that the category of representations of a Hopf algebra $H$ has duals. This is on top of our earlier result that the category of representations of any bialgebra $B$ is monoidal. Let’s look at this a little more conceptually.

Earlier, we said that a bialgebra is a comonoid object in the category of algebras over $\mathbb{F}$. But let’s consider this category itself. We also said that an algebra is a category enriched over $\mathbb{F}$, but with only one object. So we should really be thinking about the category of algebras as a full sub-2-category of the 2-category of categories enriched over $\mathbb{F}$.

So what’s a comonoid object in this 2-category? When we defined comonoid objects we used a model category $\mathrm{Th}(\mathbf{CoMon})$. Now let’s augment it to a 2-category in the easiest way possible: just add an identity 2-morphism to every morphism!

But the 2-category language gives us a bit more flexibility. Instead of demanding that the morphism $\Delta:C\rightarrow C\otimes C$ satisfy the associative law on the nose, we can add a “coassociator” 2-morphism $\gamma:(\Delta\otimes1)\circ\Delta\rightarrow(1\otimes\Delta)\circ\Delta$ to our model 2-category. Similarly, we dispense with the left and right counit laws and add left and right counit 2-morphisms. Then we insist that these 2-morphisms satisfy pentagon and triangle identities dual to those we defined when we talked about monoidal categories.

What we’ve built up here is a model 2-category for weak comonoid objects in a 2-category. Then any weak comonoid object is given by a 2-functor from this 2-category to the appropriate target 2-category. Similarly we can define a weak monoid object as a 2-functor from the opposite model 2-category to an appropriate target 2-category.

So, getting a little closer to Earth, we have in hand a comonoid object in the 2-category of categories enriched over $\mathbb{F}$ — our algebra $B$. But remember that a 2-category is just a category enriched over categories. That is, between $H$ (considered as a category) and $\mathbf{Vect}(\mathbb{F})$ we have a hom-category $\hom(H,\mathbf{Vect}(\mathbb{F}))$. The entry in the first slot $H$ is described by a 2-functor from the model category of weak comonoid objects to the 2-category of categories enriched over $\mathbb{F}$. This hom-functor is contravariant in the first slot (like all hom-functors), and so the result is described by a 2-functor from the opposite of our model 2-category. That is, it’s a weak monoid object in the 2-category of all categories. And this is just a monoidal category!

This is yet another example of the way that hom objects inherit structure from their second variable, and inherit opposite structure from their first variable. I’ll leave it to you to verify that a monoidal category with duals is similarly a weak group object in the 2-category of categories, and that this is why a Hopf algebra — a (weak) cogroup object in the 2-category of categories enriched over $\mathbb{F}$ has dual representations.

About these ads

### Like this:

Like Loading...

No comments yet.

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

• ## RSS Feeds

RSS - Posts

RSS - Comments

• ## Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
%d bloggers like this:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 16, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9049717783927917, "perplexity_flag": "head"}