Comparison of Volumes of Siegel Sets and
Fundamental Domains for SLn(Z)

arXiv:1604.03613v4 [] 23 Mar 2018

Gisele Teixeira Paula
Instituto Nacional de Matemática Pura e Aplicada. Est. Dona Castorina, 110. CEP
22460-320. Rio de Janeiro-RJ. Brazil.
Correspondence to be sent to: e-mail: giseletp@impa.br

Abstract
The purpose of this paper is to calculate explicitly the volumes of
Siegel sets which are coarse fundamental domains for the action of SLn (Z)
in SLn (R), so that we can compare these volumes with those of the fundamental domains of SLn (Z) in SLn (R), which are also computed here,
for any n ≥ 2. An important feature of this computation is that it requires keeping track of normalization constants of the Haar measures. We
conclude that the ratio between volumes of fundamental domains and volumes of Siegel sets grows super-exponentially fast as n goes to infinity.
As a corollary, we obtained that this ratio gives a super-exponencial lower
bound, depending only on n, for the number of intersecting Siegel sets.
We were also able to give an upper bound for this number, by applying
some results on the heights of intersecting elements in SLn (Z).
Keywords: Arithmetic Groups, Siegel Sets, Coarse Fundamental Domains, Volumes.

1

Introduction

Siegel sets were first introduced in the study of quadratic forms by Siegel [9] in
1939, with some results following from previous works of Hermite and KorkineZolotarreff. In a fundamental paper [2], Borel and Harish-Chandra have generalised this notion and used Siegel domains to prove finiteness of covolumes of
non-cocompact arithmetic subgroups.
The simple structure of Siegel sets, compared to those of the actual fundamental domains makes them appealing for applications. For example, in his
recent paper [14], R. Young exploited their properties to obtain new results in
geometric group theory. Still very little is known about the geometry of Siegel
sets in general. In his book [7], Morris describes algebraically examples of Siegel
sets not only for SLn (R), with n ≥ 2 , but also in the case of any semisimple
Lie group G with a given Iwasawa decomposition.
In this paper we recall one of the main properties of Siegel sets – the finiteness of their volumes. We evaluate these volumes explicitely in the basic case
of Siegel sets for SLn (Z) in SLn (R) for any n ≥ 2. We then compare these
volumes with the actual covolumes of SLn (Z). To this end, we have to deal
with an essential difficulty related to the normalization of the Haar measure.
1

For calculating the volumes of Siegel sets, the main difficulty is to find a nice
way to describe the region of integration, which we solve with an appropriate
change of coordinates. Most of the volume computations that followed Siegel’s
original approach were not careful about the normalization constants, just noting that they are computable and could be calculated from the proof. In Section
5, we follow Garret’s notes on Siegel’s method [4] to compute the volumes of
the quotients SLn (Z)\SLn (R) for n ≥ 3 using induction and the volume of
SL2 (Z)\SL2 (R), that is computed in [4]. Our main goal here is to keep a careful
track of the normalization constants. The main tools we use are the Poisson
Summation formula, the Iwasawa decomposition of G and the choice of a good
Haar measure normalization on each group. At the end of the section we discuss
the relation between the normalization of the measure we used and the canonical normalization that comes from the metric associated to the Killing form on
sln (R).
By comparing the volumes of Siegel sets and the volumes of fundamental
domains of SLn (Z), we conclude that somewhat surprinsingly the ratio between
them grows super-exponentially fast with n.
As an application of the computations presented here, in Section 6 we show
that given a Siegel set Σ of SLn (Z), we have an explicit lower bound for the
number of elements γ ∈ SLn (Z) such that γΣ intersects Σ. This bound is given
by the ratio between vol(Σ) and vol(SLn (Z)\SLn (R)) – see Corollary 6.1. We
also give a proof that this result is consistent with a recent work of M. Orr [8],
which generalizes a previous result of P. Habegger and J. Pila [5] on the height of
such elements γ, motivated by the study of Shimura varieties and their unlikely
intersections. More precisely, Orr’s result gives, as a corollary, an upper bound
for the number of intersecting Siegel sets while our work provides a lower bound
for this number (see Corollary 6.2).
It would be interesting to compute the volumes of Siegel sets in other cases,
for example for the action of well known Bianchi groups Γd = SL2 (Od ) on the
hyperbolic three-dimensional space H3 . In this case we should have to deal
with another difficulty when describing Siegel sets, because of the fact that as d
grows the quotients Γd \H3 have a growing number of cusps. It would be worth
doing these computations in the future, and then comparing them to the results
obtained in this paper.

2

The Iwasawa decomposition of SLn (R)

Let n ≥ 2, G = SLn (R) and Γ = SLn (Z). Consider the action of Γ by left
translations on G and let
K = SOn ;
(
A=

diag(a1 , . . . , an );

n
Y

)
ai = 1; ai > 0, for any i = 1, . . . , n ;

i=1

N = {(nij )i,j ∈ G; nii = 1 and nij = 0 for i > j} .
Lemma 2.1. The product map
Φ : K × A × N −→ G
2

(k, a, n) 7→ kan
is a homeomorphism.
Proof. We can construct an inverse map for Φ by using the Gram-Schmidt
orthonormalization process.
Take g ∈ G and let x1 , . . . , xn be its columns. Then define inductively
y1 , . . . , yn by
x1
y1 =
;
kx1 k
i−1

