Generalized Diophantine Approximation on Higher-Dimensional Varieties

We establish new uniform height inequalities for rational points on higher-dimensional varieties, extending the classical Roth-Schmidt-Subspace paradigm to the Arakelov-theoretic setting. Our main result provides sharp bounds for heights outside a divisor of sufficiently positive type, while Theorem 4. 10 yields an effective description of the exceptional locus where such inequalities may fail. As a first application, we deduce the finiteness of S-integral points on log-general type varieties, thereby obtaining a higher-dimensional analogue of Siegel's theorem and new evidence toward Vojta's conjectures. Beyond these arithmetic applications, our methods bring together tools from Arakelov geometry, Diophantine approximation, and the theory of determinants of auxiliary sections. This synthesis yields new insights into the distribution of rational and integral points on algebraic varieties, with concrete consequences for curves of genus 2, abelian varieties, and anomalous intersections. We further indicate how our framework naturally leads to Vojta-type inequalities in higher dimension, to equidistribution results for small points, and to possible extensions toward Shimura varieties and transcendental number theory. Taken as a whole, the results of this paper demonstrate that positivity in Arakelov geometry provides the governing principle behind higher-dimensional Diophantine approximation, thereby opening the path toward a unified approach to Lang-Vojta conjectures in arithmetic geometry.