Loading [MathJax]/jax/output/HTML-CSS/jax.js

First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

asked 5 years ago

TK gravatar image

lifting modular symbols for newform of level 35 at p = 5, 7

Let f be the unique normalised eigenform in S2(Γ0(35)) of dimension 2. It has split multiplicative reduction at p=5 (ap=+1) [and non-split multiplicative reduction at p=7 (ap=1)]. The p-adic L-function should vanish to the order 1 at 1 (because the associated abelian variety has rank 0). I want to compute the valuation of its leading coefficient using Pollack-Stevens. To do so, I use the following code:

from sage.modular.pollack_stevens.space import ps_modsym_from_simple_modsym_space
A = ModularSymbols(35,2,1).cuspidal_submodule().new_subspace().decomposition()[1]
p = 5
prec = 2
phi = ps_modsym_from_simple_modsym_space(A)
ap = phi.Tq_eigenvalue(p,prec)
phi1,psi1  = phi.completions(p,prec)
phi1p = phi1.p_stabilize_and_lift(p,ap = psi1(ap), M = prec)

Unfortunately, the last command fails after a few seconds (also for p=7) with a

RuntimeError: maximum recursion depth exceeded while calling a Python object

Is there a theoretical problem with computing the L-value or is there a problem with the implementation?