INDUCING SUPER-APPROXIMATION.

arXiv:1802.03561v1 [] 10 Feb 2018

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

Abstract. Let Γ2 ⊆ Γ1 be finitely generated subgroups of GLn0 (Z[1/q0 ]). For i = 1 or 2, let Gi be the
Zariski-closure of Γi in (GLn0 )Q , G◦i be the Zariski-connected component of Gi , and let Gi be the closure
Q
of Γi in p∤q0 GLn0 (Zp ).
In this article we prove that, if G◦1 is the smallest closed normal subgroup of G◦1 which contains G◦2 and
Γ2 y G2 has spectral gap, then Γ1 y G1 has spectral gap.

1. Introduction and the statement of the main results.
Let Γ be a subgroup of a compact, Hausdorff, second countable group G. Let Γ be the closure of Γ in G.
Suppose Ω is a finite symmetric generating set of Γ. Let PΩ be the probability counting measure on Ω, and
let
1 X
Lω (f ),
TΩ : L2 (Γ) → L2 (Γ), TΩ (f ) := PΩ ∗ f :=
|Ω|
ω∈Ω

where Lω (f )(g) := f (ω −1 g). Then it is well-known that TΩ is a self-adjoint operator, TΩ (1Γ ) = 1Γ where 1Γ
is the constant function on Γ, and the operator norm kTΩ k is 1. So the spectrum of TΩ is a subset of [−1, 1]
and TΩ sends the space L2 (Γ)◦ orthogonal to the constant functions to itself. Let TΩ◦ be the restriction of
TΩ to L2 (Γ)◦ . Let
λ(PΩ ; G) := sup{|c|| c is in the spectrum of the restriction of TΩ◦ }.
We say the left action Γ y G of Γ on G has spectral gap if λ(PΩ ; G) < 1.
It is worth mentioning that, if Ω1 and Ω2 are two generating sets of Γ and λ(PΩ1 ; G) < 1, then λ(PΩ2 ; G) < 1.
So having spectral gap is a property of the action Γ y G, and it is independent of the choice of a generating
set for Γ.
The following is the main theorem of this article.
Theorem 1. Let Γ2 ⊆ Γ1 be two finitely generated subgroups of GLn0 (Z[1/q0 ]). For i = 1, 2, let Gi be the
Zariski-closure of Γi in (GLn0 )Q for i = 1, 2, and let G◦i be the Zariski-connected subgroup
Q of Gi . Suppose
the smallest closed normal subgroup of G◦1 which contains G◦2 is G◦1 . Then, if Γ2 y p∤q0 GLn0 (Zp ) has
Q
spectral gap, then Γ1 y p∤q0 GLn0 (Zp ) has spectral gap.
Corollary 2. Let Γ2 ⊆ Γ1 be two finitely generated subgroups of GLn0 (Z[1/q0 ]). Let G1 be the Zariskiof G1 . Suppose G◦1 is an almost
closure of Γ1 in (GLn0 )Q , and let G◦1 be the Zariski-connected subgroup
Q
Q-simple Q-group, and Γ2 is an infinite group. Then, if Γ2 y p∤q0 GLn0 (Zp ) has spectral gap, then
Q
Γ1 y p∤q0 GLn0 (Zp ) has spectral gap.
Proof. Since Γ2 is infinite, the Zariski-connected component G◦2 of the Zariski-closure G2 of Γ2 in (GLn0 )Q
is a non-trivial (Zariski-connected) Q-subgroup of G◦1 . Since G◦1 is an almost Q-simple group and G◦2 is a
Date: 12/26/2016.
1991 Mathematics Subject Classification. Primary: 22E40, Secondary: 20G35, 05C25.
A. S-G. was partially supported by the NSF grants DMS-1303121 and DMS-1602137, and A. P. Sloan Research Fellowship.

1

2

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

non-trivial Zariski-connected Q-subgroup of G◦1 , the smallest normal subgroup of G◦1 which contains G◦2 is
G◦1 . And so by Theorem 1 claim follows.

