Let M be an irreducible space of cuspidal modular symbols defined over Q, irreducible in the sense that M corresponds to a single Galois-conjugacy class of cuspidal newforms. Such an M can be computed using NewformDecomposition. Let f(1), ..., f(d) be the (Gal)(/line(Q)/Q)-conjugate newforms that correspond to M, and write f(d) = ∑n=1∞ an(d) qn. By a theorem of Hecke, the Dirichlet series L(f(i), s) = ∑n=1∞ (an(i) /ns) extends (uniquely) to a holomorphic function on the whole complex plane. Of particular interest is the special value L(M, j) = L(f(1), j) ... L(f(d), j), for any j∈{1, 2, ..., k - 1}.
In this section we describe how to approximate the complex numbers L(M, j) in Magma. If you are interested in computing individual special values L(f(i), j), then you should use the modular forms package instead of the modular symbols package for this.
The variable prec below refers to the number of terms of the q-expansion of each f(i) that are used in the computation, and not to the number of decimals of the answer that are correct. Thus, for example, to get a heuristic idea of the quality of an answer, you can increase prec, make another call to LSeries, and observe the difference between the two answers. If the difference is "small", then the approximation is probably "good".
The special value L(M, j), where j is an integer that lies in the critical strip, so 1 ≤j ≤k - 1 with k the weight of M. Here M is a space of modular symbols with sign 0, and prec is a positive integer which specifies the numbers of terms of q-expansions to use in the computation.
The leading coefficient of Taylor expansion about the critical integer j and order of vanishing of L(M, s) at s=1. Thus if the series expansion of L(M, s) about s=1 is L(M, s) = ar(s - 1)r + ar + 1(s - 1)r + 1 + ar + 2(s - 1)r + 2 + ..., then the leading coefficient of L(M, s) is ar and the order of vanishing is r.
The volume of AM(R), which is defined as follows. Let S⊂C[[q]] be the space of cusp forms associated to M. Choose a basis f1, ..., fd for the free Z-module S∩Z[[q]]; one can prove that f1, ..., fd is also a basis for S. There is a period map Φ from integral cuspidal modular symbols H to Cd that sends a modular symbol x∈H to the d-tuple of integrals (< f1, x >, ..., < fd, x >)∈Cd. The cokernel of Φ is isomorphic to AM(C). Moreover, the standard measure on the Euclidean space Cd induces a measure on AM(R). It is with respect to this measure that we compute the volume. For more details, see Section 3.12.16 of [Ste00].
The volume of the subgroup of AM(C) on which complex conjugation acts as -1.
Bound: RngIntElt Default: -1
The rational number L(A, j).(j - 1)! /(2π)j - 1.Ω, where j is a "critical integer", so 1≤j ≤k - 1, and Ω is RealVolume(M) when j is odd and MinusVolume(M) when j is even. If the optional parameter Bound is set, then LRatio is only a divisibility upper bound on the above rational number. If Sign(M) is not 0, then LRatio(M,j) is only correct up to a power of 2.
The odd part of the rational number LRatio(M,j). Hopefully, computing LRatioOddPart(M,j) takes less time than finding the odd part of LRatio(M,j).
> M := ModularSymbols(11,2);
> C := CuspidalSubspace(M);
> LSeries(C,1,100);
0.2538418608559106843377589233
> A := ModularSymbols("65B"); A; // <--> dimension two abelian variety
Modular symbols space of level 65, weight 2, and dimension 4
> LSeries(A,1,100);
0.9122515886981898410935140211 + 0.E-29*i
Let Mmk(N) be a space of modular symbols over Q. For i=1, ..., k, the ith winding element (e)i = Xi - 1Yk - 2 - (i - 1){0, ∞} ∈Mmk(N) is of importance for the computation of special values. For any modular form f∈Sk(N) and homogeneous polynomial P(X, Y) of degree k - 2, let < f, P(X, Y){0, ∞} > = - 2π()i .int0i∞ f(z) P(z, 1)(dz). Fix a newform f ∈Sk(N) corresponding to a space M of modular symbols, and let j be a integer in {0, 1, ..., k - 1}. The winding element is significant because L(f, j) = ((2π)j - 1/ij + 1(j - 1)!) .< f, Xj - 1Yk - 2 - (j - 1) {0, ∞} >. Moreover, the submodule that is generated by the winding element is used in the formula for a canonical rational part of the number L(M, j) (see LRatio, above).
The winding element Yk - 2{0, ∞}.
The winding element Xi - 1Yk - 2 - (i - 1){0, ∞}.
The element ∑a ∈(Z/mZ) * ε(a)Xi - 1Yk - 2 - (i - 1){0, (a/()m)}.
Bound: RngIntElt Default: -1
The image under RationalMapping(M) of the lattice generated by the images of the jth winding element under all Hecke operators Tn. If M is the ambient space, then the image under RationalMapping(M) is not taken.
Bound: RngIntElt Default: -1
The image under RationalMapping(M) of the vector space generated by all images of WindingElement(M,j) under all Hecke operators Tn. If M is the ambient space, then the image under the rational period mapping is not taken.
The Hecke submodule of the vector space Φ(M) generated by the image of the jth ε-twisted modular winding element, where Φ is RationalMapping(M). Some care is needed when using a modular symbol space in a +1 or -1 quotient.