# Explicit computations of Hida families via overconvergent modular symbols

- Evan P. Dummit
^{1}, - Márton Hablicsek
^{2}, - Robert Harron
^{3}Email author, - Lalit Jain
^{4}, - Robert Pollack
^{5}and - Daniel Ross
^{4}

**Received: **31 July 2016

**Accepted: **15 August 2016

**Published: **14 November 2016

## Abstract

In Pollack and Stevens (Ann Sci Éc Norm Supér 44(1):1–42, 2011), efficient algorithms are given to compute with overconvergent modular symbols. These algorithms then allow for the fast computation of *p*-adic *L*-functions and have further been applied to compute rational points on elliptic curves (e.g. Darmon and Pollack in Israel J Math 153:319–354, 2006, Trifkovic in Duke Math J 135(3):415–453, 2006). In this paper, we generalize these algorithms to the case of *families* of overconvergent modular symbols. As a consequence, we can compute *p*-adic families of Hecke-eigenvalues, two-variable *p*-adic *L*-functions, *L*-invariants, as well as the shape and structure of ordinary Hida–Hecke algebras.

### Keywords

Overconvergent modular symbols Hida theory*p*-adic

*L*-functions

*L*-invariants Hecke algebras

### Mathematical Subject Classification

11F33 11R23 11F67 11F85## 1 Background

In a seminal work from the mid-80s, Hida [21, 22] introduced a theory of *p*-adic families of ordinary Hecke-eigenforms. This work was generalized by Coleman [12] in the mid-90s to include non-ordinary forms which ultimately led to the Coleman–Mazur [11] construction of the eigencurve—a rigid analytic space which parametrizes all finite slope Hecke-eigenforms. Over the following decade, the theory of *p*-adic variation of automorphic forms blossomed with multiple constructions of eigenvarieties over a wide class of reductive groups [1, 2, 4, 15, 33]. Moreover, the consequences to number theory of the existence of *p*-adic families of automorphic forms have been profound with the proofs of the Mazur–Tate–Teitelbaum conjecture, the Main Conjecture (for class groups or modular forms!), and the Fontaine–Mazur conjecture (just to name a few) all heavily reliant upon the theory of *p*-adic variation.

With that said, our current state of understanding of the shape and structure of these eigenvarieties is still quite limited. Taking the simplest example of ordinary forms on \({{\mathrm{GL}}}_2 / {\mathbb Q}\) (e.g. the setting of Hida’s original work), we do not have a good understanding of a single example of a Hecke–Hida algebra which is not simply a union of open discs.

This paper will attempt to rectify this situation at least in the case of classical Hida theory by introducing methods for computing with families of overconvergent modular symbols (which form the basis of Stevens’ construction of the eigencurve). These methods generalize the constructions of [28] where overconvergent modular symbols of a fixed weight were studied (some applications of that article appear in [14] and [31]). As a consequence, we can compute *q*-expansions of Hida families, two-variable *p*-adic *L*-functions, *L*-invariants of modular forms and their symmetric squares, and, moreover, we can get our hands on the geometry of Hida families in several non-trivial situations.

*p*\(=\) 11 and consider the 11-adic Hida family passing through Ramanujan’s discriminant form \(\Delta \). In this case, the Hida family passing through \(\Delta \) is parametrized by a single open disc. Thus, for any prime \(\ell \), the Hecke-eigenvalue of \(T_\ell \) acting on the Hida family through Ramanujan’s \(\Delta \) is a power series in a weight variable

*k*

^{1}. We compute for example

*k*, the above formula gives 11-adic approximations to the coefficient of \(q^2\) in the unique normalized 11-ordinary form of weight

*k*and level 1. A higher precision approximation to \(a_2(k)\) (and \(a_\ell (k)\) for \(\ell \le 11\)) is given in Example 5.2.

For another example, consider \(p=3\) and fix a tame level \(N=11\). There are exactly two 3-ordinary forms of weight 2 and level 33, and moreover, these forms are congruent modulo 3. In particular, the Hida family attached to these forms cannot simply be the union of two open discs (because of the congruence between the two forms). The possibilities for the geometry of this Hida family include two discs glued together at some collection of points or a double cover of weight space ramified at several points. We note this example has already appeared in several places including [10, 19, 28]. Using the methods of this paper, we were able to determine that this Hida family is a double-cover of weight space ramified at a single (non-classical) weight, and moreover, this weight is congruent to \(30060 \text { }({\text {mod}}\text { }3^{11})\).

*k*, one can endow \({\mathbf {D}}\) with a weight

*k*action by \(\Sigma _0(p)\), and we write \({\mathbf {D}}_k\) for this space of distributions. The space

