Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$?

share|improve this question

1 Answer 1

up vote 5 down vote accepted

Yes, see Deligne–Milne, "Tannakian Categories", Proposition 2.8, which says precisely this. (It doesn't matter what kind of field $k$ is, but many of the more specific recognition theorems, such as that for reductivity, do.)

I feel like I must be misunderstanding, since I understood that to be the theory of Tannakian categories at its most basic.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.