In the previous post we learned that it is possible to recover the center of a ring from its category of left modules (as an -enriched category). For commutative rings, this justifies the idea that it is sensible to study a ring by studying its modules (since the modules know everything about the ring).

For noncommutative rings, the situation is more interesting. Two rings are said to be **Morita equivalent** if the categories are equivalent as -enriched categories. As it turns out, there exist examples of rings which are non-isomorphic but which are Morita equivalent, so Morita equivalence is a strictly coarser equivalence relation on rings than isomorphism. However, many important properties of a ring are invariant under Morita equivalence, and studying Morita equivalence offers an interesting perspective on rings on general.

Moreover, Morita equivalence can be thought of in the context of a fascinating larger structure, the **bicategory of bimodules**, which we briefly describe.

**Fiber functors**

Suppose that, in addition to the -enriched category , we remember the forgetful functor . This functor is representable by , so by the Yoneda lemma we conclude that its monoid of natural endomorphisms is ; in other words, it is indeed possible to recover if we know in addition what every left -module looks like as an abelian group.

In the context of Tannakian reconstruction, a functor like the one above is known as a fiber functor. For the rest of this discussion, we won’t assume we’re given a fiber functor.

**Some preliminary categorical remarks**

When we defined a 2-category in the previous post, we implicitly required that the functor be associative on the nose. However, many natural examples of categories that one would want to be 2-categories don’t satisfy this requirement. For example, the monoidal category ought to be a 2-category with one object, except that the tensor product isn’t strictly associative: we don’t literally have an equality

but rather isomorphisms called **associators**:

.

Moreover, the associators satisfy some *a priori* complicated compatibility relations, since it ought to be the case that any two ways of moving between two different parenthesizations of a tensor product ought to be given by the same isomorphism. We also need to include some compatibility maps to describe the identity object. As it turns out, two compatibility relations called the pentagon identity and triangle identity generate all the other compatibility relations we want, giving us a **weak monoidal category**. The adjective “weak” is used whenever we wish to explicitly distinguish between the weak and “strict” version, although

- the term “monoidal category” without qualification seems to more commonly refer to the weak version, and
- monoidal categories have a natural notion of equivalence (
**monoidal equivalence**) with respect to which every monoidal category turns out to be monoidally equivalent to a strict monoidal category (I believe this result is due to Mac Lane).

Generalizing to 2-categories, we obtain the notion of a **bicategory**, which is widely regarded as the “correct” next step after ordinary categories. As above, however, there is a natural notion of equivalence (**biequivalence**) between bicategories, and every bicategory is biequivalent to a 2-category.

The upshot of all of this is that later in this post we will define a bicategory and pretend that it is a 2-category, and nothing too horrible will happen to us.

**Some elementary observations about Morita equivalence**

Given a ring , what can we say about recovering from ? As a first observation, if we could isolate the module , then we know that , so we would be done. The problem is that there’s no obvious way to isolate ! Abstractly, has the property that the functor

is faithful; that is, is a generator. However, this is also true of the modules , among others.

If happens to be isomorphic to for some other ring , it follows that there should exist a generator (the image of under an isomorphism ) such that .

is in particular an abelian group with a left action of and a right action of such that these actions are compatible (that is, the left action is a right -module homomorphism and vice versa); such a thing is called an -**bimodule**. One usually writes to emphasize the left and right actions on .

Moreover, we have and, dually, , so is in addition a **faithfully balanced** bimodule. (If we only have that the natural maps and are surjective, we call **balanced**).

**Hom and tensor**

To find some nontrivial examples of Morita equivalences, we should find a large supply of functors between module categories. A simple such collection of functors is as follows: if is a ring homomorphism, then precomposition by defines a functor called restriction of scalars. In order for this to be an equivalence of categories, (as an -bimodule) needs to be faithfully balanced, so we need the natural map to be an isomorphism. However, this map is just , so if this map is an isomorphism then are already isomorphic, and we get no nontrivial examples of Morita equivalence this way.

A more promising option is to think about Hom functors. Let be an -bimodule; any such bimodule defines a **Hom functor**

where acts by precomposition. If this functor is supposed to be an equivalence, then it must in particular have a left adjoint (which will be its inverse if it exists). Let be such a left adjoint, if it exists; then we need an isomorphism

.

