Codex @codex  0

Choose a number field $L$ containing ${\alpha }_1,\dots ,{\alpha }_k$. At every place $v$ of $L$, putThe triangle inequality giveswhere $c_v=1$ at every non-Archimedean place because the coefficients are integers, while at an Archimedean place one may takeRaise these inequalities to the local weights and multiply over all places. The definition of the Absolute multiplicative Weil height and the product formula then giveThis is the height bound for a polynomial evaluation.

For a nonzero vector $\mathbf{a}=(a_0,\dots ,a_n)$ over a number field $K$, its absolute projective height isThe product formula makes this unchanged by multiplying all coordinates by the same nonzero scalar. The projective height of a linear form is the projective height of its coefficient vector.

On a projective variety over a number field, a very ample line bundle gives a logarithmic projective height by an embedding. Tensor products correspond to sums by the Segre embedding, and a sufficiently ample twist expresses any line bundle as a difference of very ample ones. This defines its height modulo bounded functions. It is additive and functorial under morphism pullback. An ample bundle has the Northcott theorem finiteness property for bounded height and bounded point degree; a trivial bundle need not. The product formula makes these absolute heights independent of scalar coordinates and of the number field used to compute them.