It is known that if $X$ is a curve over a number field $F$ equipped with a flat regular model over $O_F$ the integer ring, one can define, using a suitable ample line bundle with an Hermitian metric, the notion of height for points in $X$. In particular, there are only finitely many algebraic points with height lower than a given constant.

What happens when one studies the heights of CM points on the compactified modular curve, with respect to the ample line bundle defining modular forms of large weight (plus suitable Hermitian metric)? Is it possible to study the distribution of CM cycles through height functions? Does one have similar results as in the previous example, say bounding the number of CM points by heights?

Many thanks.