LEVEL 571


GRITSENKO LIFTS
Number of wt 2 Gritsenko lifts: 19


WEIGHT 4 CUSP FORMS
The weight 4 space of cusp forms (and the plus and minus parts) have dimensions:
     dim S4(K(571)) = 647
     dim S4(K(571))+ = 530
     dim S4(K(571))- = 117
We use the following wt 4 plus forms in an attempt to fill out the wt 4 plus space of cusp forms. We computed the initial 1947 Fourier coefficients of these forms (which is up through determinant 847/4). (This of course required much longer expansions of the Fourier series before computing any Hecke operators - actually 729715 Fourier coefficients were computed.)
and the rank of these 1330 truncated series was computed mod 19 to be 530.
So these forms span at least 530 linearly independent plus forms. Hence dim S4(K(571))+ ≥ 530.

Theta tracing was used only to span the space of minus cusp forms.
The quadratic forms used in Theta Tracing are listed at the end of this web page.
We computed Tr(ϑPϑQ) for all 153 combinations of P,Q∈A4.
We truncated the Fourier series to the first 908 coefficients (which corresponded to going up to determinant 479/4),
and the rank of these truncated series was computed mod 19 to be 117,
and this proved dim S4(K(571))- ≥ 117.

The two inequalities on the plus and minus subspaces suffice to prove the wt 4 dimensions as claimed because we know a priori that dim S4(K(571)) = 647.


PROVING UPPER BOUND ON NUMBER OF WEIGHT 2 NONLIFTS
We claim:
     At most number of wt 2 plus nonlifts: 0
     At most number of wt 2 minus nonlifts: 0
Using the spanning set above for S4(K(571))+, we could only compute that
     dim H(2)''+ ≤ 13
which did not imply anything about the nonexistence of nonlifts. Instead, we computed H(2)'+ which had dimension at most 143 and we used the "g1, g2" method by taking
     g1 = G18
     g2 = G19
and showed that there were no nonzero solutions to h2*g1=h1*g2 for h1,h2 ∈ H(2)'+. This proves that there are no plus wt 2 nonlifts.
Using a spanning set for S4(K(571))- computed above, we calculated that
     dim H(2)- ≤ 11.
Then dim H(2)- < (number of wt 2 Gritsenko lifts = 19) implies there are no wt 2 minus form, and in particular no wt 2 minus nonlift.


Dimensions of subspaces of S4(K(571))+ as we Hecke smear.
Just for curiosity, here is a table that shows how the dimensions of the subspaces progress as we increase the number of Hecke smears. Denote W=span of the products of wt 2 Gritsenko lifts.
Subspace of S4(K(571))+ dimension
W190
Above along with T2(W)380
Above along with T3(W)527
Above along with T4(W)529
Above along with T5(W)529
Above along with T6(W)529
Above along with T7(W)530


Weight 2 Theta Blocks
     G1 = Grit(THBK2(3,4,5,7,8,8,11,13,15,20))
     G2 = Grit(THBK2(3,4,5,6,9,9,10,13,15,20))
     G3 = Grit(THBK2(3,4,5,6,7,10,11,13,16,19))
     G4 = Grit(THBK2(3,4,5,5,8,10,11,14,15,19))
     G5 = Grit(THBK2(3,4,4,7,7,10,11,14,15,19))
     G6 = Grit(THBK2(3,4,4,7,7,10,11,13,17,18))
     G7 = Grit(THBK2(3,4,4,5,7,9,11,13,16,20))
     G8 = Grit(THBK2(3,4,4,5,6,9,9,13,15,22))
     G9 = Grit(THBK2(3,3,6,6,9,9,11,12,15,20))
     G10 = Grit(THBK2(3,3,5,8,8,8,11,13,16,19))
     G11 = Grit(THBK2(3,3,4,6,7,8,9,13,15,22))
     G12 = Grit(THBK2(3,3,4,5,7,10,11,14,16,19))
     G13 = Grit(THBK2(3,3,4,5,6,9,10,13,16,21))
     G14 = Grit(THBK2(2,5,5,7,8,9,10,13,15,20))
     G15 = Grit(THBK2(2,4,5,7,9,9,11,13,14,20))
     G16 = Grit(THBK2(2,4,5,6,8,10,11,14,16,18))
     G17 = Grit(THBK2(2,3,5,8,9,10,11,13,13,20))
     G18 = Grit(THBK2(2,3,5,7,9,10,12,12,15,19))
     G19 = Grit(THBK2(2,3,5,7,8,11,12,13,14,19))


The set A4 of 4x4 matrices used in theta tracing. Here |A4|=17.
     {{20,3,4,-2},{3,22,6,0},{4,6,26,1},{-2,0,1,32}}
     {{18,1,0,2},{1,24,6,7},{0,6,28,11},{2,7,11,34}}
     {{16,1,-1,1},{1,18,1,2},{-1,1,24,10},{1,2,10,52}}
     {{18,1,-1,1},{1,20,7,6},{-1,7,28,10},{1,6,10,40}}
     {{18,1,8,7},{1,20,4,-2},{8,4,36,17},{7,-2,17,38}}
     {{16,1,0,2},{1,20,2,9},{0,2,36,17},{2,9,17,40}}
     {{16,1,-1,7},{1,18,1,8},{-1,1,24,2},{7,8,2,54}}
     {{24,0,-2,-7},{0,24,1,10},{-2,1,24,1},{-7,10,1,30}}
     {{22,5,-5,-6},{5,22,2,-2},{-5,2,24,5},{-6,-2,5,34}}
     {{20,7,2,3},{7,24,6,4},{2,6,28,5},{3,4,5,30}}
     {{20,1,-2,5},{1,22,8,10},{-2,8,24,7},{5,10,7,42}}
     {{18,6,0,7},{6,24,1,10},{0,1,26,9},{7,10,9,40}}
     {{22,5,3,9},{5,24,2,7},{3,2,30,14},{9,7,14,32}}
     {{18,5,-2,-7},{5,24,1,-5},{-2,1,34,16},{-7,-5,16,34}}
     {{24,10,11,11},{10,26,10,7},{11,10,26,10},{11,7,10,38}}
     {{16,1,-3,7},{1,16,1,2},{-3,1,32,10},{7,2,10,48}}
     {{20,9,2,5},{9,26,6,10},{2,6,30,1},{5,10,1,30}}