arXiv:1702.01271v1 [] 4 Feb 2017

FINITE ORDER ELEMENTS IN THE INTEGRAL
SYMPLECTIC GROUP
KUMAR BALASUBRAMANIAN, M. RAM MURTY,
AND KARAM DEO SHANKHADHAR

Abstract
For g ∈ N, let G = Sp(2g, Z) be the integral symplectic group and S(g)
be the set of all positive integers which can occur as the order of an element
in G. In this paper, we show that S(g) is a bounded subset of R for all
positive integers g. We also study the growth of the functions f (g) = |S(g)|,
and h(g) = max{m ∈ N | m ∈ S(g)} and show that they have at least
exponential growth.
1. Introduction
Given a group G and a positive integer m ∈ N, it is natural to ask if there
exists k 6= 1 ∈ G such that o(k) = m, where o(k) denotes the order of the element k ∈ G. In this paper, we make some observations about the collection
of positive integers which can occur as orders of elements in G = Sp(2g, Z).
Before we proceed further we set up some notation and briefly mention the
problems studied in this paper.
Let G = Sp(2g, Z) be the group of all 2g × 2g matrices with integral
entries satisfying
A⊤ JA = J
where

A⊤

is the transpose of the matrix A and J =

Ç

å

0g Ig
.
−Ig 0g

Throughout we write m = pα1 1 . . . pαk k , where pi is a prime and αi > 0
for all i ∈ {1, 2, . . . , k}. We also assume that the primes pi are such that
pi < pi+1 for 1 ≤ i < k. We write π(x) for the number of primes less than
or equal to x. Also for A ∈ G we let o(A) denote the order of A. We let
φ denote the Euler’s phi function. It is a well known fact that the function
φ is multiplicative, i.e., φ(mn) = φ(m)φ(n) if m, n are relatively prime and
Research of Kumar Balasubramanian was supported by DST-SERB Grant:
YSS/2014/000806.
Research of M. Ram Murty was partially supported by an NSERC Discovery grant.
1

satisfies φ(pα ) = pα (1 − 1p ) for all primes p and positive integer α ∈ N (see
[2] for a proof). Let
S(g) = {m ∈ N | ∃ A 6= 1 ∈ G with o(A) = m}.

In this paper we show that S(g) is always a bounded subset of R for all
positive integers g. Once we know that S(g) is a bounded set, it makes
sense to consider the functions f (g) = |S(g)|, where |S(g)| is the cardinality
of S(g) and h(g) = max{m | m ∈ S(g)}, i.e., h(g) is the maximal possible
(finite) order in G = Sp(2g, Z). We show that the functions f and h have
at least exponential growth.
The above problem derives its motivation from analogous problems from
the theory of mapping class groups of a surface of genus g. We know
that given a surface Sg of genus g, there is a surjective homomorphism
ψ : Mod(Sg ) → Sp(2g, Z), where Mod(Sg ) is the mapping class group of Sg .
It is a well known fact that for f ∈ Mod(Sg ) (f 6= 1) of finite order, we
have ψ(f ) 6= 1. Let S̃(g) = {m ∈ N | ∃f 6= 1 ∈ Mod(Sg ) with o(f ) = m}.
The set S̃(g) is a finite set and it makes sense to consider the functions
f˜(g) = |S̃(g)| and h̃(g) = max{m ∈ N | m ∈ S̃(g)}. It is a well known fact
that both these functions f˜ and h̃ are bounded above by 4g + 2. We refer
the reader to [5] for an excellent introduction to the mapping class group
and the proofs of some of these facts.
2. Some results we need
In this section we mention a few results that we need in order to prove
the main results in this paper.
Proposition 2.1 (Bürgisser). Let m = pα1 1 . . . pαk k , where the primes pi satisfy pi < pi+1 for 1 ≤ i < k and where αi ≥ 1 for 1 ≤ i ≤ k. There exists a
matrix A ∈ Sp(2g, Z) of order m if and only if
a)

k
X

b)

k
X

i=2

i=1

φ(pαi i ) ≤ 2g, if m ≡ 2(mod 4).
φ(pαi i ) ≤ 2g, if m 6≡ 2(mod 4).

Proof. See corollary 2 in [1] for a proof.



Proposition 2.2 (Dusart). Let p1 , p2 , . . . , pn be the first n primes. For
n ≥ 9, we have
1
p1 + p2 + · · · + pn < npn .
2
2

Proof. See theorem 1.14 in [3] for a proof.
Proposition 2.3 (Dusart). For x ≥ 2, π(x) ≤
x ≥ 599, π(x) ≥

x
log x

Ç

1+

1
log x

å


x
log x

Ç

1+

1.2762
log x

å

. For

.

Proof. See theorem 6.9 in [4] for a proof.



Proposition 2.4 (Dusart). For x ≥ 2973,
Y
p≤x

