L-functions
Navigation pages
- Reorganize the degree 1,2,3 and 4 navigation pages to allow browsing in terms of functional equation parameters in addition to browsing by underlying object.
- Add searching by first zero, coefficients, functional equation parameters, and underlying object.
- Show the sign of the Dirichlet L-functions as a color code on the browsing graph.
Home pages
- Smoothly handle the zeros and Z-function plot in the cases where not enough coefficients are available.
- Allow the user to choose arithmetic or analytic normalization (for arithmetic L-functions).
- Display more coefficients for L-functions with vary sparse Dirichlet series, and condense the display for floating point coefficients.
- Include "weight" as a property of arithmetic L-functions
- Add section for Special Values
- Recognize non-primitive L-functions and provide links to the primitive components. (sym^2 of CM curves, Dedekind zeta-function in the nonabelian case, etc)
- Links to more friends: dual L-function (if not self-dual), twists, symmetric powers, other powers.
- Next/previous navigation for more L-functions (e.g. GL(2) Maass forms).
- Allow user to provide just an lcalc file (perhaps at a URL), and then produce the L-function's home page.
- Button to test the Riemann hypothesis in a given range (or automatically check it)
Available data
Add the L-functions of: Maass forms (some currently limited by the number of available coefficients) $sym^2$ of CM elliptic curves, $sym^2$ of other GL(2) objects, Siegel modular forms, Hilbert modular forms (Asai L-function), Artin representations.
Elliptic modular forms
Navigation pages
- Add a paragraph above each browsable table (Gamma_0(N) and Gamma_1(N)) describing how much data is currently available
Home pages
- Give an option to show the dimensions of the whole space (including oldforms)
- Make it possible to show a basis for the whole space, not "only" representatives for the Galois orbits
- Show sage/magma(?) commands
- produce zoom-able images of fundamental domains
Available data
- Rewrite the whole backend for getting data for modular forms (spaces)
- Use (mostly) William's recently computed data
- Include Eisenstein series
- Add links to the lifts (e.g., Saito-Kurokawa) of classical MFs
- Add more data to the homepages of spaces of newforms (e.g., Hecke polynomial (factored?))
- Add Satake parameters at "bad" primes
Elliptic Curves
Navigation pages
- Currently the search possibilities are rather limited, but if more search fields are introduced the search page will become very cluttered. At that point we should only have very common options on the main page, with a separate "advanced search" page. Examples include searching by [a1,a2,a3,a4,a6] or by [A,B].
Additional pages
- Add more to the Statistics page: currently this gives distributions of ranks, Shas and other things.
Available data
-
Currently the database contains all 1887909 elliptic curves defined over $\mathbb{Q}$ of conductor at most 300000.
-
In future it is planned to add the much larger Stein-Watkins database, which includes curves with larger conductor. This would not be complete.
Dirichlet characters
Home pages
- improve speed
- add magma commands (and pari when characters are released)
- show a graph of characters above and below (parents and sons)
- show minimal polynomial and galois orbit
Search
- group characters by Galois orbits
- search from values
Available data
- add Dirichlet characters over number fields
- add Hecke characters on ideals and link with Hecke L-functions
Hilbert modular forms
Approximately 240000 forms are available over totally real fields of degree up to 6.
Navigation pages
- Do spaces of Hilbert modular forms need spaces? After classical modular forms have a well-designed idea for navigation, copy it.
- Provide detailed information about the scope (and completeness) of the data.
Home pages
- Compute the Asai L-function.
- Test Riemann hypothesis button on coefficients. (This should be available as a general improvement on all L-function home pages.)
- Compute remaining Atkin-Lehner involutions (5% of spaces missing, all with large level).
- Compute Eisenstein ideal (torsion).
- Simplify presentation of Hecke field (adjoin all elements to get an order, or mimic classical modular forms by working with the dual).
- Sort by conductor
- Add next / previous buttons (like on the Dirichlet character pages).
- Indicate which forms are lifts/base change from GL(2)/Q, and provide a friend link for forms that are base change.
Available Data
- Compute large sets of coefficients for the forms of smallest conductor.
Technical Issues
- The "?label=" works but breaks other links when followed after.
Possible new subcategories
- Higher weight, odd weight, half-integral weight, and characters.
- Maass forms.
Maass forms
Navigation pages
- Make browsing more intuitive (how do people actually want to browse / search Maass forms?)
- Is it possible to keep information about where in the browse list we are, when going to the page for a specific Maass form?
- Maass forms arising from quadratic fields.
Home pages
- Add download of Fourier coefficients
- Make it possible to manipulate Fourier coefficients (i.e. test Hecke relations etc.)
- Get statics for Fourier coefficients, for example plots of value distribution (to see Sato-Tate) etc.
- Add plots of the Maass form in the fundamental domain.
- Add next / previous buttons (like on the Dirichlet character pages).
Available Data
- All Maass form data (for GL(2)/Q) is currently recomputed using sage/psage/cython. These computations should continue until we have data for all levels, at least up to 100.
- Compute large sets of coefficients for all Maass forms in the database.
Technical Issues
- The option to show "all" records does not work on the browse page.
- Fix the search so that it is also done with server-side dataTables so we can remove the limit of 200 records (currently the client crash if we return more records)
- Try to make "tabbed" dataTables to make it possible to flip between different levels when browsing.
Possible new subcategories
- Maass forms on the Picard group (these already exist in the database, but the corresponding pages needs to be revised).
- Harmonic weak Maass forms.
- Maass forms of half-integral weight.
Siegel Modular Forms
Home Page
-
Provide data for and make links to the L-function section.
-
Improve the presentation of many and big Fourier coefficients: the user should be able to ask for a range, reduction modulo arbitrary ideals of the number field generated by the coefficients should be possible (currently one can only reduce modula rational primes).
Database
-
Compute generators and examples for the rings $\Gamma_0(2)$, $\Gamma_0(3)$, $\Gamma_0(4)$ (possibly with characters).
-
Implement the data of Ibukiyama and Hayashida on half integral weight and vector valued modular forms.
-
Let mongodb or sqlite keep the date.
-
Normalise the Fourier coefficients so that they are integral and primitive.
Artin representations
Navigation pages
The search page will be expanded to include searches based on information depending on the Artin field (for instance the Galois group).
Home pages
- A link from degree 1 Artin representations to the corresponding Dirichlet character needs to be added (and similarly for L-functions)
-
Non integral root numbers need to be calculated (for 1-dimensional, based on Gauss sums, for higher dimensional reps, based on analytic approximation)
-
A link from degree 2 Artin representations to the corresponding modular form will be added.
Available data
Very limited data is available right now (37000 representations). We will soon add more data, coming from computations of Tim Dokchitser.
Global number fields
Currently have fields with small absolute discriminant in degrees $\leq 11$, and other complete sets of fields with degrees up to $15$. See completeness of global number field data for more details
Home pages
- Include links for subfields
- Include information on local algebras for ramified primes
Available Data
- Add fields with bigger degrees and discriminants, and with more diverse Galois groups.
Local number fields
Currently have all degree $n$ fields over $\mathbb{Q}_p$ for $p<150$ and $1\leq n\leq11$.
Navigation
- Allow searching by inputing a prime and a polynomial (return components of the local algebra)
- Allow download of fields coming from a search
Home pages
Give components of interesting local resolvent algebras, such as twins for sextics and $D_4$ quartics
Available data
- Hope to add higher degree fields once data has been computed for wildly ramified fields of degree 12
Galois groups
Currently the database contains all transitive subgroups of $S_n$ up to conjugation for $n\leq 23$.
Navigation
- Add more human readable names for groups
Home Pages
- Better handling of character tables
Future areas
Objects which will be added to the LMFDB include:
- hyperelliptic curves
- Galois representations
- GL(N) automorphic forms of cohomological type
- K3 surfaces and Calabi-Yau 3-folds
- Examples of every type of L-function of degree $\le 4$
- Automorphic representations