17983
Comment:

18053

Deletions are marked like this.  Additions are marked like this. 
Line 57:  Line 57: 
[[attachment:days17____atkin_lehner_on_real_component_group.sws]] 
Specific Tables/Projects
Contents

Specific Tables/Projects
 Component Groups of J0(N)(R) and J1(N)(R)
 Cuspidal Subgroup
 Discriminants of Hecke Algebra
 Compute a table of semisimplications of reducible representations of elliptic curves
 Dimensions of modular forms spaces
 Compute the exact torsion subgroup of J0(N) for as many N as possible
 Characteristic polynomial of T2 on level 1 modular forms
 Characteristic polys of many Tp on level 1
 Arithmetic data about every weight 2 newform on Gamma0(N) for all N<5135 (and many more up to 7248)
 Systems of Hecke Eigenvalues: qexpansions of Newforms
 Eigenforms on the Supersingular Basis
 Elliptic curve tables
 Congruence modulus and modular degree for elliptic curves
 jinvariants of CM elliptic curves
 Pari table of Optimal elliptic curves
 Optimal quotients whose torsion isn't generated by (0)(oo)
 Data About Abelian Varieties Af Attached to Modular Forms
 The odd part of the intersection matrix of J0(N)
 Weierstrass point data
 Rationals part of the special values of the Lfunctions
The misc tables are listed here:
http://modular.fas.harvard.edu/Tables/
The Harvard URL is the best, since the http://wstein.org/Tables has none of the cgibin script dynamic data.
Component Groups of J0(N)(R) and J1(N)(R)
URL: http://wstein.org/Tables/real_tamagawa/ and http://wstein.org/Tables/compgrp/. The second page has much more extensive data and a conjecture.
 New Code:
