arXiv:1705.08158v1 [math.GR] 23 May 2017

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN
PRODUCTS
URI BADER, ALEX FURMAN, AND ROMAN SAUER

Abstract. In this paper we prove that, under mild assumptions, a lattice in
a product of semi-simple Lie group and a totally disconnected locally compact
group is, in a certain sense, arithmetic. We do not assume the lattice to be
finitely generated or the ambient group to be compactly generated.

1. Introduction and statement of the main result
1.1. Motivation. Our goal in this paper is to show that, under mild conditions,
a lattice Γ in a product of a semi-simple Lie group H and a totally disconnected
locally compact group D is – what we will call – arithmetically constructed. Under
the assumption that Γ < H × D is irreducible and Γ is finitely generated or D
is compactly generated such arithmeticity results are obtained by Caprace-Monod
in [8]. In this work we drop these assumptions and obtain an adelic arithmeticity
result for lattices in H × D. An application will appear in [2].
The exact formulation of the main result is given in Theorem 1.5 below. Before
formally stating it we will provide some motivation and an idea of what arithmetically constructed means. A prototypical example is the lattice embedding
Y′
PGL2 (Q) < PGL2 (A) ∼
PGL2 (Qp ).
= PGL2 (R) ×
p

Here the factor PGL2 (R) is a connected, Q
center-free semi-simple, real Lie group.
′
we denote restricted products in the
Further, A denotes the ring of adeles. By
sense of adeles: for almost all places p the corresponding element lies in PGL2 (Zp ).
A similar example is
Y′
SL2 (Qp ).
SL2 (Q) < SL2 (A) ∼
= SL2 (R) ×
p

Despite the similarity, note that the image of SL2 (Q) in PGL2 (A) under the obvious map
SL2 (Q) → SL2 (A) → PGL2 (A)
is not a lattice. Indeed, it is of infinite index in the lattice PGL2 (Q), as can be
seen by the exact sequence
1 → {+1, −1} → SL2 (Q) → PGL2 (Q) → Q∗ /(Q∗ )2 → 1.
Intermediate subgroups between PGL2 (Q) and the image of SL2 (Q) are arithmetically constructed lattices in the sense of Definition 1.3. A special case of our main
U.B. and A.F. were supported in part by the BSF grant 2008267.
A.F. was supported in part by the NSF grants DMS 1611765.
1

2

URI BADER, ALEX FURMAN, AND ROMAN SAUER

result identifies, under mild conditions, an arbitrary lattice in PGL2 (R) × D with
an arithmetically constructed lattice.
1.2. Notation and basic setup. Throughout, let K be a number field with ring
of integers O. Let V be the set of inequivalent valuations (places) of K, let V ∞
denote the archimedean ones, and V fin = V − V ∞ the non-archimedean ones (finite
places). Given a subset S ⊂ V we set S ∞ = S ∩ V ∞ and S fin = S ∩ V fin . We let
O[S] := {x ∈ K | |x|ν ≤ 1 for all ν ∈ V fin − S}
be the ring of S-integers in K. For a semi-simple K-algebraic group H we denote
by HS the (truncated) S-adeles of H, that is, the restricted product
Y

HS := (xν ) ∈
H(Kν ) | xν ∈ H(Oν ) for almost all ν ∈ S .
ν∈S

H#
S

We let
be the closure in HS of the image of H(K) under the diagonal embedding.
For a field extension k of K we denote by H(k)+ < H(k) the normal subgroup
as defined in [5, Section 6]. Since k is perfect, H(k)+ is the subgroup generated by
all unipotent elements and it has finite index in H(k). If ν ∈ V ∞ , then H(Kν )+
is just the connected component of the identity in the real Lie group H(Kν ). We
denote by H+
S the restricted product
Y

H+
H(Kν )+ | xν ∈ H(Oν ) for almost all ν ∈ S .
S := (xν ) ∈
ν∈S

Note that if S is finite, then
Y
HS =
H(Kν ),

H+
S =

ν∈S

Y

H(Kν )+ .

ν∈S

In this case H+
S < HS has finite index. In general, this is false for infinite S.
Definition 1.1. In the above context S is said to be compatible with H if the
following hold:
(1) For every ν ∈ S, H is Kν -isotropic.
(2) S contains all ν ∈ V ∞ for which H is Kν -isotropic.
(3) S contains at least one finite and one infinite place.
1.3. Arithmetically constructed lattices. The definition of arithmetically constructed lattices builds on the following proposition which we prove in Section 4.
Proposition 1.2. For every i ∈ {1, . . . , n} let Ki be a number field, Hi be a
connected, non-commutative, absolutely simple, adjoint Ki -group, and Si ⊂ Vi be
a (possibly infinite) subset of places of Ki which is compatible with Hi . Then the
following hold.
(1) (Hi )+
is an open subgroup of (Hi )#
for every i ∈ {1, . . . , n}.
Sifin
Sifin
(2) For every subgroup
A<

n 

Y
+
/(H
)
(Hi )#
i
fin
fin
S
S
i

i=1

i

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

3

Qn
let DA < i=1 (Hi )#
be the preimage of A under the quotient map, and let
Sifin
Qn
ΓA < i=1 Hi (Oi [Si ]) be the preimage of DA under the product of diagonal
embeddings Hi (Oi [Si ]) → (Hi )#
. The via the diagonal embedding
S fin
i

ΓA <

n
Y

(Hi )Si∞ × DA

i=1

is a lattice.
Q
Definition 1.3. A subgroup of ni=1 Hi (Ki ) is an arithmetically constructed lattice
if it contains the group ΓA from Proposition 1.2 as a subgroup of finite index for
some subgroup
n 

Y
.
(Hi )#
/(Hi )+
A<
S fin
S fin
i

i

i=1

Example 1.4. We continue the example from Subsection 1.1. Here K = K1 = Q,
n = 1, Q
H = H1 = PGL2 and S fin = S1fin consists of all finite primes. Let
′
Afin =
p6=∞ Qp be the ring of finite rational adeles. The determinant morto a morphism from
phism det : Gm (Afin ) → A∗fin /(A∗fin )2 modulo squares descends Q
PGL2 (Afin ). The group A∗fin of ideles is the subset of (xp ) ∈ p6=∞ Q∗p such that
xp ∈ Z∗p for almost all primes p. Identifying the p-adic units Q∗p with Z∗p × Z we
obtain an isomorphism
Y
M
Gm (Afin ) ∼
Z∗p ×
Z
=
p6=∞

p6=∞

of topological groups and a commutative diagram of topological groups:
L
Q′
Q
det
∗
GL2 (Afin )
GL2 (Qp )
p6=∞ Z
p6=∞ Zp ×
PGL2 (Afin )

Q′

PGL2 (Qp )

det

Q

∗ 2
∗
p6=∞ (Zp )/(Zp )

×

L

p6=∞

Z/2Z

In this example we have


M
H#
= det−1 {1} ×
Z/2Z
S fin
p6=∞

H+
= ker det .
S fin
#
+
Thus the
Lquotient HS fin /HS fin appearing in the previous definition is here isomorphic to p6=∞ Z/2Z.

