I have some naive questions about Zhang's generalization of Gross-Zagier formula stated in Theorem 1.2 of Yuan-Zhang-Zhang book The Gross-Zagier formula on Shimura Curves. I am mostly interested by the cases of non split cartan modular curves and Shimura curves X_D(N). I understand that the "incoherent Shimura curves" setting of Zhang contains those cases but
could you explain me what are concretely the formulas in those cases ?
does this formula holds directly on the curve X_U instead of on an abelian variety parametrized by X_U ?
Thank you very much.