The RHS describes the set of maps which are -linear in the first variable, linear in the second variable, and which identify the two actions of in the sense that . This is reminiscent of the universal property of the tensor product, and indeed we can define a functor , the **tensor product functor** over , with the desired property. Explicitly, is the abelian group spanned by formal symbols subject to the relations

- ,
- ,
- .

Note that these axioms only refer to the structure of as a right -module and as a left -module, but it’s not hard to see that the tensor product is a covariant functor in both , so the left -modules tructure on extends to the tensor product. Our desired **tensor-Hom adjunction** then takes the form (getting rid of some subscripts to improve readability)

.

It follows in particular that preserves limits and preserves colimits.

Note that the tensor functor sends to , hence must be faithfully balanced and a generator in order for to be an equivalence. Note also that if is a ring homomorphism, then is restriction of scalars.

*Example.* Let be a commutative ring, a group, and the group ring of over . If is a subgroup of , then restriction of scalars gives a functor , and by the above it has a left adjoint

which abstractly describes induction of representations from to .

**The bicategory of bimodules**

If is an -bimodule and is an -bimodule, then the tensor product acquires by functoriality the structure of an -bimodule; moreover, there are natural associativity isomorphisms which can be proven, like in the case of the tensor product of vector spaces, by verifying a corresponding universal property for trilinear maps.

This suggests the following definition. The **bicategory of bimodules** is the bicategory whose objects are rings and where is the category of -bimodules. Composition is given by the tensor product over , and the identity is as an -bimodule.

This bicategory turns out to be a natural setting to think about Morita equivalence. First, we need the following definition: two objects in a bicategory are **equivalent** if there exist morphisms such that (in the category ) and (in the category ).

*Example.* In the 2-category of categories, functors, and natural transformations, the above reduces to the usual definition of equivalence of categories.

*Example.* In the 2-category of topological spaces, continuous functions, and homotopy classes of homotopies between continuous functions, the above reduces to the usual definition of homotopy equivalence.

If are equivalent objects in a bicategory (written ), we get natural equivalences for every object . In particular, if are rings in and , then an equivalence between and defines an equivalence of categories ; in other words, are Morita equivalent! (The converse also turns out to be true, which is a great reason to study the bicategory of bimodules if we’re interested in Morita equivalence, but we won’t prove or use this fact yet.)

Thus to exhibit nontrivial examples of Morita equivalence, it suffices to find a pair of rings and a pair of bimodules such that the functors

and

are naturally isomorphic to identity functors. Of course, we didn’t need to set up the bicategory of bimodules to observe this, but nevertheless the bicategory of bimodules is the most natural setting for it. Now, thanks to the associativity of the tensor product, the tensor-Hom adjunction, and the (enriched) Yoneda lemma, it is necessary and sufficient that we have isomorphisms

.

**Matrix rings**

We are now in a position to provide our first nontrivial examples of Morita equivalence.

**Proposition:** Let be an arbitrary ring, let , let (row vectors) regarded as an -bimodule, and let (column vectors, again) regarded as an -bimodule. Then the above isomorphisms hold. Thus .

*Proof.* This is actually a fairly straightforward exercise in matrix multiplication. We first fix some notation. Let be the standard basis of and let be those matrices with only one nonzero entry such that and such that .

By bilinearity, is generated as an -bimodule by elements of the form . Since we can write this as , we conclude that these elements are zero unless . We can also write , so all of these elements are equal and the entire module is generated by a single element . Finally, note that defining (matrix multiplication of row and column vectors) defines a bilinear map which correctly respects all of the relevant actions, and we obtain the first desired isomorphism.

Similarly, is generated as an -bimodule by elements of the form . Since we can write this as , the entire module is generated by a single element . Finally, note that defining (matrix multiplication of column and row vectors) defines a bilinear map which correctly respects all of the relevant actions, and we obtain the second desired isomorphism.

**Corollary:** Any semisimple ring is Morita equivalent to a finite direct product of division rings.

*Proof.* This follows from the above proposition and Artin-Wedderburn.

on February 17, 2012 at 4:03 am |plmGreat post, thanks. Do you have a plan for future posts on rings, or at least some topics you wish to treat?

Also, Morita equivalence is coarser than isomorphism.

on February 17, 2012 at 8:31 am |Qiaochu YuanWell, if I get really adventurous, then at some point down the line I’ll talk about the

derivedbicategory of bimodules…