1.4. Main result. The main goal of this paper is to establish the following partial converse of Proposition 1.2 which is an arithmeticity theorem for lattices in
products. We use the abbreviation tdlc for totally disconnected locally compact
groups.
Theorem 1.5.
Let H be a connected, center-free, semi-simple, real Lie group without compact
factors, D be a tdlc group and Γ < H × D be a lattice. Assume that
(1) the projection Γ → D has a dense image,
(2) the projection Γ → H has a dense image,

4

URI BADER, ALEX FURMAN, AND ROMAN SAUER

(3) the projection Γ → H is injective.
Then there exist number fields K1 , . . . , Kn , connected, non-commutative, absolutely
simple, adjoint Ki -groups Hi , and (possibly infinite) compatible subsets Si ⊂ Vi of
places of Ki (see Definition 1.1) with the following properties: There is a topological
isomorphism
n
Y
∼
(Hi )0Si∞
H=
i=1

and a short exact sequence 1 → C → D → Q → 1 of topological groups, where C is
compact, and Q is a closed intermediate subgroup
n
n
Y
Y
+
(Hi )Sifin
(Hi )S fin < Q <
i

i=1

i=1

so that the inclusion Γ < H × D is contained in the image of
n
n
Y
Y
(Hi )Si ,
Hi (Ki ) →
i=1

i=1

Qn

and, identifying Γ with a subgroup of i=1 Hi (Ki ), Γ is an arithmetically constructed lattice as in Definition 1.3.
Furthermore, compact generation of D, finite generation of Γ, and finiteness of
all Si ⊂ Vi , are equivalent conditions. If they hold, each (Hi )+
Si has finite index
,
so
up
to
commensurability
Γ
is
the
product
of
S
-arithmetic
lattices
in
(H
)
i
i
S
i
Qn
i=1 Hi (Oi [Si ]) diagonally embedded in
H × D/C ≃

n
Y

i=1

HSi ≃

n
Y

H+
Si

i=1

where ≃ means being commensurable.
Remark 1.6. This result is an important ingredient in our work on lattice envelopes [2] (see also the announcement [1]). In this application finite generation
and irreducibility of Γ are not known a priori.
For finitely generated Γ or compactly generated D, such results are proved by
Caprace and Monod [8, Section 5]. Our approach is different except for step (i)
below that uses Margulis’ commensurator criterion for arithmeticity.
An adelic analog of Margulis’ arithmeticity where ones assumes the ambient
group of algebraic origin is proved by Oh [13].
1.5. Strategy of proof. The proof of Theorem 1.5 can be roughly divided into
the following steps:
(1) Choosing a compact open subgroup U < D, we observe that the projection
∆ of Γ ∩ (H × U ) to H is a lattice in H, commensurated by the projection
Λ of all of Γ to H. Then Margulis’ commensurator superrigidity theorem provides the arithmetic structure of ∆ yielding the algebraic groups
H1 , . . . , Hn , the product of which defines the arithmetic structure on H.
(The possible multitude of these groups corresponds to the possibility that
∆ is reducible).
Q
(2) The commensurator of ∆ in H can be identified with the image of Hi (Ki ),
and Λ ∼
= Γ is viewed as a subgroup of the latter. Considering the projections of Γ to various finite places we identify (see Theorem 3.7) the sets Sifin

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

5

of the non-archimedean places, so that on one hand
n
Y
Hi (Oi [Si ]),
Γ<
i=1

Qn
and on the other the closure Γ of the projection of Γ to i=1 (Hi )Si contains
Qn
+
+
i=1 (Hi )Si . (If Si is finite then (Hi )Si has finite index in (Hi )Si ).
(3) Next we construct a continuous surjective homomorphism
Q with compact
kernel from D to the closure of the diagonal image of Γ in (Hi )Sifin . This
step is conceptualized in the notion of representations of commensurable
pairs (cf. Section 5). This identifies Γ as an arithmetically constructed
lattice.
(4) Finally, finite generation of Γ, finiteness of each Si , and compact generation
of D turn out to be equivalent.
2. Generalities on lattices
For later use we collect here some lemmas about lattices in locally compact
groups.
Lemma 2.1 ([15, Theorem 1.13 on p. 23]). Let G be a locally compact second
countable group and N ⊳ G a normal closed subgroup. The projection of a lattice
Γ < G to G/N is discrete if and only if Γ ∩ N is a lattice in N . If so, then the
projection of Γ to G/N is also a lattice.
Lemma 2.2. [15, Lemma 1.6 on p. 20] Let G be a locally compact group, and
H < L < G closed subgroups. Then H < G has finite covolume if and only if both
L < G and H < L have finite covolumes.
The following easy lemma is well known (cf. [7, 2.C]).
Lemma 2.3. Let Γ < G be a lattice in a locally compact second countable group.
Let U < G be an open subgroup. Then Γ ∩ U is a lattice in U .
3. Around Margulis’ super-rigidity for commensurators
Throughout, let K be a number field and H a connected almost simple Kalgebraic group. We also retain the notation from Section 1.2.
Let ν be a place of K. Whenever we consider the O-points or Oν -points of H
for some place ν we pick an embedding H < GLn in advance and set H(O) =
GLn (O) ∩ H(K) and similarly for Oν . Let H̃ be the simply connected cover of H
(in the algebraic sense) and i : H̃ → H be the canonical central isogeny. Since i is
defined over K but not necessarily over Oν for a place ν of K we do not necessarily
have i(H̃(Oν )) ⊂ H(Oν ). But according to the following result there are only
finitely many exceptional places.
Lemma 3.1 ([12, Lemma 6.6 on p. 295]). For all but finitely many finite places ν,
the central isogeny i is defined over Oν , thus i(H̃(Oν )) ⊂ H(Oν ).
Let E1 be the set of exceptional places from the previous lemma, and let E2 be
the of exceptional places described by the next lemma.
Lemma 3.2 ([16, 3.9.1 on p. 55]). For all but finitely many finite places ν, H(Oν ) <
H(Kν ) is a maximal compact subgroup. Similarly for H̃.

6

URI BADER, ALEX FURMAN, AND ROMAN SAUER

Let ν 6∈ E1 ∪ E2 . Then i−1 (H(Oν )) is a compact subgroup that contains H̃(Oν ).
Hence it coincides with it. We record this for later use:
Corollary 3.3. For all but finitely many finite places ν, i−1 (H(Oν )) = H̃(Oν ).
Lemma 3.4. Let I ⊂ V fin be the set of finite places ν of K such that H is Kν isotropic. Let J ⊂ I. Assume HV ∞ is not compact. Then:
(1) The image of i : H̃J → HJ equals H+
J.
+
(2) H+
<
H
is
closed,
and
the
map
H̃
J
J → HJ is open.
J
#
(3) H+
J is an open subgroup of HJ .
Proof.
(1) For every ν ∈ J by [11, Corollary I.2.3.1(a)] and [11, Corollary I.1.5.5],
i(H̃(Kν )) = i(H̃(Kν )+ ) = H(Kν )+ . By [11, Corollary I.2.3.1(b)] H(Kν )+ is closed
in H(Kν ). With Lemma 3.1 we obtain that i(H̃J ) ⊂ H+
J . For the reverse inclusion,
consider an element (xν )ν∈J ∈ H+
.
For
each
ν
∈
J
let
yν ∈ H̃(Kν ) be a pre-image
J
of xν , so i(yν ) = xν . Since xν ∈ H(Oν ) for all but finitely many ν, we also have
yν ∈ H̃(Oν ) for all but finitely many ν. In other words, (yν )ν∈J ∈ H̃J , and we
proved that i(H̃J ) = H+
J.
Q
(2) Note that HJ as a topological space is the colimit of H+
J−S H(Oν )
S ×
running over finite subsets S ⊂ J. The subgroup H+
<
H
is
closed
since
for every
J
J
finite subset S ⊂ J the intersection


