Skip to main content
added 60 characters in body
Source Link
David Ben-Zvi
  • 24.1k
  • 1
  • 84
  • 106

The algebraic stack BG is the quotient of BK by the action of H, induced by its action on K. So we can describe coherent sheaves on it (aka reps of G) via descent from BK - i.e. reps of G are H-equivariant sheaves on BK, or H-equivariant objects in Rep K. Now this is not yet the answer you want, since it involves Rep K and H, rather than Rep H.

One indirect (and maybe slightly imprecise) answer is to use the Morita equivalence between Rep H-module categories and categories with H action: the Rep H-module category Rep G corresponds under this equivalence to Rep K as a category with H action. One direction takes a category with H action to its H-equivariant objects, which carry a natural Rep H action. The other direction takes a Rep H category to the category of its eigenobjects. Here an eigenobject is an object $M\in C$ with a functorial identification $$V\ast M \simeq \underline{V}\otimes M$$ of the module action of $V\in Rep K$ with the naive tensor product by the underlying vector space of $V$. (see e.g. this paper) -- again this is just playing with monadic formalism.. So I would then characterize Rep G as the Rep H-module (via induction of representations) whose eigenobject category is Rep K as an H-category..

This Morita equivalence for finite groups appears in papers of Mueger and Ostrik cited in here. For affine group schemes I proved a derived version of this result with Nadler and Francis, but it's not available sadly. I haven't thought this through in the usual Tannakian setting, so maybe I'm missing something obvious, but it should be a fairly straightforward (though 2-categorical!) application of Barr-Beck I would think: we're simply claiming that categories over BH are described via descent from a point, and the descent data is an action of H.

The algebraic stack BG is the quotient of BK by the action of H, induced by its action on K. So we can describe coherent sheaves on it (aka reps of G) via descent from BK - i.e. reps of G are H-equivariant sheaves on BK, or H-equivariant objects in Rep K. Now this is not yet the answer you want, since it involves Rep K and H, rather than Rep H.

One indirect (and maybe slightly imprecise) answer is to use the Morita equivalence between Rep H-module categories and categories with H action: the Rep H-module category Rep G corresponds under this equivalence to Rep K as a category with H action. One direction takes a category with H action to its H-equivariant objects, which carry a natural Rep H action. The other direction takes a Rep H category to the category of its eigenobjects. Here an eigenobject is an object with a functorial identification of the action of $V\in Rep K$ with the naive tensor product by the underlying vector space of $V$. (see e.g. this paper) -- again this is just playing with monadic formalism.. So I would then characterize Rep G as the Rep H-module (via induction of representations) whose eigenobject category is Rep K as an H-category..

This Morita equivalence for finite groups appears in papers of Mueger and Ostrik cited in here. For affine group schemes I proved a derived version of this result with Nadler and Francis, but it's not available sadly. I haven't thought this through in the usual Tannakian setting, so maybe I'm missing something obvious, but it should be a fairly straightforward (though 2-categorical!) application of Barr-Beck I would think: we're simply claiming that categories over BH are described via descent from a point, and the descent data is an action of H.

The algebraic stack BG is the quotient of BK by the action of H, induced by its action on K. So we can describe coherent sheaves on it (aka reps of G) via descent from BK - i.e. reps of G are H-equivariant sheaves on BK, or H-equivariant objects in Rep K. Now this is not yet the answer you want, since it involves Rep K and H, rather than Rep H.

One indirect (and maybe slightly imprecise) answer is to use the Morita equivalence between Rep H-module categories and categories with H action: the Rep H-module category Rep G corresponds under this equivalence to Rep K as a category with H action. One direction takes a category with H action to its H-equivariant objects, which carry a natural Rep H action. The other direction takes a Rep H category to the category of its eigenobjects. Here an eigenobject is an object $M\in C$ with a functorial identification $$V\ast M \simeq \underline{V}\otimes M$$ of the module action of $V\in Rep K$ with the naive tensor product by the underlying vector space of $V$. (see e.g. this paper) -- again this is just playing with monadic formalism.. So I would then characterize Rep G as the Rep H-module (via induction of representations) whose eigenobject category is Rep K as an H-category..

This Morita equivalence for finite groups appears in papers of Mueger and Ostrik cited in here. For affine group schemes I proved a derived version of this result with Nadler and Francis, but it's not available sadly. I haven't thought this through in the usual Tannakian setting, so maybe I'm missing something obvious, but it should be a fairly straightforward (though 2-categorical!) application of Barr-Beck I would think: we're simply claiming that categories over BH are described via descent from a point, and the descent data is an action of H.

Source Link
David Ben-Zvi
  • 24.1k
  • 1
  • 84
  • 106

The algebraic stack BG is the quotient of BK by the action of H, induced by its action on K. So we can describe coherent sheaves on it (aka reps of G) via descent from BK - i.e. reps of G are H-equivariant sheaves on BK, or H-equivariant objects in Rep K. Now this is not yet the answer you want, since it involves Rep K and H, rather than Rep H.

One indirect (and maybe slightly imprecise) answer is to use the Morita equivalence between Rep H-module categories and categories with H action: the Rep H-module category Rep G corresponds under this equivalence to Rep K as a category with H action. One direction takes a category with H action to its H-equivariant objects, which carry a natural Rep H action. The other direction takes a Rep H category to the category of its eigenobjects. Here an eigenobject is an object with a functorial identification of the action of $V\in Rep K$ with the naive tensor product by the underlying vector space of $V$. (see e.g. this paper) -- again this is just playing with monadic formalism.. So I would then characterize Rep G as the Rep H-module (via induction of representations) whose eigenobject category is Rep K as an H-category..

This Morita equivalence for finite groups appears in papers of Mueger and Ostrik cited in here. For affine group schemes I proved a derived version of this result with Nadler and Francis, but it's not available sadly. I haven't thought this through in the usual Tannakian setting, so maybe I'm missing something obvious, but it should be a fairly straightforward (though 2-categorical!) application of Barr-Beck I would think: we're simply claiming that categories over BH are described via descent from a point, and the descent data is an action of H.