show · rcs.rigor.cmf all knowls · up · search:

All modular form data currently in the database has been computed using rigorous algorithms that do not depend on any unproved assumptions or conjectures. In particular

  • All self twists and inner twists have been rigorously verified either by checking exact algebraic coefficients or complex analytic coefficients computed to sufficient precision to uniquely identify every such twist (as of February 2020).

  • The analytic ranks have all been rigorously verified by computing winding elements on spaces of modular symbols (and using the sign of the functional equation in the case of self dual newforms).

  • For weight 1 newforms, the classification of the projective image as $D_n$, $A_4$, $S_4$, $A_5$ has been rigorously verified by explicitly computing the projective field (as of August 2019).

In addition to using mathematically rigorous algorithms whenever possible, we have performed a variety of consistency checks intended to catch any errors in the software packages used to compute modular forms data, or any errors that might have been introduced during post-processing. The following checks have been performed:

  • All newforms of weight $k > 1$ and level $N$ satisfying $Nk^2 \le 2000$ have been independently computed using [Magma] and [Pari/GP]. By comparing the results of these computations we have verified that the decompositions of each newspace $S_k^{\rm new}(N,\chi)$ into Galois orbits agree (with matching coefficient fields), that the first 1000 coefficients of the trace forms for each Galois orbit agree, and for newforms of dimension $d\le 20$, that there is an automorphism of the coefficient field that relates the sequences of algebraic eigenvalues $(a_1,\ldots,a_{1000})$ computed by Pari and Magma.

  • For all newforms of weight $k>1$ and level $N$ satisfying $Nk^2 \le 4000$ we have verified that the trace forms computed by Magma (using modular symbols) agree with the trace forms obtained from complex analytic data computed using the explicit trace formula. This also verifies the dimensions of the coefficient fields.

  • For newforms of weight $k=1$ and level $N\le 1000$ we have matched the data computed using Pari/GP with the tables computed by Buzzard and Lauder [arXiv:1605.05346].

  • For dihedral newforms of weight $k=1$ and level $N\le 4000$ we have matched trace forms with data computed using the explicit trace formula in Pari/GP with data computed independently in both Pari/GP and Magma using class field theoretic methods.

See [arXiv:2002.04717] for further details.

Knowl status:
  • Review status: beta
  • Last edited by Andrew Sutherland on 2020-02-18 11:53:12
Referred to by:
History: (expand/hide all) Differences (show/hide)