Inducing Super-Approximation

Abstract: Let

G a m m a_{2} s u b s e t e q G a m m a_{1}

be finitely generated subgroups of

{m G L}_{n_{0}} (m a t h b b Z [1 / q_{0}])

. For

i = 1

or

2

, let

m a t h b b G_{i}

be the Zariski-closure of

G a m m a_{i}

in

({m G L}_{n_{0}})_{m a t h b b Q}

,

m a t h b b G_{i}^{c i r c}

be the Zariski-connected component of

m a t h b b G_{i}

, and let

G_{i}

be the closure of

G a m m a_{i}

in

p r o d_{p m i d q_{0}} {m G L}_{n_{0}} (m a t h b b Z_{p})

. In this article we prove that, if

m a t h b b G_{1}^{c i r c}

is the smallest closed normal subgroup of

m a t h b b G_{1}^{c i r c}

which contains

m a t h b b G_{2}^{c i r c}

and

G a m m a_{2} c u r v e a r r o w r i g h t G_{2}

has spectral gap, then

G a m m a_{1} c u r v e a r r o w r i g h t G_{1}

has spectral gap.

Recommendations

Cited in

(3)

This page was built for publication: Inducing Super-Approximation