摘要: We report recent progress on a joint project with Yang Cao. If an algebraic variety over a number field verifies strong approximation off a finite set of places, it has been first conjectured by Wittenberg that this property is maintained under the removal of any subvariety of codimension two. If this is the case, then we say that the variety satisfies arithmetic purity. A closely related question is the density of integral points whose multivariable polynomial values have no common gcd's. We confirm the arithmetic purity for semi-simple simply connected k-simple isotropic linear algebraic groups, and for affine quadratic hypersurfaces, using different methods. They show how the fibration method for rational points and various sieve methods (e.g. affine almost prime linear sieve, Ekedahl’s geometric sieve, Iwaniec’s half-dimensional sieve) match together.