Y

Y
+
+
+
H+
∩
H
×
H(O
)
=
H
×
H(O
)
∩
H(K
)
ν
ν
ν
J
S
S
J−S

J−S

is closed being the product of a closed and compact groups. By the open mapping
theorem [6, IX. §5.3] we conclude that the map H̃J → H+
J is open.
(3) By [12, Theorem 7.12] the simply connected group H̃ satisfies the strong
approximation property. Hence the image of H̃(K) in H̃J is dense which implies
#
that H+
J is a subgroup of HJ . To show that it is an open subgroup we first consider
fin
the case J =Q
V :
Let U = ν∈V fin H(Oν ); it is a compact open subgroup of HV fin . By Corollary 3.3 there is a finite subset E ⊂ V fin of exceptional places and compact open
subgroups Cν < H̃(Kν ) for ν ∈ E so that
i−1 (U ) =

Y

ν∈V fin \E

H̃(Oν ) ×

Y

Cν

ν∈E

Q
and i(H̃(Oν )) = H(Oν ) if ν ∈ V fin \E. In particular, i−1 (U ) and ν∈V fin H̃(Oν ) are
commensurable. Further, the groups i(H̃(O)) and H(O) are commensurable within
Q
H(K) by [11, Corollary I.3.2.9], and H(O) is dense in H#
∩ ν∈V fin H(Oν ). We
V fin
is open in H#
by proving that the closed subgroup
prove that i(H̃V fin ) = H+
V fin
V fin
#
+
(see (2)) HV fin ∩ U < HV fin ∩ U has finite index, thus is open. This follows from
the following commutative diagram which collects the information obtained so far.

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

Q

H̃(O)

ν∈V fin

7

H̃(Oν )
commen.

i−1 (U )

H̃V fin
i

i

i(H̃(O))

H+
∩U
V fin

H+
V fin

H#
∩U
V fin

H#
V fin

commen.

H(O)

dense

The diagram shows that there is a subgroup L < i(H̃(O)) ∩ H(O) < H(K) that
has finite index in H(O) such that the induced homomorphism
H(O)/L → H#
∩ U/H+
∩U
V fin
V fin
has dense image. Since the left hand side is finite, it is surjective and so the right
hand side is finite too.
Next we show the openness statement for general J. Note that
Q the projection
H
fin → HJ , which is locally given as the proper homomorphism
V
ν∈V fin H(Oν ) →
Q
ν∈J H(Oν ), sends closed groups to closed groups. It follows that the image of
#
#
H#
is H#
J , and p : HV fin → HJ is open by the open mapping theorem [6, IX.
V fin
#
§5.3]. We conclude that of H+

J = i(H̃J ) = p(i(H̃V fin )) < HJ is open.
Lemma 3.5. Let K be a number field and H be a connected, almost simple Kalgebraic group. Assume HV ∞ is not compact. Let I ⊂ V fin be the set of nonarchimedean places ν such that H is Kν -isotropic. Let Σ be a subgroup of H(K)
which contains a finite index subgroup of H(O). Then the closure of the image of
Σ in HI contains an open subgroup of H+
I .
Proof. We let i : H̃ → H be the canonical central isogeny, where H̃ denotes the
simply connected cover of H. By [12, Theorem 7.12] the simply connected group
H̃ satisfies the strong approximation property. In particular, the image of H̃(K) in
Q
H̃I is dense. It follows that the image of H̃(O) is dense in ν∈I H̃(Oν ). Therefore
the image of any finite index subgroup of H̃(O) has an open closure in H̃I , and so
is the closure of the image of i−1 (Σ). By Lemma 3.4 the image of H̃I → HI is H+
I
and the map H̃I → H+
I is open, hence we are done by the commutativity of the
obvious diagram
H̃(K)

H̃I


H(K)

HI

Theorem 3.6. Let K be a number field and H be a connected, adjoint, almost
simple K-algebraic group. Assume HV ∞ is not compact. Let Σ be a subgroup of
H(K) which contains a finite index subgroup of H(O). Let S be the set of places ν
of K such that Σ is unbounded in H(Kν ). Then the following hold:

8

URI BADER, ALEX FURMAN, AND ROMAN SAUER

(1) The closure of the projection of Σ to HS fin contains H+
and it has no
S fin
non-trivial compact normal subgroups.
(2) The closure of the projection of Σ to HV−S is compact.
(3) A finite index subgroup of Σ is contained in H(O[S]).
Proof. In the proof we will use LJ to denote the closure of the diagonal embedding
of Σ in HJ for J ⊂ V. We will also use Lν = L{ν} .
(1) For ν ∈ S, Lν is unbounded. By [11, Corollary I.2.3.1(c2)], H(Kν )/H(Kν )+
is finite, thus Lν ∩ H(Kν )+ is unbounded. By Lemma 3.5, Lν ∩ H(Kν )+ is open in
H(Kν )+ . It follows from [14, Theorem T] that H(Kν )+ < Lν . The group generated
by the groups H(Kν )+ for ν ∈ S is dense in H+
S . Since LS contains an open
+
subgroup of H+
by
Lemma
3.5,
it
actually
contains
H+
S
S , that is HS < LS < HS .
Assume N < LS is a non-trivial compact normal subgroup. Then there exists ν ∈ S
such that the image of N , N̄ , is non trivial under the projection HS → H(Kν ).
By [11, Theorem I.1.5.6(i)], either H(Kν )+ < N̄ or N̄ is central. Both cases are
impossible, the first by the compactness of N and the second by H being adjoint.
(2) First we define two finite exceptional sets F1 , F2 ⊂ V fin of finite places. We
let i : H̃ → H again denote the canonical central isogeny of the simply connected
form H̃ of H.
According to Lemma 3.2 and Corollary 3.3 there is a finite set F1 of finite places
such that for ν ∈ V fin − F1 we have that i−1 (H(Oν )) = H̃(Oν ) and both H̃(Oν )
and H(Oν ) are maximal compact subgroups in H̃(Kν ) and H(Kν ), respectively.
For ν ∈ V fin − F1 , H(Oν ) is the unique compact open subgroup of H(Kν ) that
contains i(H̃(Oν )). To see this consider the Bruhat-Tits building of H(Kν ) with
its H̃(Kν )-action via i. The subgroup H̃(Oν ) has a unique fixed point, hence it is
contained in a unique maximal compact of H(Kν ).
Next we define F2 . By [12, Theorem 7.12] the simply connected group H̃ satisfies
the strong approximation property. In particular, the image of H̃(K) in H̃V fin is
Q
dense. It follows that the image of H̃(O) is dense in ν∈V fin H̃(Oν ). Therefore the
image of any finite index subgroup of H̃(O) has an open closure in H̃V fin . Hence
i−1 (Σ) < H̃V fin is open. It follows that i−1 (Σ) contains a finite index subgroup of
Q
the compact group V fin H̃(Oν ). Hence there exists a finite set F2 ⊂ V fin such that
for every ν ∈ V fin − F2 , H̃(Oν ) < i−1 (Σ).
We now fix ν ∈ V fin − S − F1 − F2 and claim that Lν < H(Oν ). Observe first
that i−1 (Lν ) = H̃(Oν ). Indeed, i−1 (Lν ) is a compact group because of ν ∈
/ S that
contains H̃(Oν ) because of ν ∈
/ F2 . Hence it coincides with it because of ν ∈
/ F1 .
It follows i(H̃(Oν )) < Lν , and the claim follows by the fact that for ν ∈ V fin − F1 ,
H(Oν ) is the unique maximal compact subgroup which contains i(H̃(Oν )).
We conclude that LV −S is contained in the compact group

 