yi =

X
yei
, where yei = xi −
hxi , yl iyl ; for i = 2, . . . , n.
ke
yi k
l=1

Let e1 , . . . , en be the standard orthonormal basis of Rn . Then there exists
an unique k ∈ SOn such that k(yi ) = ei , for any i = 1, . . . n. Therefore
k(e
yi ) = k(ke
yi k yi ) = ke
yi k k(yi ) = ke
yi k ei , for any i = 1, . . . , n.
So there is a diagonal matrix a = diag(ke
y1 k , . . . , ke
yn k), such that
k(e
yi ) = a(ei ), for any i = 1, . . . , n.
Also, it is easy to see that yi ∈ hx1 , . . . , xi i , for any i = 1, . . . , n. Thus we have:
g −1 yei = g −1 (xi −

i−1
X

hxi , yl iyl ) ∈ g −1 xi + g −1 hx1 , . . . , xi−1 i

l=1

⇒ g −1 yei ∈ ei + he1 , . . . , ei−1 i .
From this, we conclude that there exists u ∈ N such that g −1 yei = uei , for
every i = 1, . . . , n. Therefore,
u−1 g −1 yei = ei = a−1 k(e
yi ), for any i ⇒ u−1 g −1 = a−1 k ⇒ g = k −1 au−1 .
It is easy to see now that det(a) = 1, so a ∈ A and thus we can define a
continuous inverse map g ∈ G 7→ (k −1 , a, u−1 ) ∈ K × A × N .
The previous lemma gives us the Iwasawa decomposition G = KAN of
SLn (R). Note that K ∩ A = K ∩ N = A ∩ N = {I} and that for this Iwasawa
decomposition, AN = N A and K(AN ) = (AN )K (see [7], page 148).

3

Haar measure on SLn (R)

Given a locally compact Hausdorff topological group G, a left invariant Haar
measure on G is, by definition, a regular Borel measure µ on G such that for
all g ∈ G and all Borel sets E ⊂ G we have µ(gE) = µ(E). It is well known
that every connected Lie group admits such a Haar measure. Moreover, it is
unique up to scalar multiples. We can define analogously right-invariant Haar
measures. See [13] for more results about Haar measures on Lie groups.
Since G = SLn (R) is unimodular, i.e. the left and right invariant Haar
measures coincide, and dg is invariant under left translation by elements of K
and under right translation by elements of AN , we get that the Haar measure
3

of G in k, v, a coordinates is given by the product measure dg = dk du da, where
da, du and dk are the Haar measures on A, N and K, repectively. This means
that for every compactly supported and continuous function f on G, we have
Z
Z Z Z
f (g)dg =
f (kau)du da dk.
G

K

A

N

It canY
be proved by induction on n that the Haar measure on N is given
by du =
duij . It is usually convenient to change the order of integration on
i<j

the variables a and u, and to this end we can change the coordinates from u to
v = aua−1 . Then v is also an upper triangular unipotent matrix of the form
X ai
uij Eij .
v = Id +
aj
i<j≤n

It is easily seen that dv =

Y

dvij =

i<j

Z

Y ai
duij . This gives us
a
i<j j

Z Z Z
f (g)dg =

G

Z Z Z
f (kva)dv da dk =

K

A

N

f (kau)
K

N

A

Y ai
da du dk.
a
i<j j

Also for convenience, we change coordinates from au to k −1 auk in the last
integral. This has Jacobian equal to 1 (for each k ∈ K), so we get:
Z
Z Z Z
Y ai
f (g)dg =
f (auk)
dk da du.
a
G
N A K
i<j j
In this work, we will consider the Haar measure in K to be the following: it
is easy to see that the isotropy group of en = (0, . . . , 0, 1) by the action of SOn
in Sn−1 is isomorphic to SOn−1 . Then Sn−1 ∼
= SOn−1 \SOn . We have that the
natural map π : SOn → Sn−1 is a Riemannian submersion if we rescale it by a
factor of √12 . Thus
1

vol(SOn ) = 2 2 (n−1) vol(Sn−1 ) · vol(SOn−1 ).
By using induction and the fact that vol(Sn−1 ) =
vol(SOn ) = 2

1
4 n(n−1)

n−1

vol(S

n−2

) · vol(S

1

n

2π 2
,
Γ( n
2)

) . . . vol(S ) = 2

we obtain

(n−1)( n
4 +1)

It remains to define a Haar measure on A. We claim that da =

i
n
Y
π2
.
Γ( 2i )
i=2

n−1
Y
i=1

dai
is
ai

such a measure. Indeed, let φ : A → Rn−1 be the map


a1 0 . . .
0
0
 0 a2 · · ·

0
0



 ..
.. . .
..
..
 .

.
.
.
.
 7→ (t1 , . . . , tn−1 ) = (log a1 , . . . , log an−1 ).
a=
 0 0 · · · an−1

0


n−1


Y


0 0 ···
0
a−1
i
i=1

4

As φ is a group isomorphism and Haar measure is preserved by isomorphisms
n−1
n−1
Y
Y dai
we get that da =
dti =
is a Haar measure on A.
ai
i=1
i=1

Siegel Sets for SLn (R)

4

Definition 4.1. Let Γ be some group acting properly discontinuously on a
topological space X. We call F ⊂ X a coarse fundamental domain for Γ if:
• ΓF = X;
• {γ ∈ Γ; γF ∩ F =
6 ∅} is finite.
Definition 4.2. A Siegel set in SLn (R) is a set Σt,λ of the form
Σt,λ = At Nλ K,
where t, λ are positive real numbers,


