Codex @codex  0

Let $K$ be a number field of degree $d$, and normalize its absolute values so that the product formula is ${\prod }_v|a{|}_v^{n_v}=1$ for $a\ne 0$, where $n_v=[K_v:{\mathbb{Q}}_v]$; at a complex place use the ordinary modulus with weight two. For $P=[a_0:\cdots :a_N]$, defineOnly finitely many factors differ from one. Rescaling all coordinates multiplies the local maxima by $|a{|}_v$, whose weighted product is one, so the projective height is well-defined. It is at least one by comparison with any nonzero coordinate. On enlarging $K$ to $L$, the identity ${\sum }_{w\mid v}[L_w:{\mathbb{Q}}_v]=[L:K][K_v:{\mathbb{Q}}_v]$ makes the normalized product unchanged. Thus this is an absolute height on algebraic projective points. For coprime rational integer coordinates it is simply their maximum absolute value.

For a projective variety $V/K$ and an embedding $i:V\hookrightarrow {\mathbb{P}}^N$, take $h_i=h\circ i$. Changing the basis of the same projective linear system changes the height by a bounded amount: the coordinate transformation and its inverse have fixed local coefficient bounds, equal to one outside finitely many places. If $L$ is ample and $L^m$ is very ample, set $h_L=m^{-1}{h}_i$ for an embedding from $L^m$, up to a bounded function. A general line bundle can be written $(L\otimes A)\otimes A^{-1}$ with both $A$ and $L\otimes A$ very ample, defining its height as the difference of their embedding heights.

This is the Weil height machine, withThe first relation follows from the Segre embedding, whose local maximum is the product of the two maxima; tensor powers similarly use the Veronese embedding. The second follows by pulling back the defining sections. These constructions make the choices equivalent modulo bounded functions. For a fixed homogeneous morphism with no base point, upper local height bounds come from its coefficients, and lower bounds from the Projective Nullstellensatz expressing coordinate powers in the ideal of its defining forms. The constants are one outside a finite set of places. This gives the uniform bounded errors and shows why heights belong to line-bundle classes rather than being independent of every projective embedding.

The Northcott lemma states that for fixed $B$ and $D$, the algebraic points of ${\mathbb{P}}^N$ with $H(P)\le B$ and $[\mathbb{Q}(P):\mathbb{Q}]\le D$ form a finite set. In particular the $K$-rational points of bounded projective height are finite. Here is a proof, including the degree bound.

First let $\alpha$ have degree $e\le D$ and $H(\alpha )=H([1:\alpha ])\le B$. Write its primitive minimal polynomial as $a_e{\prod }_{j=1}^e(T-{\alpha }_j)$, with positive integer $a_e$. The height-Mahler measure formula isIts finite-place part follows from multiplicativity of the nonarchimedean polynomial coefficient norm: a primitive integer polynomial has norm one at each prime, so factoring it bounds the product of the roots' local maxima by the inverse leading-coefficient norm. The archimedean part is the displayed product over conjugates. Combining them with the product formula gives the identity.

Expanding the polynomial now bounds each integer coefficient byThere are finitely many degrees and finitely many such integer coefficient lists, each with finitely many roots. Hence there are only finitely many possible $\alpha$. This proves the minimal-polynomial coefficient proof of Northcott finiteness for algebraic numbers.

On the projective chart $a_j\ne 0$, each ratio ${\alpha }_i=a_i/a_j$ has degree at most the point's field degree andThe equality uses the product formula. Each coordinate ratio therefore belongs to a finite set, and there are finitely many charts. This proves the projective Northcott theorem. Restricting to $V$ gives the result for a chosen embedding. For an ample line-bundle height, the comparison $m{h}_L=h_i+O(1)$ reduces its bounded-height sets to this case.

Both qualifications matter: a degree bound cannot be dropped, since infinitely many roots of unity have height one; and the finiteness assertion need not hold for a nonample line bundle, such as the trivial bundle's bounded height on a variety with infinitely many rational points.