# Why are cohomologically trivial cycles abundant?

Suppose X is a smooth projective variety, say over $\mathbb{Q}$ for simplicity. Let $F$ be a finite extension of $\mathbb{Q}$. Let $\mathrm {Ch}^{r}(X/F)$ denote the Chow group of codimension $r$ algebraic cycles defined over $F$. A conjecture of Tate asserts that the cycle class map from $\mathrm{Ch}^r(X/F)$ to $H^{2r}_{et}(X)(r)$ is injective, with image in the subspace fixed by $\mathrm{Gal}(\overline{\mathbb{Q}}/F)$. In particular, the dimension of $\mathrm{Ch}^r(X/F)$ should be uniformly bounded (by the $2r^{\mathrm{th}}$ Betti number of $X(\mathbb{C})$) as $F$ varies.

On the other hand, let $\mathrm{Ch}^{r}(X/F)_0$ denote the kernel of the cycle class map, which is to say the group of homologically trivial cycles of codimension $r$ modulo rational equivalence. The dimension of this guy is predicted by Beilinson and Bloch to be given as the order of vanishing of $L(s,H^{2r-1}(X/F))$ at its central critical point. Now, the order of vanishing of this L-function can by made to increase very rapidly as $F$ varies; for example, one could (in some circumstances) choose $F$ to be an abelian extension such that each of the twists $L(s,H^{2r-1}(X/\mathbb{Q})\times \chi)$ has root number $-1$ for $\chi$ varying over characters of $\mathrm{Gal}(F/\mathbb{Q})$. When $X$ is an elliptic curve and $r$=1, this phenomenon has been confirmed in a variety of situations: for $\mathbb{Z}/p^{n}\mathbb{Z}$-towers over imaginary quadratic fields (Cornut-Vatsal), for Hilbert class fields of imaginary quadratic fields (Templier), and for towers of Kummer extensions (Darmon-Tian). However, for higher dimensional varieties and higher codimension cycles, the relevant L-functions aren't even well understood.

My question: is there a "conceptual" reason why there should have lots of homologically trivial cycle classes over extensions of the base field? In other words, if you believe certain conjectures about L-functions, then this is not hard to guess, but I am looking for some motivation which avoids L-functions.

(Edited in response to a comment of moonface.)

-
You mean "surjective" in the first paragraph, if your coefficients are $\mathbb{Q}_{\ell}(r)$. The last line of your first paragraph is incorrect. – moonface Feb 3 '10 at 16:08
Just to echo moonface, the injectivity assertion in your statement of the Tate conjecture is false (otherwise the rest of your question would have no content!). Rather Tate conjectures that $Ch^r$ tensored with ${\mathbb Q}_{\ell}$ surjects onto the Galois invariant part of $H^{2r}_{et}(X,{\mathbb Q}_{\ell}(r)).$ – Emerton Feb 3 '10 at 20:06

To make your question more concrete, one should take $X$ to be an elliptic curve, $r = 1$, and then $Ch(X/F)_0 = E(F)$. So your question becomes, why does $E(F)$ achieve large rank over various extensions. You discussed this in your question, but I don't your discussion fully describes the situation.
There is work of many people, especially Mazur and Rubin (as well as the others you mention) showing that Selmer groups grow in something like the expected way as you enlarge $F$ appropriately. The reason I single out Mazur and Rubin is that they work in a very general context, but they only deal with Selmer groups. One expects that the Mordell--Weil groups grow in the same manner (since one expects Sha to be finite), but this is not known, and no-one knows how to exihibit any points on elliptic curves by theoretical means, other than via Heegner points constructions.
For an elliptic curve E over $\mathbb{Q}$, the rank of $E(\mathbb{Q})$ is always infinite. In the higher dimensional cycle case, there are only very few non-trivial examples, mostly due to Chad Schoen, where the rank of the group of homologically trivial cycles over is known to be infinite. (The case of a surface is in some sense understood since homologically trivial cycles correspond to points on Pic^0 or are expected to correspond to points on the Albanese; the interesting case is when the variety has dimension > 2) – ulrich Apr 16 '10 at 15:33