## Semisimplicity of étale cohomology representations

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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.

-
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 2011 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 2011 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 2011 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 2011 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 2011 at 15:56
show 1 more comment

## 1 Answer

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.

-

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 2011 at 4:19
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9092979431152344, "perplexity_flag": "head"}