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

Let $K$ be a number field and $G=Gal(\overline{K}/K)$ the absolute Galois group of $K$. Let $\ell$ be a prime number.

Let $A/K$ be an abelian variety. Then the representation of $G$ on $V_\ell(A)$ is semisimple. This is the famous theorem of Faltings (Invent. Math. 73).

Now let $X/K$ be a smooth projective variety and $0\le q\le 2\dim(X)$, and define $\overline{X}=X_{\overline{K}}$.

Question. Is it known that the representation of $G$ on $H^q(\overline{X}, \mathbb{Q}_\ell)$is semisimple?

Remark. The answer is yes for $q=1$, because $H^1(\overline{X}, Q_\ell)$ is dual to $V_\ell(A)$ where $A$ is the Albanese variety of $X$.

I would also be interested in the case where the number field $K$ is replaced by a global function field (say), and $\ell$ is assumed to be coprime to the characteristic.

share|improve this question
    
I strongly suspect that the answer is "no" in the number field case, and it is surely "no" over finite fields (already). –  Mikhail Bondarko Feb 23 '11 at 10:54
    
Thx for your comment! I somehow expected a "not known" in the number field case as well. Why is the answer a definite "no" over finite fields? I do not know how to prove this. Can you give me a view details on that? –  Sebastian Petersen Feb 23 '11 at 12:09
    
Sorry, just to be sure: Do you mean "not known" or "false" in the case of a finite ground field? –  Sebastian Petersen Feb 23 '11 at 12:21
    
One more comment: My question is exactly conjecture $SS^i(X)$ in Tate's article "Conjectures on algebraic cycles on l-adic cohomology", Proceedings of Symposia in Pure Mathematics 55 (the motives volume I). So my question is, whether there has been progress on this conjecture since this article was written. –  Sebastian Petersen Feb 23 '11 at 12:32
1  
Joel Bellaiche's Hawaii notes people.brandeis.edu/~jbellaic/BKHawaii4.pdf (page 5) say: "This is sometimes called “conjecture of Grothendieck-Serre”. This is known for abelian varieties, by a theorem that Faltings proved at the same times he proved the Mordell’s conjecture, and in a few other cases (some Shimura varieties, for example)." (But that's all he says.) –  fherzig Feb 23 '11 at 15:56

1 Answer 1

up vote 3 down vote accepted

This semi-simplicity is a part of what is called the Tate conjecture. It is generally believed to be true, but little is known about it outside the case of $H^1$, in either the finite field or global field case. Searching on mathscinet for "Tate conjecture" (or googling) should turn up the relevant literature.

share|improve this answer
    
This conjecture is discussed in the recent interview with John Tate (ams.org/notices/201103/rtx110300444p.pdf) in the Notices of the AMS. –  Chandan Singh Dalawat Feb 24 '11 at 4:19

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.