Related papers: A Height Inequality

Let $X$ be a smooth projective variety over $ \overline{\mathbb Q}$, and $f:X -rightarrow X$ be a dominant rational map. Let $\delta_{f}$ be the first dynamical degree of $f$ and $h_{X}:X( \overline{\mathbb Q})\to [1,\infty)$ be a Weil…

Let $K$ be a 1-dimensional function field over an algebraically closed field of characteristic $0$, and let $A/K$ be an abelian surface. Under mild assumptions, we prove a Lehmer-type lower bound for points in $A(\bar{K})$. More precisely,…

Let $k$ be a finite field extension of the function field $\bfF_p(T)$ and $\bar{k}$ its algebraic closure. We count points in projective space $\Bbb P ^{n-1}(\bar{k})$ with given height and of fixed degree $d$ over the field $k$. If…

Let X be the graph in the plane of a pfaffian function f (in the sense of Khovanskii). Suppose X is not algebraic. This note gives an upper bound for the number of rational points on X of height up to X. The bound is uniform in the order…

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…

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…

Canonical principal parameters are introduced for surfaces in $\mathbb R^3$ without umbilical points. It is proved that in these parameters the surface is determined (up to position in space) by a pair of invariants satisfying a partial…

We give a computable lower bound on the distance between two distinct periods of a given quartic surface defined over the algebraic numbers. The main ingredient is the determination of height bounds on components of the Noether--Lefschetz…

Let F be a function field of one variable over an algebraically closed field of characteristic zero, X a geometrically irreducible smooth projective variety over F, and L a line bundle on X. In this note, we will prove that if the…

One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…

This note generalizes the celebrated Bogomolov-Gieseker inequality for smooth projective surfaces over an algebraically closed field of characteristic zero to projective surfaces in arbitrary characteristic with canonical singularities. We…

Symmetries and reductions of some algebraic equations are considered. Transformations that preserve the form of several algebraic equations, as well as transformations that reduce the degree of these equations, are described. Illustrative…

We show that the there exists an algebraic rate of convergence of solutions of finite-difference approximations for uniformly elliptic Isaacs in smooth bounded domains.

A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…

The classical AM-GM inequality has been generalized in a number of ways. Generalizations which incorporate variance appear to be the most useful in economics and finance, as well as mathematically natural. Previous work leaves unanswered…

We give cohomological criteria for logarithmic good reduction of elliptic surfaces up to modification. Along the way, we prove several more general results about such surfaces in positive characteristic, as well as about log smooth…

This paper deals with the famous isoperimetric inequality. In a first part, we give some new functional form of the isoperimetric inequality, and in a second part, we give a quantitative form with a remainder term involving Wasserstein…

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…

We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.

Let S be a minimal complex surface of general type with irregularity q>=2 and let C be an irreducible curve of geometric genus g contained in S. Assume that C is "Albanese defective", i.e., that the image of C via the Albanese map does not…