# The Tate conjecture for abelian varieties

Let $k$ be a number field. Recall that Faltings proved the famous Tate conjecture, which states that for any abelian variety $X$ over $k$ and any prime $\ell$, the natural map $$\mathrm{End}(X) \otimes \mathbb{Q}_\ell \to \mathrm{End}(V_\ell(X))^{\mathrm{Gal}(\bar k/k)},\qquad (*)$$ is an isomorphism, where $V_\ell(X)$ denotes the usual Tate module of $X$ tensored with $\mathbb{Q}_\ell$.

If I understand it correctly however, this is but one part of the Tate conjecture, which in general states that the cycle class map $$A^r(X) \otimes \mathbb{Q}_\ell \to H^{2r}(\bar X, \mathbb{Q}_\ell)^{\mathrm{Gal}(\bar k/k)},$$ is an isomorphism for all $r$. The "Tate conjecture" as I state it in $(*)$ is but the case $r=1$ of this conjecture.

Is the full Tate conjecture still open for abelian varieties? Are there any interesting special cases where it is known?

-
Most cases where the full Tate conjecture is known is when the Galois invariants are generated by classes of divisors (which is known not to be true in general). This is proved by showing that the image of the Galois group acting on $H^2$ is as big as possible, e.g., if the endomorphism ring is $\mathbb{Z}$ then one would like to show that the Zariski closure of the image of Galois is the symplectic group. However, these types of results require restrictions on the dimension. (The known results are due to Ribet, Serre, Chi, Pink and probably others I don't know about.) –  ulrich May 1 '14 at 5:12