Welcome to MathOverflow

Question

5

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?

Thanks in advance,

edited May 31 2011 at 7:28

asked May 30 2011 at 15:19

Tzanko Matev
345●6

1

What exactly is the "exceptional set"? Is it the primes dividing the numerator or denominator of some element of $\Gamma$? – David Loeffler May 30 2011 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 2011 at 7:31

Joe Silverman · Accepted Answer · 2011-05-30 21:14:42Z UTC

4

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).

answered May 30 2011 at 21:14

Joe Silverman
7,810●24●45

	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 2011 at 7:02
	@ACL: I believe "rank" here means "minimal number of generators". – S. Carnahan♦ May 31 2011 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 2011 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 2011 at 12:48

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

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

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.