MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have been reading Deligne-Milne's Tannakian Categories and got to the point at the end of part 3 where they discuss what went wrong with Saavedra's definition. Motivated by their counterexample, they ask the following question:

Let $C$ be a $k$-linear rigid abelian tensor category over a field $k$. Let us further assume that $End (\underline{1})=k$ and there exists a fiber functor with values in a field extension $k'\supseteq k$. Does it follow that $C$ is Tannakian?

What is the current status of this question? A reference to a solution or to a modern discussion would be very useful.

share|cite|improve this question
Would be invaluable if you can explain the point of this story – Alexander Chervov Sep 13 '12 at 19:49
There's an error in Saavedra's thesis where he claims to show that any two fiber functors on a Tannakian category are locally isomorphic. In fact, with his definition it's not true --- it is necessary to add the condition that for a Tannakian category over a field k, the endomorphism ring of the identity object is k. With this extra condition, it was expected (but not proved) in 1982 that Saavedra's claim is correct. This was proved (not easily) by Deligne. – anon Sep 13 '12 at 20:49
MO 3446/tannakian-formalism – Alexander Chervov Sep 14 '12 at 6:41
up vote 10 down vote accepted

The answer is yes; in fact, this is mentioned in a footnote to the definition of Tannakian category in Milne's corrected version of the Deligne-Milne paper, on page 32. This is proved in Deligne's Catégories tannakiennes, Theorem 1.12.

share|cite|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.