Faltings heights of CM cycles and derivatives of \(L\)-functions (Q834803)

From the introduction: ``Let \(E\) be an elliptic curve over \(\mathbb{Q}\). Assume that its \(L\)-function \(L(E, s)\) has an odd functional equation so that the central critical value \(L(E, 1)\) vanishes. In this case the Birch and Swinnerton-Dyer conjecture predicts the existence of a rational point of infinite order on \(E\). It is natural to ask if is possible to construct such a point explicitly. The celebrated work of Gross and Zagier provides such a construction when \(L'(E, 1) \neq 0\). ``The work of Gross and Zagier triggered a lot of further research on height pairings of algebraic cycles on Shimura varieties. ... In most of this work, the connection between a height pairing and the derivative of an automorphic \(L\)-function comes up in a rather indirect way. ``In the present paper we consider a different approach to obtain identities between certain height pairings on Shimura varieties of orthogonal type and derivatives of automorphic \(L\)-functions. It is based on the Borcherds lift and its generalization. We propose a conjecture for the Faltings height pairing of arithmetic special divisors and CM cycles. We compute the Archimedean contribution to the height pairing. Using this result we prove the conjecture in certain low dimensional cases.''