LIFTING PUZZLES IN DEGREE 4

LIFTING PUZZLES IN DEGREE 4 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN Abstract. We identify the majority of Siegel modular eigenforms in degree 4 and weights up to 6 as being Duke-Imamoḡlu-Ikeda or Miyawaki-Ikeda lifts. We give two examples of eigenforms that are probably also lifts but of an undiscovered type.. Introduction For degree 4, vector spaces of Siegel modular cusp forms are known through weights k 6. For weight 6 there are 7 eigenforms: three quadratic pairs and one rational cusp form. From the work of Ikeda, the L-functions of two of the quadratic pairs are known. In this article, we compute the Euler 2-factors for the remaining quadratic pair and for the rational eigenform. Some of the roots of these Euler factors are not unimodular and so, presumably, there are two new lifts to be discovered. If not, the Generalized Ramanujan-Petersson Conjecture needs significant modification. The unexplained Euler 2-factors do factor in interesting ways, see Table 2. This article surveys all L-functions for degree 4 and weights k 6. We both explain how to compute Euler factors in higher degree and actually compute some. We find congruences between particular Euler factors and prove the nonvanishing of particular Miyawaki lifts. Lifting conjectures have been motivated by the computation of Euler factors of L-functions of Siegel modular Hecke eigenforms. Let Sn k denote the Siegel modular cusp forms of degree n and weight k. For Hecke eigenforms in S2 0 and S2 2, Kurokawa [5] computed some Euler factors and noted their factorization into Euler products of elliptic modular cusp forms and zeta functions.. Saito-Kurokawa-Maass Lift For even weights k, each eigenform f S 2k 2 corresponds to an eigenform F S k 2 such that the standard L-function of F factors L(F, s, st) = ζ(s)l(f, s + k )L(f, s + k 2). This was proven by Maass, Andrianov and Zagier, compare [5]. For eigenforms in S3 2 and S3 4, Miyawaki [6] computed some Euler factors and used their factorizations to give two conjectures. We rephrase them as follows: 2. Miyawaki Conjecture I For even k, each pair of eigenforms f S 2k 4 and g S k corresponds to an eigenform F S k 3 such that L(F, s, st) = L(f, s + k 2)L(f, s + k 3)L(g, s, st). 2000 Mathematics Subject Classification. Primary F46, F60; Secondary 65D20, 65-04. Key words and phrases. Siegel modular forms, Satake parameters, Miyawaki-Ikeda lifts.

2 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN 3. Miyawaki Conjecture II For even k, each pair of eigenforms f S 2k 2 and g S k 2 corresponds to an eigenform F S3 k such that L(F, s, st) = L(f, s + k )L(f, s + k 2)L(g, s, st). Duke and Imamoḡlu studied the factorization of the Euler factors of the Schottky form in S 8 4 and, in analogy with the Saito-Kurokawa lift, conjectured a lifting proven by Ikeda [8]. 4. Duke-Imamoḡlu-Ikeda Lift For even k, n and (n + k)/2, each eigenform f S k corresponds to an eigenform I n (f) S n (n+k)/2 whose standard L-function is n L(I n (f), s, st) = ζ(s) L(f, s + n + k i). 2 i= Ikeda has also solved Miyawaki s first conjecture with an additional natural nonvanishing condition, see [9]. See also [] for the resolution of a germane conjecture in [9]. In contrast, Miyawaki s second conjecture remains open. Given a complex function g on the Siegel upper half space, define g c by g c (Z) = g( Z). 5. Miyawaki-Ikeda Lift Let k, n + r and ˆk = (n + r + k)/2 be even integers with r n. Each pair of eigenforms f S k and g Sˆk r corresponds to an element M n (f, g) Sˆk n via M n (f, g)(z n ) = I n+r (f)(z n Z r ), g c (Z r ), where, is the Petersson inner product. If M n (f, g) is nontrivial then it is an eigenform for the even Hecke algebra and n L(M n (f, g), s, st) = L(g, s, st) L(f, s + ˆk i). i=r+ A persistent theme in the articles of Kurokawa and Miyawaki is the difficulty of computing Fourier coefficients and Euler factors of eigenforms. The Fourier coefficients for our examples were computed in [20] and here we use Krieg s matrix [4] to compute Euler factors from Hecke eigenvalues. In particular, we compute Euler 2-factors for all the Hecke eigencuspforms in degree 4 where dim S4 k is currently known, namely k 6. Two of our examples look suspiciously like unknown lifts because their Euler 2-factors possess rational factors of lower degree and because not all their Satake parameters are unimodular. However, we cannot identify these factors with Euler factors of eigenforms of lower degree and so leave the matter as lifting puzzles. The most interesting case is weight 6 with dim S4 6 = 7, see Table 2. Here there are three pairs of eigenforms with quadratic irrationalities and one rational eigenform. Two eigenforms, h and h 2, are Ikeda lifts. Two eigenforms, h 5 and h 6, are Miyawaki lifts and we prove this by verifying the nonvanishing of the relevant inner product. Another pair, h 3 and h 4, have Euler 2-factors which factor into elliptic factors and a rational quartic factor of unknown origin. Neither do we know what to make of the rational form h 7, whose Euler 2-factor has no unimodular roots. We summarize the results of our computations: For an elliptic modular eigenform f S k, we may normalize f so that the Fourier expansion f(τ) = j= a(j; f) qj satisfies a(; f) =. The Hecke L-function is then defined by L(f, s) = Q p (f, p s ), where Q p (f, X) = a(p; f)x + p k X 2. p prime

