The derivative of cusp forms can be represented by the global height pairing between higher Heegner cycles. This result provides a framework for the Gross–Zagier–Zhang formula and its generalizations. Furthermore, we investigate the modularity of the generating series of Heegner cycles, proving a weak version of the conjecture and reducing the full modularity to a vanishing conjecture.
