On the Bloch--Kato conjecture for the symmetric cube
We prove one inclusion of the Iwasawa Main Conjecture, and the Bloch-Kato conjecture in analytic rank 0, for the symmetric cube of a level 1 modular form.
arXiv subjects
Publications and source records attributed to Sarah Livia Zerbes.
We prove one inclusion of the Iwasawa Main Conjecture, and the Bloch-Kato conjecture in analytic rank 0, for the symmetric cube of a level 1 modular form.
We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2).
We construct two-parameter analytic families of Galois cohomology classes interpolating the etale Abel--Jacobi images of generalised Heegner cycles, with both the modular form and Grossencharacter varying in p-adic families.
Euler systems are certain compatible families of cohomology classes, which play a key role in studying the arithmetic of Galois representations. We briefly survey the known Euler systems, and recall a standard conjecture of Perrin-Riou predicting what kind of Euler system one should expect for a general Galois representation. Surprisingly, several recent constructions of Euler systems do not seem to fit the predictions of this conjecture, and we formulate a more general conjecture which explains these extra objects. The novel aspect of our conjecture is that it predicts that there should often be Euler systems of several different ranks associated to a given Galois representation, and we describe how we expect these objects to be related.
We construct an Euler system -- a compatible family of global cohomology classes -- for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is non-trivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations.
We prove that the Vologodsky integral of a mermorphic one-form on a curve over a $p$-adic field with semi-stable reduction restrict to Coleman integrals on the rigid subdomains reducing to the components of the smooth part of the special fiber and that on the connecting annuli the differences of these Coleman integrals form a harmonic cochain on the edges of the dual graph of the special fiber. This determines the Vologodsky integral completely. We analyze the behavior of the integral on the connecting annuli and we explain the results in the case of a Tate elliptic curve.
In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the $p$-adic syntomic regulators of these classes. As a consequence we prove many cases of the Perrin-Riou conjecture for Rankin--Selberg convolutions of cusp forms.
In this paper, we derive a formula for the p-adic syntomic regulators of Asai--Flach classes. These are cohomology classes forming an Euler system associated to a Hilbert modular form over a quadratic field, introduced in an earlier paper (arXiv:1607.07813) by Antonio Lei and the first and third authors. The formula we develop here is expressed in terms of differential operators acting on overconvergent Hilbert modular forms; it is analogous to existing formulae for the regulators of Beilinson--Flach classes, but a novel feature is the appearance of a projection operator associated to a critical-slope Eisenstein series. We conclude the paper with numerical calculations giving strong evidence for the non-vanishing of these regulators in an explicit example.
We construct a compatible family of global cohomology classes (an Euler system) for the symmetric square of a modular form, and apply this to bounding Selmer groups of the symmetric square Galois representation and its twists.
We show that the Euler system associated to Rankin--Selberg convolutions of modular forms, introduced in our earlier works with Lei and Kings, varies analytically as the modular forms vary in $p$-adic Coleman families. We prove an explicit reciprocity law for these families, and use this to prove cases of the Bloch--Kato conjecture for Rankin--Selberg convolutions.
We construct motivic cohomology classes attached to Rankin--Selberg convolutions of modular forms of weights $\ge 2$, show that these vary analytically in p-adic families, and relate their image under the p-adic regulator map to values of L-functions. As consequences, we prove new cases of Perrin-Riou's conjecture on motivic L-values; we prove finiteness results for Tate--Shafarevich groups for twists of elliptic curves by dihedral Artin characters; and we prove one inclusion in the Iwasawa main conjecture for a single modular form over an imaginary quadratic field.
We construct an Euler system attached to a weight 2 modular form twisted by a Groessencharacter of an imaginary quadratic field, and apply this to bounding Selmer groups.
Nekovar and Niziol have introduced in [arxiv:1309.7620] a version of syntomic cohomology valid for arbitrary varieties over p-adic fields. This uses a mapping cone construction similar to the rigid syntomic cohomology of the first author in the good-reduction case, but with Hyodo--Kato (log-crystalline) cohomology in place of rigid cohomology. In this short note, we describe a cohomology theory which is a modification of the theory of Nekovar and Niziol, modified by replacing 1 - Phi (where Phi is the Frobenius map) with other polynomials in Phi. This is the analogue for general varieties of the finite-polynomial cohomology defined by the first author for varieties with good reduction. We use this cohomology theory to give formulae for p-adic regulator maps on curves or products of curves, without imposing any good reduction hypotheses.
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 attached to a modular form, we formulate a conjecture on the existence of a "zeta element", whose image under the regulator map is a p-adic L-function. We show that this conjecture implies the known properties of the 2-variable p-adic L-functions constructed by Perrin-Riou and Kim.
We construct an Euler system in the cohomology of the tensor product of the Galois representations attached to two modular forms, using elements in the higher Chow groups of products of modular curves. We use this Euler system to prove a finiteness theorem for the strict Selmer group of the Galois representation when the associated p-adic Rankin--Selberg L-function is non-vanishing at s = 1.
In this paper, we prove the "local epsilon-isomorphism conjecture" of Fukaya and Kato for a particular class of Galois modules obtained by tensoring a Zp-lattice in a crystalline representation of the Galois group of Qp with a representation of an abelian quotient of the Galois group with values in a suitable p-adic local ring. This can be regarded as a local analogue of the Iwasawa main conjecture for abelian p-adic Lie extensions of Qp, extending earlier work of Benois and Berger for the cyclotomic extension. We show that such an epsilon-isomorphism can be constructed using the Perrin-Riou regulator map, or its extension to the 2-variable case due to the first and third authors.
For ordinary modular forms, there are two constructions of a p-adic L-function attached to the non-unit root of the Hecke polynomial, which are conjectured but not known to coincide. We prove this conjecture for modular forms of CM type, by calculating the the critical-slope L-function arising from Kato's Euler system and comparing this with results of Bellaiche on the critical-slope L-function defined using overconvergent modular symbols.
Let $E$ be an elliptic curve over $\mathbb{Q}$ with good supersingular reduction at a prime $p\geq 3$ and $a_p=0$. We generalise the definition of Kobayashi's plus/minus Selmer groups over $\mathbb{Q}(μ_{p^\infty})$ to $p$-adic Lie extensions $K_\infty$ of $\mathbb{Q}$ containing $\mathbb{Q}(μ_{p^\infty})$, using the theory of $(ϕ,Γ)$-modules and Berger's comparison isomorphisms. We show that these Selmer groups can be equally described using the "jumping conditions" of Kobayashi via the theory of overconvergent power series. Moreover, we show that such an approach gives the usual Selmer groups in the ordinary case.