Related papers: Heights and totally real numbers

A system of transformations is associated to a rational point on an elliptic curve. The sequence entropy is connected to the canonical height, and in some cases there is a canonically defined quotient system whose entropy is the canonical…

We consider the arithmetic of Henon maps f(x, y)=(ay, x+f(y)) defined over number fields and function fields, usually with the restriction that a=1. We prove a result on the variation of Kawaguchi's canonical height in families of Henon…

We establish a general Kronecker limit formula of arbitrary rank over global function fields with Drinfeld period domains playing the role of upper-half plane. The Drinfeld-Siegel units come up as equal characteristic modular forms…

A field F is said to have the Bogomolov Property related to a height function h, if h(a) is either zero or bounded from below by a positive constant for all a in F. In this paper we prove that the maximal algebraic extension of a number…

We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and…

We prove the real non-attractive fixed point conjecture for complex polynomial and rational harmonic functions. A harmonic function $f=h+\overline{g}$ is polynomial (rational) if both $h$ and $g$ are polynomials (rational functions) of…

We use entropy rates and Schur concavity to prove that, for every integer k >= 2, every nonzero rational number q, and every real number alpha, the base-k expansions of alpha, q+alpha, and q*alpha all have the same finite-state dimension…

We give a formula with explicit error term for the number of $K$-rational points $P$ satisfying $H(f(P)) \le X$ as $X \to \infty$, where $f$ is a nonconstant morphism between projective spaces defined over a number field $K$ and $H$ is the…

In this note we give exact formulas (and asymptotics) for the number of rational points of bounded height on weighted projective stacks over global function fields.

We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…

The purpose of this paper is to give a linear and effective height inequality for algebraic points on curves over functional fields. Our height inequality can be viewed as the logarithmic canonical class inequality of a punctured curve over…

In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment…

The canonical height associated to a polarized endomporhism of a projective variety, constructed by Call and Silverman and generalizing the N\'eron-Tate height on a polarized Abelian variety, plays an important role in the arithmetic theory…

Cantor gave in his fundamental article an elegant proof of the countability of real algebraic numbers based on a positive integer height, denoted by him as N, of integer and irreducible polynomials of given degree (denoted by him as n) with…

Let (X,D) be a projective log pair over the ring of integers of a number field such that the log canonical line bundle K_(X,D) or its dual -K_(X,D) is relatively ample. We introduce a canonical height of K_(X,D) (and -K(X,D)) which is…

We prove the existence of a gap around zero for canonical height functions associated to endomorphisms of projective spaces defined over complex function fields. We also prove that if the rational points of height zero are Zariski dense,…

We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss…

Let $\Gamma$ be a finitely generated subgroup of the multiplicative group $\G_m^2(\bar{Q})$. Let $p(X,Y),q(X,Y)\in\bat{Q}$ be two coprime polynomials not both vanishing at $(0,0)$; let $\epsilon>0$. We prove that, for all $(u,v)\in\Gamma$…