ai
≤ t, for any i = 1, . . . , n
At = a ∈ A;
ai+1
and

Nλ = {u ∈ N | |uij | ≤ λ, for any i, j = 1, . . . , n} .

For certain parameters t, λ the Siegel sets Σt,λ are coarse fundamental domains for SLn (Z). Another important property is that they have finite volume.
Siegel sets can be also defined in a more general way for lattices in other semisimple Lie groups, as it can be seen in Chapter 19 of Morris [7]. In many cases,
a finite union of copies of Siegel sets glue together to form coarse fundamental
domains for general lattices.
In this section we compute the volumes of the Siegel sets in SLn (R). We will
use the Haar measure on G given in Section 3 in v, a, k coordinates.
Theorem 4.1.
n(n2 −1)

n(n−1)
1
t 6
vol(Σt,λ ) = vol(SOn )(2λ) 2
.
2
((n − 1)!)2

Proof.
Z

Z

vol(Σt,λ ) =
|uij |≤λ

ai
ai+1

= vol(K)(2λ)

Z Y
n−1
Y dai
ai
dk
ai
≤t K i<j aj
i=1

n(n−1)
2

Z
ai
ai+1

Y

Y ai n−1
Y dai
.
≤t i<j aj i=1 ai

To compute the integral over a1 , . . . , an (with the condition
change variables from a1 , . . . , an to the variables
bi =

ai
, for any i = 1, . . . , n − 1.
ai+1
5

duij .

1≤i<j≤n

n
Y
i=1

ai = 1), we

By elementary computation, we get
n−1
Y ai
Y i(n−i)
=
bi
.
a
i<j j
i=1

Moreover, as ai = bi ai+1 , the Jacobian of the change of coordinates from ai to
bi is 2a11 . The integral then becomes
n−1
Y

Z

bi ≤t i=1

1
=
2

Z

n−1
Y

bi ≤t i=1

i(n−i)

bi

1
1 Y
dbi
b1 a2 b2 a3 . . . bn−1 an 2a1
i≤n−1

2

[i(n−i)−1]
bi

Y
i≤n−1

n(n −1)
2
n−1
1 t 6
1 Y tni−i
.
=
dbi =
2 i=1 (ni − i2 )
2 ((n − 1)!)2

Thus we get to
n(n2 −1)

n(n−1)
1
t 6
vol(Σt,λ ) = vol(SOn )(2λ) 2
.
2
((n − 1)!)2

(1)

Borel proves in [1] the following theorem:
Theorem 4.2. For t ≥ √23 and λ ≥ 12 , one has Σt,λ Γ = G. Moreover, Σt,λ is a
coarse fundamental domain for Γ in G.
Corollary 4.1. The quotient Γ\G has finite volume, which satisfies
3

vol(Γ\G) ≺ ecn , as n → ∞,

(2)

for some positive constant c.
Proof. It is clear that vol(Γ\G) < ∞, since Σt,λ has finite volume and it contains
a fundamental domain for SLn (Z) if t ≥ √23 and λ ≥ 12 . Thus vol(Γ\G) ≤
vol(Σt,λ ) for these values of t and λ.
By taking λ = 21 and t = √23 in formula (1), we get that
n(n2 −1)

vol(Σ √2

,1
3 2

)=2

(n−1)( n
4 +1)−1

2

=
3

2
i
n
Y
π 2  ( √3 ) 6
Γ( 2i ) ((n − 1)!)2
i=2

2n3 +3n2 +7n−24
12

n(n2 −1)
12

((n −

π

n2 +n−2
2

1)!)2

n
Y

i
Γ( )
2
i=2

Using Stirling’s formula, this volume is easily seen to grow assymptotically like
3
ecn , for some positive constant c and this finishes the proof.
On the other hand, as we will see in the next section, vol(SLn (Z)\SLn (R))
computed with respect to the same normalization of the Haar measure goes to
zero as n grows.
6

5

Volume of SLn (Z)\SLn (R)

It is a well-known fact that vol(SLn (Z)\SLn (R)) is finite. Our goal is to calculate it, with respect to the same normalization of the Haar measure used in
the previous section. The whole computation follows the original approach
of Siegel [11], but we have to be careful with the normalization constants.
We use Poisson summation,
induction and the previously known fact that
√
vol(SL2 (Z)\SL2 (R)) = 2ζ(2), which can be proved in a similar way (see [4],
being careful with respect to the different normalization of vol(SO2 ) we are
considering).
We will state first the Poisson Summation Formula, which will play a fundamental role in the computations, and for which the reader can refer to [12].
Given a lattice Λ in Rn , we define |Λ| to be the covolume of Λ, i.e. the
volume of Rn /Λ and the dual lattice of Λ by
Λ∗ = {y ∈ Rn ; hx, yi ∈ Z for any x ∈ Λ} .
Theorem 5.1 (Poisson Summation Formula). Given any lattice Λ in Rn , a
vector w ∈ Rn and an adimissible function f : Rn → R in L1 , we have
X

f (x + w) =

t∈Λ

x∈Λ

Here, fˆ(t) =

1 X −2πihw,ti ˆ
e
f (t),
|Λ|
∗

