All modular forms of weight 2 can be expressed by Eisenstein series

We show that every elliptic modular form of integral weight greater than $1$ can be expressed as linear combinations of products of at most two cusp expansions of Eisenstein series. This removes the obstruction of nonvanishing central $\mathrm{L}$-values present in all previous work. For weights greater than $2$, we refine our result further, showing that linear combinations of products of exactly two cusp expansions of Eisenstein series suffice.

integer, can be formulated as follows: span C f ∈ M new 2 (Γ 0 (N )) : L( f , 1) = 0 ⊆ E 2 (N ) ∞ + E 1 (N ) ∞ · E 1 (N ) ∞ . (0.1) The main theorem of the present paper improves significantly on the second statement and drops completely the condition on N . It also provides a variant of the first statement by suppressing the sum over weights l , again without any condition on N . One novel aspect of our main theorem is that we can omit Eisenstein series E k+l (N ) from the right hand side of Equation (0.3), which holds for k +l ≥ 3. Another one is that both k and l are fixed in Theorem I. (2) Besides the case of principal congruence subgroups, Theorem 3.4 and Theorem 4.2 also cover the cases of modular forms for Γ 1 (N ), for Γ 0 (N ), and for Dirichlet characters χ, and, most generally, of vector-valued modular forms.
(3) Theorem 3.4 and Theorem 4.2 contain precise statements about which subspaces of the right hand sides of (0.2) and (0.3) equal which modular forms. For example, the space M k (χ) of modular forms for a Dirichlet character χ modulo N equals the following space of Γ 0 (N )-invariants: where χ stands for the Γ 0 (N ) right representation a b c d → χ(d ) and Γ 0 (N ) acts on the spaces E k+l (N ), E k (N 0 ), and E l (N 0 ) from the right via the usual slash actions | k+l , | k , and | l .
(4) An explicit bound for N 0 in the case of k + l = 2 could be obtained from an effective bound on gaps in the Fourier expansion of weight 3 2 modular forms. (5) Computer experiments for small N suggest that the second part of Theorem I also holds true if k + l = 2.
The first named author suggested in [22] that expressions for modular forms in terms of Eisenstein series can be employed to compute cusp expansions of modular forms of levels that are not squarefree. Observe that algorithms rooted in modular symbols, which currently are the primary methods to compute elliptic modular forms, only reveal Fourier expansions at cusps mapped to ∞ by Atkin-Lehner involutions. If the level is not square-free this is a proper subset of cusps. Cohen has implemented this idea in Pari/GP [1,9]. He built up on the results of Borisov-Gunnells, who restricted themselves to weights greater than 2. Theorem I in this paper allows us to perform a similar computation of Fourier expansions of weight 2 modular forms. More precisely, since the action of SL 2 (Z) on the right hand side of (0.2) and (0.3) is known explicitly, Theorem I yields a possibility to determine Fourier expansions of modular forms at all cusps. Tobias Magnusson and the first named author are preparing an implementation of this.
We now explain the three key differences of the present paper compared to previous work [4-6, 11, 16, 17]. The first key difference is the appearance of E k (N ) as opposed to E k (N ) ∞ . A less general version of this was already used in [22]. Indeed, the vector-valued Hecke operator T M in [22] produces from the Eisenstein series E k of level 1 the expansions at all cusps of the associated oldform E k (M · ). The space spanned by the cusp expansion of a modular form at infinity, in general, does not carry an action of SL 2 (Z), but the space spanned by cusp expansions at all cusps does. Passing from E k (N ) ∞ to E k (N ) allows us to employ representation theoretic machinery and the theory of vector-valued Hecke operators developed in [22].
The second key difference is that both k and l are fixed in Theorem I, while l must run in (0.1). This directly impacts the strategy of proof, since the varying weight l gives access to almost the complete period polynomial as opposed to a single special L-value. In the case of weight 2 modular forms, however, the approach of [17,20] merely reveals parts of the period polynomial, excluding the central L-value. Given a modular form, the vanishing of its central L-value is not strong enough to imply the vanishing of the modular form. Among the innovations of [22] was to fix the weights of Eisenstein series, but vary their levels. This yields a relation to the nonvanishing problem for families of special L-values, which can also be solved for weight 2 modular forms.
The third key difference is that the right hand side of (0.3) displays only products of two Eisenstein series, omitting the additional space of weight (k + l ) Eisenstein series. This yields a statement about the constant terms of products of Eisenstein series. If k and l are greater than 2, it can be derived without difficulties by multiplying suitable Eisenstein series of level N . The cases of k ≤ 2 or l ≤ 2, however, require a more detailed analysis. We are leaving one open end in this context. The case of k = l = 1 hinges on a precise understanding of tensor products of certain Weil representations, which we were not able to obtain here.
The proof of (0.2) in Theorem 3.4 extends ideas in [22]. In particular, we have refined the argument at some places in order to obtain the explicit bound N 0 for the level of Eisenstein series that appears on the right hand side of (0.2). Our approach is based on a combination of the theory of vector-valued Hecke operators [22] and the Rankin-Selberg method [17,20].
The proof of (0.3) in Theorem 4.2 builds up on the statement of Theorem 3.4. The methods that we employ are quite different, however. Specifically, we examine the spaces E k (N ), E l (N ), and E k+l (N ) as SL 2 (Z)-representations. Their subspaces of vectors fixed by the action of T = 1 1 0 1 are related to the spaces spanned by constant terms of Eisenstein series. Then Theorem 4.2 follows from an argument from representation theory.

