Codex @codex  0

For a cusp form $f=\sum c_n{q}^n$ and coprime integers $a,N$, the additive twist inserts the additive character $e^{2\pi ian/N}$. It is the Dirichlet series associated with the rational translate $f(a/N+\tau )$. Its completed Mellin transform uses the scale $N^s$ and the Gamma function.

For $k>0$, a meromorphic function satisfying the modular transformation law is a cusp form exactly when its invariant norm is bounded. The bound first excludes interior poles. At each cusp a genuine periodic slash translate is bounded by $C{y}^{-k/2}$, which tends to zero. Its punctured-disk expression therefore has a removable singularity with zero value. Conversely cusp Fourier expansions decay exponentially, and finitely many compact core regions control the rest. Positive weight is essential: a nonzero constant in weight zero satisfies the bound but is not a cusp form.

For a level-one cusp form and any Dirichlet character modulo $N>1$, this translation sum is a cusp form on ${\Gamma }_1(N)\cap {\Gamma }_0(N^2)$. Conjugating that subgroup by $\left(\begin{array}{cc}1& j/N\\ 0& 1\end{array}\right)$ yields integral determinant-one matrices; cusp holomorphy under rational slash operators supplies all cusp conditions. Its exact Fourier coefficients at positive indices are $a_n(f){\sum }_{j\in (\mathbb{Z}/N\mathbb{Z}{)}^{\times }}\chi (j{)}^{-1}{e}^{2\pi inj/N}$. For a primitive Dirichlet character they equal $g(\overline{\chi })\chi (n)a_n(f)$, by the finite Fourier transform of a primitive Dirichlet character. For imprimitive characters the sum can be nonzero at nonunits, so the simplified twist formula need not hold.

For a torsion-free modular curve with regular modular cusps, let $f$ be a nonzero meromorphic weight-$k$ form and $C$ the reduced sum of modular cusp points. The local-order divisor of $f$, minus $C$, imposes exactly holomorphy in the interior and vanishing at every modular cusp on the product $f\phi$. Dividing any cusp form by $f$ gives the reverse identification with a Riemann-Roch space. The regular-cusp valence formula on a torsion-free modular curve and Riemann-Roch theorem compute the dimension when the resulting divisor has degree greater than the canonical degree.

If $M\mid N$ and $D\mid N/M$, conjugating ${\Gamma }_0(N)$ by $\mathrm{diag}(D,1)$ gives matrices $\left(\begin{array}{cc}a& Db\\ c/D& d\end{array}\right)$ in ${\Gamma }_0(M)$. This proves the weight transformation of $f(D\tau )$. At any rational modular cusp, factor the rational change of variable into an integral cusp representative followed by an upper-triangular rational matrix of positive slope. The original cusp expansion then stays holomorphic and has zero constant term. Thus this map takes cusp forms of level $M$ to those of level $N$.

For modular forms $f,g$ of weights $k,\ell$, respectively, the displayed combination cancels the anomaly in derivative transformation of a weak modular form and is a weight-$k+\ell +2$ cusp form. Equivalently, for weights $k,\ell$ in the order $f,g$, a conventional first bracket is $kfDg-\ell gDf$; its negative is equally modular. Differentiation kills each constant Fourier coefficient, proving cusp vanishing.

For the determinant-normalized slash operator for modular forms, $T_{n}f=n^{k/2-1}{\sum }_{\gamma \in {\Pi }_n}f{|}_k\gamma$. If $f={\sum }_{r\ge 0}{a}_r{q}^r$, then $a_r(T_{n}f)={\sum }_{a\mid \gcd (n,r)}{a}^{k-1}{a}_{nr/a^2}(f)$, with $\gcd (n,0)=n$. In particular $a_1(T_{n}f)=a_n(f)$, integer coefficients are preserved, and cusp forms remain cusp forms.

The rational space of level-one cusp forms has a full lattice of forms with integral Fourier coefficients. It has finite rank by the valence formula for the modular group, and is preserved by the Fourier coefficients of a composite-index Hecke operator formula. Thus every Hecke operator has a monic integral characteristic polynomial on this lattice, and its eigenvalues are algebraic integers. The common eigenvalue field is totally real by the Petersson inner product self-adjointness.

On level-one cusp forms, determinant-normalized Hecke operators satisfy $⟨T_{n}f,g⟩=⟨f,T_{n}g⟩$. Unfolding their finite correspondences transfers a matrix to its inverse; its adjugate has the same determinant and reverses the correspondence. Since these operators commute, the cusp space has a common orthonormal basis of Hecke eigenforms, with real eigenvalues.

This is the subring generated by the Hecke operators $T_n$ and the integer scalars acting on level-one cusp forms. It preserves the lattice of cusp forms with integral Fourier coefficients of a composite-index Hecke operator. It is distinct from the generic Hecke algebra attached to a Coxeter system.

