So, those of you who like the categorical approach to representation theory probably know about the center of a category:

**Definition.** The center of an abelian category is the rings of endomorphisms of the identity functor. That is, an element of the center is a system of maps for all objects in your category such that for ANY morphism , we have .

For example, if A is a finite dimensional algebra, then the action of any element of the center of A gives an element of the center of the catgeory (ANY element of A satisfies the commutation condition by definition, but it will only give a morphism in if it is central). In this case, the center of A will actually be the whole center of the category, by silly universal algebra considerations (you can recover a **finite-dimensional** algebra as the endomorphism algebra of the forgetful functor from to vector spaces).

But in more general cases, it can be hard to be sure you’ve got the whole center of the category (just as it’s hard to be sure you’ve got the whole center of an algebra you don’t know very well).

Once you have your hands on the center of a category , you can use it for block decomposition by central characters. Let’s make our lives easier, and suppose our category is linear over an algebraically closed field . Then, for any simple object , and any is the center of , then the morphism must be a multiple of the identity, which we might call . This defines a character , which we call the central character of .

Now, imagine and are simple objects with different central characters . Then, if one looks at the space we can see that the center must act on it by by composition on the left, and by by composition on the right. Since these are different, the only way this is possible is for all these spaces to be trivial. Thus

**Theorem. **Let be the Serre subcategory of generated by simples with central character , and be the subcategory generated by all other simples. Then . More generally, we have a decomposition of as .

(A Serre subcategory of an abelian category where if latex A\subset B$ and two of and are in the subcategory, the third one is as well).

On the other hand, if one has a direct sum decomposition of your category , then then projection to the unique summand of lying in is an element of the center which distinguishes these. Thus, the central characters separate blocks.

However, if you have an infinite dimensional algebra, and pick out some nice category of representations for it, then there’s no guarantee that the center of the algebra surjects onto the center of the category.

One interesting example of this is so-called category . This is the Serre subcategory of the category of all representations of a semi-simple complex Lie algebra $\mathfak{g}$ generated by Verma modules (alternatively by simple modules with a weight decomposition and highest weight vector). More generally, we’ll want to consider the parabolic category for some parabolic $\mathfrak p\subset \mathfrak g$, which is the subcategory of consisting of modules which are a direct sum of finite dimensional representations for the action of $\mathfrak l$, the Levi subgroup of $\mathfrak p$.

Let’s restrict, for ease, to the case where they have integral weights as well. In this case, the blocks are in bijection with orbits of the shifted Weyl group action where is the sum of the fundamental weights, as usual. The action of the center of the universal enveloping algebra of gets exactly this far: it’s canonically identified with the functions invariant under this action of the Weyl group by the Harish-Chandra homomorphism. One need only look at the Verma modules of elements with dominant (or almost dominant weight) to check that each of these subcategories is indecomposible.

But does the universal enveloping algebra get the whole center of each block? How could you check?

To see this, you should realize your category as representations of a finite dimensional algebra. Luckily, this is possible for any category with finitely many simple objects and enough projectives. If you take a projective generator of your block (the direct sum of the projective cover of each simple module in the block), and look at it’s endomorphism algebra , then you’ll see that is an equivalence of categories to .

So, now we just need to find the center of . But this is not a particularly easy task. Soergel worked out the the universal enveloping algebra does surject in usual category using the following trick: let be the unique indecomposible module of your block which is both projective and injective. Then, the functor to representations of is full and faithful **on projectives** (it kills lots of other modules, but not projectives). Thus, one can calculate the endomorphisms of a projective generator just as well after applying this functor. It turns out that is commutative, and the obvious map into $\mathrm E$ is an isomorphism onto the center. One can explicitly check that the center of surjects onto , and thus onto the center of the block.

This result is simply not true in the parabolic case, though. There are explicit examples in type $B$ where the map to the center is not sujective. However, in type $A$, it’s actually true, and John Brundan gave a tlak here in Denmark illuminating his proof of this fact. I don’t really have the energy to say much about it, other than that it relies on a very explicit description of a projective generator of , which most interestingly shows that the center of a block of is isomorphic to the cohomology of a Spaltenstein variety in . There’s no geometric proof of this fact, a problem begging to be rectified. But we’ll save talking about that for another day.

I’d be grateful to learn if somebody ever ran into prominent examples of the following slight generalization of the concept of the center of a category:

The center of is an abelian monoid since it is constructed as a one-object one-morphism 2-category, namely

.

But now suppose we have a finite group acting strictly on —

—

by functors for all .

Then we can consider the -graded monoid

.

This is no longer abelian. But almost so: we may pass an element of this monoid past an element in degree up to a twist

.

This game may be played not just with 1-categories, but also for instance with 2-categories. There it turns out to reproduce a concept introduced by Turaev and Kirillov, that of

-equivariant fusion categories: these generalize braided monoidal categories of reps of vertex operator algebras to something like -orbifold versions.But here I am looking for places where this “-twisted center” has been considered for 1-categories. Has anyone seen this?

Sorry for the typesetting mess. Without a comment preview this is hard to avoid. The lesson I learned this time: don’t use line breaks in LaTeX environment…

Sounds vaguely reminiscent of some of this stuff Noah’s been doing with braided monoidal categories fibered over a group, though he has a very specific example in mind, rather than a general construction.

Is that the one referred to as

Braiding for quantum groups at roots of unity (in preparation)on Noah’s website?

I’d be interested in seeing that. I did think about looking into categories fibered over something in this context, but there are some reasons for me to look at it from another point of view.

I now have a detailed description of what I have in mind here:

On G-equivariant fusion categories.

I happen to be interested in that mostly as a way to understand rational SCFT a little more conceptually. I am talking about that relation in Supercategories.

That would be it. If you want to know more details, I’m sure Noah can supply. Hell, he might even have a readable draft by now.

That is what Ben was refering to. It’s definitely a subject with a similar flavor to what you’re dicussing, but also a bit different. You can see the basic outline in Kashaev and Reshetikhin’s papers (especially this one which I think still isn’t on the arxiv).

The paper Kolya and I are writing will hopefully be done sometime early in the fall. I wish it were going to be done sooner but it got delayed due to Kolya’s being in Denmark, and now I have Mathcamp and so won’t have a chance to write it. However, in terms of the general structure it doesn’t add much to what’s already in Kashaev and Reshetikhin’s papers. It mostly concerns certain technical issues in generalizing from sl_2 to arbitrary type.

There is

R. Kashaev, N. Reshetikhin,

Braiding for the quantum at roots of unity,math/0410182.