Arithmetic purity of strong approximation

Determine whether every open subset U of a smooth variety X over a number field k satisfying strong approximation off a finite set of primes S also satisfies strong approximation off S whenever the complement X \ U has codimension at least 2 in X.

Background

The paper studies arithmetic purity for strong approximation, which asks whether strong approximation persists after removing a closed subset of codimension at least 2. Unlike weak approximation, strong approximation is not generally a birational invariant, so removing a sufficiently small subset can potentially change the arithmetic behavior of a variety.

The stated conjecture was proposed by Wittenberg and is supported by results for affine spaces, semi-simple simply connected quasi-split groups, related homogeneous spaces, and certain toric varieties. The paper proves the conjecture in the setting of smooth toric varieties over number fields with constant global sections, but does not resolve it for arbitrary smooth varieties satisfying strong approximation off S.