As with overconvergent modular forms, these spaces can be *p*-adically interpolated over weight space. To this end, set *D* equal to a closed disc in weight space of radius 1/*p* about any tame character, and set *R* equal to the collection of convergent power series on *D*. Then \({\mathbf {D}}\hat{\otimes }R\) sits inside of the space of *R*-valued distributions. In particular, by evaluating at a weight *k* in *D*, we obtain a specialization map \({\mathbf {D}}\hat{\otimes }R \rightarrow {\mathbf {D}}_k\), and we refer to elements of \({\mathbf {D}}\hat{\otimes }R\) as *families of distributions* on *D*.

*D*.

^{2}We thus interpret

*families of overconvergent modular symbols*on

*D*of level \(\Gamma _0\). This space admits a Hecke-action, and we define the ordinary subspace \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}\hat{\otimes }R)^{{{\mathrm{ord}}}}\) as the intersection of the images of all powers of \(U_p\). All of the information of

*p*-adic Hida families of tame level

*N*is contained within this ordinary subspace (as Hida families extend to all of weight space).

In this paper, we introduce methods for explicitly computing approximations to elements of \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}\hat{\otimes }R)\). In particular, we are able to compute approximations to the characteristic polynomial of any Hecke operator acting on \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}\hat{\otimes }R)^{{{\mathrm{ord}}}}\). From these computations, one can then compute *q*-expansions of Hida families of eigenforms. From this, one can compute *L*-invariants via the formulae of [13, 20, 23]. Moreover, computing two-variable *p*-adic *L*-functions is immediate once one has a family of overconvergent eigensymbols in hand as in [18]. Lastly, these computations also allow us to gain some fine control over the geometry of these Hida families in a wide variety of examples. We include several of the examples we computed below. In future work, we will implement non-trivial nebentypus (thus allowing for odd weights), coefficients in extensions of \({\mathbb Z}_p\), and computations for the prime \(p=2\). The primary bottleneck in speed is computing with *p*-adic polynomials in Sage. After speeding this up, our future work will also aim to compute examples more systematically.

The algorithms developed in this paper have been implemented in Sage [32] and continue to be developed on the SageMathCloud. Once sufficiently polished, the code will be submitted for inclusion into Sage.

### 1.1 Outline

In the following section, we introduce the relevant distribution spaces leading to the definition of the space of families of distributions, \({\mathbf {D}}\hat{\otimes }R\). In the third section, we introduce methods of working in the space \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}\hat{\otimes }R)\) including producing explicit elements in this space, forming a basis of \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}\hat{\otimes }R)^{{{\mathrm{ord}}}}\), and computing characteristic power series of Hecke operators on this ordinary subspace. In the fourth section, we explain how to carry out these computations in practice by giving a systematic method of approximating families of overconvergent modular symbols. Lastly, in the fifth section, we close with several examples which we computed via these methods.

## 2 Distribution modules in families

In this section, we introduce the relevant distribution spaces which will ultimately be the coefficients of our spaces of modular symbols.

### 2.1 Distribution spaces

*z*. That is, \({\mathbf A}= {\mathbb Q}_p\langle z\rangle \), the collection of power series with coefficients in \({\mathbb Q}_p\) which converge on the unit disc of \({\mathbb C}_p\):

*moments*of \(\mu \). We have that

We will write \({\mathbf {D}}^0\) (resp. \({\mathbf A}^{\!0}\)) for the unit ball of \({\mathbf {D}}\) (resp. \({\mathbf A}\)). Note that \(\mu \in {\mathbf {D}}^0\) if and only if \(\mu (z^j) \in {\mathbb Z}_p\) for all \(j \ge 0\).

The space \({\mathbf {D}}\) is our basic distribution space which we will ultimately study in families. But we will need to make use of some slightly fancier distribution spaces which we introduce now.

*r*around 0, i.e.

*r*, the sequence \(\{c _j \}\) must converge rapidly to 0, thus allowing the sequence \(\{ \mu (z^j) \}\) to have some non-trivial growth. Explicitly,

*some*disc of radius strictly greater than 1. This space is endowed with the inductive limit topology. We define \({\mathcal D}^\dag = {{\mathrm{Hom}}}_{{{\mathrm{cont}}}}({\mathcal A}^\dag ,{\mathbb Q}_p)\). Equivalently, ; or more simply, \({\mathcal D}^\dag \) is the intersection over all \(r>1\) of \({\mathbf {D}}[r]\). Thus,

### 2.2 Weight space

For the remainder of the paper, let *p* denote an odd prime. Let \({\mathcal W}= {{\mathrm{Hom}}}({\mathbb Z}_p^\times ,{\mathbb C}_p^\times )\) denote the collection of continuous characters from \({\mathbb Z}_p^\times \) to \({\mathbb C}_p^\times \). We will refer to this as weight space. There is an injective map from \({\mathbb Z}\rightarrow {\mathcal W}\) sending *k* to the “raising to the *k*th power” character.

Since \({\mathbb Z}_p^\times \cong ({\mathbb Z}/p{\mathbb Z})^\times \times (1+p{\mathbb Z}_p)\), a character in \({\mathcal W}\) is uniquely determined by its restriction to \(({\mathbb Z}/p{\mathbb Z})^\times \) and by its value on a topological generator \(\gamma \) of \(1+p{\mathbb Z}_p\). Moreover, if \(\kappa \in {\mathcal W}\), then \(|\kappa (\gamma ) - 1| < 1\).

*D*(0, 1) be the open unit disc of \({\mathbb C}_p\) about 0. The map

### 2.3 The weight \(\kappa \) action

Let \(\Sigma _0(p)\subseteq \text {M}_2({\mathbb Z}_p)\) denote the semigroup of matrices \(\bigl ( {\begin{matrix} a &{} b \\ c &{} d \end{matrix}} \bigr )\) of non-zero determinant with \(a \in {\mathbb Z}_p^\times \) and \(c \in p{\mathbb Z}_p\). For each \(\kappa \in {\mathcal W}\), we wish to define a “weight \(\kappa \) action” of \(\Sigma _0(p)\) on the above spaces of power series and distributions. This will allow us to eventually define Hecke actions on spaces of overconvergent modular symbols.

*k*an integer, we can define the weight

*k*action of \(\Sigma _0(p)\) on the spaces defined in Sect. 2.1 as follows. For

*f*in \({\mathbf A}[r]\) with \(r<p\) and \(\gamma \in \Sigma _0(p)\), we define

Now we consider the case of *p*-adic weights. Let \(W_m\) denote the subspace of characters \(\kappa \) in \({\mathcal W}_m\) that satisfy \(|\kappa (\gamma ) - 1| \le 1/p\) for some (and hence every) topological generator \(\gamma \) of \(1+p{\mathbb Z}_p\). Note that the classical weights—the “raising to the *k*-th power” characters, for \(k\in {\mathbb Z}\)—are all in \(W_m\), for some *m*. We can (and will) identify \(W_m\) with the closed disc of radius 1 / *p* around 0. For \(\kappa \in W_m\), we will define weight \(\kappa \) actions on our spaces of distributions. The key to doing this is to make sense of \(\kappa (a+cz)\) as a power series in *z* (see Definition 2.4 and Lemma 2.5 below).

We begin with some lemmas.

### Lemma 2.1

If \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\), then \(|\log (1+x) | = |x|\).

### Proof

The condition that \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\) forces the first term to dominate in the power series expansion of \(\log (1+x)\). \(\square \)

### Lemma 2.2

### Proof

### Lemma 2.3

- (1)
\(F_\kappa (x)\) converges for

*x*such that \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\), i.e. \(F_\kappa (z) \in {\mathbf A}[r]\) for any \(r < p^{-1/(p-1)}\). - (2)
For

*x*with \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\), we have \(|F_\kappa (x)| \le 1\). - (3)For \(x \in 1+p{\mathbb Z}_p\),$$\begin{aligned} F_\kappa (x-1) = \kappa (x). \end{aligned}$$

### Proof

*x*with \(1> {{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\), we must have that \(F_\kappa (x)\) converges for all

*x*with \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\).

For the second part, note that every term in the power series which defines \(F_\kappa (x)\) has valuation at least 0 for *x* with \(1> {{\mathrm{ord}}}_p(x) > \frac{1}{p-1}\). Thus, \(|F_\kappa (x)| \le 1\) for all *x* with \({{\mathrm{ord}}}_p(x)> \frac{1}{p-1}\) (by the Maximum Modulus Principle applied to any closed disc of radius between 1 / *p* and \(p^{-1/(p-1)}\), see [7, Proposition 3 of Section 5.1.4]).

### Definition 2.4

### Lemma 2.5

- (1)
\(F_{\kappa ,a,c}(x)\) converges for

*x*such that \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1} - 1\), i.e. \(F_{\kappa ,a,c}(z)\) is in \({\mathbf A}[p^h]\) for any \(h< c_p := 1 - \frac{1}{p-1}=\frac{p-2}{p-1}\), - (2)
\(|F_{\kappa ,a,c}(x)| \le 1\) for

*x*with \({{\mathrm{ord}}}_p(x) > \frac{1}{p-1} - 1\), - (3)for \(x \in {\mathbb Z}_p\),$$\begin{aligned} F_{\kappa ,a,c}(x) = \kappa (a+cx). \end{aligned}$$

### Proof

*f*in \({\mathbf A}[r]\) (with \(1\le r < r_p := p^{c_p}\)) and \(\gamma \in \Sigma _0(p)\), we define

### 2.4 Power series in families over weight space

*W*. We then have

*w*. Set \(R^0\) equal to the unit ball of \(R\) under the sup norm which is simply the integral Tate algebra \({\mathbb Z}_p\langle \langle w \rangle \rangle \).

*F*of \({\mathbf A}\hat{\otimes }R\), we get a family of elements \(\kappa (F) \in {\mathbf A}\) for each \(\kappa \in W_m\) having values in \({\mathbb Q}_p\).

*z*and

*w*which converge for all \(|z| \le 1\), \(|w| \le 1\). Evaluating at \(\kappa \) simply means evaluating

*w*at \((\kappa (\gamma )-1)/p\). Thus, as we

*p*-adically vary \(\kappa \) over \(W_m\), we get a

*p*-adic family of elements of \({\mathbf A}\).

We now seek to give \({\mathbf A}\hat{\otimes }R\) the structure of a \(\Sigma _0(p)\)-module in such a way that the above map (“evaluation at \(\kappa \)”) is equivariant with respect to this action on the source and the weight \(\kappa \) action on the target. We do this by constructing a two-variable power series that interpolates \(F_{\kappa ,a,c}(z)\) as \(\kappa \) varies.

### Lemma 2.6

- (1)
\(K_{a,c,m}(z,w)\) converges for

*z*and*w*such that \(|z| < p^{c_p}\) and \(|w| \le 1\). That is, \(K_{a,c,m}(z,w) \in {\mathbf A}[p^h] \hat{\otimes }R\) for \(h < c_p\), - (2)
\(|K_{a,c,m}(z,w)| \le 1\) for all such

*z*,*w*, - (3)for \(\kappa \in W_m\), we have$$\begin{aligned} \kappa (K_{a,c,m}(z,w)) = F_{\kappa ,a,c}(z). \end{aligned}$$

### Proof

### Lemma 2.7

### Proof

This lemma follows immediately from the definition of both actions. \(\square \)

We mention here two basic properties of the automorphy factor \(K_{a,c,m}(z,w)\), both of which follow directly from the definition and which will be useful later.

### Lemma 2.8

- (1)
\(K_{1,0,m}(z,w) = 1\),

- (2)
\(K_{a,c,m}(z,w)\big |_{w = 0} = \omega (a)^m\).

### 2.5 Distributions in families over weight space

*w*.

*n*, there are only finitely many coefficients of

*f*which are not in \(p^n {\mathbb Z}_p\). In particular, for any fixed element of \({\mathbf {D}}\hat{\otimes }R\), in

*all*of its moments only finitely many coefficients are not in \(p^n {\mathbb Z}_p\). Note that the distribution \(\widetilde{\mu }\) above clearly does not have this property.

### Lemma 2.9

### Proof

This formula clearly gives an action on \({\mathbf {D}}[r](R)\). To complete the proof, we must check that \({\mathbf {D}}[r] \hat{\otimes }R\subseteq {\mathbf {D}}[r](R)\) is preserved by this action. This detail is verified in [6, page 30, Remark 3.1]; we note that in [6], the notation \({\mathbf {D}}[r](R)\) refers to \({\mathbf {D}}[r] \hat{\otimes } R\). \(\square \)

### Lemma 2.10

If \(\widetilde{\mu }\in {\mathcal D}^\dag (R)\), then \(\widetilde{\mu }\big |\!\left( {\begin{matrix} 1 &{} a \\ 0 &{} p \end{matrix}} \right) \in {\mathbf {D}}\hat{\otimes }R\).

### Proof

*M*, for

*n*large enough \(p^n \widetilde{\mu }(z^n) \in p^M R^0\). Thus, modulo \(p^M R^0\), the moments of the distribution \(\widetilde{\mu }\big |\!\left( {\begin{matrix} 1 &{} a \\ 0 &{} p \end{matrix}} \right) \) only depend on finitely many moments of \(\widetilde{\mu }\). In particular, \(\widetilde{\mu }\big |\!\left( {\begin{matrix} 1 &{} a \\ 0 &{} p \end{matrix}} \right) \) can be written as a limit of elements of \({\mathbf {D}}\otimes R\), and hence \(\widetilde{\mu }\big |\!\left( {\begin{matrix} 1 &{} a \\ 0 &{} p \end{matrix}} \right) \in {\mathbf {D}}\hat{\otimes }R\). \(\square \)

### 2.6 Analyzing the automorphy factor

By Lemma 2.6, \(K_{a,c,m}(z,w)\) is in \({\mathbf A}\hat{\otimes }R\). In this section, we will further analyze the coefficients of this automorphy factor in order to gain better control of the \(\Sigma _0(p)\)-action on families of distributions. We begin by introducing some rings that will be useful for this purpose.

### Lemma 2.11

\(S_x\) is a subring of \({\mathbb Z}_p\langle \langle x \rangle \rangle \).

### Proof

*n*-th coefficient of

*fg*equals \(\sum _{i+j=n} a_i b_j\), and we have

### Lemma 2.12

If \(f \in S_x\) with \(f(0) \in {\mathbb Z}_p^\times \), then \(f^{-1} \in S_x\).

### Proof

### Lemma 2.13

- (1)
*f*(*x*) converges for all*x*in the open disc of radius \(p^r\) centered around 0, and - (2)
\(|f(x)| \le 1\) for all such

*x*,

### Proof

Write \(g(x) = f(x/p^r)\) which is then a power series which converges on the open unit disc of \({\mathbb C}_p\). This power series is bounded in size by 1 and thus is in \({\mathcal O}_{{\mathbb C}_p}\llbracket x\rrbracket \) (since the Gauss norm equals the sup norm). Thus, \(a_n/p^{rn} \in {\mathcal O}_{{\mathbb C}_p}\) as desired. \(\square \)

### Remark 2.14

From Lemma 2.13, we have that \(S_x\) is simply the collection of \({\mathbb Q}_p\)-power series which converge on the disc of radius \(p^{c_p}\) and all of whose values have size less than or equal to 1. This gives another way to see that \(S_x\) is a ring.

### Theorem 2.15

### Proof

*p*-adic valuation at least \(ic_p\) for all \(i,j \ge 0\). But this is equivalent to showing that \(p^{i c_p}\) divides \(R_i(w)\) in \(R^0\) for all \(i \ge 0\).

Next fix some \(w_0\) with \(|w_0| \le 1\). Then \(K_{a,c,m}(z,w_0)\) is a power series which converges on the open disc of radius \(p^{c_p}\) and all of its values have size bounded by 1 on this disc (by Lemma 2.6). Thus, by Lemma 2.13, \(R_i(w_0)\) has valuation at least \(i c_p\). But since this is true for every \(w_0\) in the closed unit disc, we have that every coefficient of \(R_i(w)\) has valuation at least \(ic_p\) (since the Gauss norm is the same as the sup norm). \(\square \)

### Theorem 2.16

### Proof

*p*|

*c*, we have \(L \in {\mathbb Z}_p\llbracket z\rrbracket \). Thus, for \(|z|<1\), we have

The following lemma will be useful later.

### Lemma 2.17

### Proof

*g*(

*w*) is in \(c \cdot S_w\) (and then automatically

*g*(

*w*) /

*w*is in \(c \cdot S_w\)). The coefficient of \(w^n\) in \(K_{a,c,m}(z,w)\) is

*z*in this expression has valuation at least \({{\mathrm{ord}}}_p(c) + n c_p\). But this is easy as \({{\mathrm{ord}}}_p( p^n / n!) \ge c_p\) and the coefficient of

*z*in

*L*is always divisible by

*c*.

*w*in

*g*(

*w*) is in \(c {\mathbb Z}_p^\times \). This coefficient is the same as the coefficient of

*wz*in \(K_{a,c,m}(z,w)\) which is

## 3 Families of overconvergent modular symbols

### 3.1 Modular symbols

We review here the theory of modular symbols as formulated in [3, 18, 28]. To this end, let \(\Delta _0 := {{\mathrm{Div}}}^0({\mathbb P}^1({\mathbb Q}))\) denote the set of degree zero divisors on \({\mathbb P}^1({\mathbb Q})\) which we endow with a left action of \({{\mathrm{GL}}}_2({\mathbb Q})\) via linear fractional transformations. Let \(\Gamma \) denote a congruence subgroup of \({{\mathrm{SL}}}_2({\mathbb Z})\) and let *V* denote a right \(\Gamma \)-module. We define \({{\mathrm{Symb}}}_{\Gamma }(V)\), the space of *V*-valued modular symbols of level \(\Gamma \), to be the collection of additive homomorphisms \(\varphi : \Delta _0 \rightarrow V\) such that \(\varphi (\gamma D) = \varphi (D) \big | \gamma ^{-1}\) for all \(\gamma \in \Gamma \) and \(D \in \Delta _0\).

*V*we will consider in this paper include \({{\mathrm{Sym}}}^k({\mathbb Q}_p^2)\), \({\mathbf {D}}_k\) and \({\mathbf {D}}\hat{\otimes }R\). The first space has an action of \(\Gamma \) while the second two have an action of \(\Gamma _0 := \Gamma \cap \Gamma _0(p)\). Moreover, in each of these cases, one can extend the action of \(\Gamma _0(p)\) to the algebra

*V*-valued modular symbols.

The space \({{\mathrm{Symb}}}_{\Gamma }({{\mathrm{Sym}}}^k({\mathbb Q}_p^2))\) is the space of classical modular symbols; the systems of Hecke-eigenvalues occurring in this space match those occurring in \(M_{k+2}(\Gamma )\) (see [5, Proposition 2.5]). The space \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}_k)\) is the space of overconvergent modular symbols; the systems of finite slope Hecke-eigenvalues occurring in this space essentially match those occurring in \(M^\dag _{k+2}(\Gamma )\), the space of overconvergent modular forms (see [29, Theorem 7.1]).

*families*of overconvergent modular symbols. Indeed, for each \(\kappa \in W_m\), the map \(\kappa :{\mathbf {D}}\hat{\otimes }R\rightarrow {\mathbf {D}}_\kappa \) induces a Hecke-equivariant map

*p*-adic family.

### 3.2 Constructing families of overconvergent modular symbols

In this section, we describe a method of producing “random” families of overconvergent modular symbols. Here we follow the methods described in [28, Section 2] to explicitly write down modular symbols.

### Proposition 3.1

*V*and any \(\phi \in {{\mathrm{Symb}}}_{\Gamma _0}(V)\), we have

*V*satisfying

*j*.

### Proof

See [28, Corollary 2.7]. \(\square \)

### Remark 3.2

In [28] explicit algorithms are given to determine the \(D_i\) and the \(\gamma _i\). This is the so-called process of “solving the Manin relations”. In the end, the \(\gamma _i\) together with the identity matrix form a subset of a full set of right coset representatives for \(\Gamma _0\) in \({{\mathrm{SL}}}_2({\mathbb Z})\), and the \(D_i\) are \({\mathbb Z}[\Gamma ]\)-generators of \(\Delta _0\).

Proposition 3.1 gives us a strategy for explicitly writing down families of overconvergent modular symbols. Just randomly pick elements \(v_1, \ldots , v_t\) in \({\mathbf {D}}\hat{\otimes }R\), and then try to solve Eq. (3.1).

We will refer to equations of the form \(w \big | \Delta = v\) as *difference equations*. These equations were studied in detail in [28, Section 4.2] for the the module \({\mathcal D}^\dag \). The following lemma generalizes the situation to \({\mathcal D}^\dag (R)\).

### Lemma 3.3

- (1)
the map \(\Delta : {\mathcal D}^\dag (R)\rightarrow {\mathcal D}^\dag (R)\) is injective;

- (2)
if \(\widetilde{\mu }\in {{\mathrm{im}}}(\Delta )\), then \(\widetilde{\mu }({\mathbf 1}) = 0\);

- (3)
for \(\widetilde{\mu }\in {\mathcal D}^\dag (R)\) with \(\widetilde{\mu }({\mathbf 1}) = 0\), there exists a unique \(\widetilde{\nu }\in {\mathcal D}^\dag (R)\) such that \(\widetilde{\nu }\big | \Delta = \widetilde{\mu }\).

### Proof

### Remark 3.4

- (1)
The explicit formulas for the solution of the difference equation given in [28, Lemma 4.3] apply equally well in the case of families.

- (2)
We note in the above lemma that if \(\widetilde{\nu }\) were in the smaller space \({\mathbf {D}}\hat{\otimes }R\), there is no reason for \(\widetilde{\mu }\) to again be in the \({\mathbf {D}}\hat{\otimes }R\) as denominators naturally appear in the solution of the difference equation. These denominators are the primary reason for considering the space \({\mathcal D}^\dag (R)\) in this paper.

*w*if \(m \equiv 0 \text { }({\text {mod}}\text { }p-1)\).

In our quest to write down a family of overconvergent modular symbols, we have chosen the \(v_j\) arbitrarily, and thus we still have a great deal of flexibility. The following lemma explains precisely how to choose one of the \(v_j\) more carefully to force the total measure of the right hand side of Eq. (3.1) to vanish. In the following lemma, \(\mu _j\) denotes the distribution whose *j*-th moment is 1 and all of whose other moments vanish.

### Lemma 3.5

*i*between 1 and

*t*, and set

*i*between 1 and

*t*such that \(a_i^m \not \equiv 1 \text { }({\text {mod}}\text { }p)\), and set

*j*, and \(\sum _{j=1}^t v_j\big | (\gamma _j-1)\) has total measure zero.

### Proof

We begin with the case \(m \equiv 0 \text { }({\text {mod}}\text { }p-1)\). We first justify that \(v_i\) is in \({\mathcal D}^\dag (R)\). That is, if \(h = \frac{\partial }{\partial z} K_{a_i,c_i,m}(z,w) \big |_{z=0}\), we need to check that \(g/h \in R\). Note that *h* is simply the coefficient of *z* in \(K_{a_i,c_i,m}(z,w)\) and is thus in \(S_w\) by Theorem 2.16. However, *h* is not invertible in \(S_w\). Indeed, by Lemma 2.8 part (2), we have \(h(0) = 0\). Fortunately, *g* also vanishes at \(w = 0\) by the discussion immediately preceding this lemma (this is where we are using the fact that \(m \equiv 0 \text { }({\text {mod}}\text { }p-1)\)). Further, by Lemma 2.17, *h* / *w* is in \(c_i \cdot S^\times \). By Remark 3.2, we have \(c_i \ne 0\), and thus *h* / *w* is invertible in \(R\). Therefore, \(g/h = (g/w) / (h/w)\) is in \(R\).

Now onto the case of \(m \not \equiv 0 \text { }({\text {mod}}\text { }p-1)\). We again justify that \(v_i\) is in \({\mathcal D}^\dag (R)\). That is, if \(h = K_{a_i,c_i,m}(0,w)\), we need to check that \(g/(h-1) \in R\). By Theorem 2.16, \(h-1\) is in \(S_w\). Further, by Lemma 2.8 part (2), the constant term of \(h-1\) is \(\omega (a_i)^m-1\) which is a unit by assumption. Thus, by Lemma 2.12, \(h-1\) is invertible and thus \(g/(h-1) \in R\) as desired.

### Remark 3.6

In the case \(m \not \equiv 0 \text { }({\text {mod}}\text { }p-1)\), if it happens that \(a_i^m \equiv 1 \text { }({\text {mod}}\text { }p)\) for every *i*, then a simple computation shows that \(\sum _{j=1}^t v_j \big | (\gamma _j - 1)\) has 0-th moment which vanishes in weight 0. We could thus proceed as in the case of \(m \equiv 0 \text { }({\text {mod}}\text { }p-1)\). We leave the details to the reader, but we note that in our computations we have never encountered this case. Possibly this case never occurs or only occurs in very small level.

### Corollary 3.7

*j*.

### Proof

*j*as desired. \(\square \)

### 3.3 Ordinary families of overconvergent modular symbols

As Hida families are the primary object of interest in this paper, we now describe how to pass to the *ordinary subspace* of our spaces of modular symbols. To this end, recall that if *X* is a compact \({\mathbb Z}_p\)-module equipped with a compact operator \(U_p\), we define the ordinary subspace \(X^{{{\mathrm{ord}}}} := \bigcap _n U_p^n X\). Then \(X^{{{\mathrm{ord}}}}\) is the largest subspace of *X* on which \(U_p\) acts invertibly. If moreover *X* is profinite, then there is a canonical decomposition \(X = X^{{{\mathrm{ord}}}} \oplus X^{{{\mathrm{nil}}}}\) where \(X^{{{\mathrm{nil}}}}\) is the subspace of *X* on which \(U_p\) acts topologically nilpotently (see [18, Proposition 2.3]). Moreover, projection onto \(X^{{{\mathrm{ord}}}}\) is given by the operator \(e:=\lim \nolimits _{n\rightarrow \infty } U_p^{n!}\).

*a priori*clear that \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}^0\hat{\otimes }R^0)\) admits its ordinary subspace as a direct summand. However, \(R^0= {\mathbb Z}_p\langle \langle w \rangle \rangle \) is contained in \(\Lambda :={\mathbb Z}_p[[w]]\) which is a profinite ring. Moreover, viewing \(\Lambda \) as the ring of bounded functions on the open disc of radius 1 /

*p*contained in \(R^0\), we see that this ring is preserved by the action of \(\Sigma _0(p)\), and thus we get a Hecke-equivariant inclusion

We note that in the ordinary case no Hecke information should be lost by working on this open disc of radius 1 / *p*. Indeed, as Hida families extend to all of weight space, one expects that the Hecke-eigenvalues of ordinary families of modular symbols should do the same. This fact is stated in the following theorem and proven in Appendix 6.

### Theorem 3.9

- (1)\(X^{{{\mathrm{ord}}}}\) is a free \(\Lambda \)-module andfor any \(k \equiv m \text { }({\text {mod}}\text { }p-1)\),$$\begin{aligned} {{\mathrm{rank}}}_\Lambda (X^{{{\mathrm{ord}}}}) = {{\mathrm{rank}}}_{{\mathbb Z}_p}({{\mathrm{Symb}}}_{\Gamma _0}({{\mathrm{Sym}}}^k({\mathbb Z}_p^2))^{{{\mathrm{ord}}}}) \end{aligned}$$
- (2)for
*T*any Hecke operator,has coefficients in \({\mathbb Z}_p[[W]] = {\mathbb Z}_p[[pw]]\); that is, the coefficients of this characteristic polynomial extend to the open unit disc.$$\begin{aligned} {{\mathrm{char}}}(T | X^{{{\mathrm{ord}}}}) \end{aligned}$$

### 3.4 Vector of total measures

In this section, we make the following simple but extremely helpful observation: an element of \(X^{{{\mathrm{ord}}}}\) is completely determined by the total measures of all of its values. Moreover, since a modular symbol is determined by its values on finitely many divisors, one only needs finitely many of these total measures to determine the symbol. We can thus express any element of \(X^{{{\mathrm{ord}}}}\) as a vector with coordinates in \(\Lambda \), and thus reduce many computations with ordinary families of overconvergent modular symbols to computations in a free module over \(\Lambda \).

*vector of total measures*map

### Proposition 3.10

- (1)
the map \(\alpha \) is injective;

- (2)
the map \(\alpha _k\) is injective;

- (3)the induced mapis injective. Here \({\mathfrak m}\) is the maximal ideal of \(\Lambda ={\mathbb Z}_p[[w]]\).$$\begin{aligned} \overline{\alpha } : X^{{{\mathrm{ord}}}}\otimes \Lambda / {\mathfrak m}{\longrightarrow } (\Lambda /{\mathfrak m})^t \cong {\mathbb F}_p^t \end{aligned}$$

### Proof

*K*is the kernel of \(\alpha \), then part (3) implies that \(K \otimes \Lambda / {\mathfrak m}= 0\) and thus \(K=0\). Similarly, part (3) implies part (2). Indeed, by Lemma 6.4,

*K*is now the kernel of \(\alpha _k\), by part (3), \(K \otimes \Lambda /{\mathfrak m}= 0\), and thus \(K=0\).

*p*for each

*i*, then \(\Phi _k\) is divisible by

*p*. Seeking a contradiction, assume that \(||\Phi _k|| = 1\). Since the \(D_i\) generate \(\Delta _0\), we see that \(\Phi _k(D)({\mathbf 1})\) is divisible by

*p*for every \(D \in \Delta _0\). But then

*p*since \(\Phi _k (\left( {\begin{matrix} 1 &{} a \\ 0 &{} p \end{matrix}} \right) D)({\mathbf 1})\) is divisible by

*p*by assumption. Thus, \(|| \Phi _k | U_p || < 1\). But since \(\Phi _k\) is in the ordinary subspace, we have \(\Phi _k = \lim _n \Phi _k | U_p^{n!}\) which implies \(|| \Phi _k | U_p || = || \Phi _k || =1 \). This contradiction establishes part (3) and completes the proof. \(\square \)

Here’s one example of the usefulness of these vector of total measure maps.

### Corollary 3.11

We have that \(\left\{ \Phi _1^{{{\mathrm{ord}}}}, \dots , \Phi _j^{{{\mathrm{ord}}}} \right\} \) can be completed to a \(\Lambda \)-basis of \(X^{{{\mathrm{ord}}}}\) if and only if \(\left\{ \overline{\alpha }(\Phi _1^{{{\mathrm{ord}}}}), \dots , \overline{\alpha }(\Phi _j^{{{\mathrm{ord}}}}) \right\} \) is a linearly independent set in \({\mathbb F}_p^t\).

### Proof

By Proposition 3.10, \(\overline{\alpha }(\Phi _1^{{{\mathrm{ord}}}}), \dots , \overline{\alpha }(\Phi _j^{{{\mathrm{ord}}}})\) are linearly independent in \({\mathbb F}_p^t\) if and only if the images of \(\Phi _1^{{{\mathrm{ord}}}}, \dots , \Phi _j^{{{\mathrm{ord}}}}\) in \(X^{{{\mathrm{ord}}}}/{\mathfrak m}X^{{{\mathrm{ord}}}}\) are linearly independent. By a compact version of Nakayama’s lemma, this is true if and only if \(\Phi _1^{{{\mathrm{ord}}}}, \dots , \Phi _j^{{{\mathrm{ord}}}}\) is the start of a \(\Lambda \)-basis of *X*. \(\square \)

### 3.5 Bases of \(X^{{{\mathrm{ord}}}}\) and characteristic polynomials of Hecke operators

We present here a method of computing the characteristic polynomials of Hecke operators acting on the ordinary subspace of \(X^{{{\mathrm{ord}}}}\).

We begin by describing a naive idea of how one can form a \(\Lambda \)-basis of \(X^{{{\mathrm{ord}}}}\). We first note that we can assume that we know the \(\Lambda \)-rank of \(X^{{{\mathrm{ord}}}}\) as Theorem 3.9 expresses this rank in terms of the \({\mathbb Z}_p\)-rank of some classical space of modular symbols which by standard methods is readily computed.^{3} Let us assume then that we have in hand elements \(\Phi _1^{{{\mathrm{ord}}}}, \ldots , \Phi _j^{{{\mathrm{ord}}}}\) in \(X^{{{\mathrm{ord}}}}\) which are the start of a \(\Lambda \)-basis of \(X^{{{\mathrm{ord}}}}\). We now describe how to extend this set to a full \(\Lambda \)-basis by working one element at a time.

To this end, produce some “random” element \(\Phi \) of \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}^0 \hat{\otimes }\Lambda )\)—for instance, using the methods described in Sect. 3.2. Then, as described in Sect. 3.3, by iterating \(U_p\) we can form \(\Phi ^{{{\mathrm{ord}}}}\), the projection of \(\Phi \) onto \(X^{{{\mathrm{ord}}}}\). If \(\Phi _1^{{{\mathrm{ord}}}}, \ldots , \Phi _j^{{{\mathrm{ord}}}}\) together with \(\Phi ^{{{\mathrm{ord}}}}\) still form the beginning of some \(\Lambda \)-basis of \(X^{{{\mathrm{ord}}}}\) (which we can test via Corollary 3.11), we have succeeded in extending our partial basis. Otherwise, we produce another “random” symbol \(\Phi \) and continue repeating this process. As long as our method of producing such symbols is sufficiently random, we will eventually find a symbol \(\Phi ^{{{\mathrm{ord}}}}\) which extends our partial basis.

*T*a Hecke operator, we must be able to write

We note that even though the matrix associated to *T* will be defined over \(\Lambda \), by Theorem 3.9, the characteristic polynomials of these matrices will lie in \({\mathbb Z}_p[[pw]]\), and thus extend to all of weight space.

Lastly we mention that the above method works equally well for the plus and minus subspace \((X^{{{\mathrm{ord}}}})^\pm \) by simply passing to the ±-parts of the random symbols produced.

### 3.6 Restricting to collections of congruent forms

The methods of the previous section describe how to form a basis of \(X^{{{\mathrm{ord}}}}\) and how to compute the Hecke action on this basis. In the special case when the dimension of \((X^{{{\mathrm{ord}}}})^\pm \) is 1, our single basis element is then an eigensymbol, and thus immediately contains the information of families of Hecke eigenvalues. However, it is extremely rare for \((X^{{{\mathrm{ord}}}})^\pm \) to be one-dimensional; this only happens for small primes and small tame level. To partially circumvent this problem, we now describe a decomposition of \(X^{{{\mathrm{ord}}}}\) into Hecke stable subspaces, comprising of congruent families, and it is not at all uncommon for pieces of this decomposition to be 1-dimensional.

Let \({\mathbb T}\) denote the Hecke algebra over \(\Lambda \) acting on \(X^{{{\mathrm{ord}}}}\). The ring \({\mathbb T}\) is a semi-local ring with \({\mathbb T}\simeq \oplus _{\mathfrak m}{\mathbb T}_{{\mathfrak m}}\) where \({\mathfrak m}\) varies over the maximal ideals of \({\mathbb T}\). This isomorphism induces a Hecke-equivariant isomorphism \(X^{{{\mathrm{ord}}}}\simeq \oplus _{{\mathfrak m}} X^{{{\mathrm{ord}}}}_{{\mathfrak m}}\). We now describe how to compute the characteristic polynomials of Hecke operators acting on \(X^{{{\mathrm{ord}}}}_{{\mathfrak m}}\) for each individual maximal ideal \({\mathfrak m}\).

Fix a prime \(\ell \) and let *T* denote either \(T_\ell \) or \(U_\ell \) depending on whether or not \(\ell \) divides *Np*. Set \(\overline{f}_{{\mathfrak m},\ell }\) equal to the characteristic polynomial of *T* acting on \(X^{{{\mathrm{ord}}}}/{\mathfrak m}X^{{{\mathrm{ord}}}}\) which is a polynomial defined over \({\mathbb F}_p\).^{4} For a fixed \({\mathfrak m}\), one can find a prime \(\ell \) so that any lift \({f}_{{\mathfrak m},\ell }(T)\) of \(\overline{f}_{{\mathfrak m},\ell }(T)\) to characteristic 0 acts topologically nilpotently on \(X^{{{\mathrm{ord}}}}_{{\mathfrak m}}\) and invertibly on \(X^{{{\mathrm{ord}}}}_{{\mathfrak m}'}\) for all \({\mathfrak m}' \ne {\mathfrak m}\).

Now, to form a basis of \(X^{{{\mathrm{ord}}}}_{\mathfrak m}\), we can simply follow the method of Sect. 3.5 as long as we can produce sufficiently random symbols in \(X^{{{\mathrm{ord}}}}_{\mathfrak m}\). To do this, we form a random symbol \(\Phi \in X^{{{\mathrm{ord}}}}\) and then iterate the Hecke operator \(\prod _{{\mathfrak m}' \ne {\mathfrak m}} f_{{\mathfrak m}',\ell }(T)\) which results in projecting \(\Phi \) to the subspace \(X^{{{\mathrm{ord}}}}_{\mathfrak m}\), as desired.

Again, we mention that this method also works to produce a basis of \((X^{{{\mathrm{ord}}}}_{{\mathfrak m}})^\pm \).

## 4 Explicit computations with families of OMSs

In Sect. 3, we described methods of computing with ordinary families of overconvergent modular symbols. However, this discussion was all carried out on a theoretical level as a single \(\Phi \in {{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}^0 \hat{\otimes }\Lambda )\) is determined by an infinite amount of information. In order to compute with these families in practice, one must have a systematic method of approximating each \(\Phi \) with a finite amount of data. Moreover, such approximations must be respected by the Hecke operators. In what follows, we describe our method of approximating families of overconvergent modular symbols. Further, we verify that the methods we described in the previous section still carry through with our approximated families.

### 4.1 Finite approximation modules in families

We begin by reviewing the methods of [28] where a systematic method of approximating elements of \({\mathbf {D}}_k\) was given which was compatible with the \(\Sigma _0(p)\)-action. These approximations allowed for explicit computations to be carried out in the space \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}_k)\).

*M*moments of \(\mu \) each modulo \(p^M\) is not stable under the matrix action on \({\mathbf {D}}_k\). Instead, in [28], a \(\Sigma _0(p)\)-stable filtration on \({\mathbf {D}}^0_k\) was introduced:

*j*-th moment modulo \(p^{M-j}\) for \(0 \le j \le M\). For this reason, we refer to the \(\Sigma _0(p)\)-stable space \({\mathcal F}_k(M)\) as a

*finite approximation module*. The space \({{\mathrm{Symb}}}_{\Gamma _0}({\mathcal F}_k(M))\) is thus a natural space to work in to approximate overconvergent modular symbols.

We seek to generalize this construction to the case of families; that is, we seek a \(\Sigma _0(p)\)-stable filtration on \({\mathbf {D}}^0 \hat{\otimes }\Lambda \). One could hope to define a nice filtration on \({\mathbf {D}}^0 \hat{\otimes }\Lambda \) by simply extending the above filtration on \({\mathbf {D}}^0\) by \(\Lambda \)-linearity. However, this filtration is not preserved by the \(\Sigma _0(p)\)-action defined in Sect. 2.5. Indeed, the \(\Sigma _0(p)\)-action on \({\mathbf {D}}^0 \hat{\otimes }\Lambda \) is defined by combining the \({\mathbf A}\)-action on \({\mathbf {D}}\) with a weight 0 action. However, \({{\mathrm{Fil}}}^M({\mathbf {D}}^0)\) is not preserved under the \({\mathbf A}\)-action. For instance, multiplication by the element *z* maps \({{\mathrm{Fil}}}^M({\mathbf {D}}^0)\) into \({{\mathrm{Fil}}}^{M-1}({\mathbf {D}}^0)\).

*z*simply shifts the moments of a distribution down by one. Moreover, the \(\Sigma _0(p)\)-action on \({\mathbf {D}}^0 \hat{\otimes }\Lambda \) does not act through arbitrary elements of \({\mathbf A}\); rather, we are only acting by power series of the form

*z*we need to act by are of the form

We now turn to Theorem 2.15 to see how far these power series are from being in \({\mathbb Z}_p[[pw]]\). Indeed, this theorem tells us that such power series are in \(S_z\), and thus their *j*-th coefficients have valuation at least \(c_p j\).

### Lemma 4.1

The weight *k* action of \(\Sigma _0(p)\) on \({\mathbf {D}}\) preserves \(\widetilde{{{\mathrm{Fil}}}}^M({\mathbf {D}}^0)\).

### Proof

### Lemma 4.2

The action of \(S_z \subseteq {\mathbf A}\) on \({\mathbf {D}}\) preserves \(\widetilde{{{\mathrm{Fil}}}}^M({\mathbf {D}}^0)\).

### Proof

*j*-th moment is an element of \(\Lambda \) whose

*p*-adic valuation is at least \(M - j \cdot c_p\), i.e. if when written as a power series in

*w*, all of its coefficients have valuation at least \(M - j \cdot c_p\).

### Lemma 4.3

We have that \(\widetilde{{{\mathrm{Fil}}}}^M( {\mathbf {D}}^0 \hat{\otimes }\Lambda )\) is preserved by the \(\Sigma _0(p)\)-action.

### Proof

*w*. To fix this, fix \(L>0\), and we define

*L*coefficients of its

*j*-th moment (thought of as an element of \(\Lambda \)) have valuation at least \(M - j \cdot c_p\). Set

*M*-th approximation module and to \(\widetilde{{{\mathrm{Fil}}}}^{M,L}({\mathbf {D}}^0 \hat{\otimes }\Lambda )\) as the (

*M*,

*L*)-th finite approximation module.

### Remark 4.4

### 4.2 Handling denominators

### Lemma 4.5

- (1)
\(\widetilde{K}_{0}(R)\) is a \(\Sigma _0(p)\)-module;

- (2)
\(p^{M} \widetilde{{\mathcal K}}_{0}(R) \cap {\mathbf {D}}^0\hat{\otimes }R^0= \widetilde{{{\mathrm{Fil}}}}^M({\mathbf {D}}^0\hat{\otimes }R^0).\)

### Proof

Part one follows exactly as in Lemma 4.3. Part two follows immediately from the definitions. \(\square \)

*M*-th approximation module.

### 4.3 Solving the difference equation in \(\widetilde{{\mathcal F}}(M)\)

We now use the description of \(\widetilde{{\mathcal F}}(M)\) given in Sect. 4.2 to explain how one solves the difference equation in these approximation modules. We first review the case of a fixed weight, and then discuss the case of families.

#### 4.3.1 The case of a fixed weight

*loc. cit.*for undefined notation. In what follows, set

### Lemma 4.6

### Proof

*p*in its denominator if and only if \(p-1\) divides \(r-j+1\). In this case, we have

*p*. By Lucas’ theorem, it suffices to see that one of the base

*p*digits of \(ap^m-1\) is greater than one of the base

*p*digits of

*r*. The base

*p*expansion of \(ap^m -1\) is \((a-1~p-1~p-1 \ldots \, p-1)_p\). Since \(r \le M < p^{m+1}\), the only possibility that

*r*has every base

*p*digit larger than those of \(ap^m-1\) is if the base

*p*representation of

*r*is \((c~p-1~~p-1~~\ldots ~~p-1)_p\) with \(p-1 \ge c > a-1\). In this case, \(r = (c+1)p^m-1\). But then \(r \equiv c \text { }({\text {mod}}\text { }p-1)\) which is impossible as \(r \equiv a-1 \text { }({\text {mod}}\text { }p-1)\).

*p*. Again, by the Clausen–von Staudt theorem, we are done.

\(\square \)

### Corollary 4.7

### Proof

Lift \(\overline{\nu }\) to some element \({\nu }\) in \({\mathbf {D}}^0\) with total measure 0. Solving the difference [28, Theorem 4.5], then yields \({\mu } \in {\mathcal D}^\dag \) with \({\mu } \big | \Delta = {\nu }\). Then by Lemma 4.6, we have \(\mu \in {\mathbf {D}}^0+ p^M {\mathcal K}_0\). Projecting \(\mu \) to \(({\mathbf {D}}^0+ p^M {\mathcal K}_0)/ p^M {\mathcal K}_0 \cong {\mathbf {D}}^0/ {{\mathrm{Fil}}}^M({\mathbf {D}}^0)\) then yields a solution to the difference equation in the finite approximation module. \(\square \)

We note that the above corollary tells us the existence of solution to the difference equation in \({\mathcal F}(M)\). We now describe how to explicitly write down such a solution. Moreover, by analyzing this explicit solution, we will see that a smaller power of *p* is needed to control denominators.

To start, we note that the solution to the difference equation in \({\mathcal F}(M)\) is not unique.

### Lemma 4.8

If \(\mu \in {{\mathrm{Fil}}}^{M-1}({\mathbf {D}}^0)\), then \(\mu \big | \Delta \in {{\mathrm{Fil}}}^M({\mathbf {D}}^0)\).

### Proof

*i*between 0 and \(j-1\), we see that \((\mu \big | \Delta )(z^j) \in p^{M-1-(j-1)} {\mathbb Z}_p= p^{M-j}{\mathbb Z}_p\). Thus \(\mu \big | \Delta \in {{\mathrm{Fil}}}^{M}({\mathbf {D}}^0)\). \(\square \)

### Proposition 4.9

### Proof

Next, let \(\nu \) denote any lift of \(\overline{\nu }\) to \({\mathbf {D}}^0\) with total measure 0, and let \(\mu \in {\mathcal D}^\dag \) be the unique distribution satisfying \(\mu \big | \Delta = p^m \nu \) (by [28, Theorem 4.5]). Then the image of \(\mu \) in \({\mathcal F}(M-1)\) equals \(\overline{\mu }_0\) since the explicit formulas in [28, Theorem 4.5] exactly match the formulas defining \(\overline{\mu }_0\) in this proposition. (Note that our choice of *m* allows us to form this projection.) Thus, for any \(\overline{\mu } \in {\mathcal F}(M)\) lifting \(\overline{\mu }_0\), we have that the image of \(\mu \) in \({\mathcal F}(M)\) equals \(\overline{\mu }\) up to some distribution taking values in \({{\mathrm{Fil}}}^{M-1}({\mathbf {D}}^0)\). Our proposition then follows from Lemma 4.8. \(\square \)

#### 4.3.2 The difference equation in \(\widetilde{{\mathcal F}}(M)\)

We now generalize the discussion of the previous section to the case of families.

### Lemma 4.10

### Proof

Thus, by scaling our distributions by a small power of *p* we will be able to solve the difference equation in these finite approximation modules.

### Corollary 4.11

### Proof

The proof follows verbatim as in Corollary 4.7. \(\square \)

Just as in the fixed weight case, the solution to the difference equation is not unique in \(\widetilde{{\mathcal F}}(M)\). Unfortunately, the analogue of Lemma 4.8 (which describes part of the kernel of \(\Delta \)) does not quite hold in families. We instead just state a slightly weaker version of Proposition 4.9 in families.

### Proposition 4.12

### Proof

Next, let \(\nu \) denote any lift of \(\overline{\nu }\) to \({\mathbf {D}}^0\hat{\otimes }R^0\) with total measure 0, and let \(\mu \in {\mathcal D}^\dag (R)\) be the unique distribution satisfying \(\mu \big | \Delta = p^m \nu \) (by Lemma 3.3). Then the image of \(\mu \) in \(\widetilde{{\mathcal F}}(M-1)\) equals \(\overline{\mu }\) since the explicit formulas defining \(\mu \) exactly match the formulas defining \(\overline{\mu }\) in this proposition. By Lemma 4.10, \(\mu \in {\mathbf {D}}^0\hat{\otimes }R^0+ p^{M-1} \widetilde{{\mathcal K}}_0(R)\), and thus projecting to \(\widetilde{{\mathcal F}}(M-1)\) gives the desired result. \(\square \)

### 4.4 The ordinary subspace of \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M))\)

Since \(\widetilde{{\mathcal F}}(M)\) is defined by taking the reduction modulo various powers of *p*, the space \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M))\) has the potential to have a complicated structure even as a \({\mathbb Z}_p\)-module. However, if we restrict to the ordinary subspace, the following proposition proves that passing to the *M*-th approximation module is equivalent to reducing modulo \(p^M\).

### Proposition 4.13

*T*a Hecke operator

### Proof

*r*such that \(p^r\) divides \(\Phi \), and assume that \(r<M\). Then \(\Psi := p^{-r} \Phi \) has size 1 and takes values in

*p*. Arguing as in Proposition 3.10, we then have that \(||\Psi | U_p|| <1\). This is a contradiction since \(\Psi \) is in the ordinary subspace.

The remainder of the proposition all follows formally from the first claim and the fact that \({{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}^0 \hat{\otimes }\Lambda )\) is a free \(\Lambda \)-module. \(\square \)

### 4.5 Vector of total measures

*vector of total measures*map, but now for \(\widetilde{{\mathcal F}}(M,L)\)-valued symbols. Set

### Proposition 4.14

The map \(\alpha _{M,L}\) is injective.

### Proof

By Proposition 4.13, \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M,L))^{{{\mathrm{ord}}}}\) is simply the reduction of \(X^{{{\mathrm{ord}}}}\) modulo \((p^M,w^L)\Lambda \). Likewise, \(\alpha _{M,L}\) is simply the reduction of \(\alpha \) (from Sect. 3.4) modulo \((p^M,w^L) \Lambda \). Thus, if *K* is the kernel of \(\alpha _{M,L}\), by Proposition 3.10, we have \(K \otimes \Lambda / {\mathfrak m}= 0\). Thus, \(K = 0\) and \(\alpha _{M,L}\) is injective. \(\square \)

### Corollary 4.15

We have \(\left\{ \Phi _1^{{{\mathrm{ord}}}}, \ldots , \Phi _j^{{{\mathrm{ord}}}} \right\} \) is the start of \(\Lambda / (p^M,w^L) \Lambda \)-basis of \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M,L))^{{{\mathrm{ord}}}}\) if and only if \(\left\{ \alpha _{1,1}(\Phi _1^{{{\mathrm{ord}}}}), \ldots , \alpha _{1,1}(\Phi _j^{{{\mathrm{ord}}}}) \right\} \) is a linearly independent set in \((\Lambda / (p,w) \Lambda )^t \cong {\mathbb F}_p^t\).

### 4.6 Characteristic polynomials of Hecke operators

*T*a Hecke operator

*M*and

*L*large enough.

The method of Sect. 3.5 to form a basis \(X^{{{\mathrm{ord}}}}\) was to produce “random” elements of \(X^{{{\mathrm{ord}}}}\) until one was the start of a \(\Lambda \)-basis of the space. Then produce random elements until one has two elements forming the start of a \(\Lambda \)-basis. Continue this until we have a full basis (whose size we know as in footnote 3).

To carry this method out in \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M,L))^{{{\mathrm{ord}}}}\), we note that we can form elements in \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M,L))\) as described in Sect. 3.2. Note that this requires solving the difference equation in \(\widetilde{{\mathcal F}}(M,L)\) which is done explicitly in Proposition 4.12. To form elements of \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M,L))^{{{\mathrm{ord}}}}\) one then just needs to iterate the \(U_p\)-operator.^{5}

Further, to determine when elements of \({{\mathrm{Symb}}}_{\Gamma _0}(\widetilde{{\mathcal F}}(M,L))^{{{\mathrm{ord}}}}\) are the start of a \(\Lambda / (p^M,w^L) \Lambda \)-basis, we can invoke Corollary 4.15 and examine the associated vectors of total measures modulo \((p,w)\Lambda \). If these vectors are linearly independent over \({\mathbb F}_p\), then the original elements are the start of a basis.

*T*with respect to \({\mathcal B}\) (which in particular gives the characteristic polynomial of

*T*). To this end, we have

*i*. Then differentiating and evaluating at \(w=0\) gives:

*i*as desired.

## 5 Data and examples

In this section, we describe some sample computations that we have carried out with the algorithms implemented as part of this project. Specifically, we include computations of formal *q*-expansions of Hida families, the structure of Hida–Hecke algebras, *L*-invariants of modular forms and their symmetric squares, and two-variable *p*-adic *L*-functions of Hida families. For the sake of presentation, we have elided some of the data in this section; the full data is presented in Appendix 7.

We briefly indicate about how much time and space each example took to compute on a ‘member server’ on the SageMathCloud in Sage 5.11. These are meant to be ballpark estimates; for instance, we ran Example 5.2 several times taking between 6 minutes and 10 minutes with this difference attributed mostly to the varying load of the server.

### 5.1 Examples of *q*-expansions in families

*p*-ordinary family of eigenforms as a formal

*q*-expansion

*p*-adic weight variable

*k*.

If \(\mathcal {F}\) is a normalized (i.e. \(a_1=1\)) eigenform, then the \(a_n(k)\) are determined by the \(a_\ell (k)\), for \(\ell \) prime, using the standard Hecke operator recurrence relations. We may thus obtain the *q*-expansion from knowing the \(a_\ell (k)\). Furthermore, \(a_\ell (k)\) is the Hecke eigenvalue of the Hecke operator \(T_\ell \). Thus, if \(\Phi \) is a family of Hecke eigensymbols, we may compute the corresponding \(a_\ell \) by comparing \(\Phi |T_\ell \) with \(\Phi \).

More precisely, since \(a_\ell (k)\) is an Iwasawa function, there exist \(A_\ell (W)\in {\mathbb Z}_p\llbracket W \rrbracket \) such that \(a_\ell (k)=A_\ell ((1+p)^k-1)\). Comparing \(\Phi |T_\ell \) with \(\Phi \) directly yields \(A_\ell (W)\), and then a simple substitution yields \(a_\ell (k)\). In fact, our computations take place in the larger ring \({\mathbb Z}_p\llbracket w \rrbracket = {\mathbb Z}_p\llbracket W/p \rrbracket \). However, by Theorem 3.9, we know that the eigenvalues \(A_\ell (w)\) must land in the subring \({\mathbb Z}_p\llbracket W \rrbracket \).

Below, we provide the first few \(a_\ell \) for some examples of families passing through specific newforms. See Sects. 3.5 and 3.6 for the method used to isolate these examples. We remind the reader that specializing the variable *k* below to a specific non-negative integer \(k_0\) gives modular forms of weight \(k_0+2\).

### Example 5.1

### Example 5.2

*f*be the unique cuspidal newform of weight 2 and level \(\Gamma _0(11)\) (i.e. the one corresponding to the elliptic (and modular) curve \(X_0(11)\)). In this case, \(X^{{{\mathrm{ord}}}}\) is 3-dimensional. As in the previous example, one dimension is explained by the ordinary Eisenstein family. The other two dimensions are explained by the Hida family passing through

*f*with this family contributing one dimension to each of the plus and minus subspaces. Since the Eisenstein family lands in the plus subspace, we focus on the minus subspace as \((X^{{{\mathrm{ord}}}})^-\) is 1-dimensional. Again, a basis of this space is automatically an eigensymbol and from this eigensymbol we computed \(a_\ell \) for \(\ell \le 11\). The full data is included in Appendix 7.1. A sample eigenvalue is

This example took about 7 min: computing the eigenfamily took about 5.5 min and computing the 5 eigenvalues took about 1.5 min. Computing the modular symbol space and the eigenfamily used about 55 MB while the eigenvalues used about 45 MB.

### Example 5.3

*f*be the unique newform of weight 2 and level \(\Gamma _0(15)\) (i.e. the one corresponding to the elliptic (and modular) curve \(X_0(15)\)). The minus subspace is again 1-dimensional so a basis of it is an eigensymbol from which we computed \(a_\ell \) for \(\ell \le 11\). The full data is included in Appendix 7.1. A sample eigenvalue is

This example took about 11 min: 7 min for the eigenfamily and 4 min for the five eigenvalues. The eigenfamily computation used 45 MB and the eigenvalues used 120 MB.

### Example 5.4

*f*be the ordinary 5-stabilization of the (unique) newform of weight 2 and level \(\Gamma _0(19)\) (i.e. the one corresponding to the elliptic (and modular) curve \(X_0(19)\)). In this case, \((X^{{{\mathrm{ord}}}})^-\) is 8-dimensional. However, if \({\mathfrak m}\) is the maximal ideal corresponding to

*f*, we have that \((X^{{{\mathrm{ord}}}}_{\mathfrak m})^-\) is 1-dimensional. Indeed, \(a_5(f) \equiv 3 \pmod {5}\) and \(a_5(g) \equiv \pm 1 \pmod {5}\) for all of the remaining eigenforms (as they are all new at 5). In particular, the operator \(T_5^2-1\) acts invertibly on \((X^{{{\mathrm{ord}}}}_{\mathfrak m})^-\) and topologically nilpotently on \((X^{{{\mathrm{ord}}}}_{{\mathfrak m}'})^-\) for all \({\mathfrak m}' \ne {\mathfrak m}\). In particular, using the methods of Sect. 3.6, we can form a basis of \((X^{{{\mathrm{ord}}}}_{{\mathfrak m}})^-\) and obtain an eigensymbol as this space is 1-dimensional. The \(a_\ell \) for \(\ell \le 19\) are included in Appendix 7.1. Here is \(a_5\):

*q*-expansion of this newform (up to precision \(5^{7}\)).

This example took about 58 min: 35 min for the eigenfamily and 23 min for the eight eigenvalues. The eigenfamily computation used 77 MB and the eigenvalues used 719 MB.

### Example 5.5

*L*-invariant (studied in Sect. 5.3 below). The field \(K_3\) has only one embedding into \({\mathbb Q}_5\) (the remaining embeddings landing in \({\mathbb Q}_{5^2}\)). We let

*f*be the newform corresponding to the embedding in \({\mathbb Q}_5\) and remark it is congruent to an Eisenstein series. We may isolate it from its two other conjugates (as in Sect. 3.6) as its \(a_{61}\) is \(2\text { }({\text {mod}}\text { }5)\), whereas its conjugates have \(a_{61}\equiv 3\text { }({\text {mod}}\text { }5)\). The \(a_\ell \) for \(\ell \le 11\) are included in Appendix 7.1. Here is \(a_5\), which is used to compute the

*L*-invariant below:

### Example 5.6

*f*to be 11-stabilization of the unique weight two newform on \(\Gamma _0(31)\). This form has coefficients in \({\mathbb Q}\). The space \((X^{{{\mathrm{ord}}}})^-\) is 29-dimensional in this case, but its localization at the maximal ideal corresponding to

*f*is 1-dimensional. We isolate the Hida family through

*f*by iterating the operators \(T_2-8,U_{11}-1,U_{11}+1\). The \(a_\ell \) for \(\ell \le 11\) are included in Appendix 7.1. Here is the \(a_{11}\) in the family:

### 5.2 The structure of Hida algebras

Here, we summarize some computations of the structure of the connected components of Hida algebras.

### Example 5.7

Let \(p=3\) and \(N=11\). In this case, there are two 3-ordinary cuspforms in any even weight. In weight 2, one of these forms comes from the ordinary 3-stabilization of the cuspform associated to \(X_0(11)\). The other form is the unique newform of level 33, and, moreover, these two forms admit a congruence modulo 3. Note then \((X^{{{\mathrm{ord}}}})^-\) is 2-dimensional with \((X^{{{\mathrm{ord}}}}_{\mathfrak m})^- \simeq (X^{{{\mathrm{ord}}}})^-\) making this example fundamentally different from the examples in Sect. 5.1 where we were always able to cut down to a 1-dimensional space.

Nonetheless, we know that \({\mathbb T}_{\mathfrak m}\) is a \(\Lambda \)-algebra of rank 2 and we seek to understand its structure. From a geometric perspective, possibilities for \({{\mathrm{Spec}}}({\mathbb T}_{\mathfrak m})\) include two copies of weight space glued to together at a finite collection of points (possibly only at the point of characteristic *p*) or a ramified cover of weight space ramified at finitely many points.

*p*-adic Weierstrass preparation, we can write

*R*a ring which is a finite and free \(\Lambda \)-module, let \({{\mathrm{disc}}}(R) \subseteq \Lambda \) denote its discriminant ideal. Write \(M \in M_2(\Lambda )\) for the change of basis matrix corresponding to the embedding \(\Lambda [T_2] \subseteq {\mathbb T}_{\mathfrak m}\) both of which are free \(\Lambda \)-modules of rank 2. We then have

As a check, we computed \(d_\ell (W)\) for all primes \(\ell < 11\). In each case, \(d_\ell (W)\) had \(\lambda \)-invariant equal to 1, and its unique root \(\alpha _\ell \) was congruent to \(\alpha _2\) modulo the precision of the computation.

Computing the basis of the two-dimensional \((X^{{{\mathrm{ord}}}}_{\mathfrak m})^-\) took 27.5 minutes and 107MB, while computing the Hecke polynomials for primes \(\le 11\) took 33.5 minutes and 462MB.

### Example 5.8

Let \(p=37\) and \(N=1\). This example gains its fame from the fact that 37 is an irregular prime with \(B_{32}\) having positive valuation at 37. In particular, there is a cuspform *f* of weight 32 congruent to the Eisenstein series \(E_{32}\) modulo 37. For this reason we consider the 30th component of weight space (corresponding to the classical weight 32). On this component there are exactly three ordinary normalized eigenforms: *f*, \(E_{32}^{{{\mathrm{ord}}}}\) (the ordinary 37-stabilization of \(E_{32}\)), and a third form not congruent to either *f* or \(E_{32}^{{{\mathrm{ord}}}}\).

*f*and \(E_{32}^{{{\mathrm{ord}}}}\). In this case, the Eisenstein symbols live in the plus part of \(X^{{{\mathrm{ord}}}}\) and thus \((X^{{{\mathrm{ord}}}}_{\mathfrak m})^+\) is rank 2 over \(\Lambda \) (with one dimension coming from the Eisenstein series and the other coming from the Hida family through

*f*). Using the methods of Sect. 3.6, we can form a basis (of size 2) of this space. As in the previous example, we compute the discriminant of the characteristic polynomial of \(T_\ell \) for various \(\ell \). For example, for \(\ell = 2\), we get:

*M*is the change of basis matrix coming from the inclusion \(\Lambda [T_2] \subseteq {\mathbb T}_{\mathfrak m}\). Since \({{\mathrm{disc}}}(\Lambda [T_2]) = (W-\alpha _2)^2 \Lambda \), we have \(\det (M)^2 = 1\) or \((W-\alpha _2)^2\). In the later case, we would have that the discriminant ideal of \({\mathbb T}_{\mathfrak m}\) over \(\Lambda \) is a unit, implying that \({\mathbb T}_{\mathfrak m}\) is an étale \(\Lambda \)-algebra, and in particular, that the map \(\Lambda \rightarrow {\mathbb T}_{\mathfrak m}\) is unramified. This implies that \((p,W){\mathbb T}_{\mathfrak m}={\mathfrak m}{\mathbb T}_m\). Since \({\mathfrak m}\) corresponds to a

*q*-expansion in \(\mathbb {F}_p\), we have that \({\mathbb T}_{\mathfrak m}/(p,W){\mathbb T}_{\mathfrak m}\cong {\mathbb T}_{\mathfrak m}/{\mathfrak m}{\mathbb T}_m\cong \mathbb {F}_p\) which is a one-dimensional vector space over \(\Lambda /(p,W)\cong \mathbb {F}_p\). By Nakayama’s Lemma, \({\mathbb T}_m\) must be rank one over \(\Lambda \), a contradiction. Thus, \({\mathbb T}_{\mathfrak m}\cong \Lambda [T_2]\cong \Lambda [Y] / (Y^2 - (W-\alpha _2)^2)\).

As a check, we computed \(d_\ell (W)\) for \(\ell \le 11\) and in each case \(\lambda (d_\ell )=2\) and \(\alpha _2\) was a root of \(d_\ell (W)\) modulo our precision.

*p*-adic digits) with the first few digits being

*T*-variable corresponds to \((1+p)^{1-k_z-2}-1\) and we do indeed have that

### 5.3
*L*-invariants

*L*-invariants arise when a

*p*-adic

*L*-function vanishes at a point of interpolation due to the vanishing of the Euler-type interpolation factor. The earliest known example of this phenomenon of so-called “trivial zeroes” is due to Ferrero–Greenberg [16]: if \(\psi \) is an even Dirichlet character, then

*p*-adic

*L*-function of an elliptic curve,

*E*, with split, multiplicative reduction at

*p*. The interpolation property gives

*E*. When

*E*is split multiplicative at

*p*, \(a_p(E)=1\), so that the

*p*-adic

*L*-function vanishes for trivial reasons at \(s=1\) (more generally, weight 2 newforms of level exactly divisible by

*p*and whose \(a_p=1\) share the same behaviour). They introduced a new quantity, the

*p*-adic

*L*-invariant, \({\mathcal L}_p(E)\), given in terms of the

*p*-adic Tate parameter of

*E*and conjectured that

*L*-invariant of a weight 2 newform which is germane to our work:

*p*th Fourier coefficient in the formal

*q*-expansion of Eq. (5.1) for the Hida family through

*f*. When

*f*corresponds to an elliptic curve, Sage can already compute these

*L*-invariants using Tate parameters, and we show below that our method provides the same answer. On the other hand, we can also compute cases that don’t correspond to elliptic curves, i.e. newforms whose Hecke eigenvalues don’t lie in \({\mathbb Q}\). Furthermore, our code provides new computations for the

*L*-invariant of the symmetric squares of an eigenform (really, the trace-zero adjoint of an eigenform, which is a twist of the symmetric square). In [17], Greenberg proposed a general theory of

*L*-invariants for ordinary motives providing an arithmetic candidate \(\mathcal {L}^{\text {Gr}}_p(M)\) for the

*p*-adic

*L*-invariant of an ordinary motive

*M*. When

*M*is the trace-zero adjoint, \({{\mathrm{ad}}}^0\!f\), of a newform, Hida and the third author [20, 23] gave a formula for Greenberg’s

*L*-invariant which Dasgupta [13] has recently shown is the actual

*L*-invariant: if

*f*is any

*p*-ordinary newform of weight \(k_0+2\) of such that \(p^2\) does not divide its conductor, then the

*p*-adic

*L*-function of \({{\mathrm{ad}}}^0\!f\) has a trivial zero at \(s=1\) and its

*L*-invariant is given by

*p*-ordinary case) only have trivial zeroes in weight 2 and conductor exactly divisible by

*p*, the trace-zero adjoint always has a trivial zero. We may therefore consider the

*L*-invariant as varying in the Hida family and our computations allow us to compute the Iwasawa function giving the adjoint

*L*-invariant in a family. Also, note that the non-vanishing of the

*L*-invariant, an important part of Greenberg’s conjecture, is only known in the cases of Dirichlet characters and split, multiplicative elliptic curves (where the result is one from transcendence theory: the theorem of St-Étienne [9], which says that the Tate parameter is transcendental). In particular, the

*L*-invariants of newforms that do not correspond to elliptic curves are not known to be non-zero. Furthermore, up to now, all that has been known for the adjoint of a newform is that either the

*L*-invariants are all zero in a Hida family, or all but finitely many

*L*-invariants are nonzero (since an Iwasawa function has finitely many zeroes). Our computations provide non-vanishing results for specific forms and forms in families. In particular, they show that the adjoint

*L*-invariants of all forms in the Hida families of Examples 5.2–5.4 are nonzero and there can be at most one form in Example 5.5 with vanishing adjoint

*L*-invariant.

We collect some values of *L*-invariants of modular forms as well as their trace-zero adjoints. Again, full data is available in Appendix 7.2.

### Example 5.9

*p*(when \(k=0\)) and the data of \(a_p(k)\) provided above allows us to compute the

*p*-adic

*L*-invariants of these curves. We obtain:

*L*-invariants (which is

*much*quicker) to the given precision.

### Example 5.10

*L*-invariant, concluding that it is non-zero, to be:

### Example 5.11

*L*-invariant as a function of the weight. The full results can be found in Appendix 7.2.

*L*-invariant of \(\Delta \):

*W*), these

*L*-invariants have \(\mu \)-invariant at least 1 (since a \(\log _p(1+p)\) appears upon taking the derivative with respect to

*k*). We verify that the first three

*L*-invariant functions indeed have \(\mu =1\) and \(\lambda =0\), thus implying they never vanish. For \({\mathcal L}_{5}({{\mathrm{ad}}}^0\!{\mathcal F}_{95})\), the \(\mu \)- and \(\lambda \)-invariants are both 1 and a computation shows that the

*L*-invariant vanishes at a weight congruent to \(4\cdot 5 + 5^4\text { }({\text {mod}}\text { }5^5)\); of course, this weight is not expected to be classical.

### 5.4 Two-variable *p*-adic *L*-functions

A *p*-ordinary eigenform *f* of classical weight \(k\ge 2\) has a *p*-adic *L*-function \(L_p(s,f)\) attached to it following the work of Manin, Amice–Vélu, and Višik. Varying the form *p*-adically in a Hida family one can expect to ‘glue’ the one-variable functions together to obtain a two-variable *p*-adic *L*-function \(L_p(s,\kappa )\) where \(\kappa \) is a weight variable around a neighborhood of *k*. That this is the case is due to Ohta (unpublished), Mazur–Kitagawa [24], and Greenberg–Stevens [18]; it was a fundamental ingredient in the latter’s proof of the Mazur–Tate–Teitelbaum conjecture. Greenberg has conjectured that the generic order of vanishing of \(L_p(s,\kappa )\) along the line \(s=\kappa /2\) is at most one (and congruent to the sign of the functional equation of \(L_p(s,f)\) modulo 2) (see [27, p. 439] for this statement and for some important consequences of its proof). Additionally, Greenberg and Stevens end the introduction to [18] by asking about the linear factors of the leading term in the expansion of \(L_p(s,\kappa )\) about \(s=1\) and \(\kappa =2\) when the sign is \(-1\).

In this section, we include a few sample computations of two-variable *p*-adic *L*-functions through overconvergent modular symbols. To motivate these computations, we quickly review the single variable case. In [30, Theorem 8.3], Glenn Stevens gives a construction of the *p*-adic *L*-function of an eigenform *f* solely in terms of its corresponding overconvergent modular eigensymbol \(\Phi _f\), the unique overconvergent eigensymbol with the same system of eigenvalues as *f*. To form the *p*-adic *L*-function of *f*, one simply takes \(L_p(f):=\Phi _f(\{\infty \}-\{0\})\) which is a distribution on \({\mathbb Z}_p\) and restricts this distribution to \({\mathbb Z}_p^\times \). Now if \(\Phi \in {{\mathrm{Symb}}}_{\Gamma _0}({\mathbf {D}}^0 \hat{\otimes }\Lambda )\) is a *family* of overconvergent eigensymbols, we analogously define the two-variable *p*-adic *L*-function \(L_p(\Phi )\) to be the restriction of \(\Phi (\{\infty \}-\{0\})\) to \({\mathbb Z}_p^\times \). The result is a family of distributions on \({\mathbb Z}_p^\times \) whose specialization to any weight is the *p*-adic *L*-function of the corresponding eigenform in that weight.

In [28, Section 9], the penultimate author and Stevens explain how in practice one can compute single variable *p*-adic *L*-functions from overconvergent modular eigensymbols. The same method, which we describe now, applies in our case and allows us to compute two-variable *p*-adic *L*-functions attached to eigenfamilies of overconvergent modular symbols.

*T*denote the cyclotomic variable of the

*p*-adic

*L*-function so that \(L_p(\Phi ) = \sum a_n T^n\), where the \(a_n\) are functions on weight space. Thus, the transformation from the

*T*variable to the

*s*variable is obtained by setting \(T=\gamma ^s-1\). Then, as in [28, Section 9.2], we have

*p*-adic

*L*-function in this way from the following lemma.

### Lemma 5.12

- (1)If \(j\le n\), then$$\begin{aligned} v_p(c^{(n)}_j)\ge -\left\lfloor \frac{n}{p-1}\right\rfloor -j, \end{aligned}$$
- (2)if \(j>n\), then$$\begin{aligned} v_p(c^{(n)}_j)\ge -\left\lfloor \frac{n}{p-1}\right\rfloor -n-\left\lfloor \frac{j}{p}\right\rfloor . \end{aligned}$$

### Proof

*y*in the product

*m*non-zero terms \(a_{k_1},\ldots ,a_{k_m}\) into one term, we gain \(v_p(a_{k_1}+\cdots +a_{k_m})\), but lose \(m-1+v_p(a_{k_1})+\cdots +v_p(a_{k_m})\). This is never a net gain, so the optimal partition is that with

*j*ones and \(n-j\) zeroes, yielding an upper bound of

*j*.

For \(j>n\), note that the sum of the valuations occurring above is bounded by the same sum where there is no restriction on the length of the partition. Of all partitions of *j*, the one maximizing the sum of the \(v_p(a_k)\) is \(j=p+p+\cdots +p+r\) with \(0\le r<p\). Indeed, it is clearly optimal for the parts of the partition to be powers of *p* and, for \(r>1\), the part \(p^r\) contributes *r* while the sum \(p^{r-1}+\cdots +p^{r-1}\) (*p* times) contributes \(p(r-1)>r\). \(\square \)

With this lemma in hand, we computed several examples of two-variable *p*-adic *L*-functions. Our code produces a power series *F*(*T*, *w*) with *T* the cyclotomic variable and *w* the same weight variable as above. In these examples we have made the following normalizations. As throughout the whole paper, the weight variable *k* is normalized to correspond to modular forms of weight \(k+2\) and is obtained by substituting \(w=((1+p)^k-1)/p\). The cyclotomic variable *s* is shifted by 1 so that \(s=0\) corresponds to the central point of the *L*-function of a weight two modular form; it is obtained by substituting \(T=(1+p)^s-1\). Furthermore, the *p*-adic *L*-function we compute is only well-defined up to a unit power series in *w* and we normalize it so that the first non-zero coefficient in *T* is a power of *p* times a power of *w*.

### Example 5.13

*p*-adic

*L*-function, we must use a symbol in the plus subspace, which no longer has dimension 1. Indeed, the presence of an Eisenstein family raises the dimension of \((X^{{{\mathrm{ord}}}})^+\) to 2. Still, localizing at the maximal ideal \({\mathfrak m}\) corresponding to \(X_0(11)\), we have that \((X^{{{\mathrm{ord}}}}_{\mathfrak m})^+\) is one-dimensional since \(X_0(11)\) is not Eisenstein at 2. We obtain the following two-variable

*p*-adic

*L*-function (see Appendix 7.3 for the full expansion):

*L*-value of \(X_0(11)\), the

*p*-adic

*L*-function vanishes there due to the presence of an exceptional zero.

*F*(

*T*,

*w*) that yields \(L_{11}({\mathcal F}_{11},s,k)\) as described above. The line \(s=k/2\) corresponds to \((1+T)^2=1+pw\). Factoring

Given the family of overconvergent modular symbols \({\mathcal F}_{11}\), computing the *p*-adic *L*-function took 30 s and 3 MB.

### Example 5.14

*p*-adic

*L*-function (full data in Appendix 7.3):

Given the family of overconvergent modular symbols, computing the *p*-adic *L*-function took 174 s and 66 MB.

### Example 5.15

*p*-adic

*L*-function vanishes to order 2 at the central point, despite the classical

*L*-function only vanishing to order 1 there. Greenberg’s conjecture states that the order of vanishing of the two-variable

*p*-adic

*L*-function along the line \(s=k/2\) should however be 0, generically. Our calculations verify this. First off, \((X^{{{\mathrm{ord}}}})^+\) is 9-dimensional, with 2 dimensions coming from Eisenstein series, 2 from isogeny classes of elliptic curves (91a and 91b), 2 from a Galois conjugacy class of newforms defined over \({\mathbb Q}(\sqrt{2})\), and 3 from a Galois conjugacy class of newforms defined over the cubic field of discriminant 316. The curve 91b1 is not Eisenstein at 2 and has \(a_7=a_{13}=1\). The quadratic (resp. cubic) Galois conjugacy class has \(a_{13}=-1\) (resp. \(a_7=-1\)), so that, after localizing at the maximal ideal corresponding to the curve 91

*b*1, we obtain a one-dimensional space. The two-variable

*p*-adic

*L*-function we compute is

*F*(

*T*,

*w*) specialized to \(w=((1+T)^2 -1)/p\), we obtain

*p*-adic

*L*-function only vanishes at \((s,k)=(0,0)\) on the line \(s=k/2\).

Given the family of overconvergent modular symbols, computing the *p*-adic *L*-function took 45 s and 24 MB.

Here, and throughout the paper, we are normalizing the weight variable *k* to correspond to forms in \(M_{k+2}(\Gamma )\).

To work with other discs in weight space, one needs to replace \({\mathbf {D}}\) with smaller spaces of distributions such as \({\mathbf {D}}[r]\) with \(r<1\).

The \({\mathbb Z}_p\)-rank of \({{\mathrm{Symb}}}_{\Gamma _0}({{\mathrm{Sym}}}^k({\mathbb Z}_p^2))^{{{\mathrm{ord}}}}\) is simply given by the number of non-zero roots of the characteristic polynomial of \(U_p\) acting on \({{\mathrm{Symb}}}_{\Gamma _0}({{\mathrm{Sym}}}^k({\mathbb F}_p^2))\).

We note that this polynomial also arises as the characteristic polynomial of *T* acting on the space of *p*-ordinary modular symbols of weight *k* defined over \({\mathbb F}_p\) for any \(k \equiv m \pmod {p-1}\) and is thus readily computed.

To verify if a symbol \(\Phi \) is actually in the ordinary subspace, one looks at \(\Phi \), \(\Phi | U_p\), \(\Phi |U_p^2\), \(\ldots \), until there is a relation.

## Declarations

### Open Access

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

### Acknowledgements

We would like to thank the Southwest Center for Arithmetic Geometry for organizing the 2011 Arizona Winter School where the work on this article began as a student project. We would also like to thank the participants of Sage Days 44 for their work in porting the original Sage scripts into a full blown Sage package. We would like to thank Sage, as well as the SageMath Cloud, where we developed the algorithms and computed the examples in this article. We would like to thank Glenn Stevens for his support of this project and Frank Calegari for some very helpful conversations. Finally, our thanks go to the referee for some comments and suggestions that improved the clarity of this article.

Robert Harron was supported by NSA Grant #H98230-13-1-0223 during part of this project. Robert Pollack was supported by NSF Grant DMS-1303302.

## Authors’ Affiliations

## References

- Andreatta, F., Iovita, A., Pilloni, V.: \(p\)-adic families of Siegel modular cuspforms. Ann. Math.
**181**(2), 623–697 (2015)MathSciNetView ArticleMATHGoogle Scholar - Andreatta, F., Iovita, A., Stevens, G.: Overconvergent modular sheaves and modular forms for \({ GL}_{2/F}\). Israel. J. Math.
**201**(1), 299–359 (2014)MathSciNetView ArticleMATHGoogle Scholar - Ash, A., Stevens, G.: Modular forms in characteristic \(l\) and special values of their \(L\)-functions. Duke. Math. J.
**53**(3), 849–868 (1986)MathSciNetView ArticleMATHGoogle Scholar - Ash, A., Stevens, G.: \(p\)-adic deformations of arithmetic cohomology (2008). http://math.bu.edu/people/ghs/research.html (specifically, http://math.bu.edu/people/ghs/preprints/Ash-Stevens-02-08.pdf
- Bellaïche, J., Dasgupta, S.: The \(p\)-adic \(L\)-functions of evil Eisenstein series. Compos. Math.
**151**(6), 999–1040 (2015)MathSciNetView ArticleMATHGoogle Scholar - Bellaïche, J.: Critical \(p\)-adic \(L\)-functions. Invent. Math.
**189**(1), 1–60 (2012)MathSciNetView ArticleMATHGoogle Scholar - Bosch, S., Güntzer, U., Remmert R.: Non-archimedean analysis. In: Grundlehren der Mathematischen Wissenschaften [Fundamental principles of mathematical sciences], A systematic approach to rigid analytic geometry, vol. 261, Springer-Verlag, Berlin (1984)Google Scholar
- Bellaïche, J., Pollack, R.: On $$\mu $$ μ -invariants and congruences with Eisenstein seriesGoogle Scholar
- Barré-Sirieix, K., Diaz, G., Gramain, F., Philibert, G.: Une preuve de la conjecture de Mahler–Manin. Invent. Math.
**124**(1–3), 1–9 (1996)MathSciNetView ArticleMATHGoogle Scholar - Buzzard, K.: Examples of Hida families. http://www2.imperial.ac.uk/~buzzard/maths/research/notes/. (2006). Accessed 24 Aug 2016
- Coleman, R., Mazur, B.: The eigencurve. In: Scholl, A.J., Taylor, R.L. (eds.) Proceedings: Papers from the London Mathematical Society Symposium held in Durham, 9–18 July, 1996, pp. 1–113 (1998)Google Scholar
- Coleman, R.F.: \(P\)-adic Banach spaces and families of modular forms. Invent. Math.
**127**(3), 417–479 (1997)MathSciNetView ArticleMATHGoogle Scholar - Dasgupta, S.: Factorization of \(p\)-adic Rankin \({L}\)-series. Invent. Math.
**205**(1), 221–268 (2016)MathSciNetView ArticleMATHGoogle Scholar - Darmon, H., Pollack, R.: Efficient calculation of Stark–Heegner points via overconvergent modular symbols. Israel. J. Math.
**153**(1), 319–354 (2006)MathSciNetView ArticleMATHGoogle Scholar - Emerton, M.: On the interpolation of systems of eigenvalues attached to automorphic Hecke eigenforms. Invent. Math.
**164**(1), 1–84 (2006)MathSciNetView ArticleMATHGoogle Scholar - Ferrero, B., Greenberg, R.: On the behavior of \(p\)-adic \(L\)-functions at \(s\)=0. Invent. Math.
**50**(1), 91–102 (1978)MathSciNetView ArticleMATHGoogle Scholar - Greenberg, R.: Trivial zeros of $$p$$ p -adic $$L$$ L -functions, $$p$$ p -adic monodromy and the Birch and Swinnerton-Dyer conjecture. Contemp. Math., Amer. Math. Soc. vol. 165, pp. 149–174, Boston, Providence, (1991)Google Scholar
- Greenberg, R., Stevens, G.: \(p\)-adic \(L\)-functions and \(p\)-adic periods of modular forms. Invent. Math.
**111**(2), 407–447 (1993)MathSciNetView ArticleMATHGoogle Scholar - Greenberg, R., Stevens, G.: On the conjecture of Mazur, Tate, and Teitelbaum, $$p$$ p -adic monodromy and the Birch and Swinnerton-Dyer conjecture. Contemp. Math., Amer. Math. Soc. vol. 165, pp. 183–211, Boston, Providence, (1991)Google Scholar
- Harron, R.W.: L-invariants of low symmetric powers of modular forms and Hida deformations (Thesis Ph.D.). ProQuest LLC, Princeton University, Ann Arbor (2009)Google Scholar
- Hida, H.: Galois representations into \({\rm GL}_2({\bf Z}_p[[X]])\) attached to ordinary cusp forms. Invent. Math.
**85**(3), 545–613 (1986)MathSciNetView ArticleMATHGoogle Scholar - Hida, H.: Iwasawa modules attached to congruences of cusp forms. Ann. Sci. École Norm. Sup.
**19**(2), 231–273 (1986)MathSciNetMATHGoogle Scholar - Hida, H.: Greenberg’s $$\cal L$$ L -invariants of adjoint square Galois representations. Int. Math. Res. Not. 2004(59), 3177–3189 (2004)Google Scholar
- Koji, K.: On standard $$p$$ p -adic $$L$$ L -functions of families of elliptic cusp forms, $$p$$ p -adic monodromy and the Birch and Swinnerton-Dyer conjecture. Contemp. Math., Amer. Math. Soc. vol. 165, pp. 81–110, Boston, Providence, (1994)Google Scholar
- Maurer, Y.: Zeros of \(p\)-adic \({L}\)-functions. Undergraduate project at Imperial College. http://wwwf.imperial.ac.uk/~buzzard/maths/research/notes/ (2000)
- Mazur, B., Tate, J., Teitelbaum, J.: On \(p\)-adic analogues of the conjectures of Birch and Swinnerton-Dyer. Invent. Math.
**84**(1), 1–48 (1986)MathSciNetView ArticleMATHGoogle Scholar - Nekovář, J., Plater, A.: On the parity of ranks of selmer groups. Asian. J. Math.
**4**(2), 437–497 (2000)MathSciNetView ArticleMATHGoogle Scholar - Pollack, R., Stevens, G.: Overconvergent modular symbols and \(p\)-adic \(L\)-functions. Ann. Sci. Éc. Norm. Supér.
**44**(1), 1–42 (2011)MathSciNetMATHGoogle Scholar - Pollack, R., Stevens, G.: Critical slope \(p\)-adic \(L\)-functions. J. Lond. Math. Soc.
**87**(2), 428–452 (2013)MathSciNetView ArticleMATHGoogle Scholar - Stevens, G.: Rigid analytic modular symbols. http://www.math.bu.edu/people/ghs/research.html (1994)
- Trifković, M.: Stark–Heegner points on elliptic curves defined over imaginary quadratic fields. Duke. Math. J.
**135**(3), 415–453 (2006)MathSciNetView ArticleMATHGoogle Scholar - The Sage Developers. SageMath, the Sage Mathematics Software System (Version 5.11). http://www.sagemath.org (2013)
- Urban, E.: Eigenvarieties for reductive groups. Ann. Math.
**174**(3), 1685–1784 (2011)MathSciNetView ArticleMATHGoogle Scholar