Altura de Néron–Tate

Una función de altura cuadrática canónica (o emparejamiento de alturas) sobre los puntos racionales de una variedad abeliana sobre un campo global, construida para ser cuadrática bajo la multiplicación por n y para eliminar términos de error acotados de las alturas ingenuas, proporcionando un emparejamiento regulador bilineal en grupos de Mordell–Weil.