Analytic subvarieties with many rational points

DOI10.1007/S00208-009-0394-9MaRDI QIDQ2655155zbMATH OpenOpenAlexFDO

Publication date 22 January 2010

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0811.3195

Number-theoretic analogues of methods in Nevanlinna theory (work of Vojta et al.) (11J97) Arithmetic varieties and schemes; Arakelov theory; heights (14G40) Germs of analytic sets, local parametrization (32B10) Value distribution theory in higher dimensions (32H30) Kähler manifolds (32Q15)

Abstract: We give a generalization of the classical Bombieri--Schneider--Lang criterion in transcendence theory. We give a local notion of

L G

--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

K s u b s e t B b b C

be a number field and

X

a quasi--projective variety defined over

K

. Let

g a m m a c o l o n M o 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

p i n X (K) c a p g a m m a (M)

the formal germ of

M

near

P

is an

L G

-- germ, then we prove that

X (K) c a p g a m m a (M)

is a finite set. Then we define the notion of conformally parabolic Kh"aler 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 Kh"aler manifold is conformally parabolic; in particular every quasi projective variety is. Suppose that

A

is conformally parabolic variety of dimension

m

over

B b b C

with Kh"aler form

o m e g a

and

g a m m a c o l o n A o 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

p i n X (K) c a p g a m m a (A)

, the image of

A

is an

L G

--germ. then we prove that there exists a current

T

on

A

of bidegree

(1, 1)

such that

i n t_{A} T w e d g e o m e g a^{m - 1}

explicitly bounded and with Lelong number bigger or equal then one on each point in

g a m m a^{- 1} (X (K))

. In particular if

A

is affine

g a m m a^{- 1} (X (K))

is not Zariski dense.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Analytic subvarieties with many rational points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655155)