We construct an anticyclotomic Euler system for the Rankin–Selberg convolutions of two modular forms, using p-adic families of generalised Gross–Kudla–Schoen diagonal cycles. As applications of this construction, we prove new results on the Bloch–Kato conjecture in analytic ranks zero and one, and a divisibility towards an Iwasawa main conjecture.

Let p be a prime. A pro-p group G is said to be 1-smooth if it can be endowed with a continuous representation $\theta \colon G\to \mathrm {GL}_1(\mathbb {Z}_p)$ such that every open subgroup H of G, together with the restriction $\theta \vert _H$ , satisfies a formal version of Hilbert 90. We prove that every 1-smooth pro-p group contains a unique maximal closed abelian normal subgroup, in analogy with a result by Engler and Koenigsmann on maximal pro-p Galois groups of fields, and that if a 1-smooth pro-p group is solvable, then it is locally uniformly powerful, in analogy with a result by Ware on maximal pro-p Galois groups of fields. Finally, we ask whether 1-smooth pro-p groups satisfy a “Tits’ alternative.”

In this article we construct a p-adic three-dimensional eigenvariety for the group $U$(2,1)($E$), where $E$ is a quadratic imaginary field and $p$ is inert in $E$. The eigenvariety parametrizes Hecke eigensystems on the space of overconvergent, locally analytic, cuspidal Picard modular forms of finite slope. The method generalized the one developed in Andreatta, Iovita and Stevens [$p$-adic families of Siegel modular cuspforms Ann. of Math. (2) 181, (2015), 623–697] by interpolating the coherent automorphic sheaves when the ordinary locus is empty. As an application of this construction, we reprove a particular case of the Bloch–Kato conjecture for some Galois characters of $E$, extending the results of Bellaiche and Chenevier to the case of a positive sign.

For certain algebraic Hecke characters χ of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,χ). We further prove that its index is bounded from above by the p-valuation of the order of the Selmer group of the p-adic Galois character associated to χ−1. This uses the work of R. Taylor et al. on attaching Galois representations to cuspforms of GL2/F. Together these results imply a lower bound for the size of the Selmer group in terms of L(0,χ), coinciding with the value given by the Bloch–Kato conjecture.

Let $f$ be a newform of weight $2k-2$ and level 1. In this paper we provide evidence for the Bloch–Kato conjecture for modular forms. We demonstrate an implication that under suitable hypotheses if $\varpi \mid L_{\rm alg}(k,f)$ then $p \mid \# H_{f}(\mathbb{Q},W_{f}(1-k))$ where $p$ is a suitably chosen prime and $\varpi$ a uniformizer of a finite extension $K/\mathbb{Q}_{p}$. We demonstrate this by establishing a congruence between the Saito–Kurokawa lift $F_{f}$ of $f$ and a cuspidal Siegel eigenform $G$ that is not a Saito–Kurokawa lift. We then examine what this congruence says in terms of Galois representations to produce a non-trivial $p$-torsion element in $H_{f}^1(\mathbb{Q},W_{f}(1-k))$.