This function computes the J_0(N) real component groups.
def f(N): M = ModularSymbols(N).cuspidal_subspace() d = M.dimension()//2 S = matrix(GF(2),2*d,2*d, M.star_involution().matrix().list())  1 return 2^(S.nullity()d)
For J_1(N) it is:
def f(N): M = ModularSymbols(Gamma1(N)).cuspidal_subspace() d = M.dimension()//2 S = matrix(GF(2),2*d,2*d, M.star_involution().matrix().list())  1 return 2^(S.nullity()d)
Future extension: one could replace Gamma1(N) by GammaH(N,...). One could also do the new subspace.
And note Frank's conjecture:
Conjecture (Frank Calegari):
Let m = #odd prime factors of N + {1, if N = 0 mod 8 {0, otherwise. Then the component group is isomorphic to (Z/2Z)^f, where f = 2^m  1.
the above conjecture is wrong, but the following matches our data (up to level N<=2723):
Conjecture (BoothbyStein): Let m = #odd prime factors of N  {1, if N != 0 mod 8 {0, otherwise. Then the component group is isomorphic to (Z/2Z)^f, where f = 2^m  1, unless N=1,2,4, in which case the component is
Soroosh  the prime level case is known. See Calegari and Emerton (http://www.math.northwestern.edu/~fcale/papers/moddeg2.pdf) which *just* cites Agashe and Merel (http://wstein.org/home/wstein/days/17/Merel_Laccouplement_de_Weil_entre_le_sousgroup.pdf  page 12).
Cuspidal Subgroup
Computing the structure of the cuspidal subgroup of J0(N) and J1(N) (say).
URL: http://wstein.org/Tables/cuspgroup/ (the displayed formula is backwards at the top)
 New Sage code:
def cuspidal_subgroup_J0(N): J = J0(N) I = J.cuspidal_subgroup().invariants() # maybe pickle J return I
def cuspidal_subgroup_J1(N): J = J1(N) I = J.cuspidal_subgroup().invariants() # maybe pickle J return I
BUT WAIT  isn't there an a priori formula for this structure/order? Yes  Ligozat, but not really  that gives only rational cuspidal subgroup. The algorithm is explained in cuspidal subgroup section of http://www.math.mcmaster.ca/~syazdani/papers/paper1.pdf. Preliminary implementation of this algorithm is now ticket #6925
Anyway, I'm computing a few of these here, as a test of the modular symbols code, etc., since this is easy:
http://sage.math.washington.edu/home/was/db/days17/cuspidal_subgroup_J0N/
http://sage.math.washington.edu/home/was/db/days17/cuspidal_subgroup_J1N/
Discriminants of Hecke Algebra
Computation of discriminants of various Hecke algebras.
Amazingly, it seems that there is "discriminants of Hecke algebras" implementation in Sage! Here is a straightforward algorithm:
The input is the level N.
Chose a random vector v in the space M of cuspidal modular symbols of level N.
Compute the sturm bound B.
Compute the products T_1(v), ..., T_B(v), and find a basis b_i for the ZZmodule they span.
Find Hecke operators S_1, ..., S_n such that S_i(v) = b_i. (This is linear algebra  inverting a matrix and a matrix multiply.)
Compute the determinant det ( Trace(S_i * S_j) ). That is the discriminant. This also gives a basis for the Hecke algebra, which is very useful for lots of things.
Note: See http://trac.sagemath.org/sage_trac/ticket/6768 for very slow code for computing a basis for the Hecke algebra.
Faster code up at http://trac.sagemath.org/sage_trac/ticket/6911
Here is a more complicated algorithm, but it might suck because of hidden denseness!
The input is the level N.
If N is divisible by a prime p^3 and X_0(N/p^3) has positive genus, then the discriminant is 0, as one can see by taking images of forms of level N/p^3.
I think the above is an if and only if condition for when the discriminant is 0. See I think ColemanVoloch.
 The actual algorithm now.
Find a random Hecke operator t such that the charpoly of t has nonzero discriminant.
Choose a random vector v in the space of cuspidal modular symbols.
Let B be the Sturm bound.
Compute the images T_n(v) for n up to the Sturm Bound.
Compute a table of semisimplications of reducible representations of elliptic curves
Ralph Greenberg asked for a specific example of an elliptic curve with certain representation, and Soroosh and William found it. In order to do this, we developed a (mostly) efficient algorithm for computing the two characters eps and psi that define the semisimplication of an elliptic curve's Galois representation. This project is to fully implement the algorithm, then run it on curves in the Cremona database and all primes for which the Galois representation is reducible. There is relevant code here: http://nt.sagenb.org/home/pub/19/ and http://nt.sagenb.org/home/pub/20/
In fact, one can use the algorithm mentioned above to compute the semisimplication for any modular abelian variety! It would be good to do this for say every J0 modabvar of level up to say 3200 (since we have an ap table up that far): http://sage.math.washington.edu/home/wstein/db/modsym/
Dimensions of modular forms spaces
Currently http://wstein.org/Tables/dimensions/ has a couple of table with a kludgy and completely broken. These tables are nicer: http://wstein.org/Tables/dimensionsall.html. I think a static table that can do Gamma0, Gamma1, and character for all levels up to 100000 and weight 2 would be good to have. But its value would only be in having it easily usable, since there is no value in asking for an individual space. Anyway, compute the data. It would in fact by a good idea. Also, for each character, we should compute the dimensions of the modular, eisenstein spaces and the new cuspidal, and pnew cuspidal subspaces for each p dividing the level. The following session illustrates that in fact that would be quite valuable to have precomputed in a table:
sage: G = DirichletGroup(21000) sage: time C = G.galois_orbits() Time: CPU 2.21 s, Wall: 2.52 s sage: time z = [(e[0], dimension_cusp_forms(e[0], 2)) for e in C] Time: CPU 8.86 s, Wall: 9.79 s
I (=William) started a small calculation going of dimensions of spaces with character for weights <= 16 and for each space computing the dimension of the cuspidal, eisenstein, new, and pnew for each p parts. It's here: http://sage.math.washington.edu/home/wstein/db/days17/dimension_character/
Compute the exact torsion subgroup of J0(N) for as many N as possible
See http://nt.sagenb.org/home/pub/21/ for some work in this direction by Stein and Yazdani.
Characteristic polynomial of T2 on level 1 modular forms
See this table: http://modular.fas.harvard.edu/Tables/charpoly_level1/t2/
I have a straightforward algorithm to recompute these, which I'm running here:
http://sage.math.washington.edu/home/wstein/db/days17/level1/
Characteristic polys of many Tp on level 1
Next, see this table, which gives "Characteristic polynomials of T2, T3, ..., T997 for k<=128"
http://modular.fas.harvard.edu/Tables/charpoly_level1/upto997/
That exact range can likely be easily done using modular symbols.
There is another algorithm, that uses the matrix of T_2 (which I'm computing and caching above!), which can compute the charpolys of many other T_p. It's described here: http://sage.math.washington.edu/home/wstein/days/17/highweight/, along with a magma implementation (need to port to Sage). Thus it might be nice to implement this and run it, and get say all T_{p,k} for p,k \leq 1000.
Arithmetic data about every weight 2 newform on Gamma0(N) for all N<5135 (and many more up to 7248)
http://modular.fas.harvard.edu/Tables/arith_of_factors/
This table is challenging to replicate/extend, but easy to move over. It would likely be better to continue our aplist computations, etc. up to 10000 (they only went to 3200 so far), and also take our saved decompositions and compute other data. Anyway, this table is more of a challenge.
Systems of Hecke Eigenvalues: qexpansions of Newforms
http://modular.fas.harvard.edu/Tables/aplist/
This is the point of these tables from last summer, which are much more comprehensive.
Also, Tom Boothby has made some tables of traces of these.
Eigenforms on the Supersingular Basis
I made
http://modular.fas.harvard.edu/Tables/supersingular.html
I think for a paper with Merel.
A close analogue of the above table could likely be extended/recomputed using the SupersingularModule code. However, the first problem is:
sage: X = SupersingularModule(97) sage: X.decomposition() Traceback (most recent call last): ... NotImplementedError
So some love and care would be needed to compute these decompositions. But this should be done. And then would be pretty similar data to that table. It would be straightfoward (I think) to get the same data is in http://modular.fas.harvard.edu/Tables/supersingular.html once the decompositions are computed.
Elliptic curve tables
I think the following can be safely ignored since they are already easily available from Cremona nowadays:
# [NEW] PARI Tables of Cremona Elliptic Curves # [NEW] Isogeny class matrices for elliptic curves of conductor <= 40000 # [NEW] Lratios L(E,1)/Omega_E for elliptic curves of conductor <= 40000
This can be ignored:
# Armand Brumer and Oisin McGuinness's table of elliptic curves of prime conductor less than 108 (or try the local mirror)
This should be made officially part of our database in some way, possibly including better wrapping in Sage:
# The SteinWatkins database of elliptic curves of conductor up to 108 and of prime conductor up to 1010.
The following table was "fun", but I don't think anybody ever used it, so maybe forget it: http://wstein.org/Tables/e_over_k/
Congruence modulus and modular degree for elliptic curves
It would be very valuable and possibly challenging to recompute and extend to level 1000 the data here: http://wstein.org/Tables/degphi_table/.
There's an interesting conjecture there as well, which could possibly be refined.
Here's how to do the computation:
sage: E = EllipticCurve('54a') sage: E.modular_degree() # trivial 6 sage: E.congruence_number() # hard in general 6
I actually started a computation of the same data that goes a bit further than the old table here: http://sage.math.washington.edu/home/wstein/db/congnum/
However quite a few levels up to 1000 remain: [558, 592, 594, 624, 650, 657, 672, 702, 704, 720, 738, 744, 756, 758, 759, 760, 762, 763, 765, 766, 768, 770, 774, 775, 776, 777, 780, 781, 782, 784, 786, 790, 791, 792, 793, 794, 795, 797, 798, 799, 800, 801, 802, 804, 805, 806, 807, 808, 810, 811, 812, 813, 814, 815, 816, 817, 819, 822, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 836, 840, 842, 843, 845, 846, 847, 848, 849, 850, 851, 854, 855, 856, 858, 861, 862, 864, 866, 867, 869, 870, 871, 872, 873, 874, 876, 880, 882, 885, 886, 888, 890, 891, 892, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 909, 910, 912, 913, 914, 915, 916, 918, 920, 921, 922, 923, 924, 925, 926, 927, 928, 930, 931, 933, 934, 935, 936, 938, 939, 940, 942, 943, 944, 946, 948, 950, 954, 955, 956, 957, 960, 962, 964, 965, 966, 968, 969, 970, 972, 973, 974, 975, 976, 978, 979, 980, 981, 982, 984, 985, 986, 987, 988, 989, 990, 994, 995, 996, 997, 999]
It would also be very valuable if we compute the congruence modulus and modular degree modulus (I don't know what the good term for this is) for elliptic curves. This data might provide some insight on the discrepency between the two invariants.
jinvariants of CM elliptic curves
The table as is here is silly: http://wstein.org/Tables/cmj.html
However, a generalization of it to give CM jinvariants over various number fields would be nice. It would probably easy to collate such data if one could find it. I think David Kohel might have such data on his site (?).
Pari table of Optimal elliptic curves
Pointless  get rid of  was only useful when I used PARI a lot.
Optimal quotients whose torsion isn't generated by (0)(oo)
http://wstein.org/Tables/non_zeroinf_tor.txt
This should be redone, but in more generality and systematically. To do this calculation basically all that is needed that is nontrivial is a way to compute the order of the image of 0oo efficiently. That is best done numerically. The idea of the algorithm:
Compute L(E,1) and \Omega_E as floating point real numbers.
If the period lattice is rectangular let \omega = \Omega_E / 2; otherwise, let \omega = \Omega_E.
The order of the image of (0)(\infty) is equal to the denominator of the rational number L(E,1)/\omega.
(The reason is because the image of (0)(\infty) can be interpreted as a period integral and so can L(E,1), and they're the same, basically.)
Here's code:
def order_of_zero_inf(E): R = E.lseries().L_ratio() if E.period_lattice().is_rectangular(): R /= 2 return R.denominator()
note that this algorithm is far better than the one I ran to make the above table ( http://wstein.org/Tables/non_zeroinf_tor.txt), which I think was a modular symbols algorithm.
I'm running the above for Cremona's tables here:
http://sage.math.washington.edu/home/wstein/db/days17/elliptic_zero_inf/
Data About Abelian Varieties Af Attached to Modular Forms
http://modular.fas.harvard.edu/Tables/newform_weight2.html
This has a bunch of data about abelian varieties A_f. Some is easy and some is hard to compute. This table took a long time to compute, I think. It will be important to recompute this data and much more.
The following data should go in the same table: http://modular.fas.harvard.edu/Tables/odd_analytic_sha_lower_bound.html
This is another similar table: http://modular.fas.harvard.edu/Tables/MotiveDecomp_N1125_k2
And of course this entire table is similar: http://modular.fas.harvard.edu:8080/mfd (broken usually!) data available...; it's in a ZODB.
This is also something for the same table = higher dimensional gen. of Cremona: http://modular.fas.harvard.edu/Tables/odd_lratios.html
The odd part of the intersection matrix of J0(N)
http://modular.fas.harvard.edu/Tables/odd_intersection_matrix_gamma0.html
The above data would be very good to have to high levels. It gives the combinatorial "graph structure" of J_0(N). (Sourav San Gupta's final project in my course was related.)
Here is code to compute the (odd part of) the intersection matrix:
def f(N,k=2): S = ModularSymbols(N,k,sign=1).cuspidal_subspace().new_subspace() D = S.decomposition() n = len(D) A = matrix(ZZ,n) for i in range(n): for j in range(i,n): A[i,j] = odd_part(ZZ(D[i].intersection_number(D[j]).numerator())) A[j,i] = A[i,j] return A
(To get the exact value, not just the odd part, get rid of sign=1, and odd_part above, at the least.) It would be nice to run the above for N\leq 1000 and k=2. It would also be nice to gather some data for higher weight.
Weierstrass point data
http://modular.fas.harvard.edu/Tables/weierstrass_point_plus and http://modular.fas.harvard.edu/Tables/weierstrass_point_bound.html
The data could be just copied over, but it would be good to compute it. I think the algorithm just involves computing a basis of q expansions and looking at it.
Rationals part of the special values of the Lfunctions
Level 1: http://modular.fas.harvard.edu/Tables/lratios_level1.html
Higher level: http://modular.fas.harvard.edu/Tables/bsd.html
This would likely be very good to recompute and extend, but it requires implementing an Lratio method of on modular symbols spaces A (for speed), which for some reason I still haven't done. This involves:
Compute the modular symbols e_i=X^iY^{k2i}\{0,\infty\} as an element of the ambient space, for each i=0,1,\ldots,k2.
Define a function that computes the sparse action of T_n on a sparse vector, and apply it to e, which will be very sparse. This function will be built on the function _hecke_image_of_ith_basis_element.
Use to compute T_n(e) for n\leq B, where B is the Sturm bound.
Compute the image of the T_n(e) under the rational_period_mapping() associated to our modular symbols factor A (this is the first time A actually appears).
Compute the ZZmodule V spanned by the T_n(e).
Compute the integral structure on A, take the subspace that is the +1 eigenspace for the * involution, and take the image W of that subspace under the rational period mapping.
The Lratio is the lattice index of [W:V].
As a shortcut, first compute image of e under rational period mapping  if it is 0, we know all T_n(e) map to 0, so the Lratio is 0.