Preliminaries
We write H for the Poincaré upper half plane, which carries an action of SL 2 (R) by Möbius transformations. We fix the notation T = 1 1 0 1 ∈ SL 2 (R) for the transformation acting on H as a translation by 1. We write Γ + ∞ ⊂ SL 2 (Z) for the subgroup generated by T .

Arithmetic types
An arithmetic type is a finite dimensional, complex representation of SL 2 (Z). The representation space of an arithmetic type ρ is denoted by V (ρ). We call an arithmetic type a congruence type if its kernel is a congruence subgroup. The level of a congruence type is the level of its kernel. We record that all congruence types are unitarizable. The trivial, one-dimensional, complex representation of a subgroup Γ ⊆ SL 2 (Z) will be denoted by 1 Γ . Usually, Γ is clear from the context and we abbreviate 1 Γ by 1.
The induction of arithmetic types is explained in detail in [22] using a choice of representatives. We set Recall from, for example, [8] that where χ runs through Dirichlet characters mod N considered as representations of Γ 0 (N ) via the assignment a b c d → χ(d ). We write ρ χ for its induction to SL 2 (Z). Observe that by Frobenius reciprocity, we have which is one-dimensional. In particular, ρ × N contains a unique copy of the trivial representation. We write for its orthogonal complement. For this purpose, we choose any unitary structure of the representation ρ, since the result is independent of it.
We say that an arithmetic type ρ has T -fixed vectors, if there is a nonzero vector v ∈ V (ρ) such that ρ(T )v = v. The subrepresentation of ρ on which −1 0 0 −1 in the center of SL 2 (Z) acts by ±1 is denoted by ρ ± . Write ρ T for the space of Γ + ∞ -invariants in V (ρ). The intersection of ρ T with ρ ± is denoted by ρ T ± . We let par(k) = ± be the parity of k, so that ρ par(k) denotes the subrepresentation of ρ on which −1 0 0 −1 acts by (−1) k .

Modular forms
The classical slash actions for k ∈ Z, The subspace S k (Γ) of cusp forms is defined as the space of modular forms that satisfy the stronger second condition Similarly, the spaces of vector-valued modular forms M k (ρ) and cusp forms S k (ρ) for an arithmetic type ρ are defined as the spaces of holomorphic functions f : If Γ is a congruence subgroup, we write S old k (Γ) ⊆ S k (Γ) for the space of oldforms and S new k (Γ) ⊆ S k (Γ) for the set of (normalized) newforms.
There are natural bases for ρ × N , ρ χ , and their dual representations that are indexed by (a choice of representatives for) the cosets Γ 1 (N )\SL 2 (Z) and Γ 0 (N )\SL 2 (Z). Specifically, the representation spaces of ρ × N and ρ χ are Given a modular form for any of these types, we refer to the component associated with the trivial coset as the component at infinity.
The vector-valued Hecke operators T M including their basic properties were introduced in [22]. Given a representation ρ, they yield a representation on the vector space We will give more precise references to the properties of vector-valued Hecke operators when we employ them. At some point in the proof of Theorem 3.4, we will use T M to denote the classical Hecke operator, but otherwise it is the vector-valued one. As a Sturm bound for modular forms in M k (χ), where χ is a Dirichlet character modulo N , we use

Congruence types and their modular forms
We start this section with a characterization of congruence types that are generated by their T -fixed vectors.

