4
$\begingroup$

Imagine a monoidal functor between ribbon categories (i.e. monoidal, with a braiding, a twist and compatible left and right duals). An important example would be the restriction functor from the representation category of one quasitriangular quantum group $G$ to a quantum subgroup, $H$.

Are there functors that don't preserve the braiding (this would be a very strong assumption), but preserve the duals?

I would call such a functor a "rigid functor", but apparently this term isn't being used much. Such functors would preserve all unbraided planar diagrams, but not necessarily the braided ones.

Are there easy-to-check criteria for this in the case of quantum groups? Has it been studied (e.g. with a list of known examples)?

$\endgroup$
6
  • $\begingroup$ Wow, such diverse answers... it's a shame I can't accept multiple answers. $\endgroup$ Commented Feb 11, 2014 at 18:54
  • $\begingroup$ As mentioned in the comments to Theo's answer, it would make sense to demand the functor to be pivotal. Any strong monoidal functor preserves duals, but pivotal functors preserve right and left duals "in the same way". $\endgroup$ Commented Oct 21, 2014 at 13:14
  • 1
    $\begingroup$ This is kind of a trivial example, but what about the functor which maps the braiding to its opposite braiding? This is strong-monoidal functor of monoidal categories which is usually not braided (in symmetric categories it is braided though). $\endgroup$ Commented Dec 23, 2014 at 6:19
  • $\begingroup$ @MarcelBischoff, great, the only possible problem could be this: I believe one must send the twist to its inverse as well since in a pivotal category it's defined in terms of the braiding and the pivotal structure. So do you have to invert the pivotal structure as well? $\endgroup$ Commented Dec 24, 2014 at 16:50
  • $\begingroup$ I've been probably thinking about spherical categories, I think there the problem does not arise?! $\endgroup$ Commented Dec 24, 2014 at 17:14

3 Answers 3

7
$\begingroup$

For Rep($U_q(g)$), the monoidal and pivotal structures can be defined with coefficients depending only on $q$, while the braiding requires fractional powers of $q$, say $q^{1/m}$, where $m$ depends on the Lie algebra $g$. So one source of examples would be to replace $q^{1/m}$ with $\xi q^{1/m}$, where $\xi^m = 1$. This changes the braiding but doesn't affect the monoidal structure or the pivotal (duality) structure. In other words, the "identity" functor is monoidal and preserves duals, but does not preserve the braiding.

$\endgroup$
5
  • $\begingroup$ Does this change effect the twist functor? or can that be taken to be the same in both cases? $\endgroup$ Commented Feb 7, 2014 at 8:18
  • $\begingroup$ For most (all?) choices of $\xi$, the twist functor will change. $\endgroup$ Commented Feb 7, 2014 at 13:45
  • $\begingroup$ When I look at the triangular element of $U_q SL(2)$ in Kassel's book, I find the $q^{1/2}$, but don't the duals depend on the triangular element as well? $\endgroup$ Commented Feb 11, 2014 at 18:54
  • $\begingroup$ I think that one can write out bases and relations for the tensor category structure on $Rep(U_q(sl_2))$ using only powers of $q$, but that the braiding requires $q^{1/2}$. Check out Kuperberg's "spider" paper (arxiv.org/pdf/q-alg/9712003v1.pdf) and compare the tensor category relation on pages 12-14 with the braidings on page 16. $\endgroup$ Commented Feb 11, 2014 at 19:10
  • $\begingroup$ Ah, in other words, the duals only depend on the spherical element in the algebra, which can be written in terms of $q$? $\endgroup$ Commented Feb 12, 2014 at 15:49
6
$\begingroup$

Assuming that by "monoidal" you mean "strong monoidal", i.e. a functor $F$ comes with a natural isomorphism $f_{X,Y} : F(X\otimes Y) \cong F(X) \otimes F(Y)$ (and an isomorphism $i : F(1) \cong 1$, and these isomorphisms should intertwine the unit and associativity morphisms on the target category with the images under $F$ of the unit and associativity morphisms in the source), then every monoial functor is rigid, in the following sense:

Let $X$ have a left dual $X^*$, i.e. we have equipped the pair $(X,X^*)$ with a cap $X^* \otimes X \to 1$ and a cup $1 \to X\otimes X^*$, such that the zig-zag equations hold. Then $F(X)$ has $F(X^*)$ as its left dual. Indeed, $i \circ F(\text{cap}) \circ f_{X^\ast,X}^{-1} : F(X^\ast) \otimes F(X) \cong F(X^\ast\otimes X) \to F(1) \cong 1$ and $f_{X,X^\ast} \circ F(\text{cup}) \circ i$ are a cap and cup between $F(X^*)$ and $F(X)$. (The zig-zag equations do require that the isomorphism $f,i$ intertwine the various associators and unitors.)

