Explicit Uniform Lower Bounds for the Canonical Height on Elliptic Curves over Abelian Extensions

We establish an explicit lower bound for the Néron-Tate height on elliptic curves with complex multiplication, for nontorsion points defined over the maximal abelian extension of a number field. Building on a strategy developed by Amoroso, David, and Zannier, we provide an alternative proof of a theorem originally due to Baker. The novelty in our approach is that it produces a lower bound that is fully explicit and independent of the discriminant of the base field.