Because the canonical height of an elliptic curve is a quadratic form, polarization makesa symmetric bilinear form on the free part of the Mordell-Weil group. If is another integral basis, then and the Gram matrices satisfySince , their determinants agree. Thus the regulator of an elliptic curve is independent of the chosen basis.
Now let be a basis for the free part of . The images span a finite-index sublattice, so modulo torsionfor an integral matrix with nonzero determinant. The height identity givesTaking determinants in the two descriptions of this Gram matrix yieldsTherefore the required formula holds with .
Articles by others on the same topic
There are currently no matching articles.