Height function

Last updated • 5 min readFrom Wikipedia, The Free Encyclopedia

A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties (or a set of algebraic varieties) to the real numbers. [1]

Contents

For instance, the classical or naive height over the rational numbers is typically defined to be the maximum of the numerators and denominators of the coordinates (e.g. 7 for the coordinates (3/7, 1/2)), but in a logarithmic scale.

Significance

Height functions allow mathematicians to count objects, such as rational points, that are otherwise infinite in quantity. For instance, the set of rational numbers of naive height (the maximum of the numerator and denominator when expressed in lowest terms) below any given constant is finite despite the set of rational numbers being infinite. [2] In this sense, height functions can be used to prove asymptotic results such as Baker's theorem in transcendental number theory which was proved by AlanBaker  ( 1966 , 1967a , 1967b ).

In other cases, height functions can distinguish some objects based on their complexity. For instance, the subspace theorem proved by Wolfgang M.Schmidt  ( 1972 ) demonstrates that points of small height (i.e. small complexity) in projective space lie in a finite number of hyperplanes and generalizes Siegel's theorem on integral points and solution of the S-unit equation. [3]

Height functions were crucial to the proofs of the Mordell–Weil theorem and Faltings's theorem by Weil  ( 1929 ) and Faltings  ( 1983 ) respectively. Several outstanding unsolved problems about the heights of rational points on algebraic varieties, such as the Manin conjecture and Vojta's conjecture, have far-reaching implications for problems in Diophantine approximation, Diophantine equations, arithmetic geometry, and mathematical logic. [4] [5]

History

An early form of height function was proposed by Giambattista Benedetti (c. 1563), who argued that the consonance of a musical interval could be measured by the product of its numerator and denominator (in reduced form); see Giambattista Benedetti § Music.[ citation needed ]

Heights in Diophantine geometry were initially developed by André Weil and Douglas Northcott beginning in the 1920s. [6] Innovations in 1960s were the Néron–Tate height and the realization that heights were linked to projective representations in much the same way that ample line bundles are in other parts of algebraic geometry. In the 1970s, Suren Arakelov developed Arakelov heights in Arakelov theory. [7] In 1983, Faltings developed his theory of Faltings heights in his proof of Faltings's theorem. [8]

Height functions in Diophantine geometry

Naive height

Classical or naive height is defined in terms of ordinary absolute value on homogeneous coordinates. It is typically a logarithmic scale and therefore can be viewed as being proportional to the "algebraic complexity" or number of bits needed to store a point. [2] It is typically defined to be the logarithm of the maximum absolute value of the vector of coprime integers obtained by multiplying through by a lowest common denominator. This may be used to define height on a point in projective space over Q, or of a polynomial, regarded as a vector of coefficients, or of an algebraic number, from the height of its minimal polynomial. [9]

The naive height of a rational number x = p/q (in lowest terms) is

Therefore, the naive multiplicative and logarithmic heights of 4/10 are 5 and log(5), for example.

The naive height H of an elliptic curve E given by y2 = x3 + Ax + B is defined to be H(E) = log max(4|A|3, 27|B|2).

Néron–Tate height

The Néron–Tate height, or canonical height, is a quadratic form on the Mordell–Weil group of rational points of an abelian variety defined over a global field. It is named after André Néron, who first defined it as a sum of local heights, [11] and John Tate, who defined it globally in an unpublished work. [12]

Weil height

Let X be a projective variety over a number field K. Let L be a line bundle on X. One defines the Weil height on X with respect to L as follows.

First, suppose that L is very ample. A choice of basis of the space of global sections defines a morphism ϕ from X to projective space, and for all points p on X, one defines , where h is the naive height on projective space. [13] [14] For fixed X and L, choosing a different basis of global sections changes , but only by a bounded function of p. Thus is well-defined up to addition of a function that is O(1).

In general, one can write L as the difference of two very ample line bundles L1 and L2 on X and define which again is well-defined up to O(1). [13] [14]

Arakelov height

The Arakelov height on a projective space over the field of algebraic numbers is a global height function with local contributions coming from Fubini–Study metrics on the Archimedean fields and the usual metric on the non-Archimedean fields. [15] [16] It is the usual Weil height equipped with a different metric. [17]

Faltings height

The Faltings height of an abelian variety defined over a number field is a measure of its arithmetic complexity. It is defined in terms of the height of a metrized line bundle. It was introduced by Faltings  ( 1983 ) in his proof of the Mordell conjecture.

Height functions in algebra

Height of a polynomial

For a polynomial P of degree n given by

the heightH(P) is defined to be the maximum of the magnitudes of its coefficients: [18]

One could similarly define the lengthL(P) as the sum of the magnitudes of the coefficients:

Relation to Mahler measure

The Mahler measure M(P) of P is also a measure of the complexity of P. [19] The three functions H(P), L(P) and M(P) are related by the inequalities

where is the binomial coefficient.

Height functions in automorphic forms

One of the conditions in the definition of an automorphic form on the general linear group of an adelic algebraic group is moderate growth, which is an asymptotic condition on the growth of a height function on the general linear group viewed as an affine variety. [20]

Other height functions

The height of an irreducible rational number x = p/q, q > 0 is (this function is used for constructing a bijection between and ). [21]

See also

Related Research Articles

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