Lemma 2.1. Let ρ be an irreducible congruence type of level N and assume that ρ has T -fixed vectors. Then there is an embedding
Proof. This is a straightforward application of Frobenius reciprocity. Observe that T ∈ SL 2 (Z) generates Γ + ∞ and that Γ 1 (N ) is generated by Γ + ∞ and Γ(N ) ⊆ ker(ρ). The assumption that ρ be generated by its T -fixed vectors can thus be rephrased as Since Ind Γ 1 (N ) 1 is unitarizable, this implies that ρ occurs among its direct summands.
The next lemma later allows us to focus on congruence types that are generated by their T -fixed vectors, so that we can invoke Lemma 2.1.

Lemma 2.2. Let ρ be a congruence type of level N . Then, for every positive integer M that is divisible by N , there is a subrepresentation ρ ⊆ T M ρ that is generated by its T -fixed vectors and that satisfies
Proof. Since vector-valued Hecke operators intertwine with direct sums of arithmetic types, we can and will assume that ρ is irreducible. By the assumptions N | M , and therefore for any v ∈ V (ρ), we have the invariance In particular, T M ρ contains nonzero T -fixed vectors.
We record that there is an injection ρ → T M (T M ρ) by Proposition 2.10 of [22]. Consider an arbitrary irreducible subrepresentation ρ of T M ρ. Since T M ρ is unitarizable by Lemma 2.4 of [22], we conclude that ρ is also a quotient of T M ρ. Specifically, there is a surjective homomorphism φ : T M ρ ρ . We will need the concrete shape of φ. Given m ∈ ∆ M , where ∆ M is as in Section 2.1 of [22], there is a linear We claim that ρ ⊆ T M ρ . For a proof, we consider the following composition of homomorphisms, where the first and second one arise from Proposition 2.10 and Proposition 2.5 of [22]: We have to demonstrate that this composition is not zero. To this end, we let which does not vanish for all v, since φ m is nonzero for some m.
To finish the proof, it suffices to choose some irreducible ρ ⊆ T M ρ that contains a nonzero T -fixed vector. Since ρ is irreducible, it is generated by this vector.

Passing from vector-valued to classical modular forms
There is a connection between vectorvalued modular forms and classical modular forms via induction. For instance, M k (χ) for a Dirichlet character χ to M k (ρ χ ) are related to each other by Proposition 1.5 of [22]. The present section likewise connects Theorem I to Theorems 3.4 and 4.2.
Throughout, we fix an integer k. Given a Dirichlet character χ, recall the map [22] and Proposition 1.5 of [22], asserting that Ind is an isomorphism. The argument extends to the map for any finite index subgroup Γ ⊆ SL 2 (Z).
Let F be a finite dimensional space of functions on H on which SL 2 (Z) acts by the slash action of weight k. Then the induction map yields isomorphisms where χ and Γ are as before. Their inverse maps are the projections to the component at infinity. The proof is analogous to the one of Proposition 1.5 of [22].

Components of Eisenstein series
Given an integer k and an arithmetic type ρ, we write for the components of Eisenstein series of weight k and type ρ. There is an action of SL 2 (Z) on E k (ρ) via its action on V (ρ) ∨ . We infer from (2.2) that E k (N ) := E k (ρ × N ). The next lemma is a variation of Proposition 3.4 of [22].
Proof. Given any pair of integers (c , d ) and any nonnegative integers α, β, δ with αδ = M , we see that, for all s ∈ C satisfying k + 2Re(s) > 2, If k = 2 the right hand side is analytic at s = 0 and yields a linear combination of holomorphic Eisenstein series G k,M N ,c ,d (τ). We thus obtain the statement directly. In the case of k = 2, a linear combination of the G 2,N ,c ,d (τ, 0) lies in E 2 (N ) if and only if its image under the ξ 2 -operator of [7] vanishes. Since the ξ-operator intertwines with the action of SL 2 (R), this finishes the proof.

