Maps between isolated points on modular curves

We introduce and study the notion of isolated divisors on geometrically disconnected varieties, which generalizes the notion of isolated points on curves. In particular, we show that isolated divisors are well-behaved under morphisms of varieties, and are closely related to isolated divisors on the Stein factorization of the variety. We then restrict to the case of modular curves $X_{H}$, and give precise conditions for mapping isolated points between modular curves. Finally, we classify the isolated points with rational $j$-invariant on all modular curves of level 7, as well as the modular curves $X_{0}(n)$, the latter assuming a conjecture on images of Galois representations of elliptic curves over $\mathbb{Q}$.