Skip to main content
Bumped by Community user
edited title
Link

Relation between finite dimensional representations of aan affine group scheme and quasicoherent sheaves on the classifying stack

deleted 8 characters in body
Source Link
David Roberts
  • 35.4k
  • 11
  • 124
  • 348

Let $G$ be an affine group scheme over a field $k$ of characteristic zero.

I understand that when $G$ is algebraic there is an equivalence between the category $\text{Rep}(G)$ of (rational) representations of $G$ and the category $\text{QCoh}(BG)$ of quasicoherent sheaves on the fppq classifying stack $BG$.

I have three questions:

  1. Which subcategory, if any, subcategory of $\text{QCoh}(BG)$ corresponds to the category $\text{Rep}_{f}(G)$ of finite dimensional representations of $G$? Does it makes sense to talk about coherent sheaves on $BG$?
  2. Does an equivalence of this form hold when $G$ is not assumed to be algebraic?
  3. How about at the level of bounded derived categories?

Let $G$ be an affine group scheme over a field $k$ of characteristic zero.

I understand that when $G$ is algebraic there is an equivalence between the category $\text{Rep}(G)$ of (rational) representations of $G$ the category $\text{QCoh}(BG)$ of quasicoherent sheaves on the fppq classifying stack $BG$.

I have three questions:

  1. Which subcategory, if any, subcategory of $\text{QCoh}(BG)$ corresponds to the category $\text{Rep}_{f}(G)$ of finite dimensional representations of $G$? Does it makes sense to talk about coherent sheaves on $BG$?
  2. Does an equivalence of this form hold when $G$ is not assumed to be algebraic?
  3. How about at the level of bounded derived categories?

Let $G$ be an affine group scheme over a field $k$ of characteristic zero.

I understand that when $G$ is algebraic there is an equivalence between the category $\text{Rep}(G)$ of (rational) representations of $G$ and the category $\text{QCoh}(BG)$ of quasicoherent sheaves on the fppq classifying stack $BG$.

I have three questions:

  1. Which subcategory, if any, of $\text{QCoh}(BG)$ corresponds to the category $\text{Rep}_{f}(G)$ of finite dimensional representations of $G$? Does it makes sense to talk about coherent sheaves on $BG$?
  2. Does an equivalence of this form hold when $G$ is not assumed to be algebraic?
  3. How about at the level of bounded derived categories?
Source Link

Relation between finite dimensional representations of a affine group scheme and quasicoherent sheaves on the classifying stack

Let $G$ be an affine group scheme over a field $k$ of characteristic zero.

I understand that when $G$ is algebraic there is an equivalence between the category $\text{Rep}(G)$ of (rational) representations of $G$ the category $\text{QCoh}(BG)$ of quasicoherent sheaves on the fppq classifying stack $BG$.

I have three questions:

  1. Which subcategory, if any, subcategory of $\text{QCoh}(BG)$ corresponds to the category $\text{Rep}_{f}(G)$ of finite dimensional representations of $G$? Does it makes sense to talk about coherent sheaves on $BG$?
  2. Does an equivalence of this form hold when $G$ is not assumed to be algebraic?
  3. How about at the level of bounded derived categories?