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


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?

Thanks in advance,

share|improve this question
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

1 Answer 1

up vote 4 down vote accepted

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

Murty, M. Ram and Rosen, Michael and Silverman, Joseph H., Variations on a theme of Romanoff, Internat. J. Math. 7 (1996), 373-391 (MR1395936).

share|improve this answer
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
@ACL: I believe "rank" here means "minimal number of generators". –  S. Carnahan May 31 '11 at 8:08
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

Your Answer


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.