Arithmetic purity

It is well-known that weak approximation is birational invariant between smooth varieties by the implicit function theorem. For strong approximation, such property is no longer true. However one can expect that strong approximation is invariant between smooth varieties up to a closed sub-variety of codimension at least 2. Indeed, this result is proved for affine spaces in a joint work with Yang Cao which is applied to show strong approximation for toric varieties. Such result is also proved by Dasheng Wei by using a different method. In this talk, I’ll explain that this purity result is true for SL(n) and Sp(n).