Ç

1
1−
p

å

e−γ
0.2
.
>
1−
log x
(log x)2
Ç

å

where γ is the Euler’s constant.
Proof. See theorem 6.12 in [4] for a proof.
Proposition 2.5 (Rosser). For x ≥ 55, we have π(x) >


x
log x+2 .

Proof. See theorem 29 in [6] for a proof.



3. Main Results
In this section we prove the main results of this paper. To be more precise, we prove the following.
a) S(g) is a bounded subset of R.
b) f (g) = |S(g)| has at least exponential growth.
c) h(g) = max{m | m ∈ S(g)} has at least exponential growth.
3.0.1. Boundedness of S(g). For each g ∈ N, let S(g) = {m ∈ N | ∃ A 6= 1 ∈
G with o(A) = m}. In this section we show that S(g) is a bounded subset
of R.
Let m = pα1 1 . . . pαk k ∈ S(g). Suppose pi > 2g+1 for some i ∈ {1, 2, . . . , k}.
This would imply that φ(pαi i ) = pαi i −1 (pi −1) > 2g, which contradicts proposition 2.1. It follows that all primes in the factorization of m should be
≤ 2g + 1 and hence k ≤ g + 1.
Theorem 3.1. For g ∈ N, S(g) is a bounded subset of R.
Proof. For g ∈ N, fix k = π(2g + 1) and P = {p1 , p2 , . . . , pk } be the set of
first k primes arranged in increasing order. The prime factorization of any
m ∈ S(g) involves primes only from the set P . The total number of nonempty subsets of P is 2k − 1. Let us denote the collection of these subsets
3

of P as {P1 , P2 , . . . P2k −1 }. For 1 ≤ a ≤ 2k − 1, let Pa denote the subset
{q1 , q2 , . . . , qn } of P , where n = n(Pa ) is the number of primes in the subset
Pa . For a fixed a (and hence fixed Pa ), define
ma = ma (α1 , . . . , αn ) = q1α1 q2α2 . . . qnαn ,

ra = ra (α1 , . . . , αn ) =

n
X

qiαi

i=1

Ç

å

1
,
1−
qi

where αi > 0. The key idea of the proof is to maximize the function ma
considered as a function of the real variables (α1 , α2 , . . . αn ) with respect to
the inequality constraint ra ≤ 2g + 1. We let Ma denote this maximum.
Using the Lagrange multiplier method we see that the function ma attains
α
the maximum Ma precisely when qiαi (1− q1i ) = qj j (1− q1j ) for all 1 ≤ i, j ≤ n.

Under the above condition, the constraint ra ≤ 2g + 1 gives us qiαi (1 − q1i ) ≤
2g+1
n , for any 1 ≤ i ≤ n. Now
ma (α1 , α2 , . . . αn ) =

q1α1 1 −
Ä

1
q1

ä

q2α2 1 −
Ä

n
Y

i=1

Ç

1
q2

ä

Ä

. . . qnαn 1 −

1
1−
qi

å

From this it follows that for 1 ≤ a ≤ 2k − 1,

Ma =

Ç

q1α1
n
Y

i=1

Ä

1−

Ç

ä

1
q1

1
1−
qi

ån

å

≤

Ç
k
Y
i=1

2g+1
n

Ç

1
1−
pi

Therefore, for m ∈ S(g), we have
m≤

≤

max

Ma

max

Ç

1≤a≤2k −1
1≤a≤2k −1
k
Y

i=1

≤

e
k
Y
i=1

Ç

Ç

2g+1
n

1
1−
pi

2g+1
e

1
1−
pi
4

å

ån

å

ån

å.

1
qn

ä

.

In the above computation, we have used the fact that for x > 0,

Ç

2g+1
x

åx

attains the maximum when x = (2g + 1)/e.
Observing that

k
Y
i=1

Ç

1
1−
pi

å

Ç åπ(2g+1)−2

12 4
≥
23 5

π(2g+1)−2

m ≤ 3(5/4)

e

2g+1
e

Ä

≤ 3e

Corollary 3.2. For g ∈ N, f (g) ≤ h(g) ≤

, we have
ä

2g+1
+g−1
e

≤ 3e3g .



3e3g .

Proof. For m ∈ S(g), we have m ≤ 3e3g . The result follows.



Remark 3.3. Upper bound for S(g) for g ≥ 1486: The bound obtained in
theorem 3.1 is an absolute upper bound for S(g). For g ≥ 1486 , we can
improve the above upper bound as follows: Using proposition 2.4, we get
k
Y
i=1

Ç

1
1−
pi

å

>

1
e−γ
.
2 log(2g + 1)

Therefore it follows that for m ∈ S(g), we have
m≤

e
k
Y
i=1

Ç

2g+1
e

1
1−
pi

γ
å ≤ 2e log(2g + 1)e

