Integral models and approximation property

Harari and Voloch made a conjecture for the equality between the integral points and the integral Brauer-Manin set for hyperbolic curves inside P1. In this talk, we modify this conjecture and prove the modified version of this conjecture is true over rationals and imaginary quadratic fields. This is a joint work with Qing Liu.