Let $E/\mathbf{Q}$ be an elliptic curve of conductor $N$, let $p>3$ be a prime where $E$ has good ordinary reduction, and let $K$ be an imaginary quadratic field satisfying the Heegner hypothesis. In 1987, Perrin-Riou formulated an Iwasawa main conjecture for the Tate-Shafarevich group of $E$ over the anticyclotomic $\mathbf{Z}_p$-extension of $K$ in terms of Heegner points.
In this paper, we give a proof of Perrin-Riou's conjecture under mild hypotheses. Our proof builds on Howard's theory of bipartite Euler systems and Wei Zhang's work on Kolyvagin's conjecture. In the case when $p$ splits in $K$, we also obtain a proof of the Iwasawa-Greenberg main conjecture for the $p$-adic $L$-functions of Bertolini-Darmon-Prasanna.
In the previous paper we generalized Greenberg's construction of the $\Cal L$-invariant to semistable representations. Here we prove that this construction is compatible with Perrin-Riou's theory of $p$-adic $L$-functions
In 1987, B. Perrin-Riou formulated a Heegner point main conjecture for elliptic curves at primes of ordinary reduction. In this paper, we formulate an analogue of Perrin-Riou's main conjecture for supersingular primes. We then prove this conjecture under mild hypotheses, and deduce from this result a $Λ$-adic extension of Kobayashi's $p$-adic Gross-Zagier formula, new cases of B.-D. Kim's doubly-signed main conjectures, and a strengthened version of Skinner's converse to the Gross-Zagier-Kolyvagin theorem for supersingular primes.
Let $K / \mathbb{Q}_p$ be a finite Galois extension and $D$ a $(φ, Γ)$-module over the Robba-ring $B^{\dagger}_{\textrm{rig}, K}$. We give a generalization of the Bloch-Kato exponential map for $D$ using continuous Galois-cohomology groups $H^i(G_K, W(D))$ for the $B$-pair $W(D)$ associated to $D$. We construct a big exponential map $Ω_{D,h}$ ($h \in \mathbb{N}$) for cyclotomic extensions of $K$ for $D$ in the style of Perrin-Riou using the theory of Berger's $B$-pairs, which interpolates the generalized Bloch-Kato exponential maps on the finite levels.
Our first goal in this note is to explain that a weak form of Perrin-Riou's conjecture on the non-triviality of Beilinson-Kato classes follows as an easy consequence of the Iwasawa main conjectures, and deduce its refined versions in the supersingular case from this fact and a variety of Gross-Zagier formulae. Our second goal is to set up a conceptual framework in the context of $Λ$-adic Kolyvagin systems to treat analogues of Perrin-Riou's conjectures for higher motives of higher rank. We apply this general discussion in order to establish a link between Heegner points on a general class of C…
Our goal in this article is to prove a form of $p$-adic Birch and Swinnerton-Dyer formula for the second derivative of the $p$-adic $L$-function associated to a newform $f$ which is non-crystalline semistable at $p$ at its central critical point, by expressing this quantity in terms of a $p$-adic (cyclotomic) regulator defined on an extended trianguline Selmer group. We also prove a two-variable version of this result for height pairings we construct by considering infinitesimal deformations afforded by a Coleman family passing through $f$. This, among other things, leads us to a proof of an a…
Let $p$ be an odd prime. Given an imaginary quadratic field $K=\mathbb{Q}(\sqrt{-D_K})$ where $p$ splits with $D_K>3$, and a $p$-ordinary newform $f \in S_k(Γ_0(N))$ such that $N$ verifies the Heegner hypothesis relative to $K$, we prove a $p$-adic Gross-Zagier formula for the critical slope $p$-stabilization of $f$ (assuming that it is non-$θ$-critical). In the particular case when $f=f_A$ is the newform of weight $2$ associated to an elliptic curve $A$ that has good ordinary reduction at $p$, this allows us to verify a conjecture of Perrin-Riou. The $p$-adic Gross-Zagier formula we prove has…
Let $A/\mathbb{Q}$ be an elliptic curve with split multiplicative reduction at a prime $p$. We prove (an analogue of) a conjecture of Perrin-Riou, relating $p$-adic Beilinson$-$Kato elements to Heegner points in $A(\mathbb{Q})$, and a large part of the rank-one case of the Mazur$-$Tate$-$Teitelbaum exceptional zero conjecture for the cyclotomic $p$-adic $L$-function of $A$. More generally, let $f$ be the weight-two newform associated with $A$, let $f_{\infty}$ be the Hida family of $f$, and let $L_{p}(f_{\infty},k,s)$ be the Mazur$-$Kitagawa two-variable $p$-adic $L$-function attached to $f_{\…
Perrin-Riou has formulated a form of the Iwasawa main conjecture, which relates Heegner points to the Selmer group of an elliptic curve as one goes up the anticyclotomic Z_p extension of a quadratic imaginary field K. Building on the earlier work of Bertolini on this conjecture, and making use of the recent work of Mazur and Rubin on Kolyvagin's theory of Euler systems, we prove one divisibility of Perrin-Riou's conjectured equality. As a consequence, one obtains an upper bound on the rank of the Mordell-Weil group E(K) in terms of Heegner points.
In this paper we set up a general Kolyvagin system machinery for Euler systems of rank r (in the sense of Perrin-Riou) associated to a large class of Galois representations, building on our previous work on Kolyvagin systems of Rubin-Stark units and generalizing the results of Kato, Rubin and Perrin-Riou. Our machinery produces a bound on the size of the classical Selmer group attached to a Galoys representation T (that satisfies certain technical hypotheses) in terms of a certain r \times r determinant; a bound which remarkably goes hand in hand with Bloch-Kato conjectures. At the end, we pre…
The aim of this article is to study Bloch-Kato's exponential map and Perrin-Riou's "big" exponential map purely in terms of (ϕ,Γ)-modules over the Robba ring. We first generalize the definition of Bloch-Kato's exponential map for all the (ϕ,Γ)-modules without using Fontaine's rings B_{cris}, B_{dR} of p-adic periods and then we generalize the construction of Perrin-Riou's "big" exponential map for all the de Rham (ϕ,Γ)-modules and prove that this map interpolates our Bloch-Kato's exponential map and the dual exponential map. Finally, we prove a theorem concerning to the determinant of our "big…
We upgrade Howard's divisibility towards Perrin-Riou's Heegner point main conjecture to the predicted equality. Contrary to previous works in this direction, our main result allows for the classical Heegner hypothesis and non-squarefree conductors. The main ingredients we exploit are W.~Zhang's proof of Kolyvagin's conjecture, Kolyvagin's structure theorem for Shafarevich--Tate groups, and the explicit reciprocity law for Heegner points.
In this paper we prove an anticyclotomic Iwasawa main conjecture proposed by Perrin-Riou for Heegner points when the global sign is -1, using a recent work of the author on one divisibility of Iwasawa-Greenberg main conjecture for Rankin-Selberg p-adic L-functions. As a byproduct we also prove the equality for the above mentioned main conjecture under some local conditions.
We upgrade Howard's divisibility toward Perrin-Riou's Heegner point Main Conjecture to an equality under some mild conditions. We do this by exploiting Wei Zhang's proof of the Kolyvagin conjecture. The main ingredient is an improvement of Howard's Kolyvagin system formalism. As another consequence of it, we establish the equivalence between this main conjecture and the primitivity of the Kolyvagin system in certain cases, by also exploiting a explicit reciprocity law for Heegner points.
In an earlier paper the author proved one divisibility of Perrin- Riou's Iwasawa main conjecture for Heegner points on elliptic curves. In the present paper, that result is generalized to abelian varieties of GL2-type (i.e. abelian varieties with real multiplication defined over totally real fields) under the hypothesis that the abelian variety is associated to a Hilbert modular form via a construction of Zhang.
We give a new proof of Howard's $Λ$-adic Gross-Zagier formula, which we extend to the context of indefinite Shimura curves over $\mathbf{Q}$ attached to nonsplit quaternion algebras. This formula relates the cyclotomic derivative of a two-variable $p$-adic $L$-function restricted to the anticyclotomic line to the cyclotomic $p$-adic heights of Heegner points over the anticyclotomic tower, and our proof, rather than inspired by the original approaches of Gross-Zagier and Perrin-Riou, is via Iwasawa theory, based on the connection between Heegner points, Beilinson-Flach elements, and their expli…
Kobayashi recently proved that the generalized Heegner cycles of Bertolini--Darmon--Prasanna can be interpolated along the anticyclotomic tower, giving rise to distribution valued cohomology classes with expected growth rate. We interpolate these classes along Coleman families. This construction plays a role in the proofs of $p$-adic Gross--Zagier formulae at for non-ordinary eigenforms and consequentially, also in the proof of a conjecture of Perrin-Riou.
Iwasawa theory of Heegner points on abelian varieties of GL_2 type has been studied by, among others, Mazur, Perrin-Riou, Bertolini and Howard. The purpose of this paper is to describe extensions of some of their results in which abelian varieties are replaced by the Galois cohomology of Deligne's p-adic representation attached to a modular form of even weight >2. In this setting, the role of Heegner points is played by higher-dimensional Heegner-type cycles that have been recently defined by Bertolini, Darmon and Prasanna. Our results should be compared with those obtained, via deformation-th…
In this paper we study a new conjecture concerning Kato's Euler system of zeta elements for elliptic curves $E$ over $\mathbb{Q}$. This conjecture, which we refer to as the `Generalized Perrin-Riou Conjecture', predicts a precise congruence relation between a `Darmon-type derivative' of the zeta element of $E$ over an arbitrary real abelian field and the critical value of an appropriate higher derivative of the $L$-function of $E$ over $\mathbb{Q}$. We prove that the conjecture specializes in the relevant case of analytic rank one to recover Perrin-Riou's conjecture on the logarithm of Kato's …
In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and use them to define integral $p$-adic $L$-functions and (one unconditionally and other conjecturally) cotorsion Selmer groups. This allows us to reformulate Perrin-Riou's main conjecture in terms of the…
The main result of this text is a generalization of Perrin-Riou's p-adic Gross-Zagier formula to the case of Shimura curves over totally real fields. Let $F$ be a totally real field. Let $f$ be a Hilbert modular form over $F$ of parallel weight $2$, which is a new form and is ordinary at $p$. Let $E$ be a totally imaginary quadratic extension of $F$ of discriminant prime to $p$ and to the conductor of $f$. We may construct a $p$-adic $L$ function that interpolates special values of the complex $L$ functions associated to $f$, $E$ and finite order Hecke characters of $E$. The $p$-adic Gross-Zag…
In this paper, we define a two-variable analogue of Perrin-Riou's p-adic regulator map for the Iwasawa cohomology of a crystalline representation of the absolute Galois group of $\mathbf{Q}_p$, over a Galois extension of $\mathbf{Q}_p$ whose Galois group is an abelian p-adic Lie group of dimension 2. We use this regulator map to study p-adic representations of global Galois groups over certain abelian extensions of number fields whose localisation at the primes above p are extensions of the above type. In the example of the restriction to an imaginary quadratic field of the representation atta…
Let $f$ be a primitive Hilbert modular form of parallel weight $2$ and level $N$ for the totally real field $F$, and let $p$ be a rational prime coprime to $2N$. If $f$ is ordinary at $p$ and $E$ is a CM extension of $F$ of relative discriminant $Δ$ prime to $Np$, we give an explicit construction of the $p$-adic Rankin-Selberg $L$-function $L_{p}(f_E,\cdot)$. When the sign of its functional equation is $-1$, we show, under the assumption that all primes $\wp\vert p$ are principal ideals of ${\mathcal O}_{F}$ which split in ${\mathcal O}_{E}$, that its central derivative is given by the $p$-adi…
We establish several results towards the two-variable main conjecture of Iwasawa theory for elliptic curves without complex multiplication over imaginary quadratic fields, namely (i) the existence of an appropriate p-adic L-function, building on works of Hida and Perrin-Riou, (ii) the basic structure theory of the dual Selmer group, following works of Coates, Hachimori-Venjakob, et al., and (iii) the implications of dihedral or anticyclotomic main conjectures with basechange. The result of (i) is deduced from the construction of Hida and Perrin-Riou, which in particular is seen to give a bound…
Iwasawa theory of Heegner points on abelian varieties of GL_2 type has been studied by, among others, Mazur, Perrin-Riou, Bertolini and Howard. The purpose of this paper, the first in a series of two, is to describe extensions of some of their results in which abelian varieties are replaced by the Galois cohomology of Deligne's p-adic representation attached to a modular form f of even weight >2. In this more general setting, the role of Heegner points is played by higher-dimensional Heegner cycles in the sense of Nekovář. In particular, we prove that the Pontryagin dual of a certain Bloch-Kat…
Let $K$ be a finite extension of $\mathbf{Q}_p$. We use the theory of $(φ,Γ)$-modules in the Lubin-Tate setting to construct some corestriction-compatible families of classes in the cohomology of $V$, for certain representations $V$ of $\mathrm{Gal}(\overline{\mathbf{Q}}_p/K)$. If in addition $V$ is crystalline, we describe these classes explicitly using Bloch-Kato's exponential maps. This allows us to generalize Perrin-Riou's period map to the Lubin-Tate setting.
Let $E/\mathbb{Q}$ be an elliptic curve and let $K$ be an imaginary quadratic field. Under a certain Heegner hypothesis, Kolyvagin constructed cohomology classes for $E$ using $K$-CM points and conjectured they did not all vanish. Conditional on this conjecture, he described the Selmer rank of $E$ using his system of classes. We extend work of Wei Zhang to prove new cases of Kolyvagin's conjecture by considering congruences of modular forms modulo large powers of $p $. Additionally, we prove an analogous result, and give a description of the Selmer rank, in a complementary "definite" case (usi…
We study Kato and Perrin-Riou's critical slope p-adic L-function attached to an ordinary modular form, using the methods of our earlier work with Lei. We show that it may be decomposed as a sum of two bounded measures multiplied by explicit distributions depending only on the local properties of the modular form at p. We use this decomposition to prove results on the zeros of the p-adic L-function, and we show that our results match the behaviour observed in examples calculated by Pollack and Stevens.
Let $f$ be a normalized cuspidal eigen-newform of level coprime to $p$ with $a_p(f)=0$. We formulate both integral signed Iwasawa main conjectures and analytic Iwasawa man conjectures attached to the symmetric square motive of $f$ twisted by an auxiliary Dirichlet character. We show that the Beilinson--Flach elements attached to the symmetric square motive factorize into integral signed Beilinson--Flach elements, giving evidence towards the existence a rank-two Euler system predicted by Perrin-Riou. We use these integral elements to prove one inclusion in the integral and analytic Iwasawa main…
Let $K$ be a finite unramified extension of $\Qp$ and let $V$ be a crystalline representation of $\mathrm{Gal}(\Qpbar/K)$. In this article, we give a proof of the $C_{\mathrm{EP}}(L,V)$ conjecture for $L \subset \Qp^{\mathrm{ab}}$ as well as a proof of its equivariant version $C_{\mathrm{EP}}(L/K,V)$ for $L \subset \cup_{n=1}^\infty K(ζ_{p^n})$. The main ingredients are the $δ_{\Zp}(V)$ conjecture about the integrality of Perrin-Riou's exponential, which we prove using the theory of $(ϕ,Γ)$-modules, and Iwasawa-theoretic descent techniques used to show that $δ_{\Zp}(V)$ implies $C_{\mathrm{EP}…
We develop a variant of Coleman and Perrin Riou's methods giving, for a de Rham $p$-adic Galois representation, a construction of $p$-adic $L$ functions from a compatible system of global elements. As a result, we construct analytic functions on an open set of the $p$-adic weight space containing all locally algebraic characters of large enough conductor. Applied to Kato's Euler system, this gives $p$-adic $L$-functions for elliptic curves with additive bad reduction and, more generally, for modular forms which are supercuspidal at $p$. In the case of dimension $2$, we prove a functional equat…
Let $E/\mathbb{Q}$ be an elliptic curve, and $p$ a prime where $E$ has good reduction, and assume that $E$ admits a rational $p$-isogeny. In this paper, we study the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field in which $p$ splits, which we relate to the anticyclotomic Iwasawa theory of characters following the method of Greenberg--Vatsal. As a result of our study, we obtain a proof, under mild hypotheses, of Perrin-Riou's Heegner point main conjecture, as well as a $p$-converse to the theorem of Gross--Zagier and Kolyvagin and the $p$-part of the Birch--Swinnerton-Dy…
Let $A$ be an abelian variety defined over a number field $F$. Suppose its dual abelian variety $A'$ has good non-ordinary reduction at the primes above $p$. Let $F_{\infty}/F$ be a $\mathbb Z_p$-extension, and for simplicity, assume that there is only one prime $\mathfrak p$ of $F_{\infty}$ above $p$, and $F_{\infty, \mathfrak p}/\mathbb Q_p$ is totally ramified and abelian. (For example, we can take $F=\mathbb Q(ζ_{p^N})$ for some $N$, and $F_{\infty}=\mathbb Q(ζ_{p^{\infty}})$.) As Perrin-Riou did, we use Fontaine's theory of group schemes to construct series of points over each $F_{n, \mat…
We prove a general formula for the $p$-adic heights of Heegner points on modular abelian varieties with potentially ordinary (good or semistable) reduction at the primes above $p$. The formula is in terms of the cyclotomic derivative of a Rankin-Selberg $p$-adic $L$-function, which we construct. It generalises previous work of Perrin-Riou, Howard, and the author, to the context of the work of Yuan-Zhang-Zhang on the archimedean Gross-Zagier formula and of Waldspurger on toric periods. We further construct analytic functions interpolating Heegner points in the anticyclotomic variables, and obta…
This note shows how to use the framework of Euler characteristic formulae to study Selmer groups of abelian varieties in certain dihedral or anticyclotomic extensions of CM fields via Iwasawa main conjectures, and in particular how to verify the p-part of the refined Birch and Swinnerton-Dyer conjecture in this setting. When the Selmer group is cotorsion with respect to the associated Iwasawa algebra, we obtain the p-part of formula predicted by the refined Birch and Swinnerton-Dyer conjecture. When the Selmer group is not cotorsion with respect to the associated Iwasawa algebra, we give a con…
In this article, we study the p-ordinary Iwasawa theory of the (conjectural) Rubin-Stark elements defined over abelian extensions of a CM field F and develop a rank-g Euler/Kolyvagin system machinery (where 2g is the degree of F), refining and generalizing Perrin-Riou's theory and the author's prior work. This has several important arithmetic consequences: Using the recent results of Hida and Hsieh on the CM main conjectures, we prove a natural extension of a theorem of Yager for the CM field F, where we relate the Rubin-Stark elements to the several-variable Katz p-adic L-function. Furthermor…
Let $f$ be a cuspidal eigenform of weight two and level $N$, let $p\nmid N$ be a prime at which $f$ is congruent to an Eisenstein series and let $V_f$ denote the $p$-adic Tate module of $f$. Beilinson constructed a class $κ_f\in H^1(\mathbb Q,V_f(1))$ arising from the cup-product of two Siegel units and proved a striking relationship with the first derivative $L'(f,0)$ at the near central point $s=0$ of the $L$-series of $f$, which led him to formulate his celebrated conjecture. In this note we prove two congruence formulae relating the "motivic part" of $L'(f,0) \,(\mathrm{mod} \, p)$ and $L'…
We give a new proof of a conjecture of Darmon, Lauder and Rotger regarding the computation of the $\mathcal L$-invariant of the adjoint of a weight one modular form in terms of units and $p$-units. While in our previous work with Rotger the essential ingredient was the use of Galois deformations techniques following the computations of Bellaïche and Dimitrov, we propose a new approach exclusively using the properties of Beilinson--Flach classes. One of the key ingredients is the computation of a cyclotomic derivative of a cohomology class in the framework of Perrin-Riou theory, which can be se…