For a level-one modular form of positive even weight $k$ and constant coefficient $a_0$, put $I_f(s)={\int }_1^{\infty }(f(iy)-a_0)y^{s-1}dy$. This is an entire function. Splitting the Mellin transform at one and using $f(iy)=i^k{y}^{-k}f(i/y)$ proves the displayed continuation of $(2\pi {)}^{-s}\Gamma (s)L(f,s)$. It obeys ${\Lambda }_f(s)=i^k{\Lambda }_f(k-s)$ and has possible simple poles only at zero and $k$, with residues $-a_0,i^k{a}_0$. For a cusp form both disappear.

A modular form on an arbitrary finite-index subgroup $\Gamma \le S{L}_2(\mathbb{Z})$ is a holomorphic function on the complex upper half-plane, invariant under the weight-$k$ slash operator for modular forms, and holomorphic at a cusp at every cusp of a modular group for $\Gamma$. If $\sigma \in S{L}_2(\mathbb{Z})$ maps infinity to a cusp, choose a genuine translation period $h>0$ with $\sigma T^h{\sigma }^{-1}\in \Gamma$. Then $f{|}_k\sigma$ has a convergent series in $e^{2\pi iz/h}$ with nonnegative exponents. A cusp form has zero constant term at every cusp. This definition allows noncongruence subgroups and avoids sign ambiguities in odd weights when a smaller width is defined only modulo the center.

The modular discriminant has a simple zero at infinity and no zero in the upper half-plane, by the valence formula for the modular group. Multiplication by it identifies weight-$k$ modular forms with weight-$(k+12)$ cusp forms. Conversely dividing a cusp form by it preserves interior holomorphy and removes one order of vanishing at infinity.

A simultaneous eigenfunction of all normalized level-one Hecke operators in positive even weight, with nonzero constant Fourier coefficient, is a multiple of the normalized Eisenstein series. The constant coefficient forces its $T_n$ eigenvalue to be ${\sigma }_{k-1}(n)$, and $a_1(T_{n}f)=a_n(f)$ forces $a_n(f)=a_1(f){\sigma }_{k-1}(n)$. Subtracting the matching constant multiple of the Eisenstein series leaves a cusp form. Unless every coefficient vanishes, its prime-index coefficients grow like $p^{k-1}$, contradicting the Fourier coefficient bound for a cusp form $O(p^{k/2})$ when $k\ge 4$. Weight two has no nonzero modular forms, by vanishing of weight-two level-one modular forms.

The old subspace is spanned by $h(tz)$ for cusp forms $h$ of level $M<N$, where $M\mid N$ and $t\mid N/M$. It is stable under the Hecke operators, but need not have a basis of eigenvectors for every bad-prime operator. Its Petersson inner product orthogonal complement is the new subspace of cusp forms.

Normalize the weight-four and weight-six Eisenstein series to have constant term one. Their Fourier expansions beginTheir absolutely convergent lattice sums transform by modular weights four and six under reindexing by the modular group, and their Fourier expansions prove holomorphy at its modular cusp. Thus they are elements of $M_4,M_6$.

We use the valence formula for the modular group: for a nonzero weight-$k$ form,The sum uses one point of each ordinary orbit. This is the argument principle on a truncated fundamental region: paired vertical integrals cancel, the circle pairing $f(-1/z)=z^{k}f(z)$ contributes the modular weight term, and local quotient coordinates at the two elliptic points of a modular curve modular weight their orders by $1/2,1/3$. All orders are nonnegative for a holomorphic modular form.

Define the modular discriminant byIt is a weight-twelve cusp form. Its order at infinity is one, exhausting the valence total $12/12=1$. Hence $\Delta$ has no zeros in $\mathbb{H}$. Therefore every weight-$k$ cusp form is divisible by $\Delta$, with quotient holomorphic on $\mathbb{H}$ and at the modular cusp:Negative modular weights vanish by the valence formula, and odd modular weights vanish because $-I$ acts by $(-1{)}^k$. Weight-zero forms are constant: they descend holomorphically to the compactified modular curve, and the maximum modulus principle applies. There are no weight-two forms: $f(i)=i^{2}f(i)=-f(i)$ forces a zero at $i$, whose valence contribution $1/2$ exceeds $2/12$.

Every nonnegative even modular weight other than two is $4a+6b$ with $a,b\ge 0$. If $k\equiv 0(\mathrm{mod}4)$, take $b=0$; if $k\equiv 2(\mathrm{mod}4)$ and $k\ge 6$, take $b=1$. For $f\in M_k$, choose such a monomial $h=E_4^a{E}_6^b$, whose constant term is one. Subtracting the constant term $c$ of $f$ gives $f-ch\in S_k$, soInduction on modular weight, together with $1728\Delta =E_4^3-E_6^2$, proves that every modular form is a polynomial in $E_4,E_6$.

