You are currently browsing the monthly archive for April 2013.

This is from a post Connected objects and a reconstruction theorem:

A common theme in mathematics is to replace the study of an object with the study of some category that can be built from that object. For example, we can

  • replace the study of a group  G with the study of its category G\text{-Rep} of linear representations,
  • replace the study of a ring R with the study of its category R\text{-Mod} of R-modules,
  • replace the study of a topological space X with the study of its category \text{Sh}(X) of sheaves,

and so forth. A general question to ask about this setup is whether or to what extent we can recover the original object from the category. For example, if G is a finite group, then as a category, the only data that can be recovered from G\text{-Rep} is the number of conjugacy classes of G, which is not much information about G. We get considerably more data if we also have the monoidal structure on G\text{-Rep}, which gives us the character table of G (but contains a little more data than that, e.g. in the associators), but this is still not a complete invariant of G. It turns out that to recover G we need the symmetric monoidal structure on G\text{-Rep}; this is a simple form of Tannaka reconstruction.

Blog Stats

  • 92,722 hits

Enter your email address to subscribe to this blog and receive notifications of new posts by email.

Join 520 other followers

Twitter Updates