Cusp forms
The first lemma of this section is a variant of, for instance, Propositions 3.7 and 4.1 in [22] or Corollary 4.2 in [11]. It relates products of Eisenstein series to special values of L-functions, generalizing results by Rankin [20] and various other authors. We omit the proof, which is mutatis mutandis the one of Corollary 4.2 of [11].
such that for every f ∈ S k+l (χ), we have for a nonzero constant c. Here f c (τ) := f (−τ) denotes the modular form whose Fourier coefficients are the complex conjugate of those of f .
While Lemma 3.1 accounts solely for the analytic machinery required for the proof of Theorem 3.4, we split the representation theoretic instrumentation into several separate statements. We will employ the next lemma to discard the space of oldforms from our considerations, so that we can focus on the span of newforms.  N )) an oldform. Assume that there is a modular form g of level N such that f (τ) = g (M τ). Then we have Proof. By Proposition 1.5 of [22], we have Ind(g ) ∈ M k (ρ × N ). Now the lemma is a special case of Proposition 2.17 of [22].
A key difference between [22] and [11] is that the latter employs the products of Eisenstein series of varying weight, while the weight of Eisenstein series is fixed in [22] and the level of Eisenstein series varies. We follow [22] in this paper. The argument in [11] builds up on the vanishing of (twisted) period polynomials, which is a strategy that goes back to [17,20]. This reasoning was replaced in [22] by an inspection of twists of one special L-value, whose simultaneous vanishing can be controlled by means of results by Waldspurger and Kohnen-Zagier [17,21]. If k + l = 2, we need a result of Ono and Skinner [19], which builds up on these and work of Friedberg-Hoffstein [12]. The following lemma provides the required relation between vector-valued Hecke operators and twists of modular forms, which yield twisted L-values.
Proof. This is a special case of Proposition 2.19 of [22]. Specifically, the map φ arises from π twist in that proposition after decomposing ρ × N and ρ × M 2 N as in (1.1).

Theorem 3.4. Let k, l ≥ 1 and ρ be a congruence type of level N . Then we have
for N 0 chosen as follows in terms of the Sturm bound in (1.4), if ρ is generated by its T -fixed vectors: 16N )), if k = l , k odd; For general ρ, the above bounds for N 0 are multiplied by an additional factor N : , N ), if k = l , k even; 16N )), if k = l , k odd; If k = l = 1, there exists some N 0 such that (3.2) holds. Proof. Suppose that the statement holds for all ρ that are generated by their T -fixed vectors. Then the general case follows by applying Lemma 2.2 in conjunction with Lemma 2.3 in this paper and Theorem 2.8 of [22]. In particular, we can and will assume that ρ is generated by its T -fixed vectors. Specifically, it suffices to treat all subrepresentations of ρ × where χ runs through all Dirichlet characters mod N . For this reason, we can further restrict to the subrepresentations of ρ χ = Ind Γ 0 (N ) χ, where χ is an arbitrary Dirichlet characters mod N .
Using induction on N , we can use Lemma 3.2 to obtain the inclusion Hence we can and will restrict to newforms in the remainder of the proof. Consider the subset (as opposed to subspace) S new k+l (χ) ⊆ S k+l (χ) of newforms. Since the right hand side is a vector space, the statement of the theorem follows, if we show that We next inspect the Petersson scalar products of newforms for the Dirichlet character χ and the component at infinite g ∞ of elements g of (E k (N ) ⊗ E l (N ) ⊗ ρ) SL 2 (Z) for some positive integer N . By the isomorphisms (2.3), this is equivalent to choosing a classical modular forms g ∞ ∈ (E k (N ) ⊗ E l (N )⊗χ) Γ 0 (N ) . Consider an arbitrary newform f ∈ S new k+l (χ) and assume that 〈g ∞ , f 〉 = 0 for some g ∞ ∈ (E k (N ) ⊗ E l (N ) ⊗ χ) Γ 0 (N ) . Decomposing g ∞ as a sum of Hecke eigenforms, we find that there is a linear combination c(M )T M , M running through a suitable range of positive integers, of classical Hecke operators T M such that By virtue of the Sturm bound for modular forms of weight k + l and level N , we can further assume that c(M ) = 0 if M is larger than B (k + l , N ) in (1.4) We summarize that, given a positive integer N divisible by N such that there is

