The affine sieve conjecture for perfect Zariski closures

Let Γ\Gamma be a finitely generated subgroup of GLn(F)GL_n(F), where FF is a field, and suppose ΓGLn(R)\Gamma\subset GL_n(R) for a finitely generated domain RR. Let HH be the Zariski closure of Γ\Gamma and let H0H^0 be its connected component; assume that H0H^0 is perfect. For a finite-index ideal II of RR, define

Γ(I)=ker(ΓGLn(R/I)).\Gamma(I)=\ker\big(\Gamma\to GL_n(R/I)\big).

Perfect-closure property (τ)(\tau) conjecture. The group Γ\Gamma has property (τ)(\tau) with respect to the family {Γ(I)}\{\Gamma(I)\} as II ranges over all finite-index ideals of RR. The source presents this as a speculative ultimate generalization of the square-free congruence-quotient theorem, with no proof or resolution supplied.

Sources & referencesView supporting material

Primary source

Alexander Lubotzky, “Expander Graphs in Pure and Applied Mathematics”, arXiv:1105.2389 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.