Analytic subvarieties with many rational points

We give a generalization of the classical Bombieri–Schneider–Lang criterion in transcendence theory. We give a local notion of LG-germ, which is similar to the notion of E-function and Gevrey condition, and which generalize (and replace) the condition on derivatives in the theorem quoted above. Let KC be a number field and X a quasi-projective variety defined over K. Let γ : M → X be an holomorphic map of finite order from a parabolic Riemann surface to X such that the Zariski closure of the image of it is strictly bigger then one. Suppose that for every pX(K)(M) the formal germ of M near P is an LG-germ, then we prove that X(K)(M) is a finite set. Then we define the notion of conformally parabolic Kähler varieties; this generalize the notion of parabolic Riemann surface. We show that on these varieties we can define a value distribution theory. The complementary of a divisor on a compact Kähler manifold is conformally parabolic; in particular every quasi projective variety is. Suppose that A is conformally parabolic variety of dimension m over C with Kähler form ω and γ : A → X is an holomorphic map of finite order such that the Zariski closure of the image is strictly bigger then m. Suppose that for every pX(K)(A) , the image of A is an LG-germ. then we prove that there exists a current T on A of bidegree (1, 1) such that ATm−1 explicitly bounded and with Lelong number bigger or equal then one on each point in γ −1(X(K)). In particular if A is affine γ −1(X(K)) is not Zariski dense.