The goal of this lecture is describing recent joint work with Henri Darmon, in which we construct an Euler system of twisted Gross-Kudla diagonal cycles that allows us to prove, among other results, the following statement (under a mild non-vanishing hypothesis that we shall make explicit):
Let $E/\mathbb{Q}$ be an elliptic curve and $K=\mathbb{Q}(\sqrt{D})$ be a real quadratic field. Let $\psi: \mathrm{Gal}(H/K) \rightarrow \mathbb{C}^\times$ be an anticyclotomic character. If $L(E/K,\psi,1)\ne 0$ then the $\psi$-isotypic component of the Mordell-Weil group $E(H)$ is trivial.
Such a result was known to be a consequence of the conjectures on Stark-Heegner points that Darmon formulated at the turn of the century. While these conjectures still remain highly open, our proof is unconditional and makes no use of this theory.