Y
Y
H(Oν ) ,
Lν ×
(V−S)∩(V ∞ ∪F1 ∪F2 )

V−S−(V ∞ ∪F1 ∪F2 )

hence it is compact, proving our second point.
Q
(3) By compactness a finite index subgroup of LV fin −S is contained V fin −S H(Oν ),
hence its preimage in Σ is contained in H(O[S]).

Note that in the setting of Theorem 3.6, HS ∞ is a center-free, semisimple real
Lie group without compact factors, the image of H(O) in HS ∞ under the diagonal

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

9

embedding is an irreducible lattice which is commensurated by the image of Σ.
Moreover, S fin 6= ∅ if and only if H(O) is of infinite index in Σ. The following is a
sort of a converse to this situation.
Theorem 3.7 (Commensurator Super-Rigidity).
Let H be a connected, center-free, semisimple real Lie group without compact factors. Let ∆ < H be an irreducible lattice. Let Λ be a group such that ∆ < Λ <
CommenH (∆) and [Λ : ∆] = ∞. Then there exist a number field K, a set of
places S, a connected, adjoint, almost simple K-algebraic group H and a subgroup
≃
Σ < H(K) and an isomorphism of topological groups φ : H0S ∞ −
→ H so that
φ−1 (Λ) equals the diagonal image of Σ in HS ∞ ,
φ−1 (∆) in Σ is commensurated with H(O).
a finite index subgroup of Σ is contained in H(O[S]).
The closure of the projection of Σ to HS fin contains H+
and it has no
S fin
non-trivial compact normal subgroups.
(5) S is compatible with H (see Definition 1.1).
(1)
(2)
(3)
(4)

Proof. Let G be the Zariski closure of the image of H in its adjoint representation.
Then G is a real algebraic group and Ad(H) = G(R)0 (see the beginning of Section 6 of [11, IX]). By the center-free assumption on H, H ∼
= Ad(H). Thus we may
and will identify H with G(R)0 .
We apply [11, Theorem IX.6.5] and get that ∆ is arithmetic in G. For the
definition of arithmeticity see [11, Definitions IX.1.4]. According to this definition
there exists a number field K, a connected non-commutative absolutely almost
simple K-algebraic group H̃, a finite set of places T ⊂ V containing all archimedean
places ν for which H̃ is Kν -isotropic and a continuous homomorphism φ̃ : H̃T →
G(R) such that φ̃(H̃(O[T ])) is commensurable with ∆, where O is the ring of
integers in K. By [11, Remark IX.1.6(i)] we may and will assume that H̃ is simply
connected (justifying our choice of notation).
Working through the intricate definition of the class Ψ appearing in [11, Definitions IX.1.4], which is given in [11, IX.1.3], and taking into account that G is an
R-group, we get that T ⊂ V ∞ . In particular, O[T ] = O and φ̃(H̃(O)) is commensurable with ∆. By [11, Remark IX.1.3(ii)], Ker(φ̃) is finite and H = G(R)0 < φ̃(H̃T ).
The facts above are also explained in [11, IX.1.5(*)].
Denoting by I ⊂ V ∞ the set of archimedean places ν such that H̃ is Kν -isotropic,
we get I ⊂ T ⊂ V ∞ . We denote by H the adjoint form of H̃. Let p be the
composition of the natural projection H̃T → H̃I and the isogeny H̃I → HI . By the
choice of I, p has a compact kernel. By [11, Theorem I.1.2.3.1(a’)], H̃I = H̃+
I and
0
by [11, Theorem I.1.5.5] its image in HI is H+
I , which equals HI by [11, Theorem
I.1.2.3.1(a)2)]. Note that H = G(R)0 = G(R)+ has no non-trivial compact normal
subgroups, by assumption. It follows from [11, Theorem I.1.5.6(i)] that also φ̃(H̃T )
has no normal subgroup, as it contains G(R)+ . From the compactness of Ker(p)
we conclude that φ̃ factors through the image of p, namely H0I . We denote the
map thus obtained by φ. Since the image of φ is a connected subgroup of G(R)
containing H, it must be H, and since H0I has no compact normal subgroups,
we may view φ as a continuous isomorphism, φ : H0I ∼
= H. By a standard Baire
category argument φ is also a homeomorphism. In particular, I 6= ∅.

10

URI BADER, ALEX FURMAN, AND ROMAN SAUER

By [11, Corollary I.3.2.9] the image of H̃(O) is commensurated with H(O) in
H(K), which we now embed diagonally in HI . Since φ̃(H(O)) is commensurated
with ∆ in H we conclude that φ−1 (∆) is commensurated with H(O) in HI .
Note that for every ν ∈ I, H(Kν ) is not compact. By Theorem A.6 the commensurator of H(O) in HI is H(K). Thus, φ−1 (Λ) is contained in the diagonal
image of H(K). We denote by Σ < H(K) its preimage. We can now consider the
preimage of ∆ in Σ and we conclude that it is commensurated with H(O). We are
now in the setting of Theorem 3.6, and everything else follows.

4. Arithmetically constructed lattices
Throughout, we retain the notation of Section 1.2 and fix number fields K1 , . . . , Kn ,
connected, non-commutative, absolutely simple Ki -groups Hi , and (possibly infinite) compatible subsets Si ⊂ Vi of places of Ki (see Definition
Q 1.1). By convention,
Qn
unspecified products are to be taken from 1 to n, e.g by Ki we mean i=1 Ki .
Q
Q
Lemma 4.1. (Hi )#
contains (Hi )+
as an open normal subgroup, and the
Sifin
Sifin
Q
Q
#
+
discrete group (Hi )S fin / (Hi )S fin is a torsion abelian group.
i

i

Q
Proof. By Theorem 3.6, (Hi )#
contains (Hi )+
. Normality is proved in [11,
Sifin
Sifin
I.2.3.1 (b)]. Openness follows from Lemma 3.4. The quotient is a torsion abelian
group by [11, I.2.3.1(c)].

Q