LIFTING PUZZLES IN DEGREE 4 3 Let φ ± 28 (τ) = q + ( 440 ± 08β)q2 +... with β = 8209 be the two normalized eigenforms of weight 28. The standard L-function of the Ikeda lift I 4 (φ ± 28 ) S6 4 is L(I 4 (φ ± 28 ), s, st) = ζ(s)l(φ± 28, s + 2)L(φ± 28, s + 3)L(φ± 28, s + 4)L(φ± 28, s + 5). The Euler 2-factor is given by ( X)Q 2 (φ ± 28, 2 2 X)Q 2 (φ ± 28, 2 3 X)Q 2 (φ ± 28, 2 4 X)Q 2 (φ ± 28, 2 5 X) = ( X) ( 2 2 ( 440 ± 08β)X + 2 3 X 2) ( 2 3 ( 440 ± 08β)X + 2 X 2) ( 2 4 ( 440 ± 08β)X + 2 X 2) ( 2 5 ( 440 ± 08β)X + 2 3 X 2). These are exactly the Euler 2-factors computed for h and h 2 in Table 2, so that h is the Ikeda lift of φ + 28 to degree four and h 2 is the lift of φ 28. To identify h 5 and h 6 as Miyawaki lifts, let φ 26 (τ) = q 48q 2 +... be the normalized eigenform of weight 26 and φ ± 30 (τ) = q + (4320 ± 96γ)q2 +... with γ = 5349 be the two normalized eigenforms of weight 30. The two Saito-Kurokawa lifts I 2 (φ ± 30 ) span S6 2. In section 5 we prove that M 4 (φ 26, I 2 (φ ± 30 )) is nontrivial, so that it is an eigenform with standard L-function L(M 4 (φ 26, I 2 (φ ± 30 )), s, st) = L(I 2(φ ± 30 ), s, st)l(φ 26, s + 2)L(φ 26, s + 3) The Euler 2-factor is given by = ζ(s)l(φ ± 30, s + 4)L(φ± 30, s + 5)L(φ 26, s + 2)L(φ 26, s + 3). ( X) ( 2 4 (4320 ± 96γ)X + 2 X 2) ( 2 5 (4320 ± 96γ)X + 2 X 2) ( 2 2 ( 48)X + 2 X 2) ( 2 3 ( 48)X + 2 X 2). From Table 2 we see that M 4 (φ 26, I 2 (φ + 30 )) gives h 5 and M 4 (φ 26, I 2 (φ 30 )) gives h 6. Consider the pair h 3 and h 4. From Table 2, the Euler 2-factor of h 3 is given by Q 2 (h 3, X, st) = ( X)Q 2 (φ + 28, 2 4 X)Q 2 (φ + 28, 2 5 X) ( + 9 52 X + 60 2048 X2 + 9 ) 52 X3 + X 4. Thus, h 3 looks like a lift but we do not know the origin of the quartic factor. It is the only factor in Table 2 with unimodular roots, namely η ± i η 2 for η = (9± 27752)/2048. Both quadratic factors, Q 2 (φ + 28, 2 4 X) and Q 2 (φ + 28, 2 5 X), are shared with the Euler 2-factor of h and the Fourier coefficients of h and h 3 are both algebraic integers in Q( 8209). We will also see that h and h 3 are congruence neighbors in the following sense: their Hecke eigenvalues at p = 2 are all congruent modulo certain primes in the ring of integers of Q( 8209); namely at 3, at a prime above 5 and at a prime above 7. Finally, consider the Euler 2-factor of the rational form h 7. If we introduce a pretend Euler factor with an integer parameter l, Q ± (X) = 2 l (65 ± 3 764242)X + 2 2+2l X 2, then we have the following factorization for any choice of l: Q 2 (h 7, X, st) = ( X)Q + (2 0 l X)Q + (2 l X)Q (2 0 l X)Q (2 l X).

