Néron–Tate Height

A canonical quadratic height function (or height pairing) on rational points of an abelian variety over a global field, constructed to be quadratic under multiplication-by-n and to remove bounded error terms of naive heights, providing a bilinear regulator pairing on Mordell–Weil groups.