Proof of Proposition 1.2. By Lemma 4.1 we are left to show that
Y
ΓA <
(Hi )Si∞ × DA
is indeed a lattice. By reduction theory,
Y
Y
Y
Y
(Hi )Si∞ ×
(Hi )Sifin
Hi (Oi [Si ]) <
(Hi )Si =
Q
Q
Q
. The
is a lattice. By Lemma 2.2, Hi (Oi [Si ]) is a lattice in (Hi )Si∞ × (Hi )#
Sifin
claim follows from Lemma 2.3 and the openness statement in Lemma 4.1.

Q
Lemma 4.2. Let ΓQbe a subgroup of Hi (Ki ) and D be the closure of the diagonal
embedding of Γ to (Hi )Sifin . We assume:
Q
(1) Γ contains a finite index subgroup of Hi (OQi ).
(2) A finite index subgroup of Γ is contained in Hi (Oi [Si ]).
(3) (Hi )+
is contained in the projection of D to (Hi )Sifin for each i ∈ {1, . . . , n}.
S fin
i

Then Γ is an arithmetically constructed lattice.
Q
Proof. We first claim that (Hi )+
< D. Denote by D̃ the preimage of D in
Sifin
Q
(H̃i )Sifin . Then D̃ is open since it contains a finite index subgroup of the image
Q
of
H̃i (Oi ) which is dense in an open subgroup by strong approximation [12,
Theorem 7.12]. For each i and ν ∈ Sifin , D̃ ∩ H̃i (Kν ) is open in H̃i (Kν ) and
normal in D̃. Hence it is also normal in H̃i (Kν ) as D̃ → (H̃i )Sifin → H̃i (Kν ) is
surjective by the assumption that the projection D → (Hi )Sifin contains (Hi )+
.
S fin
i

By [11, Theorem I.1.5.6(i)] we get that H̃i (Kν ) < D̃. The group generated by these
Q
Q
is dense. Hence D̃ = (H̃i )Sifin . By Lemma 3.4 we conclude that (Hi )+
< D.
S fin
i

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

11

Q
Denote
Γ0 = Γ ∩ Hi (Oi [Si ]) and let D0 be the closure of the projection of Γ0
Q
to (Hi )Sifin . Then Γ0 < Γ and D0 < D are of finite index.
Q
We claim that the group (Hi )+
has no proper closed finite index subgroup.
S fin
i

Indeed, for every i and ν ∈ Sifin , by [11, Corollary I.1.5.7], the groups Hi (Kν )+
has
and the group generated by these is dense in
Q
Q no +proper finite index subgroup,
< D0 .
(Hi )S fin . We conclude that (Hi )+
S
i
i
Q
Q
#
By Lemma 4.1 (Hi )S fin / (Hi )+
is discrete. Since the image of Γ0 in D0
Sifin
i
Q
Q
is dense, they have the same image in (Hi )#
/ (Hi )+
, which we denote A.
Sifin
Sifin
With the notation of Proposition 1.2, clearly D0 = DA and Γ0 = ΓA . So Γ is
arithmetically constructed.

5. Representations of commensurable pairs

Recall that two subgroups of an (abstract) group are commensurable if their
intersection has finite index in both subgroups. A subgroup H of a group Λ is
commensurated if H and any conjugate λHλ−1 are commensurable. Commensurability is an equivalence relation. An invariant commensurability class in a group is
a commensurability equivalence class that is closed under conjugation.
Example 5.1. Let G be a topological group. Then the class KG of compact open
subgroups of G is an invariant commensurability class.
A pair (Λ, C) consisting of an abstract group Λ and an invariant commensurability class C in Λ is called a commensurability pair. If (Λ, C) is an invariant
commensurability pair then every ∆ ∈ C is a commensurated subgroup in Λ; conversely, the commensurability class C of any commensurated subgroup ∆ < Λ
defines an invariant commensurability pair (Λ, C). Note also that under a group
homomorphism, the preimage of a commensurated subgroup is commensurated.
Definition 5.2. A tdlc representation of a commensurability pair (Λ, C) is a tdlc
group G together with a homomorphism φ : Λ → G such that φ−1 (K) ∈ C for
some (hence any) K ∈ KG . If, in addition, im(φ) is dense in G we call it a dense
tdlc representation.
A morphism of tdlc representations φ : Λ → G and φ′ : Λ → G′ is a continuous
homomorphism ψ : G → G′ such that ψ ◦ φ = φ′ .
Let φ : Λ → G be a tdlc representation of a commensurability pair (Λ, C). For
∆ ∈ C, the closure of φ(∆) is compact in G, and it is also open, thus φ(∆) ∈ KG ,
provided φ is dense. Further, for any open group H < G, H = φ(φ−1 (H)). We
summarise:
Lemma 5.3. For a dense tdlc representation φ : Λ → G of a commensurability pair
(Λ, C), C is the commensurability class of any preimage φ−1 (K) with K ∈ KG and
{φ(∆) | ∆ ∈ C} = KG .
Because of this lemma we may and will drop C from the notation when dealing
with dense tdlc representations.
Lemma 5.4. Let ψ : G → G′ be a morphism of dense tdlc representations from
φ : Λ → G to φ′ : Λ → G′ . Then ψ is surjective with compact kernel.

12

URI BADER, ALEX FURMAN, AND ROMAN SAUER

Proof. Let K ′ ∈ KG′ . Let ∆ = φ′−1 (K ′ ) and K = φ(∆). By the previous lemma
K ∈ KG . We have
ψ(K) = ψ(K) = ψ(φ(∆)) = φ′ (∆) = K ′
and
ψ −1 (K ′ ) = φ(φ−1 (ψ −1 (K ′ ))) = φ(φ′−1 (K ′ )) = φ(∆) = K.
In particular, Ker(ψ) < K and
G′ = K ′ φ′ (Λ) = ψ(K)ψ(φ(Λ)) = ψ(Kφ(Λ)) = ψ(G).



The following theorem is well known (however we believe our easy proof below
is novel). It will not be used in these notes, it is only given for context.
Theorem 5.5. The category of tdlc representations of the pair (Λ, C) has an initial
object, which is a dense representation.
Proof. The collection of isomorphism classes of dense tdlc representations of (Λ, C)
forms a set Σ. Fix some ∆ ∈ C. For each dense representation φ : Λ → G in
Σ we pick the closure of the image of ∆ in Q
G as a distinguished subgroup of G.
Then we take the restricted product inside (φ : Λ→G)∈Σ G with respect to these

distinguished subgroups. Finally, we take the closure Ĝ of the image of Λ under the
diagonal homomorphism. We claim that the resulting representation φ̂ : Λ → Ĝ is
an initial object in the category of tdlc representations.
Let φ : Λ → G be a tdlc representation. By construction, Ĝ admits a projection
onto an isomorphic copy of φ(Λ). Composing this projection with the inverse of
the alluded isomorphism and the inclusion of φ(Λ) in G we get ψ : Ĝ → G, which is
easily seen to be a morphism of representations. The uniqueness of this morphism
is clear by the density of φ̂.

