show/hide this revision's text 5 finite

Can you find two finite groups G and H such that their representation categories are Morita equivalent (which is to say that there's an invertible bimodule category over these two monoidal categories) but where G is simple and H is not. The standard reference for module categories and related notions is this paper of Ostrik's

This is a much stronger condition than saying that C[G] and C[H] are Morita equivalent as rings (where C[A_7] and C[Z/9Z] gives an example, since they both have 9 matrix factors). It is weaker than asking whether a simple group can be isocategorical (i.e. have representation categories which are equivalent as tensor categories) with a non-simple group, which was shown to be impossible by Etingof and Gelaki.

Matt Emerton asked me this question when I was trying to explain to him why I was unhappy with any notion of "simple" for fusion categories. It's of interest to the study of fusion categories where the dual even Haagerup fusion category appears to be "simple" while the principal even Haagerup fusion category appears to be "not simple" yet the two are categorically Morita equivalent.

show/hide this revision's text 4 added 30 characters in body

Can you find two groups G and H such that their representation categories are Morita equivalent (which is to say that there's an invertible bimodule category over these two monoidal categories) but where G is simple and H is not. The standard reference for module categories and related notions is this paper of Ostrik's

This is a much stronger condition than saying that C[G] and C[H] are Morita equivalent as rings (where C[A_7] and C[Z/9Z] gives an example, since they both have 9 matrix factors). It is weaker than asking whether a simple group can be isocategorical (i.e. have an equivalent representation categorycategories which are equivalent as tensor categories) with a non-simple group, which was shown to be impossible by Etingof and Gelaki.

Matt Emerton asked me this question when I was trying to explain to him why I was unhappy with any notion of "simple" for fusion categories. It's of interest to the study of fusion categories where the dual even Haagerup fusion category appears to be "simple" while the principal even Haagerup fusion category appears to be "not simple" yet the two are categorically Morita equivalent.

show/hide this revision's text 3 added 157 characters in body

Can you find two groups G and H such that their representation categories are Morita equivalent (which is to say that there's an invertible bimodule category over these two monoidal categories) but where G is simple and H is not. The standard reference for module categories and related notions is this paper of Ostrik's

This is a much stronger condition than saying that C[G] and C[H] are Morita equivalent as rings (where C[A_7] and C[Z/9Z] gives an example, since they both have 9 matrix factors). It is weaker than asking whether a simple group can be isocategorical (i.e. have an equivalent representation category) with a non-simple group, which was shown to be impossible by Etingof and Gelaki.

Matt Emerton asked me this question when I was trying to explain to him why I was unhappy with any notion of "simple" for fusion categories. It's of interest to the study of fusion categories where the dual even Haagerup fusion category appears to be "simple" while the principal even Haagerup fusion category appears to be "not simple" yet the two are categorically Morita equivalent.

show/hide this revision's text 2 deleted 39 characters in body; added 6 characters in body
show/hide this revision's text 1