The integral approximation conjecture for weakly log Fano schemes

Let (X,D)(\mathfrak{X},\mathfrak{D}) be a weakly log Fano scheme over the ring of integers o\mathfrak{o}, with generic fiber (X,D)(X,D), and write U=XD\mathfrak{U}=\mathfrak{X}\setminus\mathfrak{D}. Assume that (X,D)(\mathfrak{X},\mathfrak{D}) satisfies the integral Hilbert property. Let xD(k)x\in D(k) lie on a minimal stratum of D=DkD=\mathfrak{D}_k, let vv be an archimedean place, and let LL be an ample line bundle. A rational curve C\mathfrak{C} on (X,D)(\mathfrak{X},\mathfrak{D}) is log rational if its complement by the boundary has at most one point at infinity, and toroidal if it has two points at infinity. Integral approximation conjecture. There exists a rational curve C\mathfrak{C} on (X,D)(\mathfrak{X},\mathfrak{D}), either log rational or toroidal, such that

αv(x,U;L)=αv(x,C0;L).\alpha_v(x,\mathfrak{U};L)=\alpha_v(x,\mathfrak{C}_0;L).

The conjecture is an integral analogue of McKinnon's conjecture: under the weakly log Fano and integral Hilbert hypotheses, the best integral approximations to a boundary point should be governed by rational curves. The paper computes the relevant constants for the log rational and toroidal curves, but does not establish the asserted existence in general.

Sources & referencesView supporting material

Primary source

Zhizhong Huang and Florian Wilsch, “Integral Diophantine approximation on varieties”, arXiv:2509.03998 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.