Gross-Kohnen-Zagier theorem for higher weight forms (Q2275717)

Let \(X_0(N)= \mathbb H^*/\Gamma_0(N)\) be the modular curve for \(\Gamma_0(N)\) and \(J_0(N)\) its Jacobian. Moreover, denote by \(J_0(N)^*\) the Jacobian of \(X_0(N)\slash w_N\), where \(w_N\) is the Fricke involution. For a fundamental discriminant \(D\) and \(r\in\mathbb Z\) with \(r^2\equiv D\pmod{4N}\) denote by \(Y_{D,r}\) the corresponding Heegner Divisor and by \(Y^*_{D,r}\) its image in \(J_0(N)^*\). The celebrated Gross-Kohnen-Zagier Theorem then states that for normalized newform \(f\in S_2(\Gamma_0(N))\) the \(f\)-eigencomponent of \(Y_{D,r}^*\) can be expressed as \(c(r^2-D/N, r)y_f\), where \(y_f\in (J_0(N)(\mathbb Q)\otimes \mathbb R\) and the \(c\) is the coefficient of some Jacobi form \(\phi\in J_{2,N}\) associated to \(f\). The paper under review generalizes under certain assumptions the Gross-Kohnen-Zagier theorem to cusp forms of higher weight. To this end the author follows the proof given in [\textit{B. Gross, W. Kohnen} and \textit{D. Zagier}, Math. Ann. 278, 497--562 (1987; Zbl 0641.14013)]. Instead of the Heegner divisors \(Y_{D,r}^*\) he considers more generally Heegner cycles on certain Kuga-Sato varieties and calculates a global height pairing between these Heegner cycles, which is defined in [\textit{S. Zhang}, Invent. Math. 130, No. 1, 99--152 (1997; Zbl 0882.11029)]. Under the assumption that the global height pairing is positive definite on \(\text{Heeg}(X_0(N)_{\mathbb Q})\otimes \mathbb R\) the author is able to prove an analogue of the Gross-Kohnen-Zagier for new forms of weight \(2k\), see Theorem 2 in the paper.