4 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN These look like Euler factors of weight 22 + 2l with the s variable translated by 0 + l and + l. However, none of the level one elliptic Euler 2-factors from weights k = 24, 28, 30, 32, 34 or 38 have coefficients that generate the quadratic field Q( 764242). We thank S. Hayashida for helpful discussions. We thank B. Heim for pointing out that Miyawaki lifts are currently only known to be eigenforms for the even part of the Hecke algebra. We thank O. King for giving us a nice LISP program to compute the F p polynomials via Katsurada s recursion formulae. 2. Notation and Background In this section we give basic definitions and recall theorems of Andrianov and Satake. We define Siegel modular forms, the Hecke algebra, the spherical map and the Satake parameters. For a commutative ring R let M m n (R) denote the R-module of m-by-n matrices with coefficients in R. For x M m n (R) let x M n m (R) denote the transpose. Let V n (R) = {x M n n (R) : x = x} be the symmetric n-by-n matrices over R; V n (R) is a euclidean vector space under the inner product x, y = tr(xy). For R R, an element x V n (R) is called positive definite, written x > 0, when v xv > 0 for all v R n \{0}; we denote the set of these by P n (R). The half-integral matrices are X n = {T P n (Q) : v Z n, v T v Z}. Let GL n (R) = {x M n n (R) : det(x) is a unit in R} be the general linear group and SL n (R) = {x GL n (R) : det(x) = } the special linear group. For x GL n (R) let x denote ( the inverse ) transpose. Let I n GL n (R) be the identity 0 In matrix and set J n = SL I n 0 2n (R). The symplectic group is defined by Sp n (R) = {x GL 2n (R) : x J n x = J n }. We write Γ n = Sp n (Z) and for R R define the group of positive R-similitudes by GSp + n (R) = {x M 2n 2n (R) : µ R + : g J n g = µj n }. Each γ GSp + n (R) has a unique µ = µ(γ) = det(γ) /n. Define the Siegel upper half space H n = {Ω V n (C) : IΩ P( n (R)}. ) The group GSp + A B n (R) acts on H n as M Ω = (AΩ+B)(CΩ+D) for M =. For any C D function f : H n C and any k Z we follow Andrianov and let n = n(n + )/2 and define the group action for M GSp + n (R) by (f k M)(Ω) = µ(m) kn n det(cω + D) k f(m Ω ). The complex vector space of Siegel modular forms of degree n and weight k is denoted by Mn k and is defined as the set of holomorphic f : H n C such that f k M = f for all M Γ n and such that for all Y 0 P n (R), f is bounded on {Ω H n : IΩ ( > Y) 0 }. For f Mn k the Siegel Φ-map is defined by (Φf)(Ω) = iλ 0 lim λ + f( ) and the space of cusp forms is defined by S 0 Ω n k = {f Mn k : Φf = 0}. Let e(z) = e 2πiz. By the Koecher principle, an f Sn k has a Fourier expansion f(ω) = a(t ; f)e ( T, Ω ) T X n where the a(t ; f) satisfy a(u T U; f) = det(u) k a(t ; f) for all U GL n (Z). The Petersson inner product f, g = F n det(y ) k n f(z)g(z)dz makes Sn k into an inner product space. Here the integral is over a fundamental domain F n for the action of Γ n on H n and Z = X + iy H n and dz = i j n dx ij dy ij.

LIFTING PUZZLES IN DEGREE 4 5 We now introduce various Hecke rings. For a group Γ contained in a semigroup S, the pair (Γ, S) is called a Hecke pair if, for all s S, Γ\ΓsΓ is finite. The free Q-module on the left cosets Γs with s S is denoted L(Γ, S). A right action of Γ on L(Γ, S) is given by Γs Γsγ for γ Γ and the Γ-invariant subspace is denoted by H(Γ, S). If we identify a double coset ΓsΓ = i Γs i with i Γs i L(Γ, S) then H(Γ, S) is generated by double cosets. The binary operation on H(Γ, S) L(Γ, S) given by ( a i Γs i ) (Γs) = a i Γs i s is well-defined and restricts to make H(Γ, S) an associative ring. We define S n = GSp + n (Q); S n = S n M 2n 2n (Z); H n = H(Γ n, S n ) = the (global) Hecke algebra, Hn = H(Γ n, S n ) = the integral Hecke algebra, S n,p = S n GL 2n (Z[ p ]); H n,p = H(Γ n, S n,p ) = the p-part of H n, S n,p = S n,p M 2n 2n (Z); Hn,p = H(Γ n, S n,p ) = the p-part of Hn. The Hecke algebra is a commutative ring and acts as a ring of endomorphisms on each Mn k via: f k a i Γ n s i = a i f k s i, i i an action that stabilizes S k n. The subalgebra generated by the double cosets Γ n sγ n for s GSp + n (Q) with µ(s) (Q ) 2 is called the even part of the Hecke algebra. Each Hecke operator is self-adjoint with respect to the Petersson inner product and so M k n has a basis of simultaneous eigenforms. We know that H n is generated by p H n,p and that H n,p is generated by H n,p and Γ n (pi 2n ). The p-part of the integral Hecke algebra, Hn,p, is generated by the double cosets, for i n: T (p) = Γ n diag(i n ; pi n )Γ n and T i (p 2 ) = Γ n diag(i n i, pi i ; p 2 I n i, pi i )Γ n. We also define T 0 (p 2 ) = Γ n diag(i n ; p 2 I n )Γ n. It is no small matter to turn these abstract definitions into a programmable action on the Fourier coefficients. The following formulae in [2] are what we require here. Using the notation in section 2, for f(ω) = T X n a(t ; f)e( T, Ω ) S k n, the T th coefficient of f T (p) (respectively, f T i (p 2 )) is given by a(t ; f T (p)) = p r(r 2n+2k ) 2 a( T [UD(r, n r, 0)]; f) p and a(t ; f T i (p 2 )) = 0 r n U G(r,n r,0) 0 r,s n r+s n U G(r,s,n r s) p (2r+s)(k n+r ) r(r ) e(t, U) a( T [UD(r, s, n r s)]; f). p2