In the next theorem we consider the category of dense tdlc representations, which
is a full subcategory of the category of tdlc representations.
Theorem 5.6. Let φ̌ : Λ → Ǧ be a dense tdlc representation such that Ǧ has no
non-trivial compact normal subgroup. Then φ̌ is a terminal object in the category
of dense tdlc representations.
Proof. Let φ : Λ → G be a dense tdlc representation. We only need to show the
existence of a morphism G → Ǧ since there is at most one morphism between dense
representations. We denote G′ := (φ × φ̌)(Λ) < G×Ǧ and let φ′ denote the diagonal
representation, with the codomain restricted to G′ . Let us denote ψ = pr1 |G′ . By
Lemma 5.4 ψ is surjective with compact kernel. Since Ker(ψ) ⊳ {e} × Ǧ ∼
= Ǧ
we conclude that ψ is injective. By the open mapping theorem [6, IX. §5.3] we
conclude that ψ is a topological group isomorphism. It is now easy to see that
pr2 ◦ψ −1 : G → Ǧ is a morphism of tdlc representations.

The following lemma provides an example of a terminal representation appearing
in an arithmetic group setting. It will be useful later.
Lemma 5.7. We retain the setting and notation described at the start of Section 4.
In addition we assume that
(1) each Hi is adjoint,
Q
(2) Σ contains a finite index subgroup of Hi (Oi ),

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

13

Q
(3) a finite index subgroup of Σ is contained in Hi (Oi [Si ]),
(4) the closure of the projection Σ → (Hi )Sifin has no non-trivial compact normal subgroup for each i ∈ {1, . . . , n}.
Q
Let Q < (Hi )Sifin be the closure of the image of Σ under the diagonal map, and
Q
let C be the commensurability class of Σ ∩ Hi (Oi ) in Σ.
Then the embedding Σ → Q is a dense tdlc representation of the commensurability pair (Σ, C) which is is a terminal object in the category of dense tdlc representations of (Σ, C).
Q
Q
Proof.
Q By Theorem A.6 Hi (Oi ) is commensurated in Hi (Ki ). Thus thefingroup
Σ∩ Hi (Oi ) is commensurated in Σ and C is invariant. For each i let Ti = Vi −Si .
Observe that
Y
Y
Y
Hi (Oi [Ti ]) ∩
Hi (Oi [Si ]) =
Hi (Oi ).
Thus



 

Y
Y
Y
Σ∩
Hi (Oi [Ti ]) ∩ Σ ∩
Hi (Oi [Si ]) = Σ ∩
Hi (Oi ).
Q
Q
Since Σ ∩Q Hi (Oi [Si ]) < ΣQis of finite index, Σ ∩ Hi (Oi [Ti ]) is commensurable
with Σ ∩ Hi (Oi ), i.e Σ ∩ Hi (Oi [Ti ]) ∈QC.
We claim that the embedding φ : Σ → (Hi )Sifin is a tdlc representation: Consider the compact open subgroup
Y
YY
(Hi )Sifin
Hi (Oi )ν ) <
U=
i

Q

i

Si

Q

The preimage
of U in Hi (Ki )) is exactly Hi (Oi [Ti ]), thus the preimage in Σ
Q
is Σ ∩ Hi (Oi [Ti ]), which is in C, proving our claim.
Hence Σ → Q is a dense tdlc representation of the commensurability pair (Σ, C).
By Theorem 5.6 this is a terminal object if Q has no non-trivial compact normal
subgroup. The latter is due to assumption (4).

6. Proof of Theorem 1.5
Let U < D be an open compact subgroup. We denote its preimage under Γ → D
by Γ|U . It is commensurated in Γ by Lemma ??. By Lemma 2.3 Γ|U is a lattice
in H × U and by Lemma 2.1 its projection to H is a lattice in H. We denote
∆ = prH (Γ|U ) and Λ = prH (Γ). Thus ∆ < Λ < H, ∆ is a lattice in H which is
commensurated by Λ and Λ is dense in H.
The lattice ∆ < H might be reducible. The decomposition into irreducible
components gives a splitting H = H1 × · · · × Hn into n factors and irreducible
lattices ∆i < Hi , i ∈ {1, . . . , n} such that ∆1 × · · · × ∆n < ∆ is of finite index. Let
Λi = prHi (Γ), where prHi is the projection H × D → H → Hi . Clearly, Λi is dense
in Hi , which implies [Λi : ∆i ] = ∞, and ∆i is commensurated by Λi .
We are in a position to apply Theorem 3.7 and obtain for each i: a number field
Ki , a compatible set of places Si , a connected, adjoint, almost simple Ki -algebraic
group Hi and a subgroup Σi < Hi (Ki ), satisfying the following properties:
≃

→ Hi such
• There exists an isomorphism of topological groups φi : (Hi )0S ∞ −
i
−1
that φi (Λi ) equals the diagonal image of Σi in (Hi )Si∞ and the preimage
of ∆i in Σi is commensurated with Hi (Oi ).
• Σi contains a finite index subgroup of Hi (Oi ) and a finite index subgroup
of Σi is contained in Hi (Oi [Si ]).

14

URI BADER, ALEX FURMAN, AND ROMAN SAUER

• The closure of the projection of Σi to (Hi )Sifin contains (Hi )+
and it has
Sifin
no non-trivial compact normal subgroups.
Q
∞
The identification of H with
Q a subgroup of (Hi )Si identifies Λ with a subgroup
Σ of the diagonal image of Hi (Ki ). We summarise some of the information we
have so far in the following commutative diagram (arrows in this diagram are not
named, but they are all explicit from our context):
Γ|U
∆

Λ

Σ∩

H
∼
=

∼
=

commen.

Q

D

∼
=

∼
=

(6.1)

H ×D

Γ

Hi (Oi )

?

Q
(Hi )0Si∞

Σ

f.i

Q

Q

Hi (O)

Q
(Hi )Sifin

Hi (Ki )

Q
where the twiddle vertical arrow between ∆ and Σ ∩ Hi (Oi ) indicates that the
images
of these two groups in Σ are commensurated. The dotted arrow from D to
Q
(Hi )Sifin is not yet given – its existence is the heart of the theorem. This is what
we are now after.
Q
By the above Σ contains a finite
Q index subgroup of Hi (Oi ) and a finite index
subgroup of Σ is contained in
Hi (Oi [Si ]). Also for each i, the closure of the
projection Σ → (Hi )Sifin has no non-trivial compact normal subgroup. Denote by
Q
Q < (Hi )Sifin the closure of the image of Σ. Denote by C the commensurability
Q
class of Σ ∩ Hi (Oi ) in Σ. By Lemma 5.7 the embedding Σ → Q is a dense tdlc
representation of the commensurability pair (Σ, C) and it is a terminal object in
the category of dense tdlc representations of this pair (see §5 for definitions). Hence
the path from Γ to Q in the commutative diagram below is a terminal dense tdlc
representation of the pair (Γ, [Γ|U ]).
Γ|U
commen.

Σ∩

Q

Hi (Oi )

Γ
≃

Σ

D
?

Q

Q
(Hi )Sifin

