Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

January 2, 2006

Bimodules, Adjunctions and the Internal Hom, Part I

Posted by urs

As far as I am aware, there are two rigorous formulations of 2D conformal field theory.

1) Segal said CFT is a functor from a suitable category of 2D cobordisms to Vect. Stolz and Teichner refined this by, essentially, decomposing vector spaces into bimodules. To them, a CFT is a 2-functor from conformal surface elements to a weak 2-category (bicategory) of bimodules.

2) Fuchs, Runkel, Schweigert et al. on the other hand realize CFT in terms decorations of dual triangulations of surfaces by means of modular tensor categories.

Is there a conceptual link between these two approaches? What do 2-functors to bimodules have to do with Wilson graphs/Feynman diagrams with labels in tensor categories?

I am getting the impression that 2) is what you get by locally trivializing 1) in a suitable sense. At the heart of this mechanism seems to be a deep relation between the keywords in the title of this entry, namely between algebra bimodules, adjunctions and a construction known as the internal Hom. I have ever so briefly mentioned this in the context of Aaron Lauda’s recent preprint on Frobenius algebras and ambidextrous adjunctions. Here I would like to talk about more details that I have learned about, meanwhile.

Many puzzle pieces are beginning to fall into place, but I know I am only scratching the surface. For instance, below I make a conjecture, albeit a rather obvious one, about the relation between the internal Hom and Eilenberg-Moore objects. If anybody knows more about this, please drop me a note!

If you think like a physicist, a good heuristic picture to keep in mind for all of the following is the elementary open string interaction as realized, roughly, in open string field theory.

Think of an open string which stretches between a brane A and a brane B as composed of two halfs, one labelled by A, the other by B¯

(1)AB¯.

This may interact with a string streching from B to C

(2)BC¯.

The merging of the two strings corresponds to an elementary process which cancels the right half B with the left half B¯

(3)AB¯BC¯ AC¯.

Conversely, a single string

(4)AC¯

may split in two by the insertion of B¯B

(5)AC¯ AB¯BC¯.

(This is supposed to make you think of adjunctions and/or of tensor products of bimodules. The corresponding precise statements will be discussed below. None of the symbols above is supposed to have any precise meaning without further qualification.)

I’ll begin by summarizing some key insights obtained by Aaron Lauda and/or collected from various sources. You should have a look at the most recent version of his paper on ambidextrous adjunctions, which right now – as Aaron has kindly pointed out to me – is not the arxive version but the one on his website. I’ll don’t make any effort to attribute any of the statements, some of which are classical results, some of which slight generalizations of classical results. For any further details please consult Aaron’s text and the references he gives.

In terms of the above heuristic pictures, the question could with some justification be phrased like this: Given some ‘algebra of string’, i.e. some way to merge two open string states by means of a ‘pair-of-pants’-diagram to obtain a new open string state, is there always a way to realize this operation by assigning labels to the left and right half of the string and implementing interactions by cancelling or introducing conjugate pairs of labels?

(Note again that this is just a heuristic motivation. It makes essentially the right identification of formalism with formal physics, but the details will have to be discussed elsewhere. The rough idea, however, is useful.)

More precisely, the issue is the following.

Consider a monad in some (weak) 2-category C. This here plays the role of a sophisticated version of an internal algebra. If C has just a single object, then a monad in C is nothing but an algebra object in C, when C is regarded as a monoidal category. (I am not going to distinguish between monoidal categories and (weak) 2-categories with a single object.) More generally, a monad is a 2-functor from the trivial 2-category with a single object to C, i.e. an endo-1-morphism BTB of an object B of C together with a coherent multiplication 2-morphisms

(6)BTBTB μ BTB.

It is clear what a (right, say) module of such a monad should be. It is just any old morphism on which T ‘acts’, i.e. a morphism

(7)AsB

together with an right-action η

(8)AsBTB η AsB.

For some strange (?) reason s is called a ‘T-algebra’ in the context of monad theory, but we should think of it as a T-module.

The point now is that there is a certain completeness relation on C which can be expressed in terms of such monad modules.

There is a functor

(9)TAlg:C opCat

which assigns to every object AC the category TAlg of right T-modules starting at A in the above sense. One says that the monad T has an Eilenberg-Moore object B T if this functor is represented by B T.

This means that the functor is equivalent to the Hom-functor to B T:

(10)TAlgHom(,B T).