Notice that the smallest closed normal subgroup of G◦1 which contains G◦2 is G◦1 if and only if the restriction
of any non-trivial representation ρ : G◦1 → (GLm )Q to G◦2 is still non-trivial.
Remark 3. The first result of this kind goes back to the work of Burger and Sarnak [BS911]. Their result
implies Theorem 1 when Γi ’s are integral points of (fixed embeddings of ) two Zariski-connected semisimple
Q-groups Gi ’s.
Theorem 1 has an immediate application in explicit construction of expanders. Let us quickly recall that a
family of d-regular graphs Xi is called a family of expanders if the size of vertices |V (Xi )| goes to infinity
and there is a positive number δ0 such that for any subset A of V (Xi ) we have
|e(A, V (Xi ) \ A)|
> δ0 ,
min(|A|, |V (Xi ) \ A|)
where e(A, B) is the set of edges that connect a vertex in A to a vertex in B. Expanders have a lot of
applications in theoretical computer science (see [HLW06] for a survey on such applications).
It is well-known that Theorem 1 is equivalent to the following theorem (see [SG16, Remark 15] or [Lub94,
Section 4.3])
Theorem 1′ . Let Ω1 and Ω2 be two finite symmetric subsets of GLn0 (Z[1/q0 ]). For i = 1, 2, let Γi
be the group generated by Ωi , and G◦i be the Zariski-connected component of the Zariski-closure of Γi in
(GLn0 )Q . Suppose Γ2 ⊆ Γ1 and the normal closure of G◦2 in G◦1 is G◦1 . Then if the family of Cayley graphs
{Cay(πq (Γ2 ), πq (Ω2 )}gcd(q,q0 )=1 is a family of expanders, then {Cay(πq (Γ1 ), πq (Ω1 )}gcd(q,q0 )=1 is a family of
expanders.
Definition 4. Let Ω be a finite symmetric subset of GLn0 (Z[1/q0 ]). We say that the group Γ = hΩi generated
by Ω has super-approximation with respect to a subset C of positive integers if the family of Cayley graphs
{Cay(πm (Γ), πm (Ω)}m∈C is a family of expanders.
We simply say Γ ⊆ GLn0 (Z[1/q0 ]) has super-approximation if it has super-approximation with respect to
{q ∈ Z+ | gcd(q, q0 ) = 1}.
In the past decade there has been a surge in proving that super-approximation is a Zariski-topological
property (see [BG08-a]-[BV12] and [SG16]-[SGV12]). By now we know that
(1) A finite generated Zariski-dense subgroup of SLn0 (Z) has super-approximation with respect to Z+
(see [BV12, Theorem 1]).
(2) A finitely generated subgroup Γ of GLn0 (Z[1/q0 ]) has super-approximation with respect to
{q m0 | q is a square-free integer , gcd(q, q0 ) = 1}
if and only if G◦ = [G◦ , G◦ ] where G◦ is the Zariski-connected component of the Zariski-closure of
Γ. (see [SGV12, Theorem 1] and [SG, Theorem 1]).
(3) A finitely generated subgroup Γ of GLn0 (Z[1/q0 ]) has super-approximation with respect to
{pn | n ∈ Z+ , p is a prime which does not divide q0 }
if and only if G◦ = [G◦ , G◦ ] where G◦ is the Zariski-connected component of the Zariski-closure of
Γ. (see [SG, Theorem 1]).
The following is the main conjecture on this subject.
Conjecture 5. A finitely generated subgroup Γ of GLn0 (Z[1/q0 ]) has super-approximation if and only if
G◦ = [G◦ , G◦ ] where G◦ is the Zariski-connected component of the Zariski-closure of Γ.

INDUCING SUPER-APPROXIMATION.

3

Relaxing the condition on the set of possible residues is crucial in some of the results where super-approximation
is used in combination with large sieve or thermodynamical techniques (for instance see [BK14, BKM, MOW]).
Theorem 1 is about inducing super-approximation property from a subgroup with large Zariski-closure to
the group itself. So since we know (infinite) arithmetic groups in semisimple Q-groups, i.e. Z[1/q0 ]-points
in a semisimple Q-group, have super-approximation, we get the following corollary.
Corollary 6. Let Γ be a finitely generated subgroup of GLn0 (Z[1/q0 ]). Suppose the Zariski-closure of Γ in
(GLn0 )Q is an almost Q-simple group. Suppose further that Γ contains an infinite arithmetic subgroup of
some semisimple group. Then Γ has super-approximation.
Using the mentioned result of Bourgain and Varjú [BV12, Theorem 1], we get the following corollary of
Theorem 1.
Corollary 7. Let Γ be a finitely generated subgroup of GLn0 (Z[1/q0 ]). Suppose the Zariski-closure of Γ in
(GLn0 )Q is an almost Q-simple group. Suppose further that there is a subgroup Λ ⊆ Γ ∩ GLn0 (Z) whose
Zariski-closure is isomorphic to (SLm )Q for some positive integer m. Then Γ has super-approximation.
Proof. Let H be the Zariski-closure of Λ in (GLn0 )Q . By the assumption, there is a Q-isomorphism ρ : H →
(SLm )Q . By [SG, Lemma 13], there is g ∈ SLm (Q) such that ρ(Λ) ⊆ g SLm (Z)g −1 . And so g −1 ρ(Λ)g is a
finitely generated Zariski-dense
Q subgroup of SLm (Z). Hence by [BV12, Theorem 1] and [SG16, Remark 15]
we have that g −1 ρ(Λ)g y p SLm (Zp ) has spectral gap.
Q
Now let Λ be the closure of Λ in p GLn0 (Zp ), and let A be the ring of adeles of Q. Since ρ induces a
Q
topological isomorphism ρ : H(A) → SLm (A), g −1 ρ(Λ)g is the closure of g −1 ρ(Λ)g in p SLm (Zp ). Since
Q
g −1 ρ(Λ)g y p SLm (Zp ) has spectral gap, we get that ρ(Λ) y ρ(Λ) has spectral gap. And so Λ y Λ has
spectral gap. Therefore by Theorem 1 and [SG16, Remark 15] the claim follows.

This kind of result was first obtained by Varjú in the appendix of [BK14] where he proved a special case
of Corollary 6 for the group of symmetries of an Apollonian packing. More recently in [FSZ, Theorem 1.3]
a special case of Corollary 7 is proved where the Zariski-closure of Γ is assumed to be isomorphic to the
restriction of scalars Rk/Q ((SL2 )Q ) of (SL2 )Q for a finite extension k/Q.
1.1. Outline of the proof. Here is an outline of the main ideas of the proof.
Step 0. (Initial preparation) Preliminary reductions: it is showed that one can essentially work under
the extra assumptions that the Zariski-closure Gi of Γi in (GLn0 )Q is Zariski-connected for i = 1, 2; and G1
is simply-connected (see Section 8).
Step 1. (Reduction to an Adelic Bounded Generation) Using Varjú’s Lemma [BK14, Lemma A.2]
and [SG16, Lemma 16], the proof of Theorem 1 is reduced to an adelic bounded generation statement (see
Theorem 27). The following is a variant of [BK14, Lemma A.2].
Lemma 8 (Varjú’s Lemma). Suppose G is a finite group, H is a subgroup of G, and
G = g1 Hg1−1 · g2 Hg2−1 · · · gn Hgn−1
for some gi ∈ G. Let Ω be a symmetric generating set of H. Then
λ(PΩ′ ; G) ≤ f (|Ω|, λ(PΩ ; H), n) < 1,
where Ω′ :=

Sn

−1
i=1 gi Ωgi

and f : Z+ × [0, 1] × Z+ → [0, 1).

By [SG16, Lemma 16], it is enough to get a spectral gap for a subgroup of finite index. Hence altogether it
is enough to prove the following (see Theorem 27):

4

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

b 2 γ −1 is an open
b 2 γ −1 · · · γm Γ
Adelic Bounded Generation: there are γ1 , . . . , γm ∈ Γ1 such that γ1 Γ
m
1
Q
b
b
subgroup of Γ1 where Γi is the closure of Γi in p∤q0 GLn0 (Zp ).

To get the above mentioned Adelic Bounded Generation result, we prove many bounded generation results
from various angles: Lie algebras; Zariski topology; and p-adic topology (with certain uniformity on p). Here
is a bit more detailed description of these steps.
Step 2. (Generating the Lie algebra) We prove that Lie(G2 )(Q) generates Lie(G1 )(Q) as a Γ1 -module.
Step 3. (Bounded Generation: Zariski topology) The infinitesimal result proved in the previous step
shows that (g1 , . . . , gn ) 7→ γ1 g1 γ1−1 · · · γn gn γn g −1 is a geometrically dominant morphism from G2 × · · · × G2
to G1 for suitable γi ’s in Γ1 . Looking at the scheme theoretic closure of Γi , we deduce that for almost all
(p)
the geometric fibers Gi we still get dominant morphisms (see Proposition 18).
Step 4. (Bounded Generation: p-adic topology) Based on a quantitative open function theorem for
p-adic analytic functions proved in [SG, Lemma 45’], we show the following p-adic topological bounded
generation with certain uniformity on p (see Proposition 20):
there are a positive integer N and γ1 , . . . , γn ∈ Γ1 such that Γ1,p [pN ] ⊆ γ1 Γ2,p γ1−1 · · · γn Γ2,p γn−1 where Γi,p
is the closure of Γi in GLn0 (Zp ) and Γ1,p [pN ] := Γ1,p ∩ 1 + pN gln0 (Zp ).
Step 5. (Bounded Generation: modulo p, for large primes) Step 3 gave us certain dominant
morphisms. A result of Pink and Rütsche [PR09, Proposition 2.5] helps us to deduce that the image of these
morphisms applied to the fp -points of the underlying varieties is large 1. And so by a result of Gowers [Gow08]
(also see [NP11, Corollary 1]) we get that the three fold multiple of the image of such a morphism is the
entire fp -points of the considered group. So altogether using Nori’s strong approximation [Nor87, Theorem
5.4] we get the following (see Lemma 24)
there are γ1 , . . . , γn ∈ Γ1 such that for large enough p we have πp (γ1 Γ2,p γ1−1 . . . γn Γ2,p γn−1 ) = πp (Γ1,p ), where
πp is the group homomorphism induced by the quotient map Zp → fp .
Step 6. (Proving the Adelic Bounded Generation) Using the truncated logarithmic maps (see
Lemma 25), Step 2, taking multiple commutators, and Step 5, we can generate the first N p-adic layers of
Γ1,p for large enough p. This result together with Step 4 give us the Adelic Bounded Generation.
Acknowledgment
The first author would like to thank Amir Mohammadi for many valuable conversations. The second author is grateful to Alex Kontorovich for useful discussion on this topic. Authors would like to thank Alex
Kontorovich, Alex Lubotzky, Amir Mohammadi, Peter Sarnak, and Peter Varjú for their comments on the
earlier version of this note.
2. Preliminary results.
In this section, we gather some of the needed well-known results and adapt them to our setting.
2.1. Recalling basic analytic properties of Qp -points of an algebraic group. For the convenience
of the reader, in this section some of the well-known analytic properties of the Qp -points G(Qp ) of a linear
algebraic Qp -group G ⊆ (GLn0 )Qp is recalled. For instance, we will present a detailed argument of why the
logarithmic function induces bijection between Gc := G(Qp ) ∩ (I + pc gln0 (Zp )) and Lie(G)(Qp ) ∩ pc gln0 (Zp )
if c is a positive integer and c > 1 when p = 2.
1In this note f denotes the finite field with q elements.
q

INDUCING SUPER-APPROXIMATION.

5

We start by summarizing the basic properties of the logarithmic and the exponential functions. In what
follows c0 is 1 if p is odd and it is 2 if p = 2. For any prime p, the exponential function
∞
X
c0
c0
xi /i!
exp : p gln0 (Zp ) → GLn0 (Zp )[p ], exp(x) :=
i=0

and the logarithmic function
log : GLn0 (Zp )[pc0 ] → pc0 gln0 (Zp ), log g := −

∞
X

(I − g)i /i

i=1

are well-defined analytic functions, and inverse of each other, where
π p c0

GLn0 (Zp )[pc0 ] := ker(GLn0 (Zp ) −−−→ GLn0 (Z/pc0 Z));
moreover we have
k exp(x) − Ikp = kxkp , and k log(g)kp = kg − Ikp ,
for any x ∈ p gln0 (Zp ) and g ∈ GLn0 (Zp )[pc0 ]. Therefore for any integer c ≥ c0 the exponential and the
logarithmic functions induce bijections between GLn0 (Zp )[pc ] and pc gln0 (Zp ).
c0

The next lemma is an easy corollary of the chain rule, but a direct detailed argument is presented.
Lemma 9. Let p be a prime, and x ∈ pc0 gln0 (Zp ) where c0 = 2 when p = 2 is odd and c0 = 1 otherwise.
Suppose f ∈ Q[Xij ] is a polynomial on the entries of n0 -by-n0 matrices. Then
f (exp(pn x)) − f (I)
= (df )I (x),
n→∞
pn
lim

where
(df )I (Yij ) :=

X ∂f
(I)Yij .
∂Xij
ij

Proof. After multiplying f by a suitable non-zero integer, we can and will assume that f has integer coefficients. To make the symbols a bit more clear, we view f as a polynomial of n20 variables Ti . Here J denotes
a multi-index, i.e. J = (j1 , . . . , jn20 ) where ji are non-negative integers. We denote the symbolic higher-order
Q
partial derivatives of a polynomial f by ∂J f . For a multi-index J, let TJ be the monomial i Tiji . By
Taylor expansion we have
X
X
∂J f (I)TJ ,
(1)
f (I + [Ti ]) =
∂J f (I)TJ = f (I) + (df )I (Ti ) +
J

J,kJk1 >1

P
where [Ti ] is the n0 -by-n0 matrix whose ij-entry is Tn0 (i−1)+j and kJk1 := i |ji |. For x ∈ pc0 gln0 (Zp ) and
a positive integer n, let ti := Ti (exp(pn x) − I) be the i-th component of exp(pn x) − I in the above ordering.
So
(2)
P
J
k exp(pn x) − Ik2p
kpn xk2p
f (exp(pn x)) − f (I) − (df )I (ti )
J,kJk1 >1 ∂J f (I)t
≤
=
=
≤ kpn kp .
pn
pn
kpn kp
kpn kp
p
p
P∞
kn
k
On the other hand, ti = k=1 (p /k!)Ti (x ) where Ti (·) is the function which gives the i-th component of
a matrix in the above ordering. Thus we get
∞
X
(df )I (ti )
−
(df
)
(x)
=
k
(p(k−1)n /k!)(df )I (xk )kp ≤ kpn kp .
(3)
I
pn
p
k=2

Hence by (2) and (3) we get
f (exp(pn x)) − f (I)
− (df )I (x)
pn

≤ kpn kp ,
p

6

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

which implies our claim.



Corollary 10. Let G ⊆ (GLn0 )Qp be a given embedding of a Zariski-connected Qp -group G. Then for any
positive integer c which is more than 1 for p = 2, the logarithmic function
log : G(Qp ) ∩ GLn0 (Zp )[pc ] → Lie(G)(Qp ) ∩ pc gln0 (Zp )
is a well-defined injection.
Proof. We already know that log : GLn0 (Zp )[pc ] → pc gln0 (Zp ) is a bijection. So it is enough to show that
for any g ∈ Gc := G(Qp ) ∩ GLn0 (Zp )[pc ] we have log g ∈ Lie(G)(Qp ).
Next we notice that the natural embedding g 7→ diag(g, (det g)−1 ) of (GLn0 )Zp into (SLn0 +1 )Zp sends
GLn0 (Zp )[pc ] to SLn0 +1 (Zp )[pc ] and commutes with the logarithmic function. So we can and will consider G as a subgroup of (SLn0 +1 )Qp . So G as a closed subset of (SLn0 +1 )Qp is given by relations fi , where
fi are polynomials on the entries of (n0 + 1)-by-(n0 + 1) matrices. Hence
Lie(G)(Qp ) = {x ∈ gln0 +1 (Qp )| (dfi )I (x) = 0}.
By Lemma 10, we have
n

fi (exp(pn log g)) − fi (I)
fi (g p ) − fi (I)
(dfi )I (log g) = lim
=
lim
= 0,
n→∞
n→∞
pn
pn
which implies log g ∈ Lie(G)(Qp ).



Proposition 11. Let G ⊆ (GLn0 )Qp be a given embedding of a Zariski-connected Qp -group G. Then for a
positive integer c, which is at least 2 if p = 2, the logarithmic function
log : G(Qp ) ∩ GLn0 (Zp )[pc ] → Lie(G)(Qp ) ∩ pc gln0 (Zp )
is a bijection; and so the restriction of the exponential function is its inverse.
Proof. First we prove the claim when c is large depending on the embedding of G.
By [Mar91, Chapter I, Lemma 2.5.1 (i)], we have that the dimension of G(Qp ) as a Qp -analytic manifold is
the same as dim G. Since, by Lemma 10, the restriction of the logarithmic function is an analytic immersion
of G2 := G(Qp ) ∩ GLn0 (Zp )[p2 ] into Lie(G)(Qp ) and as p-adic analytic manifolds G2 has the same dimension
as Lie(G)(Qp ), we have that for some positive integer c1
pc1 gln0 (Zp ) ∩ Lie(G)(Qp ) ⊆ log(G2 ).
This implies that exp(pc1 gln0 (Zp ) ∩ Lie(G)(Qp )) ⊆ G(Qp ). Hence for any c ≥ c1 we have
(4)

exp(pc gln0 (Zp ) ∩ Lie(G)(Qp )) ⊆ Gc ,

So by (4) and Lemma 10 we get that log : Gc → Lie(G)(Qp ) ∩ pc gln0 (Zp ) is a bijection.
Suppose the closed immersion of G is given by the ideal IG ⊳ Q[GLn0 ]. For any f ∈ IG the composite function
f ◦ exp defines a p-adic analytic function on Lie(G)(Qp ) ∩ pc0 gln0 (Zp ) where c0 = 1 if p > 2 and c0 = 2 if
p = 2. We have proved that this analytic function is identically zero on the open set Lie(G)(Qp ) ∩ pc gln0 (Zp )
if c is large enough. Hence it is zero, which implies
exp(Lie(G)(Qp ) ∩ pc0 gln0 (Zp )) ⊆ G(Qp ).
Therefore log : G(Qp ) ∩ GLn0 (Zp )[pc0 ] → Lie(G)(Qp ) ∩ pc0 gln0 (Zp ) is a bijection.



INDUCING SUPER-APPROXIMATION.

7

2.2. A remark on certain flat models of an algebraic group. In this work we need to work with
certain group schemes over either Z[1/q0 ] or Zp . In order to treat them at the same time, only in this
section, we let A be a PID and F be its quotient field.
Let G be a linear algebraic group defined over F . For a fixed F -embedding ρ : G → (GLn0 )F , Gρ denotes
the image of ρ. Now we view (GLn0 )F as the generic fiber of the group scheme (GLn0 )A and let Gρ be the
Zariski-closure of Gρ in (GLn0 )A .
To clarify the previous paragraph, let F [GLn0 ] be the ring of regular functions of (GLn0 )F and IGρ be the
defining ideal of Gρ (which means the scheme structure of Gρ is Spec(F [GLn0 ]/IGρ )); then the ring of regular
functions A[Gρ ] of Gρ is A[GLn0 ]/(A[GLn0 ] ∩ IGρ ) where A[GLn0 ] is the ring of regular functions of (GLn0 )A .
Lemma 12. In the above setting, the generic fiber of Gρ is isomorphic to Gρ ; and, for any A-algebra R with
free A-module structure, Gρ (R) can be naturally identified with Gρ (R ⊗A F ) ∩ GLn0 (R). (Here, since R is
a free A-modules, we can and will identify R with a subring of R ⊗A F through x 7→ x ⊗ 1.) In particular,
Lie(Gρ )(R) can be naturally identified with Lie(Gρ )(R ⊗A F ) ∩ gln0 (R).
Proof. Let S := A \ {0} and A := A[GLn0 ]. Then F = S −1 A and A ⊗A F ≃ S −1 A = F [GLn0 ]. Let
I := A ∩ IGρ . Then S −1 I = IGρ . So (A/I) ⊗A F ≃ S −1 (A/I) ≃ S −1 A/S −1 I = F [GLn0 ]/IGρ = F [Gρ ].
For any φ ∈ Gρ (R) := HomA−alg. (A[Gρ ], R) and a ∈ A \ {0}, we have φ(a) = aφ(1) 6= 0 as R is a free
A-module. Hence S −1 φ : S −1 A[Gρ ] → S −1 R is well-defined. As we discussed above S −1 A[Gρ ] = F [Gρ ]; and
S −1 R ≃ R ⊗A F . On the other hand, φ can be lifted to an A-algebra homomorphism from A to R. So we
get the desired point in Gρ (R ⊗A F ) ∩ GLn0 (R).
e
b + IG ), sends
:= φ(x
Now suppose φb ∈ Gρ (R ⊗A F ) ∩ GLn0 (R). This means φe : F [GLn0 ] → R ⊗A F , φ(x)
ρ
the generators tij , t of F [GLn0 ] to R.
As A is a PID, A[Gρ ] is a free A-module; and so we can and will identify A[Gρ ] by a subring of S −1 A[Gρ ] =
F [Gρ ]. Now let φ be the A-algebra homomorphism which is the restriction of φb to A[Gρ ]. Since the standard
b we can let R to be the codomain of φ. Hence we get an A-algebra
generators of F [GLn0 ] are sent to R by φ,
homomorphism φ : A[Gρ ] → R, i.e. φ ∈ Gρ (R).
To get the last part, we first notice that R[T ]/hT 2i = R ⊕ RT is a free A-module. Hence by the previous
part and the definition of Lie algebra we get the following commutative diagram
1→

Lie(Gρ )(R)

→

Gρ (R[T ])

Gρ (R)

→1

∼

−
→

∼

−
→

1 → Lie(Gρ )(R ⊗A F ) ∩ gln0 (R)

→

→ Gρ (R[T ] ⊗A F ) ∩ GLn0 (R[T ]) → Gρ (R ⊗A F ) ∩ GLn0 (R) → 1,

which implies the last part.

3. Generating the Lie algebra as a module under the adjoint action.
In this section, we study perfect algebraic groups and their adjoint representation. The main result of this
section is Proposition 13.
Let’s recall that the normal closure of an algebraic subgroup G2 of G1 is the smallest normal closed subgroup
of G2 in G1 .
Proposition 13. Let G2 ⊆ G1 be Zariski-connected Q-groups. Suppose G2 is a perfect Q-subgroup of G1 ,
and further assume that the normal closure of G2 in G1 is G1 . Let gi := Lie(Gi )(Q) be the Q-structure of
the Lie algebras of Gi . Then g2 generates g1 as an G1 (Q)-module under the adjoint representation.

8

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

Lemma 14. Let G2 ⊆ G1 be Zariski-connected Q-groups. Suppose G2 is a perfect Q-subgroup of G1 , and
further assume that the normal closure of G2 in G1 is G1 . Then G1 is perfect.
Proof. Let f : G1 → G1 /[G1 , G1 ] be the natural quotient map. Since G2 is perfect, G2 is a subgroup of the
kernel of f . Since ker(f ) is a normal subgroup of G1 and the normal closure of G2 in G1 is G1 , we get that
ker(f ) = G1 . Hence G1 is perfect.

The following lemma has been proved in [SG, Lemma 20] for large finite fields. It is reproved here for the
convenience of the reader. Lemma 15 enables us to reduce the proof of Proposition 13 to the case where the
unipotent radical of G1 is abelian.
Lemma 15. Let H be a Zariski-connected semisimple Q-group and U be a unipotent Q-group. Suppose H
acts on U, and let G := H ⋉ U. Let AG be the Q-span of Ad(G(Q)) ⊆ EndQ (Lie(G)(Q)) and aU be the ideal
of AG generated by {Ad(u) − 1| u ∈ U(Q)}. Then
(1) The Jacobson radical J(AG ) of AG is equal to aU .
(2) [u, u] ⊆ J(AG )g where u := Lie(U)(Q) and G := Lie(G)(Q).
Proof. Since U is unipotent, aU is a nilpotent ideal. Hence aU ⊆ J(AG ). Let AH be the Q-span of Ad(H(Q))
as a subset of EndQ (g). Since H is semisimple, AH is a semisimple algebra. Moreover, as a Q-algebra, we
have AG /aU ≃ AH . Overall we get J(AG ) = aU .
Since U is unipotent, log and exp define Q-morphisms between U and its Lie algebra. For any n ∈ Z, x, y ∈ u
we have
(5)

Ad(exp(nx))(y) = exp(n ad(x))(y).

Thus for n ∈ Z+ , x, y ∈ u we have
dimQ u

(6)

n−1 (Ad(exp(nx))(y) − y) = [x, y] +

X ni
ad(x)i (y) ∈ J(AG )g.
i!
i=1

Therefore by the Vandermonde determinant we have that [x, y] ∈ J(AG )g.



Lemma 16. Let H be a Zariski-connected, semisimple Q-group, and h = Lie(H)(Q). Let M be a subspace
of h which is H := Ad(H(Q))-invariant. Then there is a normal subgroup N of H such that Lie(N)(Q) = M ;
in particular, if M is a proper subspace of h, then N is a proper normal subgroup of H.
Proof. Without loss of generality we can and will assume that H is simply-connected. So there are Zariskiconnected, simply-connected, semisimple, Q-simple groups Hi such that H ≃ ⊕i Hi . Without loss of generality
we can and will identify H with ⊕i Hi . Therefore hi := Lie(Hi )(Q) are simple H-modules, and M can be
identified with a subspace of ⊕i hi .
Claim. Let prj : ⊕i hi → hj be the projection onto the j-th component. Let J := {j| prj (M ) 6= 0}. Then
M = ⊕j∈J hj .
Proof of Claim. For j ∈ J, there is x = (xi )i ∈ ⊕i hi such that xj 6= 0. So there is hj ∈ Hj (Q) such that
Ad(hj )(xj ) 6= xj . Hence
Ad(hj )(x) − x = Ad(hj )(xj ) − xj ∈ (M ∩ hj ) \ {0}.
So M ∩ hj 6= 0. Since hj is a simple H-module, we get hj ⊆ M . Thus M = ⊕j∈J hj .
Now it is clear that the subgroup N := ⊕j∈J Hj satisfies all the mentioned conditions.



The next lemma is tightly related to [SGV12, Lemma 13], where normal subgroups of a perfect algebraic
group is described. And we closely follow the proof of the mentioned result.

INDUCING SUPER-APPROXIMATION.

9

Lemma 17. Let H be a Zariski-connected semisimple Q-group. Let ρ : H → GL(V) be a Q-representation
of H. Suppose V(Q) has no non-zero H(Q)-fixed point. Let G := H ⋉ V, and g := Lie(G)(Q). Let M
be a subspace of g which is G := Ad(G(Q))-invariant. Then there is a normal subgroup N of G such that
M = Lie(N)(Q).
Proof. Let M ′ := M ∩ V , and M ′ be the Q-subgroup of V which is induced by M ′ . Since H is semisimple,
H(Q) is Zariski-dense in H. Hence M ′ is invariant under the action of H.
Passing to H⋉V/M ′ and M/M ′ ⊆ h⊕V /M ′ , we can and will assume that V ∩M = {0}. Thus projection to h
induces an embedding and we get an Ad(H(Q))-module homomorphism φ : pr M → V , where pr : h ⊕ V → h
is the projection map, such that
M = {(x, φ(x))| x ∈ pr M }.
For any v ∈ V and x ∈ pr M , we have
(7)

Ad(1, v)(x, φ(x)) − (x, φ(x)) = (0, [x, v]) ∈ M.

Hence by (7) we have [pr M, V ] = 0. On the other hand, by Lemma 16, there is a normal subgroup HM of
H such that pr M = Lie(HM )(Q). In particular, HM is a semisimple Q-group. So we have that HM acts
trivially on V. Thus HM is a normal subgroup of G.
For any h in the centralizer CH(Q) (HM (Q)) of HM (Q) in H(Q) and x ∈ pr M , we have Ad(h)(φ(x)) =
φ(Ad(h)(x)) = φ(x). On the other hand, since H is a semisimple Q-group and HM is a normal Q-subgroup
of H, we have H(Q) = HM (Q)CH(Q) (HM (Q)). Overall we get that H(Q) acts trivially on φ(pr M ). Hence
φ = 0, and we get M = (Lie HM )(Q).

Proof of Proposition 13. By Lemma 14, G1 is perfect. So G1 ≃ H ⋉ U where H is a semisimple Q-group H
and U is a unipotent Q-group. Moreover V(Q) has no non-zero Ad(H(Q))-fixed element where V = U/[U, U].
Let M be the Ad(G1 (Q))-module generated by g2 . We want to show that M = g1 . By Lemma 15 and
Nakayama’s lemma, it is enough to prove [u, u] + M = g1 where u := Lie(U)(Q).
By applying Lemma 17 for H ⋉ V and
(M + [u, u])/[u, u] ⊆ Lie(H)(Q) ⊕ Lie(V)(Q) = h ⊕ u/[u, u],
we get that there is a normal Q-subgroup N of G1 such that M + [u, u] = Lie(N)(Q) ⊇ Lie(G2 )(Q). Hence
N ⊇ G2 . Since the normal closure of G2 in G1 is G1 , we get that N = G1 . And so M + [u, u] = g1 , which
finishes the proof as it was explained above.

4. Simultaneous bounded generation of almost all the fibers: Zariski-topology.
In this section we prove a bounded generation statement at the level of Zariski-topology (see Proposition 18).
To avoid recalling the definition of some well-known terms within the statements, they are mentioned here.
Along the way, some needed notation is introduced.
Let Spec(Z[1/q0 ]) be the affine scheme of the ring Z[1/q0 ]; in particular, the set of its points is
Spec(Z[1/q0 ]) = {0} ∪ {pZ[1/q0 ]| p is a prime integer, p ∤ q0 }.
The point (0) is called the generic point (as it is dense). For any p ∈ Spec(Z[1/q0 ]), the residue field over
pZ[1/q0 ] is denoted by k(p); that means k(p) is either the finite field with p elements if p 6= 0, or Q if p = 0.
For any field F , its algebraic closure is denoted by F .
Here we have to work with affine, finite type, reduced, flat group schemes G over Z[1/q0 ]; that means, as
a scheme G = Spec(A) where A is a finitely generated Z[1/q0 ]-algebra with no non-zero nilpotent element
and no additively torsion element, and in addition A has a Hopf algebra structure. For an affine group
scheme G = Spec(A) over Z[1/q0 ], its fiber over p ∈ Spec(Z[1/q0 ]) is denoted by G (p) ; that means G (p) =

10

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

Spec(A ⊗Z[1/q0 ] k(p)). For a group scheme G over Z[1/q0 ], its geometric fiber over p ∈ Spec(Z[1/q0 ]) is
denoted by G(p) ; that means G(p) := Spec(A ⊗Z[1/q0 ] k(p)). The fiber G (0) over (0) is called the generic fiber,
and the geometric fiber G(0) is sometimes denoted by G. A morphism f : Spec(A) → Spec(B) between two
schemes is called dominant if its image is dense.
For any non-zero integer q, any homomorphism induced by the quotient map πq : Z[1/q0 ] → Z[1/q0 ]/qZ[1/q0 ]
is still denoted by πq . We let π0 denote all the homomorphisms induced by the embedding π0 : Z[1/q0 ] → Q.
In particular, for a group scheme G over Z[1/q0 ] and pZ[1/q0 ] ∈ Spec(Z[1/q0 ]), we get a group homomorphism
πp : G(Z[1/q0 ]) → G (p) (k(p)).
The normal closure of an algebraic subgroup G2 of G1 is the smallest normal closed subgroup of G2 in G1 .
Proposition 18. Let Γ2 ⊆ Γ1 be subgroups of GLn0 (Z[1/q0 ]). For i = 1, 2, let Gi be the Zariski-closure
of Γi in (GLn0 )Z[1/q0 ] , and suppose the geometric generic fiber Gi of Gi is irreducible. Suppose the normal
closure of G2 in G1 is G1 . Then there are γ1 , . . . , γc in Γ1 such that the following is a surjective morphism
(p)

(p)

(p)

(p)

f(γi ) (h1 , . . . , hc ) : G2 × · · · × G2 → G1 ,

(p)

f(γi ) (h1 , . . . , hc ) := πp (γ1 )h1 πp (γ1 )−1 · · · πp (γc )hc πp (γc )−1 ,

where pZ[1/q0 ] ranges in a non-empty open subset of Spec(Z[1/q0 ]); that means pZ[1/q0 ] can be any prime
(p)
ideal except for finitely many non-zero ones. Furthermore Gi are Zariski-connected.
Let us recall parts of Proposition 9.6.1, Theorem 9.7.7 and Theorem 12.2.4 from [EGA66] where constructibility of being a dominant morphism (see [DG80, Chapter I.3.3] for definition of a constructible set) and genericness of dimension, being smooth, and being geometrically irreducible for the fibers of a Z[1/q0 ]-scheme
are proved (see [DG80, Chapter I.4.4] for definition of a smooth morphism and see [SGV12, Theorem 40,
Lemma 42] for an effective version of the former results).
Theorem 19.
(1) Let V be an affine Z[1/q0 ]-scheme of finite type. Suppose the generic fiber V (0) of V
is smooth and geometrically irreducible; that is to say V(0) := V (0) ×Spec(Q) Spec(Q) is irreducible.
Then there is q1 ∈ Z \ {0} such that
(a) For any p ∤ q0 q1 , the fiber V (p) of V over pZ[1/q0 ] is a smooth k(p)-scheme,
(b) For any p ∤ q0 q1 , V (p) is geometrically irreducible; that is to say V(p) := V (p) ×Spec(k(p))
Spec(k(p)) is irreducible,
(c) For any p ∤ q0 q1 , dim V (0) = dim V (p) = dim V(p) .
(2) Let V and W be two affine, of finite type, Z[1/q0 ]-schemes. Let f : V → W be a Z[1/q0 ]-morphism.
Let V(p) and W(p) be the geometric fibers over pZ[1/q0 ] ∈ Spec(Z[1/q0 ]) of V and W, respectively.
Suppose V(0) and W(0) are irreducible and f (0) : V(0) → W(0) is dominant. Then there is q1 ∈ Z\ {0}
such that
f (p) : V(p) → W(p)
is dominant for any p ∤ q0 q1 .
Proof. As it is mentioned earlier, these are special cases of [EGA66, Proposition 9.6.1, Theorem 9.7.7,
Theorem 12.2.4].

Proof of Proposition 18. We start by getting a dominant map on the geometric fiber of the generic point.
(0)
1
⊆ Γ1 , if f(γ )c1 is not dominant, then there are γc1 +1 , . . . , γc2 ∈ Γ1 such that
Claim 1. For a given (γi )ci=1



 i i=1
(0)
(0)
dim Im(f(γ )c2 ) > dim Im(f(γ )c1 ) .
i i=1

i i=1

(0)

Proof of Claim 1. Since G2 is irreducible, V := Im(f(γi ) ) is irreducible. Therefore V · V−1 · V is irreducible,
too. If V · V−1 · V 6= V, then dim V · V−1 · V > dim V and we get the desired claim as
(0)
c2 ),
i )i=1

V · V−1 · V = Im(f(γ

INDUCING SUPER-APPROXIMATION.

11

where c2 := 3c1 and γkc1 +i := γi for 0 ≤ k ≤ 2 and 1 ≤ i ≤ c1 .
So we can and will assume that V · V−1 · V = V, which implies that V is a subgroup of G1 . Since the normal
closure of G2 in G1 is G1 , V cannot be a normal subgroup of G1 . Since Γ1 is Zariski-dense in G1 , there is
γ ∈ Γ1 such that γVγ −1 · V 6= V. Again by irreducibility of V and γVγ −1 · V we get the desired claim.
(0)

Claim 2. There are γ1 , . . . , γc1 ∈ Γ1 such that f(γi ) is a dominant map.
Proof of Claim 2. Applying Claim 1 for at most dim G1 many times, we get γ1 , . . . , γcdim G1 ∈ Γ1 such that
(0)

f(γi ) is dominant.
Claim 3. There are q1 ∈ Z \ {0} and γ1 , . . . , γc1 ∈ Γ1 such that for any p ∤ q0 q1 (including p = 0) we have
(p)
(p)
that f(γi ) is dominant and Gi is irreducible.
Proof of Claim 3. Let γi ’s be as in Claim 2. Now we can get the rest using Theorem 19 parts 1(b) and (2).
Claim 4. There are γ1 , . . . , γc ∈ Γ1 and q1 ∈ Z \ {0} such that for any p ∤ q0 q1 (including p = 0) we have
(p)
that f(γi ) is surjective.
(p)

Proof of Claim 4. Since k(p) is algebraically closed, it is enough to find γi such that f(γi ) induces a surjection
(p)

(p)

(p)

from G2 (k(p)) × · · · × G2 (k(p)) to G1 (k(p)) (see [DG80, Corollary 11, Chapter I.3.6]). Let γ1 , . . . , γc1
be as in Claim 3. So by Chevalley’s theorem [Hum95, Chapter 4.4], there is an open and dense subset
(p)
(p)
(p)
Up ⊆ G1 (k(p)) of Im(f(γi ) ). Hence by [Hum95, Chapter 7.4] we have G1 (k(p)) = Up · Up . Therefore
(p)

f(γi )c

i=1

is surjective where c := 2c1 and γc1 +i := γi for any 1 ≤ i ≤ c1 .



5. Large congruence subgroup: for an arbitrary place.
In this section, we will prove a bounded generation statement in p-adic setting for arbitrary p (see Proposition 20).
Besides some well-known terms from algebraic geometry that has been already introduced in Section 4, we
need to recall some terms from algebraic group theory. An algebraic group G is called perfect if there is no
non-trivial homomorphism to an abelian algebraic group; that is to say the derived subgroup [G, G] is equal
to G. A perfect group G is isomorphic to L ⋉ U where L is a semisimple group and U is a unipotent group.
We say a perfect group G is simply connected if its semisimple part is simply connected (see [SGV12, Section
3] for relevant basic properties of perfect algebraic groups).
To avoid repeating a series of assumptions for the statements of this section, we record them here for the
future reference.
(A1) Γ2 ⊆ Γ1 are finitely generated subgroups of GLn0 (Z[1/q0 ]).
(A2) Gi is the Zariski-closure of Γi in (GLn0 )Z[1/q0 ] .
(A3)
(A4)
(A5)
(A6)

(p)

For any p ∈ Spec(Z[1/q0 ]), Gi is the fiber over p of Gi .
(p)
(p)
For any p ∈ Spec(Z[1/q0 ]), Gi is the geometric fiber of Gi .
(0)
Gi := Gi are perfect and G1 is simply-connected.
(p)
(p)
(p)
(p)
(p)
(p)
(p)
For γi ∈ Γ1 and p ∈ Spec(Z[1/q0 ]), fp,(γi ) : G2 ×· · ·×G2 → G1 and f(γi ) : G2 ×· · ·×G2 → G1
be the morphisms that are given by
(hi ) 7→ πp (γ1 )h1 πp (γ1 )−1 · · · πp (γc )h1 πp (γc )−1 .
(p)

(A7) For some γ1 , . . . , γm0 ∈ Γ1 , f(γi ) is surjective if p is large enough.

12

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

Proposition 20. In the setting of (A1)-(A7), there are a positive integer N and γm0 +1 , . . . , γm1 ∈ Γ,such
that for any prime p ∤ q0 we have
−1
,
Γ1,p [pN ] ⊆ γ1 Γ2,p γ1−1 · · · γm1 Γ2,p γm
1
πp N

where Γi,p is the closure of Γi in GLn0 (Zp ) and Γ1,p [pN ] := Γ1,p ∩ ker(G1 (Zp ) −−−→ G1 (Z/pN Z)).
Lemma 21. In the setting of (A1)-(A7), there are dim G1 -many elements γi′ in Γ1 such that
Lie(G1 )(Q) =

dim
XG1

Ad(γi′ )(Lie(G2 )(Q)).

i=1

And so

Pdim G1
i=1

Q

Ad(γi′ )(Lie(G2 )(

q0 ∤p

Q
Zp )) is an open subgroup of Lie(G1 )( q0 ∤p Zp ).

Proof. The first part is a corollary of Proposition 13 and the assumption that Γ1 is Zariski-dense in G1 . The
second part is consequence of Chinese remainder theorem and the first part.

Lemma 22. In the setting of (A1), (A2), and (A5), for any p ∤ q0 , let Γ1,p be the closure of Γ1 in GLn0 (Zp ),
b 1 be the closure of Γ1 in Q
and Γ
p∤q0 GLn0 (Zp ). Then the following holds:

b 1 is an open subgroup of Q
(1) (Strong Approximation: simply-connected) Γ
p∤q0 G1 (Zp ); in particular,
there is a positive integer c0 such that for any prime p ∤ q0 and any integer c ≥ c0 , we have
Γ1,p [pc ] = G1 (Zp )[pc ] where as before these are principal congruence subgroups.
(2) (Strong Approximation: general) There is a positive integer c1 such that for any integer c ≥ c1 we
have G2 (Zp )[pc ] = Γ2,p [pc ]. Moreover, if p is large enough, then G2 (Zp )[p] = Γ2,p [p]
(3) (Local charts) There is a positive integer c2 such that for any integer c ≥ c2 , the exponential and the
logarithmic maps induce bijections between Gi (Zp )[pc ] and Lie(Gi )(Zp ) ∩ pc gln0 (Zp ) for i = 1 or 2.

Proof. The first part is Nori’s strong approximation [Nor87, Theorem 5.4]. The third part is a direct
consequence of Proposition 11 and Lemma 12.
e 2 be the simply-connected cover of G2 , and ι : G
e 2 → G2 be the Q-central isogeny. Let Λ := ι−1 (Γ2 ) ∩
Let G
e 2 (Q). Then, as in [SGS13, Lemma 24], we have that Λ is a finitely generated, Zariski-dense subgroup of
G
e
G2 . Hence, by Nori’s strong approximation, we have that the closure Λp of Λ in ι−1 (G2 (Zp )) is open; and
e 2 (Qp ))| ≤ pc3 where c3 just depends
moreover, for large enough p, Λp = ι−1 (G2 (Zp )). Since |G2 (Qp )/ι(G
c1
on the dimension of G2 , we have that ι(Λp ) ⊇ G2 (Zp )[p ] where c1 just depends on Γ2 ⊆ GLn0 (Z[1/q0 ]).
Therefore Γ2,p ⊇ G2 (Zp )[pc1 ].
e 2 which is a Qp -group.
To show the last claim of part (2), we notice that µ := ker(ι) is a central subgroup of G
Using Galois cohomology, we get the following exact sequence:
e 2 (Qp ) → G(Qp ) → H 1 (Qp , µ).
1 → µ(Qp ) → G

e 2 (Qp )) can be embedded into H 1 (Qp , µ), which is an abelian m-torsion group for some m
Hence G(Qp )/ι(G
e 2 (Qp )) does not
that can be bounded by the dimension of G2 . In particular, for large enough p, G(Qp )/ι(G
−1
e
have any p-element. As G2 (Zp )[p]/ι(ι (G2 (Zp )))[p] can be embedded into G(Qp )/ι(G2 (Qp )), we get that
G2 (Zp )[p]/ι(ι−1 (G2 (Zp )))[p] has no p-element. On the other hand, G2 (Zp )[p] is a pro-p group, and so all of
its finite quotients are p-groups. Therefore we get
(8)

G2 (Zp )[p] = ι(ι−1 (G2 (Zp )))[p].

As we said earlier, Λp = ι−1 (G2 (Zp )), for large enough p. Thus by (8) we have
G2 (Zp )[p] = Γ2,p [p].


INDUCING SUPER-APPROXIMATION.

13

Proof of Proposition 20. Let m1 := m0 + dim G1 and γm0 +i := γi′ where γi′ are the elements given by
Lemma 21. Let c be an integer larger than max{c0 , c1 , c2 } where ci ’s are given in Lemma 22. Let gi,p :=
Lie(Gi )(Zp ). Let F : pc g2,p × · · · × pc g2,p → pc g1,p be the composite of the following p-adic analytic functions:
pc g2,p × · · · × pc g2,p

exp

−−→ G2 (Zp )[pc ] × · · · × G2 (Zp )[pc ],
Conj

exp(x1 , . . . , xm1 ) := (exp x1 , . . . , exp xm1 ),

−1
),
−−−→ G1 (Zp )[p ] × · · · × G1 (Zp )[p ], Conj(h1 , . . . , hm1 ) := (γ1 h1 γ1−1 , . . . , γm1 hm1 γm
1
c

c

Prod

−−−→ G1 (Zp )[pc ],
log

Prod(g1 , . . . , gm1 ) := g1 · · · · · gm1 ,

c

−−→ g1,p ∩ p gln0 (Zp ),

g 7→ log(g).

So by the chain rule we have dF (0) : g2,p × · · · × g2,p → g1,p is the composite of the following maps:
g2,p × · · · × g2,p

d(exp)(0)

−−−−−−→ g2,p × · · · × g2,p ,

d(exp)(0)(x1 , . . . , xm1 ) := (x1 , . . . , xm1 ),

d(Conj)(I)

−−−−−−−→ g1,p × · · · × g1,p , d(Conj)(I)(x1 , . . . , xm1 ) = (Ad(γ1 )(x1 ), . . . , Ad(γm1 )(xm1 )),
d(Prod)(I)

d(Prod)(I)(y1 , . . . , ym1 ) = y1 + · · · + ym1 ,

−−−−−−−→ g1 ,
d(log)(I)

−−−−−→ g1,p ,

d(log)(I)(y) = y.

Hence by Lemma 21 and Lemma 22, we have that, for large enough p, dF (0) is onto, and for any p ∤ q0 the
image of dF (0) is open in g1,p . Hence for some non-zero integer a0 we have N (dF (0)) ≥ |a0 |p where, for a
d-by-m matrix X = [v1 · · · vm ], N (X) := max1≤i1 ≤···≤id ≤m | det[vi1 · · · vid ]|.
By defintion of F , we have F (x1 , . . . , xm1 ) = log(exp(Ad(γ1 )(x1 )) · · · exp(Ad(γm1 )(xm1 )). Hence by BakerCampbell-Hausdorff formula [Jac79, Chapter V.5] we have
X
X
Ad(γi )(xi ) +
ci Li (Ad(γ1 )(x1 ), . . . , Ad(γm1 )(xm1 )),
F (x1 , . . . , xm1 ) =
i

i

where Li (y1 , . . . , ym1 ) is a Lie monomial with multi-index i and ci ∈ Q; moreover using the explicit BakerCampbell-Hausdorff formula we see that
|ci |p ≤ pm2 kik1 ,

(9)

P
where k(i1 , . . . , im1 )k1 = j ij and m2 is a constant which depends on m1 (independent of p). Let F1 :
g2 × · · · × g2 → g1 be F1 (x) := F (pcm2 x). Choosing Zp -basis for g1 and g2 , we identify them by Zdp1 and
Zdp2 , where di = dim Gi . Now using the mentioned Baker-Campbell-Hausdorff formula, writing the Taylor
P
i
i
expansion of F ′ at 0 with respect to the chosen coordinates we get F1 (x) =
i (ci,1 x , . . . , ci,d1 x ) and
m2 d 1
|. Therefore by [SG, Lemma 45’] there is l0
|ci,j |p ≤ 1 for any i and j. We also have N (dF1 (0)) ≥ |a0 p
which is independent of p such that
F1 (0) + pl Zdp1 ⊆ F1 (Zdp2 m1 ),
which implies that
(10)

−1
pl g1,p ⊆ log(γ1 G2 (Zp )[pc ]γ1−1 · · · γm1 G2 (Zp )[pc ]γm
).
1

By Lemma 22 and Equation (10) we have
−1
−1
.
⊆ γ1 Γ2,p γ1−1 · · · γm1 Γ2,p γm
Γ1,p [pl ] ⊆ γ1 G2 (Zp )[pc ]γ1−1 · · · γm1 G2 (Zp )[pc ]γm
1
1


6. Bounded generation: Large primes.
In this section, we will prove a bounded generation statement in p-adic setting for large p (see Proposition 23).
We will be using all the mentioned terms from algebraic geometry and algebraic group theory; in particular,
we will operate under the assumptions (A1)-(A7) which are mentioned in Section 5. In addition, we assume
γi ’s satisfy Proposition 20 and Lemma 21, which means

14

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

Pc

(A8) We have Lie(G1 )(Q) = i=1 Ad(γi )(Lie(G2 )(Q)).
(A9) For a positive integer N and any prime p ∤ q0 , we have Γ1,p [pN ] ⊆ γ1 Γ2,p γ1−1 · · · γc Γ2,p γc−1 .
It is worth mentioning that, as we have seen in the proof of Proposition 20, (A1)-(A8) implies (A9).
Proposition 23. In the setting of (A1)-(A9), there is a positive integer C such that for any large enough p
we have
Q
−1
−1
(11)
C (γ1 Γ2,p γ1 · · · γc Γ2,p γc ) = Γ1,p ,
Q
where Γi,p is the closure of Γi in GLn0 (Zp ) and C X = {x1 · · · xC | xi ∈ X}.
It is enough to prove that the equality holds modulo all the powers of p. We start with proving that (11)
holds modulo p for C = 3 dim G1 .
Lemma 24. In the setting of (A1)-(A8), for large enough p, we have
Q
−1
−1
3 dim G1 πp (γ1 Γ2,p γ1 · · · γc Γ2,p γc ) = πp (Γ1,p ),
Q
where Γi,p is the closure of Γi in GLn0 (Zp ) and C X = {x1 · · · xC | xi ∈ X}.
Proof. By (A7), for large enough p, fp,(γi )ci=1 is dominant. By (A5) and Proposition 18, for large enough
(p)

p, G2 is irreducible. So by [PR09, Proposition 2.4] fibers of fp,(γi )cd1 have dimension at most d1 (cd2 − 1),
i=1
where d1 = dim G1 , d2 = dim G2 , γrc+i = γi for 0 ≤ r < d1 and 1 ≤ i ≤ c.
Clearly fp := fp,(γi )cd1 is dominant. Hence, by [PR09, Proposition 2.5], there is a positive constant C1 such
i=1

(p)

that for any prime p and any y ∈ G1 (k(p)) we have
(12)

−1

|fp−1 (y)(k(p))| ≤ C1 pdim(fp

(y))

.

Since any fiber of f has dimension at most d1 (cd2 − 1), by (12) we get
X
(13)
|πp (Γ2,p )|cd1 ≤
|fp−1 (y)(k(p))| ≤ C1 pd1 (cd2 −1) |fp (Γ2,p )|.

y∈fp πp (Γ2,p ) × · · · × πp (Γ2,p )
|
{z
}
cd1 times

Since G2 is perfect, by Nori’s strong approximation (see [SGV12, Section 3]) and the well-known order of finite
quasi-simple groups of Lie type we have that there is a positive constant C2 such that |πp (Γ2,p )| ≥ C2−1 pd2
for any large enough prime p. So together with (13) we get

Q
(14)
C2−cd1 C1−1 pd1 ≤ |fp πp (Γ2,p ) × · · · × πp (Γ2,p ) | = | d1 πp (γ1 Γ2,p γ1−1 · · · γc Γ2,p γc−1 )|.
{z
}
|
cd1 times

Since G1 is perfect and G1 is simply-connected, again by Nori’s strong approximation (see [SGV12, Section
3]) and the well-known order of finite quasi-simple groups of Lie type we have that there is a constant C3
such that |πp (Γ1,p )| ≥ C3−1 pd2 for any large enough prime p. Hence by (14) we get
Q
(15)
C4−1 |πp (Γ1,p )| ≤ | d1 πp (γ1 Γ2,p γ1−1 · · · γc Γ2,p γc−1 )|,
for some positive constant C4 . By Nori’s Strong Approximation (see [Nor87, Theorem 5.4] or [SGV12,
Theorem A]) we have that πp (Γ1,p ) = Lp (k(p)) ⋉ Up (k(p)) for large enough p, where Lp is a semisimple,
simply connected, Zariski connected k(p)-group with dimension at most d1 and Up is a unipotent Zariski
connected k(p)-group with dimension at most d1 . Let ρ be an irreducible (complex) representation of
πp (Γ1,p ). By [SGV12, Corollary 4], the restriction of ρ to Lp (k(p)) is not trivial. Hence by [LS74]
(16)

dim ρ ≥ |Lp (k(p))|1/C5 ≥ |πp (Γ1,p )|1/C6

INDUCING SUPER-APPROXIMATION.

15

for some positive constants C5 and C6 (depending only on d1 ). By (15), (16), and a theorem of Gowers [Gow08] (see [NP11, Corollary 1]), it follows that
Q
−1
−1
3d1 πp (γ1 Γ2,p γ1 · · · γc Γ2,p γc ) = πp (Γ1,p )
for large enough p.



Next we generate the k-th grade Γ1,p [pk ]/Γ1,p [pk+1 ] using γi ’s. Let us recall the connection between the k-th
grade and the Lie algebra of the group scheme Gi .
Lemma 25. In the setting of (A1)-(A5), for large enough prime p and any positive integer k,
Ψk : Gi (Zp )[pk ]/Gi (Zp )[pk+1 ] → gi,p /pgi,p ,

Ψk ((I + pk x)Gi (Zp )[pk+1 ]) := πp (x),

where gi,p := Lie(Gi )(Zp ), is an isomorphism; moreover for any g ∈ Gi (Zp ) and g ′ ∈ Gi (Zp )[pk ] we have
Ψk (gg ′ g −1 Gi (Zp )[pk+1 ]) = Ad(πp (g))(Ψk (g ′ Gi (Zp )[pk+1 ])).
Proof. By the discussion in [SG16, Section 2.9], we get that
e k : Gi (Zp )[pk ]/Gi (Zp )[pk+1 ] → Lie(Gi )(Zp /pZp ),
Ψ

is a well-defined injective group homomorphism.

e k ((I + pk x)Gi (Zp )[pk+1 ]) := πp (x),
Ψ

For large p, Gi ×Z[1/q0 ] Zp is a smooth Zp -group scheme, and so Lie(Gi )(Zp /pZp ) is naturally isomorphic to
gi /pgi . So we get that Ψk is a well-defined injective group homomorphism.
For any x ∈ gi,p and p > 2, by Proposition 11, exp(pk x) ∈ Gi (Zp )[pk ]. By the definition of the exponential
function we can see that
Ψk (exp(pk x)Gi (Zp )[pk+1 ]) = πp (x),
which implies that Ψk is a group isomorphism. The other part of Lemma is easy to check.



Lemma 26. In the setting of (A1)-(A8), for large enough p and any positive integer k, we have
(γ1 Γ2,p [pk ]γ1−1 · · · γc Γ2,p [pk ]γc−1 )Γ1,p [pk+1 ] = Γ1,p [pk ].
Proof. By (A8), for large enough p, we have g1,p =
Lemma 25, we have
(17)

Pc

i=1

Ad(γi )(g2,p ) where gi,p := Lie(Gi )(Zp ). Hence, by

(γ1 G2 (Zp )[pk ]γ1−1 · · · γc G2 (Zp )[pk ]γc−1 )G1 (Zp )[pk+1 ] = G1 (Zp )[pk ].

On the other hand, by the second part of Lemma 22, we have that, for large enough p, Γi,p [pk ] = Gi (Zp )[pk ],
which together with (17) implies the claim.

Proof of Proposition 23. Using Lemma 25, for k = 1, . . . , N − 1, we get that
Q
−1
−1
N
(18)
N −1 (γ1 Γ2,p [p]γ1 · · · γc Γ2,p [p]γc )Γ1,p [p ] = Γ1,p [p].
Lemma 24 and Equation (18), we get
Q
−1
−1
N
(19)
3 dim G1 +N −1 (γ1 Γ2,p γ1 · · · γc Γ2,p γc )Γ1,p [p ] = Γ1,p .
Condition (A9) together with Equation (19) imply that
Q
−1
−1
3 dim G1 +N (γ1 Γ2,p γ1 · · · γc Γ2,p γc ) = Γ1,p .


16

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

7. Bounded generation: Adelic version.
In this section, we will prove an adelic bounded generation statement (see Theorem 27).
We will be working under the assumptions (A1)-(A5) mentioned at the beginning of Section 5.
Q
b i be the closure of Γi in
Theorem 27. In the setting of (A1)-(A5), let Γ
p∤q0 GLn0 (Zp ). Then there are
γ1 , . . . , γm ∈ Γ1 such that
−1
b 2 γ −1 · · · γm Γ
b 2 γm
b1
⊆Γ
γ1 Γ
1
b1 .
is an open subgroup of Γ
e 2 be the simply-connected cover of G2 , and
Proof. As in the proof of Lemma 22 and [SGS13, Lemma 24], let G
−1
e
e
ι : G2 → G2 be the Q-central isogeny. Let Λ := ι (Γ2 )∩ G2 (Q) and Γ′2 := ι(Λ). Then, as in [SGS13, Lemma
e 2 ; and so Γ′ is a finitely generated Zariski-dense
24], Λ is a finitely generated Zariski-dense subgroup of G
2
′
subgroup of G2 . We also notice that Γ2 ⊆ Γ2 ⊆ Γ1 .
−1
b of Λ in Q
(G2 (Zp )) is open. So passing to a finiteBy Nori’s strong approximation, the closure Λ
p∤q0 ι
b=Q
index subgroup of Λ, if needed, we can and will assume that Λ
p∤q0 Λp where Λp is the closure of Λ in
Q
Q
′
′
′
−1
′
b =
ι (G2 (Zp )). Therefore the closure of Γ2 in p∤q0 G2 (Zp ) is ι(Λ)
p∤q0 Γ2,p , where Γ2,p is the closure of Γ2
in G2 (Zp ). We notice that Γ′2 is a finitely generated subgroup of Γ2 , and it is Zariski-dense in G2 since G2
is Zariski-connected.
By Proposition 18 applied to Γ′2 ⊆ Γ1 , we get that Γ′2 ⊆ Γ1 satisfy (A1)-(A7) for some γi ∈ Γ1 . Hence by
Proposition 20 for some γi ∈ Γ1 and positive integer N we have
(20)

−1
.
Γ1,p [pN ] ⊆ γ1 Γ′2,p γ1−1 · · · γm1 Γ′2,p γm
1

By Lemma 21 applied to Γ′2 ⊆ Γ1 , there are γi in Γ1 such that (A1)-(A9) hold for Γ′2 ⊆ Γ1 . Therefore there
are γi in Γ1 such that, for any large prime p, we have
(21)

−1
γ1 Γ′2,p γ1−1 · · · γm2 Γ′2,p γm
= Γ1,p .
2

By Equations (20) and (21), we have there are γi in Γ1 such that
Y
−1
−1
b ′2 γ −1 · · · γm3 Γ
b ′2 γm
(γ1 Γ′2,p γ1−1 · · · γm3 Γ′2,p γm
)⊇
=
(22)
γ1 Γ
1
3
3
p∤q0

Y

Γ1,p [pN ] ·

p∤q0 ,p<p0

Y

Γ1,p .

p≥p0

b 1 . So by multiplying
b 2 γ −1 contains an open normal subgroup (of finite index) of Γ
b 2 γ −1 · · · γm3 Γ
Therefore γ1 Γ
m3
1
b
this set by itself finitely many times we get an open subgroup of Γ1 . This means there are γi in Γ1 such that
−1
b 2 γ −1 · · · γm Γ
b 2 γm
b1 .
is an open subgroup of Γ

γ1 Γ
1
8. Proof of Theorem 1: inducing super-approximation.
Let us recall that Gi is the Zariski-closure of Γi in (GLn0 )Q and G◦i is the Zariski-connected component of Gi .
e 1 be the simply-connected cover of G◦ and ι : G
e 1 → G◦ be its covering map. Let Λ
e 1 (Q),
e 1 := ι−1 (Γi )∩ G
Let G
1
1
−1
−1
e
e
e
e
e1
Λ2 := ι (Γ2 )∩Λ1 ∩G2 (Q), where G2 is the Zariski-connected component of the Zariski-closure of ι (Γ2 )∩Λ
e 1 . Finally let Λi := ι(Λ
e i ).
in G
e2 ⊆ Λ
e 1 satisfy conditions (A1) and (A5).
Now we will check that Λ

(A1) First we notice that G◦1 (Q) ∩ Γ1 is a subgroup of finite-index of Γ1 , and so it is finitely generated.
e 1 (Q)) is an abelian bounded torsion group and G◦ (Q) ∩ Γ1 is finitely generated, we have
Since G◦1 (Q)/ι(G
1
that Λ1 is a subgroup of finite-index in Γ1 . Thus Λ1 is finitely generated. Since ker(ι)(Q) is finite, we get
e 1 is finitely-generated.
that Λ

INDUCING SUPER-APPROXIMATION.

17

e 1 ) is a finite-index subgroup of Γ2 ∩ G◦ (Q). Therefore Λ2 is a
By a similar argument we get ι(ι−1 (Γ2 ) ∩ Λ
1
e 2.
subgroup of finite-index in Γ2 . Hence it is finitely-generated, and so is Λ

e 1 ⊆ GLn1 (Z[1/q0 ]). So we have
e 1 ⊆ (GLn1 )Q such that Λ
By [SG16, Lemma 11], there is a Q-embedding G
e
e
Λ2 ⊆ Λ1 are two finitely generated subgroups of GLn1 (Z[1/q0 ]).
(A5) Since Γ1 is Zariski-dense in G1 , Γ1 ∩ G◦1 (Q) is Zariski-dense in G◦1 . Since Λ1 is a finite-index
e 1 is
subgroup of Γ1 ∩ G◦1 (Q), it is Zariski-dense in G◦1 . So the restriction of ι to the Zariski-closure of Λ
e
e
still surjective. And so Λ1 is Zariski-dense in G1 .

Since Λ2 is a subgroup of finite-index in Γ2 , its Zariski-closure is a subgroup of finite index of G2 . On the
e 2 . Hence the Zariski-closure of Λ2 = ι(Λ
e 2 is Zariski-dense in a Zariski-connected group G
e2)
other hand, Λ
is a Zariski-connected group. Therefore the Zariski-closure of Λ2 is G◦2 .
Q
Since Γ2 y p∤q0 GLn0 (Zp ) has spectral gap, by [SG16, Proposition 8], G◦2 is perfect. By Lemma 14, we
e i ’s are perfect.
get that G◦ is perfect. Therefore G
1

b
b
e−1 · · · λ
e−1 is an open subgroup
ei ∈ Λ
e1 Λ
em Λ
e 1 such that λ
e 2λ
e 2λ
Hence by Theorem 27 we have that there are λ
m
1
Q
b
b
ei ), we get that
e 1 where Λ
e i is the closure of Λ
e i in
(Z
).
Hence,
applying
ι
and
letting
λi := ι(λ
GL
of Λ
p
n1
p∤q0
Q
−1
−1
b
b
b
b
λ1 Λ2 λ1 · · · λm Λ2 λm is an open subgroup of Λ1 where Λi is the closure of Λi in p∤q0 GLn0 (Zp ).
Sm
−1
Claim
Q 1. Let Ω2 be a finite symmetric generating set of Λ2 . Let Ω := i=1 λi Ω2 λi and Λ := hΩi. Then
Λ y p∤q0 GLn0 (Zp ) has spectral gap.
Proof of Claim 1. The closure of Λ in

Q

p∤q0

GLn0 (Zp ) is

b 2 λ−1 .
b 2 λ−1 · · · λm Λ
b := λ1 Λ
Λ
m
1

(23)

b = supgcd(q,q )=1 λ(Pπ (Ω) ; πq (Λ)).
By [SG16, Remark 15, (5)], λ(PΩ ; Λ)
q
0
Q
On the other hand, by [SG16, Section 2.3] we have that Γ2 y p∤q0 GLn0 (Zp ) has spectral gap if and only
Q
if Λ2 y p∤q0 GLn0 (Zp ) has spectral gap. Hence
b 2) =
1 > λ(PΩ2 ; Λ

(24)

sup
gcd(q,q0 )=1

λ(Pπq (Ω2 ) ; πq (Λ2 )).

b < 1.
Therefore, by Varjú’s lemma [BK14, Lemma A.4], Equations (23) and (24), we get that λ(PΩ ; Λ)
Claim 2. Λ1 y

Q

p∤q0



GLn0 (Zp ) has spectral gap.

b where Λ
b is given in the proof of Claim 1. Since Λ
b is a subgroup of
Proof of Claim 2. Let Λ := Λ1 ∩ Λ
b
finite index
of Λ1 , Λ is a subgroup of finite index of Λ1 . Q
Therefore by [SG16, Section 2.3] we have that
Q
Λ1 y p∤q0 GLn0 (Zp ) has spectral gap if and only if Λ y p∤q0 GLn0 (Zp ) has spectral gap. Since Λ ⊆ Λ,
b
b
b
both of
Q them are dense in Λ, and Λ y Λ has spectral gap, we get that Λ y Λ has spectral gap. Thus

Λ1 y p∤q0 GLn0 (Zp ) has spectral gap.
Q
Since Λ1 is a subgroup of finite index of Γ1 and Λ1 y p∤q0 GLn0 (Zp ) has spectral gap, another application
Q
of [SG16, Section 2.3] implies that Γ1 y p∤q0 GLn0 (Zp ) has spectral gap.
References
[BG08-a] J. Bourgain, A. Gamburd, Uniform expansion bounds for Cayley graphs of SL2 (fp ), Annals of Mathematics 167
(2008) 625–642.

18

ALIREZA SALEHI GOLSEFIDY AND XIN ZHANG

[BG08-b] J. Bourgain, A. Gamburd, Expansion and random walks in SLd (Z/pn Z):I, Journal of European Mathematical Society
10 (2008) 987–1011.
[BG09]
J. Bourgain, A. Gamburd, Expansion and random walks in SLd (Z/pn Z):II. With an appendix by J. Bourgain,
Journal of European Mathematical Society 11, no. 5., (2009) 1057–1103.
[BGS10] J. Bourgain, A. Gamburd, P. Sarnak, Affine linear sieve, expanders, and sum-product, Inventiones Mathematicae
179, no. 3., (2010) 559–644.
[BK14]
J. Bourgain, A. Kontorovich, On the local-global conjecture for integral Apollonian gaskets. With an appendix by P.
Varjú, Inventiones Mathematicae 196 (2014), no. 3, 589–650.
[BKM]
J. Bourgain, A. Kontorovich, M. Magee, Thermodynamic expansion to arbitrary moduli, to appear as an appendix
in Journal für die reine und angewandte Mathematik.
[BV12]
J. Bourgain, P. Varjú, Expansion in SLd (Z/qZ), q arbitrary, Inventiones Mathematicae 188, no 1, (2012) 151–173.
[BS911] M. Burger, P. Sarnak, Ramanujan duals II, Inventions Mathematicae 106 (1991) 1–11.
[DG80]
M. Demazure and P. Gabriel, Introduction to Algebraic Geometry and Algebraic Groups, New York, NY, NorthHolland publishing company, 1980.
[FSZ]
E. Fuchs, K. Stange, X. Zhang, Local-global principles in circle packings, preprint.
[Gow08] W.T. Gowers, Quasirandom Groups, Combinatorics, Probability and Computing 17 (2008) 363–387.
[EGA66] A. Grothendieck, EGA IV, triosiéme partie, Publications Mathematiques de IHES 28 (1966).
[HLW06] S. Hoory, N. Linial, A. Widgerson, Expander graphs and their application, Bull. AMS 43, no. 4, (2006) 439–561.
[Hum95] J. Humphreys, Linear algebraic groups, Graduate texts in mathematics 21, Springer-Verlag, New York.
[Jac79]
N. Jacobson, Lie algebras, Dover publications, Inc., New York, 1979.
[LS74]
V. Landazuri and G.M. Seitz, On the minimal degrees of projective representations of the finite Chevalley groups,
Journal of Algebra 32 (1974) 418–443.
[Lub94]
A. Lubotzky, Discrete Groups, Expanding Graphs and Invariant Measures, Birkhäuser, Boston, 1994.
[Mar91] G.A. Margulis, Discrete subgroups of semisimple Lie groups, Ergebnisse der Mathematik und ihrer Grenzgebiete (3)
17 Springer-Verlag, 1991.
[MOW]
M. Magee, H. Oh, D. Winter, Uniform congruence counting for Schottky semigroups in SL2 (Z). With an appendix
by J. Bourgain, A. Kontorovich, M. Magee. To appear in Journal für die reine und angewandte Mathematik.
[NP11]
N. Nikolov and L. Pyber, Product decompositions of quasirandom groups and a Jordan type theorem, Journal of the
European Mathematical Society 13, no 4, (2011) 1063–1077.
[Nor87]
M. V. Nori, On subgroups of GLn (fp ), Inventiones Mathematicae 88 (1987) 257–275.
[PR09]
R. Pink, E. Rütsche, Adelic openness for Drinfeld modules in generic characteristic, Journal of Number Theory 129
(2009) 882–907.
[SG16]
A. Salehi Golsefidy, Super-Approximation, I: p-adic semisimple case, Accepted for publication in International
Mathematics Research Notices (2016). dx.doi.org/10.1093/imrn/rnw208
[SG]
A. Salehi Golsefidy, Super-Approximation, II: The p-adic and bounded power of square-free integers cases, preprint.
[SGS13] A. Salehi Golsefidy, P. Sarnak, Affine sieve, Journal of American Mathematical Society, 26, no. 4, (2013) 1085–1105.
[SGV12] A. Salehi Golsefidy and P. Varjú, Expansions in perfect groups, Geometric And Functional Analysis 22, no. 6, (2012)
1832–1891.
Mathematics Dept, University of California, San Diego, CA 92093-0112.
E-mail address: golsefidy@ucsd.edu
Mathematics Dept, University of Illinois, Urbana, IL 61801.
E-mail address: xz87@illinois.edu