6 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN In the above formulas, use the following notation: Define the exponential sum ( ) e(t, U) = e p tr(t [U]diag(0r, M s, 0 n r s )) M mod p rank p(m)=s (n i) where the notation M s indicates that M M s s (Q) and 0 indicates the zero matrix. The summation is only over symmetric M. The representatives of double cosets are found by enumerating the set G(r, s, t) for r + s + t = n, which is the union of the following (extend the notation to let M r,s denote an element of M r s (Q)): { } ( U x 0 ) : U (n ) G(r, s, t ), x = (pa, 0), a,r mod p { ( 0 0 U ) ( x I 0 ) : U n G(r, s, t), x = (0, a, b), a,s mod p, b,t mod p 2} and { ( 0 0 ) ( ) I 0 0 U 0 U 0 0 2 0 x I } : (U n,r, U n,n r 2 ) G(r, s, t), x = (0, a), a,t mod p where it is understood that G(r, s, t) = if any of r, s or t is negative. The only comment we add to these formulae of Breulmann and Kuss is that, in the summation for e(t, U), a zero dimensional matrix of rank 0 must be allowed; that is, we take e(t, U) = when i = n and s = 0. These formulae were used to compute the Hecke eigenvalues in Table from the Fourier coefficients at [8]. By a fundamental result of Satake, the p-part of the integral Hecke algebra is isomorphic to the invariant ring Q[x 0,..., x n ] Wn, where W n is the group generated by the permutations of x,..., x n and by the automorphisms τ i (x 0 ) = x 0 x i, τ i (x i ) = x i, τ j (x i ) = x i for i j. To define this isomorphism, write left cosets from Γ n \S n,p in the form Γ n M with ( ) p δ µ(m) = p δ p and M = δ D B and D = p δ2 0 D 0.... p δn The terms p δ and GL n (Z)D depend only on the left coset Γ n M and the sequence of elementary divisors p δi is determined by GL n (Z)D. Letting n ( ) δi Ω(Γ n M) = x δ xi 0 defines an algebra homomorphism Ω : L(Γ n, S n,p ) Q[x ± 0,..., x± n ] that induces the Satake isomorphism Ω : Hn,p Q[x 0,..., x n ] Wn. The map Ω is a universal object for complex one dimensional representations of H n,p, see page 65 of []. Theorem 2.. Let λ Hom Q (H n,p, C) be a nontrivial homomorphism. There is an α = (α 0, α,..., α n ) C n+ such that the following diagram commutes: H n,p Ω i= Q[x ± 0, x±,..., x± n λ ] Wn p i > x := α > C.

LIFTING PUZZLES IN DEGREE 4 7 In particular, given an eigenform F Sn k of the Hecke algebra H n, we may define a homomorphism λ F : H n C by λ F (T )F = F k T. For each prime p, we have the restriction λ F : H n,p C and the (α 0,p,..., α n,p ) promised in Theorem 2. are called the Satake p-parameters of F and satisfy Ω(T ) x:=α = λ F (T ) for T H n,p. The Satake parameters of F are used in the definition of the L-functions attached to F. In particular, the standard L-function is given by L(F, s, st) = Q p (α p, p s ) where p prime Q p (F, X, st) = Q p (α p, X) = ( X) The spinor L-function is given by where L(F, s, spin) = Q p (F, X, spin) = ( α 0,p X) p prime n n ( α i,p X)( α i= Q p (F, p s, spin) ( n r) r= i < <i r n 3. Computing Euler Factors i,p X). ( α 0,p α i,p... α ir,px). In recent work the first and third authors have computed bases for the spaces of degree 4 Hecke eigenforms in weights up to 6. In what follows, we show how to compute the Hecke eigenvalues of these forms and from this deduce their Satake parameters at the prime 2. In all cases, the standard L-functions factor, suggesting that all the forms in [20] are lifts. All but three of the computed forms we identify as either Ikeda lifts or Miyawaki lifts, leaving us wondering if there are two previously unidentified lifts into genus 4. In what follows, we make use of the following notation. For a polynomial f Q[x 0,..., x n ] we set (σ f)(x 0,..., x n ) = f(σ(x 0 ),..., σ(x n )) and set [f] = σ f. σ W n/stab(f) Also, if b = (b,..., b n ) Z n, by x b we mean the monomial x b xbn n. Similar meaning is implied by α b. Parallel to the generators for H n,p, the ring Q[x 0, x,..., x n ] Wn is generated by x 0 (+x )... (+x n ) and [x 2 0x (,,...,) ], [x 2 0x (2,,...,) ],...,[x 2 0x (2,2,...,2,) ]. Note that, if there are l twos in the superscript (2,..., 2,,..., ), we have [x (2,...,2,,...,) ] = x 2 0x... x n V l (x) where V l (x) = e,...e n {,0, }: e + + e n =l x e xe2 2... xen n. We note that V l (x) is just the lth elementary symmetric polynomial in the variables x i + x i and we set V (x) = (V 0 (x), V (x),..., V n (x)).

8 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN The generators of Hn,p are related to the generators of Q[x 0, x,..., x n ] Wn in the following Theorem [6], see [2] for a more general statement. Theorem 3.. Let n be a positive integer and p a prime. We have Ω(T (p)) = x 0 ( + x )... ( + x n ). Also, there exists an upper triangular matrix K n (p 2 ) M (n+) (n+) (Z[ p ]) with positive coefficients on and above the diagonal such that Ω ( T n (p 2 ),..., T 0 (p 2 ) ) ( ) = [x 2 0x (,,...,) ], [x 2 0x (2,,...,) ],..., [x 2 0x (2,2,...,2,2) ] K n (p 2 ). The key computational point is that, for n 2, the entries of the matrix K n (p 2 ) have been given by Krieg [4]. For n = 4 the Krieg matrix is given by p 0 0 p 6 p 4 p 0 4p 7 p 6 2p 4 p 2 0 0 p 3 p 20 (p 2 )(4p 7 p 6 2p 4 p 2 ) p 20 6p 4 8p 3 +2 p 4 p 3 3p p 8 (+p+p 2 ) (p )(3p 3 p 2 p ) p 6 p 2 p 4 p 2 2(p ) p 3 p p p 0 0 0 p 0 0 0 0 For general n, a Maple program that computes K n (p 2 ) may be found at [9]. Definition 3.. For n Z +, define P n M (n+) (n+) (Z) by: (P n ) ij = 0 if i > j or i + j is odd and by (P n ) ij = ( n+ i (j i)/2) if i + j is even. For example, in n = 4, 0 4 0 6 0 0 3 0 P 4 = 0 0 0 2 0 0 0 0. 0 0 0 0 Theorem 3.2. Let n 2 and k be positive integers and p a prime. Let F M k n be a simultaneous eigenform of Hn,p with Satake p-parameters (α 0,..., α n ). Write the standard Euler p-factor as If we write Q p (x, X) = ( X) 2n j=0 ( )j k j (x)x j with k j (x) = k 2n j (x). k(x) = (k 0 (x), k (x),..., k n (x)), λ F (p 2 ) = λ F ( Tn (p 2 ), T n (p 2 ),..., T 0 (p 2 ) ),. then the following relations give k(α) as a linear function of λ F (p 2 ): k(α) = V (α)p n and λ F (p 2 ) = p nk n V (α)k n (p 2 ). Proof. We first note the effect of the slash normalization upon the Satake parameters. For any modular form F M k n we have F k T n (p 2 ) = F k pγ n = (p 2 ) nk n det(pi n ) k F = p nk 2 n F. Thus the equality λ F (T n (p 2 )) = p nk 2 n is independent of F. Since T n (p 2 ) = pγ n consists of one coset, we may compute Ω(T n (p 2 )) = p n x 2 0x... x n directly