2g+1
e

.

3.0.2. Growth of f (g) and h(g). In the previous section, we computed an
upper bound for the functions f (g) and h(g). In this section we show that
f (g) and h(g) have at least exponential growth.
Lemma 3.4. For x ≥ 23, we have

1
p < xπ(x)
2
p≤x
X

where the sum is over all primes p ≤ x.

Proof. Let n be such that pn ≤ x < pn+1 , where pn denotes the nth prime
number. It follows from proposition 2.2, that for x ≥ 23, we have
X
X
1
1
p < npn ≤ π(x)x.
p=
2
2
p≤p
p≤x
n


Before we proceed further, we set up some notation which we need in the
following results.
Let K(≥ e) ∈ N be such that for

√

K log K ≥ 23.
5

»

Lemma 3.5. For g ≥ K, π( g log(g)) <
Proof. For y > 1, we have π(y) <

y
log(y)

Ç

√

3 g log(g)
log(g log(g)) .

1+

3
2 log(y)

å

(see proposition 2.3).

Using this estimate we get,
»

π( g log(g)) <

»

g log(g)

»

log( g log(g))

Ç

1+

3
»

2 log( g log(g))

å

Ç
å
√
g log g
3
√
1+
≤
2 log 23
log( g log g)
»

3 g log(g)
.
=
log(g log(g))

Lemma 3.6. Let x =
we have m ∈ S(g).

»

Y

g log(g) and m = m(g) =

p≤x

p. Then for g ≥ K,

Proof. By proposition 2.1, it is enough to show that β =

X

(p − 1) ≤ 2g.

26=p≤x

Using lemma 3.4 and lemma 3.5 , we have

β<

X

p<

p≤x

<

»
1 »
( g log(g))π( g log(g))
2

3
3 g log(g)
= g.
2 log(g log(g))
2

»

For g ≥ K, let A(g) = {p ∈ N | p ≤ g log(g)} and m = m(g) be
as above. If d is any divisor of m, then it is easy to see that d ∈ S(g).
Also it is clear that the divisors d of m are in bijection with the number of subsets of A(g). Since any divisor d of m is an element in S(g)
and the number of divisors correspond
√ bijectively with subsets of A(g),
π( g log(g))
(since number of subsets of
it follows that
√ f (g) = |S(g)| ≥ 2
π( g log(g))
A(g) = 2
).
1
4

»

g

log(g)
from which it follows that the
We will now show that |S(g)| > e
function f (g) = |S(g)| has at least exponential growth.

6

Theorem
3.7. Let L ∈ N such that
»
1

e4

g
log(g)

√
L log L ≥ 55. Then f (g) = |S(g)| >

for all g ≥ L.

Proof. From proposition 2.5, we have for all g ≥ L,
»

»
g log(g)
< π( g log(g)).
log(g log(g))

From this it follows that for all g ≥ L, we have
√

π(

f (g) ≥ 2

g log(g))

√

>2

g log(g)
log(g log(g))

>2

1
2

»

g
log(g)

>e

1
4

»

g
log(g)

.


Corollary
3.8. Let L ∈ N be as in the above theorem. Then h(g) >
»
1

e4

g
log(g)

for all g ≥ L.

Proof. Since h(g) ≥ f (g), the result follows.



Remark
For g log g ≥ (599)2 , we can improve the above lower bound
p g 3.9. p
g
1
e 4 log g to e 4 log g by using proposition 2.3.
References
1. B. Bürgisser, Elements of finite order in symplectic groups, Arch. Math. (Basel) 39
(1982), no. 6, 501–509. MR 690470 (85b:20062)
2. David M. Burton, Elementary number theory, Allyn and Bacon Inc., Boston, Mass.,
1980, Revised printing. MR 567137 (81c:10001b)
3. Pierre Dusart, Autour de la fonction qui compte le nombre de nombres premiers, Thesis
(1998).
4.
, Estimates of some functions over primes without R.H., arxiv:1002.0442v1.
5. Benson Farb and Dan Margalit, A primer on mapping class groups, Princeton Mathematical Series, vol. 49, Princeton University Press, Princeton, NJ, 2012. MR 2850125
6. Barkley Rosser, Explicit bounds for some functions of prime numbers, Amer. J. Math.
63 (1941), 211–232. MR 0003018
Kumar Balasubramanian, Department of Mathematics, IISER Bhopal, Bhopal,
Madhya Pradesh 462066, India
E-mail address: bkumar@iiserb.ac.in
M. Ram Murty, Department of Mathematics and Statistics, Queens University, Kingston, Ontario K7L 3N6, Canada
E-mail address: murty@mast.queensu.ca

Karam Deo Shankhadhar, Department of Mathematics, IISER Bhopal, Bhopal,
Madhya Pradesh 462066, India
E-mail address: karamdeo@iiserb.ac.in

7