By the property of terminal objects we can uniquely realise the dotted arrow in the
above diagram. By Lemma 5.4 the dotted arrow is Q
a continuous epimorphism with
compact kernel C. The composition D → Q → (Hi )Sifin is thus a continuous
homomorphism with closed image and compact kernel C which realises the dotted
arrow in Diagram (6.1).
Q
Note that
Q Σ is a subgroup of Hi (Ki ) and Q is the closure of the
Q projection
of Σ to (Hi )Sifin such that Σ contains a finite index subgroup of
Hi (Oi ), a
Q
finite index subgroup of Σ is contained in Hi (Oi [Si ]), and for each i, (Hi )+
is
Sifin
contained in the projection of Q to (Hi )Sifin . By Lemma 4.2 we conclude that Σ in
is an arithmetically constructed lattice. The theorem is now proved by considering

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

15

the commutative diagram:
Γ
∼
=

Σ

H × D/C
∼
=

Q
(Hi )0S ∞ × Q

Q
(Hi )Si

i

This completes the proof of Theorem 1.5.
Appendix A. A theorem of Borel revisited
In this appendix we generalise Borel’s Theorem 3(b) from [3]. Our proof is
almost identical to Borel’s original proof and we have no doubt the sophisticated
reader is well aware of this generalisation. Nevertheless, since the result had not
been published elsewhere in the form that we need, we decided to add the short
proof for the reader’s convenience.
Theorem A.1. Let K be a field of characteristic 0. Let G be a connected affine
K-algebraic group and Z its center. Let H < G(K) be a Zariski dense subgroup.
Let A be a K-algebra and let C be the commensurator of H in G(A). Then the
image of C in G/Z(A) is contained in G/Z(A).
Before proving the theorem, let us recall some basic facts about the functor of
points of a K-algebraic group. For a K-algebraic group G and a K-algebra A we set
G(A) = HomK-alg (K[G], A), where K[G] denotes the Hopf algebra of K-regular
functions on G. Using the coproduct ∆ : K[G] → K[G] ⊗K K[G] we get a product
structure on G(A), by sending x, y ∈ G(A) to the map given by the following
composition
∆

x⊗y

m

K[G] −−−−−→ K[G] ⊗K K[G] −−−−−→ A ⊗K A −−−−−→ A.
Further, G(A) has an identity, given by the augmentation f 7→ f (e) ∈ K < A, and
the inverse of x ∈ G(A) is given by x ◦ S, where S : K[G] → K[G] is the antipode,
Sf (g) = f (g −1 ). Thus G(A) is a group. The association A
G(A) is called the
functor of points associated with G, see for example Waterhouse’s book [17] for an
account on algebraic group theory based on this point of view.
We set A[G] := A ⊗K K[G]. Consider the conjugation action of G on itself.
This is a K-morphic action which gives rise to a K-morphic action of G/Z on G.
Consider the action map a : G/Z × G → G. For every g ∈ G/Z(A) the map
a∗

g⊗id

K[G] −−−−−→ K[G/Z] ⊗K K[G] −−−−−→ A ⊗K K[G] = A[G]
extends uniquely to a A-algebra automorphism A[G] → A[G]. By this we define
an action of G/Z(A) on A[G] by A-algebra automorphisms.
Lemma A.2. Let K be a field of characteristic 0. Let G be an affine K-algebraic
group and Z its center. Let A be a K-algebra. Consider the conjugation representation of G/Z(A) on A[G]. Considering K[G] as a subspace of A[G] and G/Z(K)
as a subgroup of G/Z(A), we have
G/Z(K) = {g ∈ G/Z(A) | g(K[G]) ⊂ K[G]}.

16

URI BADER, ALEX FURMAN, AND ROMAN SAUER

Proof. Consider K[G/Z] as a Hopf algebra and consider the comodule structure on
K[G] associated with the conjugation representation. By [17, 3.3], K[G] is a direct
union of finite dimensional subcomodules. We let V < K[G] be a finite dimensional
subcomodule which generates K[G] as a K-algebra (K[G] is a finitely generated
K-algebra). By the correspondence between subcomodules and subrepresentations,
[17, 3.2], V is a representation of G/Z, in the sense that for every K-algebra B,
B ⊗K V is a G/Z(B)-invariant subspace of B[G], and we obtain a natural family
of group homomorphisms G/Z(B) → AutB (B ⊗K V ). Considering the action of
G/Z(B) on B[G], it follows that the left hand side is included in the right hand
side in the following equation:
(A.1)

{g ∈ G/Z(B) | g(K[G]) ⊂ K[G]} = {g ∈ G/Z(B) | gV ⊂ V },

the other inclusion holds as the K-algebra generated in B[G] by V is K[G].
We now take B = K̄, an algebraic closure of K. By definition of Z [4, 1.7],
G/Z(K̄) acts faithfully on G(K̄). It follows that its action on K̄[G] is faithful as
well, and by the fact that K̄ ⊗K V generates K̄[G] as a K̄-algebra, we get that
G/Z(K̄) acts faithfully on K̄ ⊗K V . Thus the morphism G/Z(K̄) → GL(K̄ ⊗K V )
is injective. By [4, Cor 1.4(a)] its image is a Zariski closed K-subgroup of GL(K̄ ⊗K
V ), and by [4, Proposition 6.4] this morphism is a K-isomorphism onto its image
since it is separable by the characteristic 0 assumption on K.
As K-vector spaces, V ∼
= K n . Thus we may identify G/Z with a K-algebraic
subgroup H < GLn . As subgroups of GLn (A) we have H(K) = H(A) ∩ GLn (K).
We conclude the first equality in
H(K) = {g ∈ H(A) | g(K n ) = K n } = {g ∈ H(A) | g(K n ) ⊂ K n }.
The second equality is a triviality since every g is regular. We thus obtain
G/Z(K) = {g ∈ G/Z(A) | gV ⊂ V }.
The proof is now complete by Equation (A.1).



Proof of Theorem A.1. Let g ∈ C be an element. We show that its image in
G/Z(A) – denoted also by g – lies in G/Z(K).
We consider the conjugation action of G(A) on A[G] and claim that gK[G] ⊂
K[G]. By Lemma A.2 this suffices. Let x ∈ K[G]. We write
gx = x0 + α1 x1 + · · · + αn xn ,

αi ∈ A, xi ∈ K[G],

where 1, α1 , . . . , αn are independent over K and xi 6= 0. If n = 0 then indeed
gx = x0 ∈ K[G].
We assume n ≥ 1 and argue by contradiction. Note that H ∩ gHg −1 < H is of
finite index, thus H ∩ gHg −1 is Zariski dense in G(K) since G is connected. Thus
we can find h ∈ H ∩ gHg −1 < G(K) = HomK-alg (K[G], K) such that h(x1 ) 6= 0.
From
h(x0 ) + α1 h(x1 ) + · · · + αn h(xn ) = h(gx) = (g −1 hg)(x) ∈ K
we get a non-trivial linear combination of 1, α1 , . . . , αn over K. This gives the
desired contradiction.

Remark A.3. Neither Theorem A.1 nor Lemma A.2 are correct as stated if K
has positive characteristic. Take for example K to be the algebraic closure of F2 ,
G = SL2 , and A = K[t]/(t2 ). Then G(K) = SL2 (K) has trivial center Z, thus
G/Z = G. However, G/Z(A) = G(A) ∼
= SL2 (K) ⋉ sl2 (K) has a non-trivial center

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

17