LIFTING PUZZLES IN DEGREE 4 9 from the definition. Therefore, the Satake parameters of an eigenform F satisfy α0α 2... α n = p nk n. In the defining relation of the Krieg matrix, K n (p 2 ), Ω ( T n (p 2 ),..., T 0 (p 2 ) ) ( ) = [x 2 0x (,,...,) ], [x 2 0x (2,,...,) ],..., [x 2 0x (2,2,...,2,2) ] K n (p 2 ), we may substitute the Satake parameters x := α to obtain λ F (p 2 ) = p nk n V (α)k n (p 2 ). The other relation, k(x) = V (x)p n, is combinatorial; for example, when l is even, the coefficient of X l in n i= ( (x i + x i )X + X 2 ) is ( ) ( ) n (l 2) n (l 4) V l (x) + V l 2 (x) + V l 4 (x) +... 2 With these formulae from the Krieg matrix we may compute the Euler 2-factors in Table 2 from the Hecke eigenvalues in Table. As a check on computations, one may use the following relation. Theorem 3.3. For n 2, the following relation holds in H n,p : T (p) 2 = T 0 (p 2 )+(+p)t (p 2 )+(+p)(+p 2 )T 2 (p 2 )+ +(+p)... (+p n )T n (p 2 ). Proof. This is Proposition 5. in Hafner-Walling [7], rewritten in Andrianov s notation. 4. Computing Duke-Imamoḡlu-Ikeda Lifts Let n, k and (n + k)/2 be even. Let φ S k of φ to I n (φ) S n (n+k)/2 be an eigenform. The Ikeda lift is described in [8]. Let ψ S (k+)/2 (Γ 0 (4)) + be a form corresponding to φ under the Shimura correspondence. (In this paper we always normalize ψ so that the leading coefficient of its Fourier expansion is and thereby give meaning to equations like I 4 (φ 6 ) = 68 G 0. This somewhat arbitrary choice aids the reproduction of our results and the debugging of code.) For a fixed T X n, here is how to calculate the Fourier coefficient a(t ; I n (φ)). For each prime p that divides det(2t ), along with the prime 2, calculate the genus symbol G p of T, see [3]. Using the recursion worked out by Katsurada [0], the polynomial F p corresponding to this genus symbol is computed. We refer the reader to [8] or [0] for the definition of the F p polynomial. We thank O. King for giving us his LISP program that computes F p when the genus symbol G p is given as input, compare [3]. Use the rational function F p (x) = x (deg Fp)/2 F p (p (n+)/2 x) with the property that F p (x ) = F p (x). Define ) b p = p (a(p; (k )/2 φ) + a(p; φ) 2 4p k /2 so that we have ( p (k )/2 b p x)( p (k )/2 b p x) = a(p; φ)x + p k x 2. Let c T = F p (b p ). primes p: p det(2t ) or p=2

0 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN Define a function δ : Z \ {0} Z \ {0} by y if y is square free and y mod 4 δ(y) = 4y if y is square free and y mod 4 δ(ȳ) where ȳ is square free and y = l 2 ȳ for some l Z. The Ikeda Fourier coefficient at T is ( ) (k )/4 a(t ; I n (φ)) = a( δ(( ) n/2 det(2t ) det(2t )) ; ψ) c δ(( ) n/2 T. det(2t )) 5. Computing Miyawaki-Ikeda Lifts The Witt maps are given by restriction to the reducible locus, see [22]. Proposition 5.. For i + j = n there are homomorphisms ψij : Sk n S ( ) i k Sk j for Ω 0 ψ ij : H i H j H n defined by ψ ij (Ω, Ω 2 ) =. Furthermore, if n = 2i 0 Ω 2 we have ψii : Sk n Sym ( Si k ) Sk i. The following is essentially due to Ozeki, compare [7]. Proposition 5.2. For all f S k n we have a ( T T 2 ; ψ ijf ) = T X n: π upper i i (T )=T, πlower j j (T )=T2 a(t ; f). The Fourier coefficients of Witt images are typically calculated by the enumeration of T with fixed T and T 2 ; see page 20 of [20] for a specific example. In the next Proposition we use the generators of the ring M 2 = C[E 4, E 6, χ 0, ψ 2 ] given by Igusa. We refer to [20] for the definition of the various eigenforms f i and for the normalization of Fourier coefficients as well. We let root lattices A 4, D 4, etc., stand for any Gram matrix of the corresponding lattice, see [3]. Proposition 5.3. In S 4 4 S 4 2 we have ψ 42I 6 (φ 22 ) = 848 f 9 χ 0 E 4. Here f 9 is the element of a Hecke eigenbasis that is not an Ikeda lift, see [20]. Proof. The space S2 4 is one dimensional, spanned by χ 0 E 4 and determined by the single Fourier coefficient a( 2 A 2). The space S4 4 is three dimensional, spanned by f 9 and two Ikeda lifts I 4 (φ ± 24 ) and determined by the three Fourier coefficients a( 2 D 4), a( 2 A 4) and a( 2 (A A 3 )), see page 24 in [20]. Hence, the element ψ42i 6 (φ 22 ) of S4 4 S2 4 is determined by the first three of the following four Fourier coefficients. The fourth coefficient is redundant but serves as a check. Computing

LIFTING PUZZLES IN DEGREE 4 as in Proposition 5.2 we have a ( 2 D 4 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 D 4 2 A 2; I 6 (φ 22 )) + 72a( 2 D 6; I 6 (φ 22 )) + 92a( 2 E 6; I 6 (φ 22 )) = 2784 + 72(0) + 92() = 3696 = 848(2), a ( 2 A 4 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 A 4 2 A 2; I 6 (φ 22 )) + 20a( 2 D 6; I 6 (φ 22 )) + 240a( 2 E 6; I 6 (φ 22 )) + 30a( 2 A 6; I 6 (φ 22 )) = 8040 + 20(0) + 240() + 30( 88) = 9240 = 848( 5), a ( 2 (A 2 A 2 ) 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 (A 2 A 2 A 2 ); I 6 (φ 22 )) + 432a( 2 D 6; I 6 (φ 22 )) + 252a( 2 E 6; I 6 (φ 22 )) + 26a( 2 A 6; I 6 (φ 22 )) + 24a( 2 D 4 2 A 2; I 6 (φ 22 )) + 36a( 2 A 4 2 A 2; I 6 (φ 22 )) = 28844 + 432(0) + 252() + 26( 88) + 24(2784) + 36( 8040) = 365904 = 848( 98). a ( 2 (A A 3 ) 2 A 2; ψ 42I 6 (φ 22 ) ) = a( 2 (A A 3 A 2 ); I 6 (φ 22 )) + 264a( 2 D 6; I 6 (φ 22 )) + 288a( 2 E 6; I 6 (φ 22 )) + 96a( 2 A 6; I 6 (φ 22 )) + 90a( 2 D 5 2 A ; I 6 (φ 22 )) + 24a( 2 A 5 2 A ; I 6 (φ 22 )) + 6a( 2 A 3 2 A 3; I 6 (φ 22 )) = 5420 + 264(0) + 288() + 96( 88) + 90( 32) + 24(736) + 6(7600) = 5744 = 848(28). The Fourier coefficients a( ; I 6 (φ 22 )) are computed according to section 4. Since a( 2 D 4; f 9 ) = 2, a( 2 A 4; f 9 ) = 5, a( 2 (A 2 A 2 ); f 9 ) = 98 and a( 2 (A A 3 ); f 9 ) = 28, see Table 2 on page 28 of [20], and a( 2 A 2; χ 0 E 4 ) = we have the result. Corollary 5.4. The eigenform f 9 S 4 4 is a Miyawaki lift, namely M 4 (φ 22, χ 0 E 4 ) = 848 χ 0 E 4, χ 0 E 4 f 9. Proof. By definition, we have M 4 (φ 22, χ 0 E 4 ) = ψ42i 6 (φ 22 ), (χ 0 E 4 ) c. Since χ 0 E 4 has Fourier coefficients in Q, a totally real field, we have (χ 0 E 4 ) c = χ 0 E 4. By Proposition 5.3, we conclude ψ42i 6 (φ 22 ), (χ 0 E 4 ) c = 848 f 9 χ 0 E 4, χ 0 E 4 = 848 χ 0 E 4, χ 0 E 4 f 9. A similar but more involved computation gives the following Proposition and Corollary. Since S2 6 is two dimensional, we expect to get two Miyawaki lifts from the Ikeda lift I 6 (φ 26 ) S 6 6. Proposition 5.5. Let ω ± = 48(64368 ± 24γ)/200620543 for γ = 5349. In S4 6 S2 6 we have ψ 42I 6 (φ 26 ) = ω h 5 I 2 (φ + 30 ) + ω+ h 6 I 2 (φ 30 ). Corollary 5.6. The eigenforms h 5, h 6 S 6 4 are Miyawaki lifts, M 4 (φ 26, I 2 (φ + 30 )) = ω I 2 (φ + 30 ), I 2(φ + 30 ) h 5 and M 4 (φ 26, I 2 (φ 30 )) = ω+ I 2 (φ 30 ), I 2(φ 30 ) h 6.

2 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN 6. Final Remarks Hecke eigenbases of S k 4 for even k 6 were given in [20]. For odd k 6, the S k 4 are trivial, see [4] for some of these results. We survey these standard L-functions in degree 4. The Schottky form J 8 spans S 8 4 and I 4 (J 8 ) = 20 J 8 so that L(J 8, s, st) = ζ(s)l( 2, s + 4)L( 2, s + 5)L( 2, s + 6)L( 2, s + 7). The form G 0 spans S 0 4 and I 4 (φ 6 ) = 68 G 0 so that L(G 0, s, st) = ζ(s)l(φ 6, s + 6)L(φ 6, s + 7)L(φ 6, s + 8)L(φ 6, s + 9). The space S 2 4 = Cf 5 + Cf 6 has M 4 (φ 8, I 2 (φ 22 ))/ I 2 (φ 22 ), I 2 (φ 22 ) = 44f 6 and I 4 (φ 20 ) = 360 f 5. As given by Ikeda [9]: L(f 5, s, st) = ζ(s)l(φ 20, s + 8)L(φ 20, s + 9)L(φ 20, s + 0)L(φ 20, s + ), L(f 6, s, st) = ζ(s)l(φ 8, s + 8)L(φ 8, s + 9)L(φ 22, s + 0)L(φ 22, s + ). The space S 4 4 = Cf 7 +Cf 8 +Cf 9 has M 4 (φ 22, I 2 (φ 26 ))/ I 2 (φ 26 ), I 2 (φ 26 ) = 848 f 9, and the two Ikeda lifts I 4 (φ + 24 ) = 2 f 7 and I 4 (φ 24 ) = 2 f 8. L(f 7, s, st) = ζ(s)l(φ + 24, s + 0)L(φ+ 24, s + )L(φ+ 24, s + 2)L(φ+ 24, s + 3), L(f 8, s, st) = ζ(s)l(φ 24, s + 0)L(φ 24, s + )L(φ 24, s + 2)L(φ 24, s + 3), L(f 9, s, st) = ζ(s)l(φ 22, s + 0)L(φ 22, s + )L(φ 26, s + 2)L(φ 26, s + 3). The L-functions for weight 6, in so far as they are known, were given in the Introduction. Recall that the Euler 2-factor of h 3 is given by ( ( X)Q 2 (φ + 28, 2 4 X)Q 2 (φ + 28, 2 5 X) + 9 52 X + 60 2048 X2 + 9 ) 52 X3 + X 4. In the hope of eventually locating this quartic among Euler factors of lower degree, we also give the spinor Euler factor. If ( X) ( + 9 52 X + 60 2048 X2 + 9 52 X3 + X 4) were the standard Euler 2-factor of a degree 2 eigenform of weight k, then the spinor Euler 2-factor would be ± 2 k 7 3 5 2 X + 2 2k 2 5 7 29X 2 ± 2 3k 0 3 5 2 X 3 + 2 4k 6 X 4 = ( ± 2 k 8 3(5 2 ± 64)X + 2 2k 3 X 2) ( ± 2 k 8 3(5 2 64)X + 2 2k 3 X 2). Finally, Katsurada has shown that Ikeda lifts have non-ikeda lifts as congruence neighbors when numerators of certain normalized values of L-functions are divisible by large primes. In our examples, we may verify the following: Let O be the ring of integers of Q(β). The eigenvalues of the Ikeda lift h and the non-ikeda lift h 3 have differences λ h3 (T ) λ h (T ) 3O a 5 O a 7 O for T = T (2), T 0 (4), T (4), T 2 (4) and T 3 (4), where a 5 of norm 5 and a 7 of norm 7 are given, respectively, by 3564298803456535592587053300069493808926029956699385627352927 3539558839942 + 2643805826703580546969364055490036663884028934 590777038097677990295859902β and 327059457257720436944007343 40267987768965840379 98807223353400758624853083433750876 + 24237267926 469934357539093294393752468059642483689375023944292867546567374 50869β. We thank H. Katsurada for bringing his work [2] to our attention.

LIFTING PUZZLES IN DEGREE 4 3 Table. Hecke eigenvalues for all 7 eigenforms in S 6 4 as given in [20] where β = 8209 and γ = 5349. T (2) 2960(67989 + 443β) h T 0 (4) 276480(22407696359 + 2858223465β) T (4) 353894400(3255937 + 7494543β) T 2 (4) 42278584320( 232945 + 80β) 3 T (4) 55396075520( 523 + 27β) T (2) 2960( 67989 + 443β) T 0 (4) 276480( 22407696359 + 2858223465β) h 2 T (4) 353894400( 3255937 + 7494543β) T 2 (4) 42278584320(232945 + 80β) T 3 (4) 55396075520(523 + 27β) T (2) 230400(703 + 9β) T 0 (4) 2835520(3556625 + 644607β) h 3 T (4) 69869320(274923 + 6782β) T 2 (4) 43486543872(83579 + 533β) T 3 (4) 20658430208(22 + 27β) T (2) 230400( 703 + 9β) T 0 (4) 2835520( 3556625 + 644607β) h 4 T (4) 69869320( 274923 + 6782β) T 2 (4) 43486543872( 83579 + 533β) T 3 (4) 20658430208( 22 + 27β) T (2) 75040(557 + γ) T 0 (4) 70778880(33260505 + 348363γ) h 5 T (4) 89393280(2397057 + 974γ) T 2 (4) 38654705664(37997 + 529γ) T 3 (4) 824633720832(449 + 3γ) T (2) 75040( 557 + γ) T 0 (4) 70778880( 33260505 + 348363γ) h 6 T (4) 89393280( 2397057 + 974γ) T 2 (4) 38654705664( 37997 + 529γ) T 3 (4) 824633720832( 449 + 3γ) T (2) 230400000 T 0 (4) 63388307274080 h 7 T (4) -295328285900800 T 2 (4) -78299870525440 T 3 (4) 399947354603520 References. A.N. Andrianov, Quadratic Forms and Hecke Operators, Grundlehren Math. Wiss., vol. 286, Springer-Verlag, 987. 2. S. Breulmann and M. Kuss, On a conjecture of Duke-Imamoḡlu, Proc. Amer. Math. Soc. 28 (2000), no. 6, 595 604.

4 CRIS POOR, NATHAN C. RYAN, AND DAVID S. YUEN Table 2. Euler 2-factors Q 2 (h i, X, st)/( X) for the eigenforms h i in Table, where β = 8209 and γ = 5349. 2 46 ( 024 + ( 035 + 27β)x 892x 2 ) h ( 2048 + ( 035 + 27β)x 4096x 2 ) ( 4096 + ( 035 + 27β)x 2048x 2 ) ( 892 + ( 035 + 27β)x 024x 2 ) 2 46 (024 + (035 + 27β)x + 892x 2 ) h (2048 + (035 + 27β)x + 4096x 2 ) 2 (4096 + (035 + 27β)x + 2048x 2 ) (892 + (035 + 27β)x + 024x 2 ) 2 34 ( 2048 + ( 035 + 27β)x 4096x 2 ) h 3 ( 4096 + ( 035 + 27β)x 2048 2 ) (2048 + 36x + 60x 2 + 36x 3 + 2048x 4 ) 2 34 (2048 + (035 + 27β)x + 4096x 2 ) h 4 (4096 + (035 + 27β)x + 2048 2 ) (2048 + 36x + 60x 2 + 36x 3 + 2048x 4 ) 2 36 ( 52 + (35 + 3γ)x 024x 2 ) h ( 024 + (35 + 3γ)x 52x 2 ) 5 (52 + 3x + 256x 2 ) (256 + 3x + 52x 2 ) 2 36 (52 + ( 35 + 3γ)x + 024x 2 ) h (024 + ( 35 + 3γ)x + 52x 2 ) 6 (52 + 3x + 256x 2 ) (256 + 3x + 52x 2 ) 2 28 (32768 5280x 20755x 2 2640x 3 + 892x 4 ) h 7 (892 2640x 20755x 2 5280x 3 + 32768x 4 ) 3. J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, third ed., Grundlehren Math. Wiss., vol. 290, Springer-Verlag, New York, 999, With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 4. W. Duke and Ö. Imamoḡlu, Siegel modular forms of small weight, Math. Ann. 30 (998), no., 73 82. 5. M. Eichler and D. Zagier, The Theory of Jacobi Forms, Progress in Mathematics, vol. 55, Birkhäuser, 985. 6. E. Freitag, Siegelsche Modulfunktionen, Grundlehren Math. Wiss., vol. 254, Springer-Verlag, Berlin, 983. 7. J. L. Hafner and L. H. Walling, Explicit action of Hecke operators on Siegel modular forms, J. Number Theory 93 (2002), no., 34 57. 8. T. Ikeda, On the lifting of elliptic cusp forms to Siegel cusp forms of degree 2n, Ann. of Math. (2) 54 (200), no. 3, 64 68. 9. T. Ikeda, Pullback of the lifting of elliptic cusp forms and Miyawaki s conjecture, Duke Math J 3 (2006), no. 3, 469 497. 0. H. Katsurada, An explicit formula for Siegel series, Amer. J. Math. 2 (999), no. 2, 45 452.

LIFTING PUZZLES IN DEGREE 4 5. H. Katsurada and H. Kawamura, On Ikeda s conjecture on the Period of the Ikeda lift, (preprint). 2., On Ikeda s conjecture on the Period of the Ikeda lift and its application, RIMS Kokyuroku Bessatsu (RIMS Lecture Notes, Extra Volume) (2008), 22. 3. O. D. King, A mass formula for unimodular lattices with no roots, Math. Comp. 72 (2003), no. 242, 839 863. 4. A. Krieg, Das Vertauschungsgesetz zwischen Hecke-Operatoren und dem Siegelschen φ- Operator, Arch. Math. (Basel) 46 (986), no. 4, 323 329. 5. N. Kurokawa, Examples of eigenvalues of Hecke operators on Siegel cusp forms of degree two, Invent. Math. 49 (978), no. 2, 49 65. 6. I. Miyawaki, Numerical examples of Siegel cusp forms of degree 3 and their zeta-functions, Mem. Fac. Sci. Kyushu Univ. Ser. A 46 (992), no. 2, 307 339. 7. M. Ozeki, On a property of Siegel theta-series, Math. Ann. 228 (977), no. 3, 249 258. 8. C. Poor and D. S. Yuen, Authors website, math.lfc.edu/ yuen/comp. 9., Authors website, math.lfc.edu/ yuen/puzzles. 20., Computations of spaces of Siegel modular cusp forms, J. Math. Soc. Japan 59 (2007), no., 85 222. 2. N. C. Ryan and T. R. Shemanske, Inverting the Satake isomorphism for Sp n with Applications to Hecke operators, Ramanujan J. (to appear). 22. E. Witt, Eine Identität zwischen Modulformen zweiten Grades, Abh. Math. Sem. Hansischen Univ. 4 (94), 323 337. Department of Mathematics, Fordham University, Bronx, NY 0458-565 E-mail address: poor@fordham.edu Department of Mathematics, Bucknell University, Lewisburg, PA 7837 E-mail address: nathan.ryan@bucknell.edu Department of Mathematics and Computer Science, Lake Forest College, 555 N. Sheridan Rd., Lake Forest, IL 60045 E-mail address: yuen@lakeforest.edu