Yesterday we described how a (finite-dimensional) projective representation of a group functorially gives rise to a -linear action of on such that the Schur class classifies this action.
Today we’ll go in the other direction. Given an action of on explicitly described by a 2-cocycle , we’ll recover the category of -projective representations, or equivalently the category of modules over the twisted group algebra , by taking the homotopy fixed points of this action. We’ll end with another puzzle.
Spelling it out
It’s straightforward to verify this. Given a 2-cocycle , which we can normalize to be unital, the corresponding action of on is given by taking each to be the identity and taking multiplication by to be the natural isomorphism . Then a homotopy fixed point for this action is a -vector space together with isomorphisms
such that the composites
agree (and ), and up to matching our conventions (we again need to interpret compositions in diagrammatic order) this is precisely the condition that
so we get that homotopy fixed point data for is precisely the data of an -projective representation . Moreover, the definition we gave of a morphism between -projective representations generalizes to a definition of morphism between homotopy fixed points, so we really get an identification between the category of homotopy fixed points of the -action on and the category of -projective representations.
The claim that if are cohomologous then the categories of -projective and -projective representations are equivalent is then subsumed in the claim that taking homotopy fixed points is functorial in the appropriate sense (there is really a 2-category of actions of on categories which we haven’t described, and taking homotopy fixed points is a 2-functor from this 2-category to ).
The observation that the Schur class is multiplicative with respect to tensor products of projective representations also has an interpretation here. It reflects the fact that is an object of a symmetric monoidal 2-category, namely the Morita 2-category , and that taking homotopy fixed points of group actions is lax monoidal: it gives rise to functors
where denotes taking homotopy fixed points. This is a natural categorification of the corresponding fact for ordinary linear representations of finite groups, where taking fixed points in the usual sense is also lax monoidal in the sense that we get natural maps , provided you believe that the categories are natural categorifications of vector spaces (sometimes called 2-vector spaces).
What’s the topological picture?
(where denotes the universal Schur class) which expresses a generalization of the interpretation of the Schur class in terms of an obstruction to lifting: this fiber sequence says that is the homotopy fiber of the Schur class, which means that if
is any map of spaces (where, again, by “spaces” I mean weak homotopy types, or equivalently -groupoids, or equivalently spaces with the homotopy type of a CW complex), which can be interpreted as classifying a “projective bundle” on , then the space of lifts of this projective bundle to a vector bundle is the space of nullhomotopies of the composite map
In particular, any projective bundle on has a Schur class in which vanishes iff it lifts to a vector bundle.
How can we think about the Schur class in this generality? A map can also be thought of as classifying a bundle of matrix algebras over (while a lift of this map to a map exhibits a bundle of Morita equivalences between these matrix algebras and , or equivalently a -vector bundle and an isomorphism between this bundle of matrix algebras and ). We might call such a thing an Azumaya algebra over .
When we fiberwise take module categories over these matrix algebras, we get a “2-line bundle,” namely a bundle of categories equivalent to , thought of as a “free module of rank ” over . Taking global sections of this 2-line bundle in an appropriate sense is a generalization of taking homotopy fixed points, which is the special case where . This interpretation exhibits as a topological analogue of the Brauer group.
We can also use this topological picture to describe in exactly what sense an -projective representation has more structure than a projective representation with Schur class . Thinking of as a map (which can be represented by a 2-cocycle on for ), the space of -dimensional “-projective bundles” on (which reduces to -projective representations of for ) can be identified with the homotopy pullback of the diagram
In other words, an -projective bundle is a map together with a choice of homotopy between the Schur class of this map and another fixed map . It’s this structure of a choice of homotopy, rather than the property that such a homotopy exists, that is the extra structure on an -projective representation. This extra structure is hard to see if we only think about as a group rather than, according to taste, either the set of connected components of a space (namely the space of maps ) or the set of isomorphism classes of objects in a 2-groupoid (namely the 2-groupoid of 2-line bundles on ).
Nothing we’ve said above has explicitly mentioned the twisted group algebra .
Puzzle: How can we fit the twisted group algebra into this story?
I like this puzzle because I know of two good answers to it.