nLab
Morita context

Contents

Idea

A Morita context or, in some authors (e.g. Bass) the pre-equivalence data is a generalization of Morita equivalence between categories of modules. In the case of right modules, for two associative k-algebras (or, in the case of k=k = \mathbb{Z}, rings) AA and BB, it consists of bimodules AP B{}_A P_B, BQ A{}_B Q_A, and bimodule homomorphisms f:PQAf: P\otimes Q\to A, g:QPBg: Q\otimes P\to B satisfying mixed associativity conditions.

Properties

Theorem. (Bass II.3.4) If ff is surjective, then:

(i) ff is an isomorphism

(ii) PP and QQ are generators in the categories of AA-modules

(iii) PP and QQ are finitely generated and projective

(iv) gg induces isomorphisms of bimodules PHom B(Q,B)P\cong Hom_B(Q,B) and QHom B(P,B)Q\cong Hom_B(P,B)

(v) homomorphisms of AA-algebras End B(P)AEnd B(Q)End_B(P)\leftarrow A\rightarrow End_B(Q) are isomorphisms

(Bass II.4.1) A Morita context can be constructed from an AA/algebra BB and a right BB-module PP. Then set A=End B(P)A = End_B(P) and Q=Hom B(P,B)Q=Hom_B(P,B). Then f=f Pf = f_P and g=g Pg = g_P are defined by (bq)p=b(qp)(b q) p = b (q p) and (qa)p=q(ap)(q a) p = q(a p).

(Bass II.4.4) (i) f Pf_P s surjective iff PP is finitely generated projective BB-module. Then f Pf_P s iso.

(ii) g Pg_P is surjective iff PP s a generator of mod Bmod_B, then g Pg_P is iso

(iii) The Morita context (A,B,P,Q,f,g)(A,B,P,Q,f,g) is a Morita equivalence iff PP is both projective and a generator. Then P:mod Amod B\otimes_P : mod_A\to mod_B and its right adjoint Hom B(P,)Hom_B(P,-) form the equivalence.

Literature

  • Hyman Bass, Algebraic K-theory, chapter 2
  • Tomasz Brzeziński, Adrian Vazquez Marquez, Joost Vercruysse, The Eilenberg-Moore category and a Beck-type theorem for a Morita context, Appl. Categ. Structures 19 (2011), no. 5, 821–858 MR2836546

    doi

  • Bruno J. Müller, The quotient category of a Morita context, J. Algebra 28 (1974), 389–407 MR0447336 doi
  • A. I. Kashu, On equivalence of some subcategories of modules in Morita contexts, Discrete Math. 2003, no. 3, 46–53, pdf

There are generalizations in more general bicategories:

  • L. El Kaoutit. Wide Morita Contexts in Bicategories. Arab. J. Sci. Eng. 33, (2008), 153–173
  • Bertalan Pecsi, On Morita context in bicategories, pdf
category: algebra

Last revised on February 24, 2014 at 12:36:34. See the history of this page for a list of all contributions to it.