S2(K(349))+
Proving the existence of a nonlift.
-
A nonlift Borcherds product Borch(ψ) in S2(K(349))+
can
be proven by constructing (the same) ψ explicitly in the following ways.
- Define ψ here
as a weight 12 cusp form divided by Δ
- Define ψ here as a sum Σj cj (φj|V2)/φj
- The nonlift eigenform f in S2(K(349))+ has a formula as a linear combination of the above Borcherds product
and Gritsenko lifts. See
here
for the formula.