In particular, suppose that the source of your monoidal functor is rigid. Then the essential image of your functor lands within the largest rigid subcategory of the target. Moreover, suppose both source and target are rigid. The previous paragraph implies that there is a canonical (and unique) natural isomorphism $F(X^*) \cong F(X)^*$ intertwining the cups and caps.

It should be emphasized, however, that the axioms of rigid category do not require an isomoprhism between the left dual $X^\ast$ and the right dual $^\ast X$. (Now I wish I had chosen different left/right conventions. C'est la vie.) In many examples, these are isomorphic, and indeed in many examples one can choose a natural isomorphism $X^\ast \cong {^\ast X}$. For example, in any braided category, the braiding determines such an isomorphism. But actually the braiding determines many such isomorphisms, and there's no best way to choose one, and many errors have been made (e.g. by me) by pretending that $X^\ast = {^\ast X}$ in some canonical way. (In a symmetric monoidal category, there is a canonical isomorphism $X^\ast \cong {^\ast X}$. But it's not necessarily compatible with other structure you might have around.)

Long before thinking about quantum groups, a good example to work through is the category of supervector spaces (over a field in which $2$ is invertible). As a monoidal category, this is the category of $\mathbb Z/2$ modules, but the braiding is different. Namely, the braiding is uniquely determined (up to the usual words) by demanding that on the one-dimensional nontrivial representation $S$, the braiding $\beta_{S,S} : S\otimes S \to S\otimes S$ is multiplication by $-1$. There are isomorphisms $S\otimes S \cong 1$, with which you can present $S$ as its own dual. The canonical isomorphism (determined by the supervector space braiding) $S \cong ^\ast S \cong S^\ast \cong S$ with these most natural choices is then multiplication by $-1$, whereas the canonical isomorphism for the usual braiding is multiplicaiton by $+1$. Note that the identity monoidal functor from supervect to $(\mathbb Z/2)$-rep is not a braided functor.

The next example to think through is the "quantum group" related to the reductive algebraic group $\mathbb G_m$. As a monoidal category, this is the category of $\mathbb Z$-graded vector spaces. The braiding is determined by declaring that on the generating line $L$ (i.e. the one-dimensional vector space in grading $1$), we have $\beta_{L,L} : L\otimes L \to L\otimes L$ is multiplication by $q \in \mathbb K^\times$. This category has a skeletalization with one invertible object $[n] = L^{\otimes n}$ for each $n\in \mathbb Z$; general objects are formal direct sums of these. This skeletalization is a strict monoidal category (generically skeletalizations of monoidal categories have nontrivial associators). In this skeletalization, the braiding $\beta_{[m],[n]} : [m+n] = [m] \otimes [n] \overset\sim\to [n]\otimes[m] = [m+n]$ is multiplication by $q^{mn}$. This example shows all of the problems that come from being too cavalier about the difference between isomorphism and equality.

$\endgroup$
3
  • $\begingroup$ Ok, so every strong monoidal functor maps a duality onto a duality, but not necessarily the one I've chosen beforehand in the target category, right? That means that a strong monoidal functor need not preserve quantum dimensions, for example. $\endgroup$ Commented Jul 21, 2014 at 15:15
  • $\begingroup$ Right. The strong monoidal functor from supervector spaces to $(\mathbb Z/2)$-modules (with the usual symmetric structure) does not preserve quantum dimension. And any two (right, say) duals are canonically isomorphic, but that isomorphism often is not the identity for some looks-convenient coordinates. $\endgroup$ Commented Jul 22, 2014 at 16:17
  • $\begingroup$ It's also possible to understand it like this: In a pivotal category, $X^* =\prescript{*}{}{X}$ canonically, right? But braided categories have a canonical pivotal element, I thought? Then the question is basically "Are there pivotal functors that are not braided?". $\endgroup$ Commented Sep 16, 2014 at 15:48
6
$\begingroup$

The categories of (finite dimensional) vector spaces and super vector spaces are rigid and symmetric monoidal and so admit ribbon structure where the twist is trivial. The forgetful functor from super vector spaces to vector spaces is monoidal and preserves duals, but is not braided monoidal.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .