A criterion for non-density of integral points

We give a general criterion for Zariski degeneration of integral points in the complement of a divisor $D$ with $n$ components in a variety of dimension $n$ defined over $\mathbb{Q}$ or over a quadratic imaginary field. The key condition is that the intersection of the components of $D$ is not well-approximated by rational points, and we discuss several cases where this assumption is satisfied. We also prove a GCD bound for algebraic points in varieties, which can be of independent interest.
Comment: References updated