Proposition 2.5 of [22] and Lemma 2.3 imply the inclusion
To finish the proof, we have to show the existence of g ∞ for N suitable to match the statement of Theorem 3.4. By symmetry of the assertion in k and l , we can and will assume that l ≥ k. We next utilize Lemma 3.1. Observe that the complex conjugate f c that appears in Lemma 3.1 lies in S k+l (χ). The special L-values L( f c , s) and L( f c ⊗ ψ, s) do not vanish if s > 1 + (k + l )/2, since they can be expressed in terms of a convergent Euler product. If s = 1 + (k + l )/2, they lie on the abscissa of convergence of L( f c , s) and L( f c ⊗ ψ, s), respectively. We deduce that they do not vanish from Lemma 5.9 of [15] in combination with Deligne's assertion of the Ramanujan Conjecture for holomorphic elliptic modular forms [10].
If l ≥ k + 1, then both L( f c , k + l − 1) and L( f c ⊗ ψ, l ) in Lemma 3.1 do not vanish by our observations in the preceding paragraph. If k is even, we can choose the trivial Dirichlet character for ψ. If k is odd, we can choose an odd Dirichlet character of modulus 16 and regard f as a modular form of level 16N . As a result, we obtain the desired element It remains to treat the setting of k = l , in which case L( f c ⊗ ψ, l ), and if k = l = 1 also L( f c , k + l − 1), in Lemma 3.1 are central L-values. By Waldspurger and Kohnen-Zagier [17,21], there is a nonzero modular form of weight k + 1/2 whose |D|-th Fourier coefficient, for a fundamental discriminant D < 0, is a nonzero multiple of L( f c ⊗ D , l ) 1/2 , where D is the Kronecker character associated with D. The Sturm bound for half-integral weight modular forms implies that L( f c ⊗ D , l ) 1/2 = 0 for some D < B (k + 1 2 , N ). Consider the case of k = l ≥ 2 and fix some D as in the previous paragraph. As k + l − 1 ≥ 1 + (k + l )/2, we have verified that both L( f c , k + l − 1) and L( f c ⊗ D ψ, k + l − 1) do not vanish. Our choice of D guarantees that L( f c ⊗ D , l ) = 0 and therefore L( f c ⊗ D ψ 2 , l ) = 0. We can apply Lemma 3.1 with f f ⊗ D ψ for a suitable Dirichlet character ψ mod 16. This yields an element g D ∞ of E k ((16D) 2 N ) ⊗ E l ((16D) 2 N ) such that 〈g D ∞ , f ⊗ D ψ〉 = 0. By the following computation, we can choose Indeed, using the maps π twist and ι twist from Proposition 2.19 of [22] in conjunction with π adj from Proposition 2.10 of [22], we find the relation We are left with the case k = l = 1. By Corollary 3 of Ono-Skinner [19], strengthening results of Waldspurger and Kohnen-Zagier, there are infinitely many fundamental discriminants D < 0 co-prime to the level N of f such that L( f c ⊗ D , 1) = 0. We fix one such D. Inspecting its Fourier expansion, we find that f ⊗ D coincides with a newform of level at most N D 2 . This allows us to apply Ono-Skinner [19] a second time, and find another fundamental discriminant D < 0 such that L( f c ⊗ D ⊗ D , 1) = 0. Since D (−1) = −1 = (−1) k , we can set ψ = D and invoke Lemma 3.1 with f f ⊗ D ψ. The calculation in (3.5) extends, showing that there is g ∞ ∈ E k ((DD ) 2 N )⊗E l ((DD ) 2 N ) such that 〈g ∞ , f 〉 = 0. This concludes the proof.

