Affine linear sieve, expanders, and sum-product

Let O be an orbit in ℤⁿ of a finitely generated subgroup Λ of GL_n(ℤ) whose Zariski closure Zcl(Λ) is suitably large (e. g. isomorphic to SL₂). We develop a Brun combinatorial sieve for estimating the number of points on O at which a fixed integral polynomial is prime or has few prime factors, and discuss applications to classical problems, including Pythagorean triangles and integral Apollonian packings. A fundamental role is played by the expansion property of the "congruence graphs" that we associate with O. This expansion property is established when Zcl(Λ)=SL₂, using crucially sum-product theorem in ℤ/qℤ for q square-free.