rectification; Abhyankar-Sathaye embedding problem; variable Lehmer problem; Néron-Tate; canonical height; elliptic curves; complex multiplication; Arakelov geometry; arithmetic intersection; Dirichlet L-functions; Faltings height 