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

After reading the answer to my previous question: What are the different theories that the motivic fundamental group attempts to unify?

I decided to read up on Tannakian formalism.

Given the category of numerical motives, and assuming Conjecture C of the standard conjectures (the one regarding the grading of numerical motives), one can construct a category that will be Tannakian. This will be done by changing the sign of the ``canonical'' morphism $h^iX\otimes h^jX \cong h^jX \otimes h^iX$ for $ij$ odd .

It seems in texts about motives, that the end goal was always to achieve a Tannakian category. But what motivation is there for this? Why would a category that has to do with motives be the category of representations of an affine group scheme? This seems crazy to me. Is this immitative of some easier, more well-understood, theory in which it make sense to relate cohomology with representations?

Also, is it conjectured what this mysterious affine group scheme is, in the case of numerical motives with the adjustment written above?

share|improve this question
2  
Dear Qiaochu, I think the suggestion of your last sentence probably underestimates the strength of Grothendieck's mathematical imagination. Regards, Matthew –  Emerton Jul 31 '11 at 0:27
3  
Dear James, The absolute Galois group of the ground field acts on the $\ell$-adic cohomology of any variety. But for fields with big absolute Galois groups (like $\mathbb Q$) not every Galois representation appears in $\ell$-adic cohomology of a vareity, while for fields with small absolute Galois groups (e.g. algebraically closed ones) there is nothing to be gained from this view-point. The Tannakian group of the category of motives is an analogue of the absolute Galois group which is precisely constructed so as to act on the cohomology of varieties, and characterize the ... –  Emerton Jul 31 '11 at 0:54
2  
Dear James, Not $Gal(\overline{\mathbb Q_{\ell})/\mathbb Q_{\ell})$, but $G_k:= Gal(\overline{k}/k)$, if $k$ is the ground field. A standard aspect of $\ell$-adic cohomology of varieties over $k$ is that $G_k$ acts on it. If you're not familiar with this, it would make sense to learn it before pursuing motives further. In any event, there will be a tautological map from $G_k$ to the motivic Tannakian group (to be precise, the motivic Tannakian group computed with respect to $\ell$-adic cohomology as the fibre functor); the existence of this map is equivalent to the statement that $G_k$ ... –  Emerton Jul 31 '11 at 1:27
5  
I'm not sure what exactly the original question is asking, but it might be helpful to think of Tannakian categories in terms of their definition, as certain linear tensor categories, rather than as representation categories of pro-affine group schemes. Then it is pretty reasonable to think of a Tannakian category as a natural axiomitization of what it means to do linear algebra. Then the category of motives is just the universal example of a (certain kind of) linearization of the category of varieties. (Continued) –  JBorger Jul 31 '11 at 3:54
3  
The fact that once you choose a fiber functor, you can identify your category with a category of representations is (i) secondary and (ii) an essentially category-theoretic result. So, if you want to understand why affine group schemes come up in the study of Tannakian categories, that's a general principle in category theory (Beck's theorem). Or do you want to know why one looks at Tannakian categories in the study of cohomology theories in algebraic geometry, as opposed to some other axiomitization? –  JBorger Jul 31 '11 at 4:01
show 6 more comments

1 Answer 1

Actually, the category of motives isn't equivalent to the category of representations of an affine group scheme except in characteristic zero, and even there the equivalence depends on the choice of a fibre functor.

The functor to motives is supposed to be a universal cohomology theory. Certainly, one would like the target of a cohomology theory to be at least tannakian.

If you assume the Hodge conjecture, then the affine group scheme attached to the category of abelian motives over $\mathbb{C}$ (that generated by abelian varieties) is more-or-less known --- at least its algebraic quotients are classified.

If you assume the Tate conjecture, then the affine groupoid attached to the category of motives over an algebraic closure of $\mathbb{F}_p$ is more-or-less known.

In the general case nothing is known except that the group is VERY BIG --- for example, over $\mathbb{C}$ it has uncountably many distinct quotients isomorphic to PGL(2).

share|improve this answer
    
I guess certainly one would like the target category to be Tannakian, but I don't understand why one would expect it. –  James D. Taylor Jul 30 '11 at 23:37
1  
Dear anon, I hope you won't mind if I make the last paragraph of your answer slightly less cryptic, by pointing out that every non-CM elliptic curve over $\mathbb C$ gives one of these PGL(2)s. Regards, –  Emerton Jul 31 '11 at 0:22
3  
The concept of a motive emerged slowly in Grothendieck's mind in the 1960's. Later he had a student Saavedra develop the theory of Tannakian categories for his thesis. Although there are many naturally occurring examples of Tannakian categories in algebraic geometry, I think for Grothendieck the principal (conjectural) example was motives. To some extent Tannakian categories were developed to give the correct formalism for motives. The idea that the category of motives should be describable by some monster affine group scheme (or groupoid scheme) was probably an early part of G's thinking. –  anon Jul 31 '11 at 0:39
2  
Dear anon, I think that your last comment is correct. Grothendieck was also surely motivated by the Galois action on $\ell$-adic cohomology. (Consider Serre's very brief description of motives in his $\ell$-adic representations book as "$\ell$-adic cohomology without the $\ell$".) This leads to the description of the motivic Tannakian group as the "motivic Galois group". Regards, Matthew –  Emerton Jul 31 '11 at 0:43
add comment

Your Answer

 
discard

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.