Estimating the size of reduction of rational points on $\mathbb{G}_m^2$

Hi,

Let $\Gamma$ be a free subgroup of rank 2 in $\mathbb{G}_m^2(\mathbb{Q})$. For all but finitely many primes p we can reduce $\Gamma$ modulo p. Let $S$ be the of primes for which $\Gamma$ does not reduce modulo p, and for any $p$ not in $S$, let $\gamma_p$ be the size of $\Gamma \mod p$. My question is what is known about the function

$f(x)= \sum_{p\not\in S,\ p\leq x}\frac{\log p }{\gamma_p}$

In particular what is the asymptotic behavior of $f$? Is the corresponding infinite series convergent whenever $\Gamma$ is not contained in an algebraic subgroup of $\mathbb{G}_m^2$? Do you know of any references that might be relevant to those questions?

-
What exactly is the "exceptional set"? Is it the primes dividing the numerator or denominator of some element of $\Gamma$? –  David Loeffler May 30 '11 at 15:43
Yes, that is what I meant. I corrected the question to make the statement clearer. Thank you for for the remark. –  Tzanko Matev May 31 '11 at 7:31

Presumably "exceptional" means primes where either one of the generators of $\Gamma$ is 0 or $\infty$ mod p, or where $\Gamma$ mod $p$ has rank smaller than $2$. The following reference is possibly relevant to your question, although we consider a somewhat different sum. We give an upper bound (that should be fairly sharp) for the sum $$\sum_{p} \frac{\log p}{p\cdot\gamma_p^\epsilon}.$$ In particular, we prove that $$\limsup_{\epsilon\to0} ~~\epsilon \cdot \sum_{p} \frac{\log p}{p\cdot\gamma_p^\epsilon} \le 1+\frac{1}{\text{rank}~\Gamma}.$$ The article is
Joe: For any prime number $p$ (such that the two generators of $\Gamma$ are $p$-adic units), the group $\Gamma\mod p$ is finite, so it always has rank smaller than $2$! –  ACL May 31 '11 at 7:02
Actually, our result is a little different in that we are looking at subgroups $\Gamma$ of $\mathbb{G}(\mathbb{Q})$. The rank means the free rank, which is the dimension of $\Gamma\otimes\mathbb{Q}$ as a $\mathbb{Q}$-vector space. We also deal with abelian varieties of arbitrary dimension, but looking again at our paper, I see that we didn't do the case of finitely generated subgroups of $\mathbb{G}^d(\mathbb{Q})$ for $d\ge2$. However, the argument that we use will easily generalize, and I suspect that the limsup formula remains the same. –  Joe Silverman May 31 '11 at 12:47
@ACL: The rank refers to the free rank of $\Gamma$ as a finitely generated abelian group, not to its rank after being reduced modulo p. –  Joe Silverman May 31 '11 at 12:48