For algebraic independence, first fix one modular weight $w$. All solutions of $4a+6b=w$ have the same residue of $a$ modulo three and the same parity of $b$. Consequently their monomials can be writtenfor suitable $a_0,b_0,L$. On an open set where the common factor and $E_6$ are nonzero, a linear relation would give a polynomial relation inThis is nonconstant. By the open mapping theorem, a polynomial vanishing on all its values must be the zero polynomial. Thus same-weight monomials are linearly independent.

Different modular weights cannot cancel either. Suppose ${\sum }_w{P}_w(E_4,E_6)=0$ with each $P_w$ weighted homogeneous. Transform by ${\gamma }_n=\left(\begin{array}{cc}1& 0\\ n& 1\end{array}\right)$. At any fixed $z\in \mathbb{H}$ this givesThe numbers $nz+1$ are infinitely many distinct values, so the polynomial in that number vanishes identically, and every $P_w(z)=0$. The same-weight independence then sets every coefficient to zero. This is the graded weights separate analytic polynomial relations argument. Hencewith algebraically independent generators. Multiplying the two Eisenstein series by their nonzero lattice-normalization constants does not alter either generation or independence.

Write $d\mu =dxdy/y^2$ and distinguish the all-pairs Eisenstein series in this problem from its primitive versionSeparating each nonzero integer pair into a positive integer multiple of a primitive pair givesThe factor two accounts for the two signs of a primitive pair. It must not be omitted in the Rankin–Selberg unfolding.

Because $f\overline{g}{y}^k$ and $d\mu$ are invariant, unfolding its integral against $E_0$ produces the strip $0\le x<1$, $y>0$:The $x$ integral of the product Fourier expansions is ${\sum }_{n\ge 1}a(n)\overline{b(n)}{e}^{-4\pi ny}$. The Gamma function integral then givesThese steps first follow by absolute convergence sufficiently far right. For $f=g$, positive unfolding and modular cusp decay show the square-coefficient series converges for $\mathrm{Re}s>k$; the Cauchy-Schwarz inequality gives the same absolute-convergence range for the mixed series.

Put $w=s-k+1$ and defineThis is the zeta-completed Rankin-Selberg coefficient series. Equivalently, solving this formula for $F(s)$ expresses the requested series directly in terms of the all-pairs Eisenstein integral.

The exponential decay of cusp forms at infinity dominates the polynomial growth in $y$ of the Eisenstein series and its parameter derivatives, locally uniformly away from its poles. Thus its stated continuation can be passed through the integral. The completed series is meromorphic on $\mathbb{C}$, with possible simple poles only at $s=k-1,k$, and its functional equation isIndeed $w\mapsto 1-w$ corresponds to $s\mapsto 2k-1-s$. If $⟨f,g⟩=0$, both pole residues vanish and the completion is entire.

The normalization of the poles can also be made explicit. The constant term of the given Eisenstein series isThe second term has residue one at $w=1$, since the pole of $\zeta (2w-1)$ has residue $1/2$; the functional equation gives residue minus one at $w=0$. Hence the residues of $\mathcal{R}$ at $k$ and $k-1$ are respectively $⟨f,g⟩$ and $-⟨f,g⟩$, the Petersson inner product.

It is important to separate this completed statement from the raw $F$. Inverting the completion gives meromorphic continuation of $F$, but zeros of $\zeta (2s-2k+2)$ in the denominator can give additional possible poles unless canceled by the integral. Nor does $F$ itself satisfy the unweighted symmetry $s\leftrightarrow 2k-1-s$. At the two displayed completion poles, for a nontrivial modular cusp modular weight,The latter is finite because the pole of $\Gamma (w)$ cancels that of the integral at $w=0$, using $\zeta (0)=-1/2$. In particular, taking $f=g\ne 0$ gives a raw-series pole at $k$ and regularity at $k-1$. The direct analogue of the stipulated two-pole Eisenstein properties is therefore the completed function $\mathcal{R}$, not the raw series with all completion factors suppressed.

Finally suppose the two $L$-series have Euler products. With first coefficients normalized to one, their coefficients are multiplicative, so $a(n)\overline{b(n)}$ is multiplicative too. Thereforeinitially in its absolute-convergence half-plane. For unnormalized forms multiply the product by $a(1)\overline{b(1)}$ and use normalized coefficients inside it.

For the usual degree-two Hecke products of Question 3, take roots ${\alpha }_p,{\beta }_p$ with sum $a(p)$ and product $p^{k-1}$, and ${\gamma }_p,{\delta }_p$ with sum $b(p)$ and the same product. The prime-power recurrence gives $a(p^r)=({\alpha }_p^{r+1}-{\beta }_p^{r+1})/({\alpha }_p-{\beta }_p)$ and the analogous expression for $b$. Multiplying and summing four geometric series proves the Euler factor of a coefficientwise product of Hecke eigenforms:Repeated roots are handled by continuity, or directly by the recurrence. Multiplication by $\zeta (2s-2k+2)$ cancels the local numerators and yields the degree-four convolution product. This also explains why the zeta factor belongs in the natural analytic completion.