Eisenstein series
In preparation for the proof of this section's main theorem, we determine the space of cusp expansions of Eisenstein series.
Proof. The condition ρ = ρ par(k) ensures that the center of SL 2 (Z) acts trivially via the slash action | k,ρ . Consider the case k > 2. Since ρ is unitarizable, the associated vector-valued Eisenstein series of weight k > 2 converge absolutely and locally uniformly. We obtain a nonzero map (4.1) If k = 2, the usual procedure of analytic continuation yields a real-analytic Eisenstein series E 2,ρ,v whose image under the ξ 2 -operator of [7] is modular of arithmetic type ρ. In particular, if ρ = 1, then ξ 2 annihilates E 2,ρ,v . In other words, E 2,ρ,v is holomorphic, and we obtain a nonzero map as in (4.1).
In the case of k = 1, the nonvanishing of E 1 (N ) follows from a standard computation following Section 6 of [18].
Complementing Theorem 3.4, which deals with cusp forms that are expressed as products of Eisenstein series, the next theorem is concerned with Eisenstein series. We achieve complete results except if k = l = 1 (see Remark 4.3).
for N 1 co-prime to N chosen such that N 1 ≥ 1, if k > 2 and l even; Proof. Given a space F of possibly vector-valued functions that are representable as Puiseux series, e.g., F = E k (N ) or F = E k (ρ), denote by c(F , 0) the space of its constant coefficients. We will show that c E k+l (ρ), 0 = c E k (lcm(N 0 , N N 1 )) ⊗ E l (lcm(N 0 , N 1 )) ⊗ ρ SL 2 (Z) , 0 ⊆ V (ρ). Suppose that (4.3) is true, and let f ∈ E k+l (ρ). Then there exists an element such that the constant term of f − g vanishes. In other words, the difference f − g is a cusp form. Therefore, by Theorem 3.4 and our choice of N 0 , we can conclude that f is contained in the right hand side of (4.2). Thus we finish the proof once we have established (4.3).
Observe that we have so that it follows in a straightforward way that the right hand side of (4.3) is contained in the left hand side. It remains to show that its left hand side is contained in the right hand side. Equality (4.3) follows if it holds for all irreducibe ρ. If ρ has no T -fixed vectors, the space of Eisenstein series E k+l (ρ) is zero by definition, and for this reason (4.3) holds. If ρ is irreducible and has T -fixed vectors, then it embeds into ρ × N by Lemma 2.1. We conclude that for the remainder of the proof, we may assume that ρ = ρ × N . Given positive integers N | N , we have E k (N ) ⊆ E k (N ) and E l (N ) ⊆ E l (N ). To establish (4.3), it therefore suffices to show that Since Eisenstein series of weight k + l > 2 converge absolutely, we can obtain every T -fixed vector as a constant term of an Eisenstein series. This implies that In the case of weight 2, we can employ the same argument as in the proof of Lemma 4.1 to find that Since N and N 1 are co-prime by assumption, we can decompose ρ × N N 1 as the tensor product ρ × N ⊗ ρ × N 1 . Decomposing further by the action of the center of SL 2 (Z), we obtain the embedding In order to accommodate the case of k = 2 and even l , we refine (4.7) as Any irreducible constituent of the left hand side of (4.7) and (4.8) is a tensor product of irreducible constituents of the tensor factors, since N and N 1 are co-prime. Vice versa, we infer from (4.5) and (4.6) that the tensor product of irreducible constituents of the left hand side of (4.7) and (4.8) embeds into E k (N N 1 ) by Lemma 4.1.
Our assumption on N 1 guarantees by Lemma 4.1 that there is an irreducible SL 2 (Z)-representation σ that embeds into E l (N 1 ). If k = 2 and l is even, then N 1 is constrained in such a way that we can and will assume that σ is not the trivial representation. In particular, ρ ⊗ σ embeds into the left hand side of (4.8) for any irreducible constituent ρ of ρ × par(k+l ) N . Fix a T -fixed vector w 1 ∈ V (σ) and complete it to an orthogonal basis w j , 1 ≤ j ≤ dim(σ) of V (σ). In the case of l ≥ 2, the Eisenstein seriesẼ l ,σ ∨ ,w ∨ 1 := E l ,σ ∨ ,w ∨ 1 has constant term w ∨ 1 . If l = 1, we can choose w 1 in such a way that w ∨ 1 is the constant term of an Eisenstein seriesẼ l ,σ ∨ ,w ∨ 1 (in general, E l ,σ ∨ ,w ∨ 1 = E l ,σ ∨ ,w ∨ 1 for l = 1). This provides an embedding of σ into E l (σ ∨ ) ⊆ E l (N 1 ) via ι σ : w → w • E l ,σ ∨ ,w ∨ 1 . In addition, we obtain the embedding Fix an irreducible, arbitrary constituent and v 1 ∈ V (ρ ) ∩ c(E k+l (ρ × N ); 0).
Observe that v 1 ⊗ w 1 is a T -fixed vector in V (ρ ⊗ σ) ⊆ V (ρ × N N 1 ). Since k > 2 or σ ∼ = 1, the Eisenstein series E k,ρ ⊗σ,v 1 ⊗w 1 exists. It allows us to define the embedding Combining all the above maps we obtain the following embedding of SL 2 (Z)-representations: . (4.10) Complete v 1 to an orthonormal basis v i , 1 ≤ i ≤ dim(ρ ) of V (ρ ). Evaluating the composition of 4.10, we obtain Recall that ι σ : w → w •Ẽ l ,σ ∨ ,w ∨ 1 . In order to determine the constant term of the image, observe that the constant term of ι σ (w j ) equals 1, if j = 1, and 0, otherwise, since the w j are mutually orthogonal. Similarly, the constant term of ι ρ ⊗σ (v ∨ i w ∨ j ) equals 1 if i = j = 1, and 0, otherwise. As a result, we directly see that the constant term of the right hand side equals v 1 . Since v 1 and the embedding of ρ were arbitrary, this confirms (4.4) and finishes the proof.