# Clarification regarding the definition of absolute height of an algebraic number

MathOverflow Asked on January 3, 2022

According to page 1-2 of this paper (https://arxiv.org/abs/0906.4286), Mahler has established the inequality
$$|alpha_1 – alpha_2| geq H(alpha_1)^{-(d-1)} tag 1$$
to be valid for all pairs of conjugate algebraic numbers $$alpha_1$$ and $$alpha_2$$ of degree $$d$$. Here $$H(alpha)$$ is, as stated therein, the "absolute height of the minimal polynomial of $$alpha$$ over $$mathbb Z$$".

On the other hand, the equivalent definition of absolute and logarithmic height that I am familiar with is the following:

For an algebraic integer $$alpha$$ and a finite extension $$K$$ of $$mathbb Q$$ containing $$alpha$$, we define the absolute logarithmic height $$h(alpha)$$ of $$alpha$$ by
$$h(alpha) := sum_{v in M_K} frac{[K_v:mathbb Q_v]}{[K:mathbb Q]} log max {1, |alpha|_v }$$
where the sum runs over a set $$M_K$$ of places of $$K$$ satisfying the product formula and $$K_v$$ (respectively $$mathbb Q_v$$) denotes the completion of $$K$$ (respectively $$mathbb Q$$) with respect to the place $$v in M_K$$.

This is equal to the logarithm of the Mahler measure (absolute value of the product of the conjugates lying outside he unit circle) of $$alpha$$ when $$alpha$$ is an algebraic integer. As far as I know, for algebraic integers $$alpha$$ we can define its multiplicative height $$H(alpha)$$ by $$e^{h(alpha)}$$.

My question is the following: is this multiplicative height the same one as referred to by the "$$H(alpha)$$" occurring in equation $$(1)$$ (that is, the "$$H(alpha)$$" appearing in the paper linked above)? Or is that some normalized version of the multiplicative height?

The reason I ask this is that Mahler’s paper (reference  of the attached paper) establishes that
$$delta(alpha) > sqrt 3 d^{-(d+2)/2} |D(alpha)|^{1/2} M(alpha)^{-(d-1)} tag 2$$
where $$delta(alpha)$$ is the least distance between two conjugates of $$alpha$$, $$d:=deg alpha$$ and $$D(alpha)$$ is the discriminant of (the minimal polynomial of) $$alpha$$; and I think what follows from this is that $$|alpha_1 – alpha_2| > H(alpha)^{-d^2}$$, with $$H(alpha):=e^{h(alpha)}$$ being the multiplicative height defined in the previous paragraph. So either there is some error/bad estimate in my computation (in which case I would really like to know how $$(1)$$ exactly follows from $$(2)$$ with $$H(alpha)$$ denoting the multiplicative height in both inequalities) or it may be possible that the $$H(alpha)$$ in $$(1)$$ is some ‘exponentiated’ version of the multiplicative height (or $$(1)$$ could be a typo in the paper)? I would really appreciate some help or clarification. Thank you.

## Related Questions

### Commutator estimates regarding pseudo-differential operators

0  Asked on December 15, 2020 by shaoyang-zhou

### English translation of Borel-Serre Le theoreme de Riemann-Roch?:

1  Asked on December 15, 2020

### Upper bound for an exponential sum involving characters of a finite field

1  Asked on December 14, 2020 by nahila

### Euler function summation

0  Asked on December 13, 2020 by andrej-leko

### A problem about an unramified prime in a Galois extension

1  Asked on December 9, 2020 by neothecomputer

### Reference request: discretisation of probability measures on $mathbb R^d$

1  Asked on December 9, 2020 by mb2009

### Smoothness of a variety implies homological smoothness of DbCoh

0  Asked on December 8, 2020 by dbcohsmoothness

### Reference for matrices with all eigenvalues 1 or -1

1  Asked on December 7, 2020

### Characterizations of groups whose general linear representations are all trivial

1  Asked on December 7, 2020 by qsh

### Continuous time Markov chains and invariance principle

0  Asked on December 6, 2020 by sharpe

### Continuity property for Čech cohomology

0  Asked on December 6, 2020 by xindaris

### Reference request: superconformal algebras and representations

0  Asked on December 6, 2020 by winawer

### Extending rational maps of nodal curves

1  Asked on December 5, 2020 by leo-herr

### How large is the smallest ordinal larger than any “minimal ordinal parameter” for any pair of an Ordinal Turing Machine and a real?

1  Asked on December 4, 2020 by lyrically-wicked

### Almost geodesic on non complete manifolds

1  Asked on December 4, 2020 by andrea-marino

### With Khinchine’s inequality, prove Fourier basis is unconditional in $L^{p}[0,1]$ only for $p=2$

0  Asked on December 3, 2020 by eric-yan

### Kähler manifolds deformation equivalent to projective manifolds

0  Asked on December 3, 2020 by user164740

### Duality of eta product identities: a new idea?

2  Asked on December 1, 2020 by wolfgang

### Is there a CAS that can solve a given system of equations in a finite group algebra $kG$?

2  Asked on December 1, 2020 by bernhard-boehmler