TITLE: Is a group scheme determined by its category of representations?
QUESTION [5 upvotes]: More precisely, let $G$ be an affine group scheme over a field $k$, $Rep_k(G)$ be the category of finite dimensional representations of G, and $\omega_0$ be the forgetful functor from $Rep_k(G)$ to the category of vector spaces over $k$. With the usual notation in the theory of Tannakian categories, is the natural map $G\longrightarrow \underline{\text{Aut}}^{\otimes} (\omega_0)$ an isomorphism of group schemes over $k$?

REPLY [1 votes]: N̶o̶.̶ (YES, the answer above is correct.) The following example shows we cannot drop that condition:  Work out the example of $G = E$ an elliptic curve/$k$. (The Rep category is severely degenerate in this case.)
[Edited. Some how at that late hour I completely missed the word 'affine' in the OP. Indeed, if the group is affine then his question is answered by the celebrated Tannaka theorems. I'll leave the info here though as it's nice to have examples of what fails.] 
Not all is lost though. A more general type of phenomena you may be interested in is that if you start with $T = $Coh($Y$) (coherent sheaves) than you can actually construct a stack $X$ which behaves as $X(S) =$ {fiber functors $T \to S$-mod}, where $S$ is a $k$-algebra.
If your scheme $Y$ was nice enough, then $X$ will actually be $Y$. (If I recall correctly, separatedness is critical.) 
In fact this is what you are doing in the well known affine group reconstruction case as well: Under the hood you are using $BG$. This has only one point and the uniqueness of the fiber functor reflects this.
{"set_name": "stack_exchange", "score": 5, "question_id": 151097}