Derived Beilinson–Flach elements and the arithmetic of the adjoint of a modular form

Óscar Rivero,Victor Rotger

doi:10.4171/jems/1054

Abstract

Kings, Lei, Loeffler and Zerbes constructed in \[LLZ], \[KLZ1] a three-variable Euler system $\kappa(\textbf{g},\textbf{h})$ of Beilinson–Flach elements associated to a pair of Hida families $(\textbf{g},\textbf{h})$ and exploited it to obtain applications to the arithmetic of elliptic curves, extending the earlier work \[BDR]. The aim of this article is to show that this Euler system also encodes arithmetic information concerning the group of units of the associated number fields. The setting becomes specially novel and intriguing when $\textbf{g}$ and $\textbf{h}$ specialize in weight 1 to $p$-stabilizations of eigenforms such that one is dual to the other. We encounter an exceptional zero phenomenon which forces the specialization of $\kappa(\textbf{g},\textbf{h})$ to vanish and we are led to study the derivative of this class. The main result we obtain is the proof of the main conjecture of \[DLR4] on iterated integrals and the main conjecture of \[DR1] for Beilinson–Flach elements in the adjoint setting. The main point of this paper is that the methods of \[DLR1], \[DLR4] and \[CH], where the above conjectures are proved when the weight 1 eigenforms have CM, do not apply to our setting and new ideas are required. In the previous works, a crucial ingredient is a factorization of $p$-adic $L$-functions, which in our scenario is not available due to the lack of critical points. Instead we resort to the principle of improved Euler systems and $p$-adic $L$-functions to reduce our problems to questions which can be resolved using Galois deformation theory. We expect this approach may be adapted to prove other cases of the Elliptic Stark Conjecture and of its generalizations that appear in the literature.

Highlights

Kings, Lei, Loeffler and Zerbes constructed in [LLZ], [KLZ2] a three-variable Euler system κ(g, h) of Beilinson–Flach elements associated to a pair of Hida families (g, h) and exploited it to obtain applications to the arithmetic of elliptic curves, extending the earlier work [BDR1]
Provide of Theorems A, A’, and can be phrased in purely analytic terms by means of p-adic iterated integrals and p-adic L-functions. It is only later in the note that we explore the consequences that Theorem A has on the weight one specialisations of the Euler system of Beilinson-Flach elements, as described in Theorems B and C
The Fix space of overconvergent p-adic modular an embedding Q ⊂ Qp and let Lp denote the completion of L in Qp

Summary

Preliminary concepts

Let g be a Hida family of tame level N and tame character χ as defined and normalized in [KLZ2, §7.2]. We denote by Wg◦ the set of crystalline arithmetic points of Wg. As shown by Wiles [Wi], [KLZ2, §7.2] and already recalled in the introduction, a Hida family g as above comes equipped with a free Λg[GQ]-module Vg of rank two, yielding a Galois representationg : GQ −→ GL2(Λg), all whose classical specializations recover the p-adic Galois representation associated to the classical specialization of g. Associated to the adjoint representation attached to any classical specialization g = gy[0] of the Hida family g at some arithmetic point y0 ∈ Wgcl, Hida defined an analytic L-invariant, which can be recast in several equivalent ways (cf the works of Hida, Harron, Citro and Dasgupta (cf [Hi3], [Ci], [Das2]).

Derived Beilinson–Flach elements

Derivatives of Fourier coefficients via Galois deformation theory

Proof of main results

Darmon–Dasgupta units and factorization of p-adic L-functions