Welcome to the Paramodular Forms Website.
David S. Yuen (yuen@lakeforest.edu)
Cris Poor (poor@fordham.edu)
The left frame contains two tables.

The first table is a table of the prime levels where there are
candidate nonlift weight 2 cusp forms.
 The link under the heading "Fourier coefficients" gives
a table of the Fourier coefficients of the alleged (and in some cases
proven) nonlift.
 In all cases, we have proven these are the only possible candidates.
(Click on the link under "Proof of at most one nonlift" to see the proof.)
 Some of these candidates have been proven to exist.
(Click on the link under "Proof of existence, integrality, congruences"
to see the weight 8 identity that is key to the proof of existence of the nonlift.)
 Also in the
the link under "Proof of existence, integrality, congruences" is
information on proofs on integrality of the cusp form that has the
Fourier expansion as given in the links under Fourier coefficients.
 Also in the
the link under "Proof of existence, integrality, congruences" is
information on proofs on congruence of the nonlift with a Gritsenko lift.

The second table is a table of the prime levels from 3 to 599,
and these are links to proofs of no nonlifts in every prime level
except for those primes that occur in the first table.
 The links under "Proof level" will render a web page
that gives all the information in proving that there is no
nonlift for that level.
 The "raw file" is a text file that contains raw information
on the results of calculations that lead to a proof of no weight 2 nonlifts.
It is not necessary for you to look at these files, as the "Proof level" links
automatically reads these files and renders nice logical proofs for you.