The point is, a T-module is a morphism on which BTB acts essentially by mere composition, mediated by the action 2-morphism η above. If the Eilenberg-Moore object B T exists, then we can really essentially identify every T-module with a morphism in C. This is a phenomenon which will reappear in a different guise below in the context of internal Homs.

What we are really interested in here are not any old monads T, but those that are really ‘Frobenius monads’. I.e. those which not only have a product

(11)BTBTB BTB

but also a coproduct

(12)BTB BTBTB

satisfying some obvious properties. These are the monads that we would like to ‘split into left and right halfs’ according to the above heuristic imagary.

Now, an object B T with the desired property that it represents the TAlg functor need not exist. Only if it does will be able to ‘split BTB in two halfs’!

Luckily, if the Eilenberg-Moore object B T of the monad T does not exist yet, we can just enlarge C by including a suitable new object B T. More generally, we can form what is called the free Eilenberg-Moore completion EM(C) of C which enlarges C such that it contains all Eilenberg-Moore objects.

This Eilenberg-Moore completion EM(C) of a 2-category C is a general abstract nonsense construction which can be found discussed here:

S. Lack & R. Street
The formal theory of monads II
available here.

The main point is, it can always be done. Then the theorem is the following:

1) C embeds fully and faithfully into EM(C) (meaning that it makes sense to regard EM(C) as an enlargement of C)

2) If C is any monoidal category, then any Frobenius algebra object in C arises from a left and right adjunction in EM(C) (meaning that we can ‘split the string in two halfs’).

I haven’t absorbed all details of the general construction yet. Luckily, Aaron Lauda in his paper spells it out for the case where C=Vect, and I think essentially the same construction should hold for about any other monoidal category (?).

With all the abstract machinery involved, it is nice to see that EM(Vect) is an old friend. It is almost nothing but Bimod(Vect), the (weak) 2-category of all bimodules of algebras (which are just ordinary algebras for C=Vect). More precisely, EM(Vect) is a little smaller than that, namely

(13)EM(Vect)=the 2-category of left-free bimodules

This means that objects in EM(Vect) are algebras in C=Vect, morphisms AMB are AB-bimodules and 2-morphisms are bimodule homomorphisms (‘intertwiners’).

A ‘left-free’ AB-bimodule is one which looks like

(14)AMB=(AV,VBϕAV).

Here the right hand side denotes the object (vector space) AV for some V. On this object the algebra A acts from the left by the ordinary action of A on itself, while B acts from the right by first swapping B and V using the morphism ϕ and then acting with A on itself from the right.

And it’s easy to see how any Frobenius algebra A is now represented as an adjunction. There is an obvious way in which A itself can be regarded as a left-free kA-bimodule (here k denotes the ground field regarded as a 1D vector space over itself)

(15)kLA

and as a left-free Ak-bimodule

(16)ARk.

There is an obvious bimodule homomorphism

(17)ARkLA e AAA

from the right and left ‘half’ to A itself, regarded as the trivial bimodule over itself. Since AAA is the identity morphism on A in the 2-category of bimodule, this realizes the ‘evaluation map’ e of an adjunction. And one checks that

(18)kLARkLARk e kLARk

is really nothing but the product on A. Hence we have succeeded in realizing this product by ‘splitting the string in two halfs’ and contracting matching halfs away.

There is a subtle and somewhate self-referential interplay here of algebras, their left- right- and bimodules, of product operations of algebras and tensor products of bimodules.

More has to be said about this. In particular, I would like to compare all this to a very similar but subtly different story as told in

V. Ostrik
Module Categories, weak Hopf Algebras and Modular Invariants
math.QA/0111139.

But this has to wait until tomorrow.

Posted at January 2, 2006 7:28 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/715

0 Comments & 3 Trackbacks

Read the post Bimodules, Adjunctions and the Internal Hom, Part II
Weblog: The String Coffee Table
Excerpt: More on bimodules, adjunctions, module categories and internal homs.
Tracked: January 3, 2006 4:23 PM
Read the post Special Ambidextrous Adjunctions
Weblog: The String Coffee Table
Excerpt: Question on special ambidextrous adjunctions.
Tracked: February 8, 2006 3:29 PM
Read the post Towards the FFRS Description of 2dCFT (B)
Weblog: The n-Category Café
Excerpt: "2-processes": 2-morphisms, adjunctions, the exchange law and the Frobenius property
Tracked: February 1, 2007 6:25 PM

Post a New Comment