f (x)e2πihx,ti dx is the Fourrier transform of f and admissibilty of f means that there exist constants , δ > 0 such that |f (x)| and fˆ(x)
R

Rn

are bounded above by (1 + |x|)−n−δ .
Let then f ∈ L1 be an admissible function on Rn . We can ask f to be a C ∞
function with compact support. We then define F : G 7→ R by
X
F (g) =
f (vg).
v∈Zn

Here we are considering the multiplication of line-vectors v ∈ Rn by elements
of G by the right. Clearly, F is left Γ-invariant, as Zn Γ = Zn under the action
of SLn (Z) on Rn by right multiplication of line vectors by the inverse elements
of SLn (Z). R
Consider Γ\G F (g)dg. We will use this integral to calculate vol(Γ\G).
Let



h v
Q = stabG (e) =
; h ∈ SLn−1 (R), v ∈ Rn−1 ,
0 1
where e = (0, . . . , 0, 1) ∈ Rn , and write QZ = Q ∩ Γ. Using linear algebra over
Z, note that
[ [
Zn − {0} =
`eγ,
`>0 γ∈QZ \Γ

where ` runs over positive integers.
Then we can write
Z
Z
Z
F (g)dg =
f (0)dg +
Γ\G

Γ\G

X X

Γ\G `>0 γ∈Q \Γ
Z

7

f (`eγg)dg

= vol(Γ\G)f (0) +

XZ
`>0

f (`eg)dg.

QZ \G

For the second equality note that a fundamental domain for QZ in G is
the union of images of a fundamental domain for Γ in G by representatives of
classes in QZ \Γ. In addition, the Schwartz condition on f ensures that the
integral over QZ \G is finite. Indeed, in his article [10], Siegel proves that the
function F (g) is integrable over a fundamental domain for Γ\G. On pages 344345 of [loc. cit.] we can see that the integrals over QZ \G are also convergent
(for any fixed l ∈ N). We observe that although he uses different decomposition
of G and normalization of Haar measures, this does not change the finiteness of
the integrals.
Write
)
!
(
h
∗
n−1
; h ∈ GLn−1 (R), det(h) > 0 and ∗ ∈ R
;
P =
0 det1(h)
0



N =

In−1
0

v
1


;v ∈ R

n−1



, NZ0 = N 0 ∩ Γ.


M=



h 0
; h ∈ SLn−1 (R) , MZ = M ∩ Γ;
0 1
 1


t n−1 In−1
0
A0 =
;
t
>
0
;
0
t−1

Note that P = N 0 M A0 ⊃ N A, Q = N 0 M and G = N 0 M A0 K. However this
time we have that N 0 M A0 intersects K non-trivially, i.e. this is not an Iwasawa
decomposition. The product N 0 M A0 K projects on G with fiber SO(n − 1).
Therefore we get the following
Lemma 5.1. For every left G-invariant function Φ, we have
Z
Z
1
Φ(n0 ma0 k)dn0 dm da0 dk
Φ(g)dg =
vol(SOn−1 ) QZ \(N 0 M A0 K)
QZ \G
where dg is the Haar measure in G coming from its Iwasawa decomposition (as
in Section 4).
Here dn0 , dm, da0 and dk are the left Haar measures on N 0 , M , A0 and K,
n−1
Y
respectively. We see that dn0 =
vi and that M is isomorphic to SLn−1 (R)
i=1

and thus dm will appear as the measure of this group. This allows us to use
induction in the calculations. On the other hand, A0 is isomorphic to R>0 via
the isomorphism
 1

0
t n−1 In−1
∈ A0 7→ t ∈ R>0 .
0
t−1
Thus we have da0 = dt
t where dt is the usual measure in R.
Again it will be convenient to change the order of integration, by letting the
variable a0 ∈ A0 to be the last one. This will give us d(a0 qa0−1 ) = tn dq, for q =
8




1
h v
t n−1 In−1
0
0
n m ∈ N M . Indeed, for a =
∈ A and q =
∈
0 1
0
t−1


n
h t n−1 v
, and thus the M -contribuction to the
Q, we have a0 q(a0 )−1 =
0
1
n
measure doesn’t change, but the N 0 -contribution is multiplied by (t n−1 )n−1 = tn
and we get to d(a0 qa0−1 ) = tn dq as stated.
R
Then, if we require f to be K-invariant, the integral Γ\G F (g)dg becomes
equal to
0

0

0

vol(Γ\G)f (0) +



X
1
vol(SOn−1 )

Z

`>0

= vol(Γ\G)f (0) +

f (`en0 ma0 k)dn0 dm da0 dk

QZ \(N 0 M A0 K)

vol(QZ \K) X
vol(SOn−1 )

Z

Z

QZ

`>0

\(N 0 M )

f (`en0 ma0 )tn da0 dn0 dm.

A0

We have K ∩ QZ = SOn−1 (Z). Noting that
SOn−1 (Z)\SOn
,
Sn−1 ∼
= SOn−1 \SOn ∼
=
SOn−1 (Z)\SOn−1
we get
vol(Sn−1 ) = vol(SOn−1 \SOn ) =

vol(SOn−1 (Z)\SOn )
.
vol(SOn−1 (Z)\SOn−1 )

As SOn (Z) acts properly and freely in SOn , for any n ∈ N we have that
SOn −→ SOn (Z)\SOn
is a finite covering with #SOn (Z) sheets, which gives us
vol(SOn ) = #(SOn (Z))vol(SOn (Z)\SOn ).
Altogether, we obtain:
vol(QZ \K) = vol(SOn−1 (Z)\SOn ) =

vol(Sn−1 )vol(SOn−1 )
.
#(SOn−1 (Z))

As the integrand is invariant under N 0 M (en0 m = e, for any n0 ∈ N 0 and
m ∈ M ) and the volume of NZ0 \N 0 is 1, this implies
vol(Γ\G)f (0) +

vol(QZ \K) X
vol(SOn−1 )
`>0

Z

Z

QZ \(N 0 M )

f (`en0 ma0 )tn da0 dn0 dm

A0

XZ
vol(QZ \K)
vol(SLn−1 (Z)\SLn−1 (R))
f (`ea0 )tn da0
vol(SOn−1 )
0
A
`>0
Z
X
vol(Sn−1 )
vol(SLn−1 (Z)\SLn−1 (R))
f (`ea0 )tn da0
= vol(Γ\G)f (0) +
#(SOn−1 (Z))
A0
= vol(Γ\G)f (0) +

`>0

By replacing a0 ∈ A0 by t ∈ R>0 and using the description of da0 , we get to
XZ ∞
vol(Sn−1 )
dt
vol(Γ\G)f (0) +
vol(SLn−1 (Z)\SLn−1 (R))
f (`et)tn .
#(SOn−1 (Z))
t
0
`>0

9

By replacing t by `t , we obtain
X 1
vol(Sn−1 )
vol(Γ\G)f (0) +
vol(SLn−1 (Z)\SLn−1 (R))
#(SOn−1 (Z))
`n
`>0

∞

Z

f (et)tn

0

dt
.
t

By using polar coordinates in Rn = {(v, t), v ∈ Sn−1 , t ∈ R>0 }, we get
Z
Z ∞
Z ∞
Z
n−1
n dt
n−1
vol(S
=
)
f (et)t
f (v, t)t
dtdv =
f (x)dx = fˆ(0).
t
Sn−1 0
Rn
0
Thus what we get until now is the following
Proposition 5.1. The initial integral becomes
Z
vol(SLn−1 (Z)\SLn−1 (R))
ζ(n)fˆ(0),
F (g)dg = vol(Γ\G)f (0) +
#(SOn−1 (Z))
Γ\G
where ζ(n) =

X 1
is the Riemman zeta function.
ln
l∈Z

Corollary 5.1. The previous result allows us to compute explicitely the value
of vol(Γ\G):
vol(Γ\G) =

n
n−1
Y
√ Y
1
vol(SLn−1 (Z)\SLn−1 (R))
ζ(n) = 2
ζ(i)
.
#(SOn−1 (Z))
#(SO
i (Z))
i=2
i=1

Proof. For every g ∈ G, we are going to apply the Poisson summation formula
to the lattice Λ = {vg; v ∈ Zn } in Rn , the vector w = 0 and the initial function
f . Note that Λ∗ = {vg ∗ ; v ∈ Zn }, where g ∗ =>g −1 . Then we get
X
X
F (g) =
f (vg) =
fˆ(vg ∗ ) = F̂ (g ∗ ), for any g ∈ G.
v∈Zn

v∈Zn

The automorphism g 7→ g ∗ preserves the measure on G and stabilizes Γ, so
we can do an analogous computation with the roles of f and fˆ reversed. Since
R
R
ˆ
fˆ(0) = f (0) and Γ\G F (g)dg = Γ\G F̂ (g)dg, we obtain
vol(SLn−1 (Z)\SLn−1 (R))
vol(Γ\G)f (0) +
ζ(n)fˆ(0) =
#(SOn−1 (Z))

Z
F (g)dg
Γ\G

Z
=

vol(SLn−1 (Z)\SLn−1 (R))
F̂ (g)dg = vol(Γ\G)fˆ(0) +
ζ(n)f (0).
#(SOn−1 (Z))
Γ\G

By asking additionally that f is such that f (0) 6= fˆ(0) and using indution
on n, we get to the desired result.
We observe that for every i ∈ N, #(SOi (Z)) = 2i−1 i!. Indeed, the group
SOi (Z) consists of monomial matrices whose nonzero entries are equal to ±1 and
which have determinant equal to 1. The first condition gives us 2i i! matrices.
Now if we look at the surjective group homomorphism
det : B = {monomial matrices with nonzero entries ∈ {±1}} → {±1},
10

we get B/Ker(det) ∼
= {±1}, which implies
#(SOi (Z)) = #(Ker(det)) =

#(B)
2i i!
=
= 2i−1 i!.
2
2

Thus we have proved the following
Theorem 5.2. The explicit volume of Γ\G, by considering the Haar measures
described in Section 3 is given by
n
Y
n
n−1
Y
√ Y
ζ(i)
vol(SLn (Z)\SLn (R)) = 2
i=2

i=1

1
2i−1 i!

ζ(i)

i=2

=
2

n
Y

n2 −3n+1
2

.
i!

i=2
0

2

It is not difficult to see that this function goes to zero like e−c n as n grows,
where c0 is a positive constant. It has a completely different behaviour from the
volume growth of Siegel Sets described by formula (1). What we can conclude
directly from all this is that although the geometry of a Siegel set is simpler
than that of the actual fundamental domain for a lattice, their volumes can
differ dramatically as n grows. Thus we should be careful if we want to replace
fundamental domains of any lattice by simpler structures such as Siegel sets, due
to the possibility that some of their relevant geometric features, e.g. volume,
may have different behavior to that of fundamental domains.
As a consequence of Sections 4 and 5, we obtain:
Corollary 5.2. The ratio between volumes of the minimal Siegel sets Σ =
Σ 21 , √2 for SLn (Z) and the actual fundamental domains for these groups in
3
SLn (R) is given by
2
vol(Σ)
C(n) =
=
vol(Γ\G)

3

2n3 +9n2 +25n−30
12

n3 −n
12

((n −

1)!)2

π

n2 +n−2
4

n
Y

n−1
Y
i=1
n
Y

i!

i
Γ( )
ζ(i)
2
i=2
i=2

.

3

Moreover, C(n) ∼ ec̃n for some constant c̃ that does not depend on n.
A natural question arising here is the following: “How is our normalization
of the Haar measure related to the canonical normalization defined by using the
Killing form on sln (R)?”
To answer to this question we can compare our formula with a result of
Harder [6], who computed the volume of SLn (Z)\X, where X is the symmetric
space SLn (R)/SOn . In order to do this comparison, note that by equation (5.2)
we have
n
Y 1 Y
√ n−1
2
ζ(i)
2i−1 i! i=2
vol(Γ\G)
i=1
=
.
(3)
vol(SLn (Z)\X) =
i
n
Y
vol(SOn )
π2
n
(n−1)(
+1)
4
2
Γ( 2i )
i=2
11

By Harder’s formula, we obtain that this volume in the canonical normalization is given by
n−1
Y

vol1 (SLn (Z)\X) =

i!

n
Y

i=1

i=2

(2π)

n(n+3)
2

ζ(i)
2τ n!

,

(4)

where τ = n if n is odd and τ = n − 1 if n is even.
We see that these volumes differ by a factor given by
2
vol1 (SLn (Z)\X)
=
C1 (n) =
vol(SLn (Z)\X)

n2 −5n−2 −τ
4

n−1
Y 2
i!
i=1

n!π

n2 +5n+2
4

n
 i ,
Y
Γ
2
i=2

(5)

where τ = n if n is odd and τ = n − 1 if n is even. We note that again
by using Stirling’s formulas, we obtain that C1 (n) grows assymptotically with
2
n like eκn , for some positive constant κ.
The same renormalization can be applied to (1) in order to obtain the volumes of Siegel sets in the symmetric spaces with respect to the standard normalization of the measure.

6

Bounding the number of intersecting domains

Another relevant consequence of this work is the following corollary:
Corollary 6.1. Let N be the cardinality of the set I := {γ ∈ Γ; γΣ ∩ Σ 6= ∅},
vol(Σ)
where Σ = Σ 21 , √2 . Then N ≥ C(n) = vol(Γ\G)
.
3

Proof. As Σ is a S
Siegel set, it must contain a fundamental domain F for Γ. We
affirm that Σ ⊂
γF.
γ∈I

Indeed, given x ∈ Σ, if x ∈ F, there is nothing to prove. If x ∈
/ F, as the
images of F tesselate SLn (R) we must have x ∈ γF, for some Id 6= γ ∈ Γ. As
γF ⊂ γΣ, we obtain x ∈ γΣ ∩ Σ, and thus γ ∈ I. Therefore the inclusion above
is true.
From this we obtain N vol(Γ\G) = N vol(F) ≥ vol(Σ) and thus N ≥ C(n),
as stated.
In his recent work [8], Martin Orr shows in a more general setting that given
a reductive algebraic group G defined over Q, a general Siegel set Σ ⊂ G(R)
for some arithmetic subgroup Γ ⊂ G(Q), and θ ∈ G(Q), there exists an upper
bound for the height of elements γ ∈ Γ such that θΣ ∩ γΣ 6= ∅. The height of
an element is defined by:
H(γ) = max H(γij ),
1≤i,j≤n

where given a rational number a/b, H(a/b) is defined as the maximum of the
absolute values of a and b. Orr shows that, given any element γ of the set
ΣN,D := ΣΣ−1 ∩ {γ ∈ G(Q), detγ ≤ N and the denominators of γ are ≤ D} ,
12

there exists some constant C1 , depending on the group G, on the Siegel set Σ
and on the way the group G is embedded in some GLn (R), such that
2

H(γ) ≤ C1 N n Dn ,
where N = |detγ| and D is the maximum of the denominators of entries of γ.
Note that for Γ = SLn (Z), the set I defined above is contained in ΣN,D .
In this section we are going to compare this result with ours, i.e., to see what
happens in the case when G = SLn (R) and Γ = SLn (Z). Note that in this case,
for any γ ∈ Γ, we have N = |detγ| = 1 and also D = 1 because the entries of γ
are all integers. Thus Orr’s result gives us, for this case,
H(γ) ≤ C1 (n).
By the definition, the height of an element γ ∈ SLn (Z) is equal to |γ|max .
Therefore, his result turns to
|γ|max ≤ C1 (n), for any γ ∈ ΣΣ−1 .
By Example 1.6 on page 5 of [3], the set {γ ∈ SLn (Z); kγk ≤ C1 (n)} has
2
cardinality of assymptotic order cn C1 (n)(n −n) , with cn → 0 as n → ∞. Thus
if we assume that n is sufficiently large, we can suppose that cn <  for some
 > 0 fixed. Therefore, we have
2

|{γ ∈ SLn (Z); kγk ≤ C1 (n)}| ≺ C1 (n)(n

−n)

,

where the notation f (n) ≺ g(n) used above means that there exists a positive
constant C such that for sufficiently big n, we have f (n) ≤ Cg(n).
Note that the result in [3] is proved for the Euclidean norm k.k in Mn×n and
we know that kγk ≤ n |γ|max . Thus
2

|{γ ∈ SLn (Z); |γ|max ≤ C1 (n)}| ≺ (nC1 (n))(n

−n)

.

We are going to show that
C1 (n) ≤ e
From this we obtain that |I| ≺ e

n4
2

ln(n)

n2 −n
ln(n)
2

.

. Hence we have:

Corollary 6.2. For Γ = SLn (Z) in SLn (R) and I defined above, there exist
constants c1 , c2 > 0 such that
3

ec1 n ≤ |I| ≤ ec2 n

4

ln(n)

.

In order to obtain the second inequality we adapt the proofs in [8] for the
SLn (R) case, with the difference that we give explicit values for the constants.
Definition 6.1. Let γ ∈ I. From this element, we can define:
• A partition of {1, . . . , n} (with respect to γ) is a list of disjoint subintervals
of {1, . . . , n}, which we call components, whose union is all of {1, . . . , n}
and such that:
13

– γ is block upper triangular with respect to the chosen partition;
– γ is not block upper triangular with respect to any other finer partition of {1, . . . , n};
2

• A leading entry of γ is a pair (i, j) ∈ {1, . . . , n} such that γij is the
leftmost non-zero entry of the i-th row of γ.
For a concrete description of what are the possible partitions in the GL3
case see Section 3.2 of [8].
We will make use of the following lemma whose proof can be found in [8]:
Lemma 6.1. If i, j are in the same component, then there exists a sequence of
indices i1 , . . . , is such that i1 = i, is = j and
(∗) For every p ≤ s − 1, either ip ≤ ip+1 or (ip , ip + 1) is a leading entry.
In the proof of the following lemmas for the GLn case, Martin Orr uses the
notation A  B meaning that there exists a constant C, depending on n, such
that |A| ≤ C |B|. Our point here is to compute such constants so that we can
make explicit the value of C1 (n).
√
Lemma 6.2. If (i, j) is a leading entry of γ, then αj ≤ nβi .
Proof. For any γ ∈ ΣΣ−1 , we can write γ = νβκα−1 µ−1 , with κ ∈ SOn ,
ν, µ ∈ N 12 and α, β ∈ A √2 . This gives us the equation γµα = νβκ. We will
3
compare the lengths of the i-th rows on each side of this equation.
As κ ∈ SOn , multiplying by κ on the right does not change the length of
each row. If we expand out lengths we obtain
n X
n
n

X
X
2 2
γiq µqp αp2 =
νip
βp .
p=1

q=1

p=1

As ν is upper triangular, the non-zero terms on the right hand side of the
last equation must have p ≥ i. By the definition of At , for all p ≥ i we have
βp ≤

1
βi ≤ βi ,
t(p−i)

where in the second inequality we used that t =
Since ν ∈ N 21 , |νip | ≤ 1 for any i, p. Alltogether,
n
X

2 2
νip
βp ≤

p=1

n
X
p=1

2 2
νip
βp ≤

n
X

√2
3

and p ≥ i imply

1
t(p−i)

≤ 1.

βp2 ≤ (n − i)βi2 ≤ nβi2 .

p≥i

On the other hand, by looking at the left hand side of the equation, we
obtain:
n
n X
n
X


X
2
γiq µqj αj ≤
γiq µqp αp2 .
q=1

p=1

q=1

As (i, j) is a leading entry, we can only have γiq 6= 0 if q ≥ j. But as µ is upper
triangular, µqj 6= 0 implies q ≤ j. Thus the only non-zero term in the first sum
is the one for q = j and then we get
n
X

2 2 2
2 2
γiq µqj αj2 = γij
µjj αj = γij
αj .
q=1

14

Note that γij 6= 0 and that as γ has integer entries, we must have |γij | ≥ 1,
2
which implies γij
≥ 1.
Altogether, we obtain
√
2
αj2 ≤ αj2 γij
≤ nβi2 ⇒ αj ≤ nβi ,
from what we conclude the proof.
Lemma 6.3. For all k ∈ {1, . . . , n}, αk ≤

√

nβk .

Proof. We affirm that there must exist a leading entry (i, j) such that j ≤ k ≤ i.
To prove this notice that as γ is invertible, there must exist i ≥ k such that
the i-th row of γ contains a non-zero entry in the k-th column or to its left
(otherwise the leftmost k columns of γ would have rank less than k). Choose j
so that γij is the leading entry of γ in the i-th line and it will satisfy j ≤ k as
claimed.
By Lemma 6.2 and by the definition of At we obtain
√
√
√
1
1
αk ≤ (k−j) αj ≤ nβi ≤ n (i−k) βk ≤ nβk .
t
t
√
Lemma 6.4. For all j ∈ {1, . . . , n}, βj ≤ ( n)n−1 αj .
Proof. As α and β are diagonal with positive real entries, we have (by using
Lemma 6.3 in the inequality)
βj det(α) = βj

n
Y

Y
√
√
αk ≤ βj αj ( n)n−1
βk = ( n)n−1 αj det(β).

k=1

But as det(β) = det(α) = 1,

k6=j

√
βj ≤ ( n)n−1 αj

and the lemma is proved.
√ 2
Lemma 6.5. If i and j are in the same component, βj ≤ ( n)n −n αi .
Proof. We can apply Lemma 6.1 to obtain a sequence i1 = i, . . . , is = j such
that for any p ∈ {1, . . . , s} , we have either ip ≤ ip+1 or (ip , ip+1 ) is a leading
entry. We take this subsequence as the
√ smallest possible.
If ip ≤ ip+1 then as α ∈ At and ( n)n ≥ 1, we get
√
αip
≥ tip+1 −ip ≥ 1 ⇒ αip+1 ≤ αip ≤ ( n)n αip .
αip+1
On the other hand if (ip , ip+1 ) is a leading entry then by Lemmas 6.2 and 6.4
we have
√
√
αip+1 ≤ nβip ≤ ( n)n αip .
If we apply the last inequality successively we get to
√
αj = αis ≤ ( n)n(s−1) αi .
Now we just apply Lemma 6.4 and notice that s ≤ n to obtain
√
√ 2
βj ≤ ( n))n−1 αj ≤ ( n)n −1 αi .

15

We write
Q = {g ∈ G; g is block upper triangular according to the components of γ} ;
L = {g ∈ G; g is block diagonal according to the components of γ} .
We affirm that κ ∈ L. Indeed, as the matrices γ, µ, α, β and ν are in Q by
the construction, we also have κ ∈ Q. On the other hand, if a matrix is block
upper triangular and is also orthogonal, then it is block diagonal. Thus κ ∈ L.
Lemma 6.6. If i, j ∈ {1, . . . , n}, then |γij | ≤ C1 (n) = n

n2 −n
2

.

Proof. Write γ = νβκα−1 µ−1 . Because α, β are diagonal, the pq-th entry of
βκα−1 is βp κpq αq−1 .
If p and q are not in the same component, as κ ∈ L, we get that κpq = 0.
On the other hand, if they are in the same component, then by Lemma 6.5
√ 2
βp κpq αq−1 ≤ κpq ( n)n −1 .
By the definition of SOn , |κ|max ≤ 1 for every κ ∈ SOn . Therefore
√ 2
βp κpq αq−1 ≤ ( n)n −1 .
As we have µ, ν ∈ N 12 , we have |µ|∞ , |ν|∞ ≤ 1. Altogether, we obtain
√ 2
|γij | ≤ ( n)n −1 .

Therefore we conclude the proof that H(γ) ≤ C1 (n), where
√ 2
n2 −1
C1 (n) = ( n)n −1 = e 2 ln(n)
and this finishes the proof of Corollary 6.2.

Acknowledgements
I would like to thank Professor Mikhail Belolipetsky for several suggestions on
the development of this paper and also on the text. I also thank Paul Garret
and Martin Orr for their very helpful works and for always answering my emails
with good suggestions, and Cayo Dória for helping me to understand better
some topics. Finally, I also thank the refferee for carefully reading the paper
and for giving suggestions that improved the presentation of the results.

References
[1] Borel, A.: Introduction aux Groupes Arithmètiques. Hermann, Paris (1969).
[2] Borel, A. and Harish-Chandra.: Arithmetic subgroups of algebraic groups.
Ann. of Math. 75, 485–535 (1962).

16

[3] Duke, W.; Rudinick, Z. and Sarnak, P.: Density of Integer Points on Affine
Homogeneous Varieties. Duke Math. J., Vol.71, No.1, 143-179 (1993).
[4] Garret, P.: Volume of SLn (Z)\SLn (R) and Spn (Z)\Spn (R). Paul Garrett’s
homepage
http://www-users.math.umn.edu/∼garrett/m/v/volumes.pdf
(2014). Accessed 07 November 2017.
[5] Habegger, P. and Pila, J.: Some unlikely intersections beyond André–Oort.
Compos. Math. 148, 1-27 (2012).
[6] Harder, G.: A Gauss-Bonnet formula for discrete arithmetically defined
groups. Ann. Sci. Ec. Norm. Supér. 4e série, tome 4, n° 3, 409-455 (1971).
[7] Morris, D. W.: Introduction to Arithmetic Groups. Deductive Press, United
States (2015).
[8] Orr, M.:
Height bounds
arXiv:1609.01315v3 (2016).

and

the

Siegel

property.

Preprint,

[9] Siegel, C.L.: Einführung in die Theorie der Modulfunktionen n-ten Grades.
Math. Ann 116, 617–657 (1939).
[10] Siegel, C.L.: A Mean Value Theorem in Geometry of Numbers. Annals of
Mathematics Vol 45, No 2 (1945).
[11] Siegel, C.L.: Lectures on the Geometry of Numbers. Springer-Verlag, Berlin
(1989).
[12] Stein, E. M. and Weiss, G. L.: Introduction to Fourier Analysis on Euclidean Spaces. Princeton Math. Ser. 32, Princeton Univ. Press, Princeton,
NJ (1971).
[13] Venkataramana, T.N.: Lattices in Lie Groups. In Workshop on Geometric
Group Theory, India (2010).
[14] Young, R.: The Dehn function of SLn (Z). Ann. of Math. 177, 969–1027
(2013).

17