L corresponding to the scalar matrices in sl2 (K). Then L is not contained in
G/Z(K), but
L < {g ∈ G/Z(A) | g(K[G]) < K[G]},
and for any H in G(K), L commensurates H in G/Z(A).
Correct statements are obtained by replacing the smooth subgroup Z with a
scheme theoretically defined center Z. For example, for G = SL2 , regardless the
field of definition, G/Z ∼
= PGL2 . In characteristic 0 we always have Z = Z. The
proof of the corrected statement of the theorem follows formally from the corrected
lemma. We will not give the proof of the corrected lemma but merely remark that
it is verbatim the proof above, upon replacing the notion of “faithfulness of an
action” by a scheme theoretical analogue. Moreover, there is no need to pass to an
algebraic closure anymore.
Working with the scheme theoretical center has advantages even if one is concerned only with the classical setting. For example, if K is reduced then G/Z(K) =
G/Z(K). To see this one observes that the algebra representing G/Z, modulo its
nil-radical, equals the algebra representing G/Z.
The following application of Theorem A.1 is needed in Section 3.
Theorem A.4. We retain the setup in Subsection 1.2. Let H be a connected adjoint
semi-simple K-algebraic group. Assume in addition that H(O[S]) is Zariski dense
in H. Then the commensurator of H(O[S]) in HS (via the diagonal embedding) is
exactly H(K).
Remark A.5. The subgroup H(O[S]) < H(K) depends on a choice of embedding
H < GLn but not its commensurability class. Since H is connected its Zariskidensity is unambiguous.
Proof. Consider the locally compact totally disconnected group given by the restricted product
Y′
H(Kν ),
∞
ν∈V−V

−S

which is taken with respect to the compact open subgroups H(Oν ) < H(Kν ). Then
Y
H(Oν )
∞
ν∈V−V

−S

is a compact open subgroup, hence it is commensurated. Its preimage under the
diagonal embedding
Y′
H(Kν )
H(K) →
∞
ν∈V−V

−S

is H(O[S]). By Lemma ??, H(O[S]) is commensurated by H(K).
We need to show that the commensurator group of H(O[S]) inside HS is contained in the diagonal image
Q′ of H(K). Let A be the K-algebra of S-adeles, that
is, the restricted product ν∈S Kν taken with respect to the subgroups Oν < Kν .
In [12, pp. 249-250] the identification H(A) ∼
= HS is explained. Under this identification, H(K) is identified with its diagonal image. Now apply Theorem A.1 and
use the assumption that H is adjoint, hence has a trivial center.

For the special case where S is a set of archimedean places we get the following.
Theorem A.6. We retain the setup in Subsection 1.2. Let S ⊂ V ∞ be a set of
archimedean places. Let H be a connected adjoint semi-simple K-algebraic group.

18

URI BADER, ALEX FURMAN, AND ROMAN SAUER

Assume that there exists ν ∈ V ∞ suchQthat the Lie group H(Kν ) is not compact.
Then the commensurator of H(O) in ν∈S H(Kν ) is exactly H(K).
Proof. This follows from Theorem A.4, once we show that H(O) is Zariski dense
in H. By [3, Theorem 3(a)] H(O) is Zariski dense if and only if RK/Q H(R) is
non-compact where RK/Q denotes the restriction of scalars from K to Q. By
applying [11, Theorem I.3.1.4(i)] to the real place,
Y
RK/Q H(R) ∼
G(Kν ).
=
ν∈V ∞

The right hand side is non-compact by assumption.



In view of Remark A.3, Theorem A.4 has the following analogue in positive
characteristic. The proof is the same as of Theorem A.4, taking into account that
for adjoint groups the scheme theoretical center is trivial.
Theorem A.7. Let K be field of rational functions over a finite field, O its ring
of polynomials and V the set of places of k. We fix a subset S ⊂ V. Let H
be a connected adjoint semi-simple K-algebraic group. We assume
Q that H(O[S])
is Zariski dense in H. Then the commensurator of H(O[S]) in ′ν∈S H(Kν ) is
exactly H(K).
References
[1] U. Bader, A. Furman, and R. Sauer, On the structure and arithmeticity of lattice envelopes,
C. R. Math. Acad. Sci. Paris 353 (2015), no. 5, 409–413.
, Lattice envelopes. In preparation.
[2]
[3] A. Borel, Density and maximality of arithmetic subgroups, J. Reine Angew. Math. 224 (1966),
78–89.
, Linear algebraic groups, 2nd ed., Graduate Texts in Mathematics, vol. 126, Springer[4]
Verlag, New York, 1991.
[5] A. Borel and J. Tits, Homomorphismes “abstraits” de groupes algébriques simples, Ann. of
Math. (2) 97 (1973), 499–571 (French).
[6] N. Bourbaki, General topology. Chapters 5–10, Elements of Mathematics (Berlin), SpringerVerlag, Berlin, 1998. Translated from the French; Reprint of the 1989 English translation.
[7] P.-E. Caprace and N. Monod, A lattice in more than two Kac-Moody groups is arithmetic,
Israel J. Math. 190 (2012), 413–444.
[8] P.-E. Caprace and N. Monod, Isometry groups of non-positively curved spaces: discrete subgroups, J. Topol. 2 (2009), no. 4, 701–746.
[9] G. A. Margulis, Discrete groups of motions of manifolds of nonpositive curvature, Proceedings of the International Congress of Mathematicians (Vancouver, B.C., 1974), Vol. 2, Canad.
Math. Congress, Montreal, Que., 1975, pp. 21–34 (Russian).
, Arithmeticity of the irreducible lattices in the semisimple groups of rank greater than
[10]
1, Invent. Math. 76 (1984), no. 1, 93–120.
[11]
, Discrete subgroups of semisimple Lie groups, Ergebnisse der Mathematik und ihrer
Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 17, Springer-Verlag,
Berlin, 1991.
[12] V. Platonov and A. Rapinchuk, Algebraic groups and number theory, Pure and Applied
Mathematics, vol. 139, Academic Press, Inc., Boston, MA, 1994.
[13] H. Oh, Adelic version of Margulis arithmeticity theorem, Math. Ann. 321 (2001), no. 4,
789–815.
[14] G. Prasad, Elementary proof of a theorem of Bruhat-Tits-Rousseau and of a theorem of Tits,
Bull. Soc. Math. France 110 (1982), no. 2, 197–202 (English, with French summary).
[15] M. S. Raghunathan, Discrete subgroups of Lie groups, Springer-Verlag, New York-Heidelberg,
1972. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 68.

AN ADELIC ARITHMETICITY THEOREM FOR LATTICES IN PRODUCTS

19

[16] J. Tits, Reductive groups over local fields, Automorphic forms, representations and Lfunctions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Proc.
Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I., 1979, pp. 29–69.
[17] W. C. Waterhouse, Introduction to affine group schemes, Graduate Texts in Mathematics,
vol. 66, Springer-Verlag, New York-Berlin, 1979.
Weizmann Institute, Rehovot
E-mail address: uri.bader@gmail.com
University of Illinois at Chicago, Chicago
E-mail address: furman@uic.edu
Karlsruhe Institute of Technology
E-mail address: roman.sauer@kit.edu

