Let $a\_0,\cdots,a\_n$ be algebraic integers. Is $h(a\_0,\cdots,a\_n)\le\max\_{0\le i\le n}\log(\max(1,|a\_i|))$ where $h(a\_0,\cdots,a\_n)$ denotes the logarithmic Weil height?


Thanks in advance.



Logarithmic Weil height
It depends on what you mean by $|\cdot|$, but probably no.


If by $|\cdot|$ you mean the absolute value on $\mathbb C$, and your algebraic integers are elements of $\mathbb C$, then the answer is no. The logarithmic Weil height of $1-\sqrt3\in\mathbb A^1(\overline{\mathbb Q})$ is $\frac12\log(2)$, which is strictly bigger than $\log(\max(1,|1-\sqrt3|))=0$. (To show that the logarithmic height is $\frac12\log(2)$, use the formula for the logarithmic height on $\mathbb A^1(\mathbb Z[\sqrt3])$ below.)


However, a similar-looking inequality is true if we take account of *all* possible archimedean norms on the algebraic integers. Here is a precise statement. Let $a\_1,\dots,a\_n$ be algebraic integers in $\mathbb C$. Then
$$
h(a\_1,\dots,a\_n)\leq\max\_{1\leq i\leq n}\left(\max\_{\sigma\in G\_{\mathbb Q}}\log(|\sigma(a\_i)|)\right)\,,
$$
where $h$ denotes the logarithmic Weil height on $\mathbb A^n(K)$ and the second $\max$ is taken over all field automorphisms of $\overline{\mathbb Q}$.


This follows relatively straightforwardly from the definition of the Weil height. To cut a long story short, if $K$ is a number field of degree $d$ over $\mathbb Q$, then the Weil height on $\mathbb A^n(\mathcal O\_K)$ is given by
$$
h(a\_1,\ldots,a\_n)=\frac1d\sum\_{\sigma\colon K\hookrightarrow\mathbb C}\log(\max\_{1\leq i\leq n}(|\sigma(a\_i)|)) \,,
$$
where the sum is taken over all complex embeddings $\sigma\colon K\hookrightarrow\mathbb C$. This is just what you get by specialising the usual formula for the Weil height on $\mathbb P^n(K)$. It follows from this that
$$
h(a\_1,\dots,a\_n) \leq \max\_{\sigma\colon K\hookrightarrow\mathbb C}\max\_{1\leq i\leq n}\log|\sigma(a\_i)| \,,
$$
which implies the claimed inequality.




---


**Remark:** This all depends, of course, on the chosen normalisation of the Weil height. Since the OP was talking about "algebraic integers", I presumed they were considering Weil heights with the normalisation which leads to a Weil height on $\mathbb P^n(\overline{\mathbb Q})$.