<span class="mw-page-title-main">Faltings's theorem</span> Curves of genus > 1 over the rationals have only finitely many rational points

Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell, and known as the Mordell conjecture until its 1983 proof by Gerd Faltings. The conjecture was later generalized by replacing by any number field.

<span class="mw-page-title-main">Abelian variety</span> A projective algebraic variety that is also an algebraic group

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory.

<span class="mw-page-title-main">Geometry of numbers</span>

Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in and the study of these lattices provides fundamental information on algebraic numbers. Hermann Minkowski initiated this line of research at the age of 26 in his work The Geometry of Numbers.

In mathematics, a global field is one of two types of fields that are characterized using valuations. There are two kinds of global fields:

In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations. Diophantine geometry is part of the broader field of arithmetic geometry.

In mathematics, Roth's theorem or Thue–Siegel–Roth theorem is a fundamental result in diophantine approximation to algebraic numbers. It is of a qualitative type, stating that algebraic numbers cannot have many rational approximations that are 'very good'. Over half a century, the meaning of very good here was refined by a number of mathematicians, starting with Joseph Liouville in 1844 and continuing with work of Axel Thue, Carl Ludwig Siegel, Freeman Dyson, and Klaus Roth.

<span class="mw-page-title-main">Arithmetic geometry</span> Branch of algebraic geometry focused on problems in number theory

In mathematics, arithmetic geometry is roughly the application of techniques from algebraic geometry to problems in number theory. Arithmetic geometry is centered around Diophantine geometry, the study of rational points of algebraic varieties.

In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In arithmetic geometry, the Bombieri–Lang conjecture is an unsolved problem conjectured by Enrico Bombieri and Serge Lang about the Zariski density of the set of rational points of an algebraic variety of general type.

In mathematics, Siegel's theorem on integral points states that for a smooth algebraic curve C of genus g defined over a number field K, presented in affine space in a given coordinate system, there are only finitely many points on C with coordinates in the ring of integers O of K, provided g > 0.

In mathematics, the subspace theorem says that points of small height in projective space lie in a finite number of hyperplanes. It is a result obtained by Wolfgang M. Schmidt.

In number theory, the Néron–Tate height is a quadratic form on the Mordell–Weil group of rational points of an abelian variety defined over a global field. It is named after André Néron and John Tate.

In mathematics, Arakelov theory is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions.

In number theory, Szpiro's conjecture relates to the conductor and the discriminant of an elliptic curve. In a slightly modified form, it is equivalent to the well-known abc conjecture. It is named for Lucien Szpiro, who formulated it in the 1980s. Szpiro's conjecture and its equivalent forms have been described as "the most important unsolved problem in Diophantine analysis" by Dorian Goldfeld, in part to its large number of consequences in number theory including Roth's theorem, the Mordell conjecture, the Fermat–Catalan conjecture, and Brocard's problem.

In mathematics, the Bogomolov conjecture is a conjecture, named after Fedor Bogomolov, in arithmetic geometry about algebraic curves that generalizes the Manin-Mumford conjecture in arithmetic geometry. The conjecture was proven by Emmanuel Ullmo and Shou-Wu Zhang in 1998 using Arakelov theory. A further generalization to general abelian varieties was also proved by Zhang in 1998.

In mathematics, an arithmetic surface over a Dedekind domain R with fraction field is a geometric object having one conventional dimension, and one other dimension provided by the infinitude of the primes. When R is the ring of integers Z, this intuition depends on the prime ideal spectrum Spec(Z) being seen as analogous to a line. Arithmetic surfaces arise naturally in diophantine geometry, when an algebraic curve defined over K is thought of as having reductions over the fields R/P, where P is a prime ideal of R, for almost all P; and are helpful in specifying what should happen about the process of reducing to R/P when the most naive way fails to make sense.

In mathematics, Vojta's conjecture is a conjecture introduced by Paul Vojta about heights of points on algebraic varieties over number fields. The conjecture was motivated by an analogy between diophantine approximation and Nevanlinna theory in complex analysis. It implies many other conjectures in Diophantine approximation, Diophantine equations, arithmetic geometry, and mathematical logic.

In mathematics, the height zeta function of an algebraic variety or more generally a subset of a variety encodes the distribution of points of given height.

References

  1. Lang  ( 1997 ,pp. 43–67)
  2. 1 2 Bombieri andGubler ( 2006 ,pp. 15–21)
  3. Bombieri andGubler ( 2006 ,pp. 176–230)
  4. Vojta  ( 1987 )
  5. Faltings  ( 1991 )
  6. Weil  ( 1929 )
  7. Lang  ( 1988 )
  8. Faltings  ( 1983 )
  9. Baker and Wüstholz  ( 2007 ,p. 3)
  10. mathoverflow question: average-height-of-rational-points-on-a-curve
  11. Néron  ( 1965 )
  12. Lang  ( 1997 )
  13. 1 2 Silverman  ( 1994 ,III.10)
  14. 1 2 Bombieri andGubler ( 2006 ,Sections 2.2–2.4)
  15. Bombieri andGubler ( 2006 ,pp. 66–67)
  16. Lang  ( 1988 ,pp. 156–157)
  17. Fili,Petsche,andPritsker ( 2017 ,p. 441)
  18. Borwein  ( 2002 )
  19. Mahler  ( 1963 )
  20. Bump  ( 1998 )
  21. Kolmogorov and Fomin  ( 1957 ,p. 5)

Sources