DeepAI AI Chat
Log In Sign Up

Quasi-equivalence of heights in algebraic function fields of one variable

by   Ruyong Feng, et al.
University of the Chinese Academy of Sciences

For points (a,b) on an algebraic curve over a field K with height π”₯, the asymptotic relation between π”₯(a) and π”₯(b) has been extensively studied in diophantine geometry. When K=k(t) is the field of algebraic functions in t over a field k of characteristic zero, Eremenko in 1998 proved the following quasi-equivalence for an absolute logarithmic height π”₯ in K: Given P∈ K[X,Y] irreducible over K and Ο΅>0, there is a constant C only depending on P and Ο΅ such that for each (a,b)∈ K^2 with P(a,b)=0, (1-Ο΅) (P,Y) π”₯(b)-C ≀(P,X) π”₯(a) ≀ (1+Ο΅) (P,Y) π”₯(b)+C. In this article, we shall give an explicit bound for the constant C in terms of the total degree of P, the height of P and Ο΅. This result is expected to have applications in some other areas such as symbolic computation of differential and difference equations.


page 1

page 2

page 3

page 4

βˆ™ 02/01/2016

Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field

We address the question of computing one selected term of an algebraic p...
βˆ™ 10/21/2019

Parametrized Complexity of Expansion Height

Deciding whether two simplicial complexes are homotopy equivalent is a f...
βˆ™ 06/01/2021

On cyclic algebraic-geometry codes

In this paper we initiate the study of cyclic algebraic geometry codes. ...
βˆ™ 12/09/2021

Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers

In this paper, we study linear forms Ξ» = Ξ²_1e^Ξ±_1+β‹―+Ξ²_me^Ξ±_m, ...
βˆ™ 02/21/2023

An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic

Elliptic curves are fundamental objects in number theory and algebraic g...
βˆ™ 05/08/2017

Deterministic Genericity for Polynomial Ideals

We consider several notions of genericity appearing in algebraic geometr...
βˆ™ 10/20/2021

Rapid computation of special values of Dirichlet L-functions

We consider computing the Riemann zeta function ΞΆ(s) and Dirichlet L-fun...