Related papers: Height inequality of algebraic points on curves ov…

We give a mathematical structure on an arithmetic surface, that has algebraic meanings over finite places and can estimate the canonical norm for a relative differential form on the arithmetic surface. This will give a lower bound for the…

We define various height functions for motives over number fields. We compare these height functions with classical height functions on algebraic varieties, and also with analogous height functions for variations of Hodge structures on…

Let $P$ and $Q$ be polynomials in one variable over an algebraically closed field $k$ of characteristic zero. Let $f$ and $g$ be elements of a function field $\K$ over $k$ such that $P(f)=Q(g).$ We give conditions on $P$ and $Q$ such that…

In this work we present an explicit relation between the number of points on a family of algebraic curves over $\F_{q}$ and sums of values of certain hypergeometric functions over $\F_{q}$. Moreover, we show that these hypergeometric…

We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the…

For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on…

We define a new canonical height pairing on the rational points of elliptic curves over global function fields which takes values in the multiplicative group of a completion of the function field. This height serves as an analogue of both…

Let $\mathbb{F}$ be the function field of a curve over an algebraically closed field with $\operatorname{char}(\mathbb{F})\ne2,3$, and let $E/\mathbb{F}$ be an elliptic curve. Then for all finite extensions $\mathbb{K}/\mathbb{F}$ and all…

The aim of this paper is to show how a conjectural lower bound on the canonical height function in the spirit of Lang and Silverman leads to an explicit uniform bound on the number of rational points on curves of genus $g\geq 2$ over a…

We consider heights of horizontal irreducible divisors on an arithmetic surface with respect to some hermitian line bundle. We obtain both lower and upper bounds for these heights. The results are different and sometimes stronger that those…

We give optimal estimates on the variation of the differential and modular heights within an isogeny class of abelian varieties defined over the function field of a curve (in any characteristic). We also prove a parallelogram inequality for…

We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms…

It is known for linear operators with polynomial coefficients annihilating a given D-finite function that there is a trade-off between order and degree. Raising the order may give room for lowering the degree. The relationship between order…

Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few…

We investigate the logarithmic convexity of the length of the level curves for harmonic functions on surfaces and related isoperimetric type inequalities. The results deal with smooth surfaces, as well as with singular Alexandrov surfaces…

In algebraic geometry there is the notion of a height pairing of algebraic cycles, which lies at the confluence of arithmetic, Hodge theory and topology. After explaining a motivating example situation, we introduce new directions in this…

This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field…

For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed…

On logarithmic paper some real algebraic curves look like smoothed broken lines. Moreover, the broken lines can be obtained as limits of those curves. The corresponding deformation can be viewed as a quantization, in which the broken line…

In a previous work of the authors, a result to algorithmically compute the topology types of the level curves of an algebraic surface, is given. From this result, here we derive applications based on level curves to determine some…