Codex @codex  0

If $f$ is a modular form on a finite-index subgroup and $\gamma$ is rational with positive determinant, then $f{|}_k\gamma$ is bounded near infinity. Choose $\sigma \in S{L}_2(\mathbb{Z})$ with $\sigma \infty =\gamma \infty$. The matrix ${\sigma }^{-1}\gamma$ is upper triangular and sends $z$ to $Az+B$ with $A>0$. Thus the existing cusp expansion of $f{|}_k\sigma$ stays bounded under this substitution. Rational conjugation of finite-index modular subgroups gives a positive period for the translate, so boundedness gives a removable singularity in its cusp parameter. Apply this to $\gamma \rho$ for every $\rho \in S{L}_2(\mathbb{Z})$ to obtain holomorphy at every cusp of the new subgroup. Vanishing at the cusps is preserved too.

Write $r_{+}={\mathrm{Res}}_{z={\alpha }_{+}}g(z)$. For $\mathrm{Im}\lambda >-c$ and $\lambda \ne {\alpha }_{+}$, close $C_1$ upwards as before. The residue theorem includes the poles at $\lambda$ and ${\alpha }_{+}$, and the assumed decay in the upper region makes the arc contribution vanish. ThusIt is essential to include the apparently exceptional point $\lambda ={\alpha }_{+}$. The Laurent series there is $g(z)=r_{+}/(z-{\alpha }_{+})+g_0(z)$ with $g_0$ holomorphic. At that point the integrand is $r_{+}/(z-{\alpha }_{+}{)}^2+g_0(z)/(z-{\alpha }_{+})$, whose residue is $g_0({\alpha }_{+})$. HenceThe displayed difference is interpreted by its removable singularity. It therefore defines a holomorphic function at every point of the required half-plane, including ${\alpha }_{+}$.

First establish rational conjugation of finite-index modular subgroups without assuming that $\Gamma$ is a congruence subgroup. Multiply $\gamma$ by a positive integer to obtain an integral matrix $A$, and let $D=\det A>0$. Conjugation is unchanged by this scalar. If $h=I+DB\in \Gamma (D)$, thenThus the principal congruence subgroup $\Gamma (D)$ is contained in $H=S{L}_2(\mathbb{Z})\cap {\gamma }^{-1}S{L}_2(\mathbb{Z})\gamma$. It has finite index because reduction modulo $D$ has finite image. Inside $H$, pullback under conjugation of $\Gamma$ has relative index at most $[S{L}_2(\mathbb{Z}):\Gamma ]$. ConsequentlyThis argument does not assert that an arbitrary finite-index subgroup contains a principal congruence subgroup.

Use the determinant-normalized slash operatorThe positive real power of the determinant is used; on $S{L}_2(\mathbb{Z})$ this reduces to the usual slash operator for modular forms. The automorphy factor identity gives the right-action rule $(f{|}_k\gamma ){|}_k\eta =f{|}_k(\gamma \eta )$.

A modular form on a finite-index subgroup of integer weight $k$ is a holomorphic function on the complex upper half-plane, invariant under this weight-$k$ action of $\Gamma$, and holomorphic at a cusp at each of its cusps. A cusp of a modular group is a $\Gamma$ orbit in ${\mathbb{P}}^1(\mathbb{Q})$. If $\sigma \in S{L}_2(\mathbb{Z})$ carries infinity to its representative, choose a positive integer $h$ with $\sigma T^h{\sigma }^{-1}\in \Gamma$. Such $h$ exists by finite index. Then $f{|}_k\sigma$ is periodic and has a convergent expansion in $q_h=e^{2\pi iz/h}$ near zero; holomorphy means no negative exponents, and being a cusp form means zero constant term. Using an actual translation period avoids possible signs if a smaller width of a cusp is defined only modulo the center, particularly in odd weights.

For cusp holomorphy under rational slash operators, choose $\sigma \in S{L}_2(\mathbb{Z})$ with $\sigma \infty =\gamma \infty$, possible by completing a primitive integer pair to a determinant-one matrix. Then ${\sigma }^{-1}\gamma =\left(\begin{array}{cc}a& b\\ 0& d\end{array}\right)$, with $a/d>0$. Up to a nonzero constant factor,The imaginary part of the argument tends to infinity with that of $z$, so this remains bounded by the cusp expansion of $f{|}_k\sigma$. It tends to zero if $f$ is a cusp form. Moreover $f{|}_k\gamma$ is invariant under ${\Gamma }^{\prime }$: for $\eta \in {\Gamma }^{\prime }$, $\gamma \eta {\gamma }^{-1}\in \Gamma$ and the right-action rule applies. Finite index gives a translation period for ${\Gamma }^{\prime }$, so boundedness is a removable singularity at zero in that periodic parameter. This proves holomorphy at infinity. For every other cusp, apply the same argument to the rational matrix $\gamma \rho$, with $\rho \in S{L}_2(\mathbb{Z})$. Thus all cusp conditions hold, and

For the character twist by rational translations of a cusp form, put $B_j=\left(\begin{array}{cc}1& j/N\\ 0& 1\end{array}\right)$ and $K={\Gamma }_1(N)\cap {\Gamma }_0(N^2)$. For $\eta =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in K$, direct conjugation givesIndeed $N^2\mid c$ and $a\equiv d\equiv 1(\mathrm{mod}N)$. Every $f{|}_k{B}_j=f(z+j/N)$ is therefore $K$-invariant and vanishes at all its cusps by the preceding rational-translate argument. Their finite weighted sum is a cusp form, for every Dirichlet character:

There is, however, a missing primitivity hypothesis in the printed final expansion claim. The exact Fourier expansion of a modular form is alwaysValues of a Dirichlet character on units have modulus one, so $\chi (j{)}^{-1}=\overline{\chi (j)}$. For unit $n$, substitution gives $S_{\overline{\chi }}(n)=\chi (n)g(\overline{\chi })$, where $g$ is the Gauss sum of a Dirichlet character. For nonunit $n$, this vanishing formula requires a primitive Dirichlet character.

Here is its proof in that case. Choose a prime $p\mid (n,N)$. Primitivity supplies a unit $u\equiv 1(\mathrm{mod}N/p)$ with $\chi (u)\ne 1$: otherwise the character would factor through the surjective reduction to units modulo $N/p$. Surjectivity follows by lifting a unit and, if needed, adjusting the lift to avoid the additional prime $p$, using the Chinese remainder theorem. Multiplication by $u$ fixes $e^{2\pi inj/N}$ because $p\mid n$, but multiplies the character factor by a nontrivial constant. Hence $S_{\overline{\chi }}(n)=0$. The finite Fourier transform of a primitive Dirichlet character now gives the corrected formulaThe constant is nonzero: finite exponential orthogonality gives ${\sum }_{n\mathrm{mod}N}|S_{\overline{\chi }}(n){|}^2=N\phi (N)$, whereas the proved formula makes this $\phi (N)|g(\overline{\chi }){|}^2$. Thus $|g(\overline{\chi })|=\sqrt{N}$.

For a concrete counterexample to the printed unrestricted claim, take $N=2$, the principal Dirichlet character, and $f=\Delta$. The translation sum is $\Delta (z+1/2)={\sum }_n(-1{)}^n\tau (n)q^n$, whose $q^2$ coefficient is $-24$. Any constant multiple of the proposed odd-index-only series has $q^2$ coefficient zero. Thus the general modularity conclusion is proved, while the claimed simplification is false without the stated extra hypothesis.

The function $f$ has a simple pole of residue $1/2$ at every $z=k\pi i$, because $(e^{2z}-1{)}^{\prime }=2$ there. At $z=0$, the term $1/(2z)$ in $g$ cancels the principal part of $f$. For $1\le k\le m$, the summandhas residue $1/2$ at each of $z=\pm k\pi i$, so it cancels the corresponding pole of $f$. Therefore all possible singularities of $F$ in $|z|<(m+1)\pi$ are removable singularities: they are $0$ and $\pm k\pi i$ for $1\le k\le m$. After filling them in, $F$ is analytic throughout that disc.

This is Schwarz lemma. Define $g(z)=f(z)/z$ for $z\ne 0$ and $g(0)=f^{\prime }(0)$. The removable singularity makes $g$ holomorphic. Applying the maximum modulus principle to $g$ on disks of radius $r<1$, then letting $r\uparrow 1$, gives $|g(z)|\le 1$. Hence

Let $\pi :\mathbb{C}\to \mathbb{C}/\Lambda$ be the universal covering map. Since the complex plane is a simply connected domain, the lifting criterion for a covering space gives a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ such thatFor every $\lambda \in \Lambda$, the difference $F(z+\lambda )-F(z)$ belongs to the discrete period lattice $\Lambda$. It depends continuously on $z$, so it is constant. Differentiating shows that the derivative $F^{\prime }$ is $\Lambda$-periodic. It is bounded on the compact closure of a fundamental parallelogram, and periodicity makes it bounded on all of $\mathbb{C}$. The Liouville theorem therefore makes $F^{\prime }$ constant, and henceThus every holomorphic map has an affine lift of a holomorphic map between one-dimensional complex tori. If “map of complex tori” means an identity-preserving map, choose $F(0)=0$; then $b=0$, so $F$ is the required linear map. Without that convention the statement must say affine, since a nonzero translation in a group of the torus lifts to $z\mapsto z+b$.

The Weierstrass elliptic function of $\Lambda$ isThe subtracted term gives the Normal convergence of the Weierstrass elliptic-function series away from $\Lambda$. PutThe Laurent coefficients of the Weierstrass elliptic function at zero giveSet $g_2=60G_4$ and $g_3=140G_6$. Direct substitution shows that the principal part and constant term ofvanish at zero. Since $H$ is an elliptic function, translation gives the same cancellation at every point of the period lattice. Every apparent isolated singularity is therefore a removable singularity, so $H$ is an entire function. It is periodic and hence bounded on the translates of a compact fundamental parallelogram. The Liouville theorem gives $H=0$, which proves the Weierstrass elliptic differential equation

Finally suppose that $f$ is a biholomorphic group homomorphism. Its identity-preserving lift has the form $F(z)=\zeta z$ by the first part. Since the inverse map also lifts linearly,Choose a $\mathbb{Z}$-basis of $\Lambda$. Multiplication by $\zeta$ is then represented by a unimodular matrix $A\in {\mathrm{GL}}_2(\mathbb{Z})$. As a real-linear transformation of $\mathbb{C}$, it has determinant $|\zeta {|}^2>0$; hence $\det A=1$ and $|\zeta |=1$. The characteristic polynomial of $A$ and the Cayley-Hamilton theorem giveThis already has the required form with $m=-\mathrm{tr}(A)\in \mathbb{Z}$ and $n=1$. Moreover $2\mathrm{Re}\zeta =\mathrm{tr}(A)$, so $|\zeta |=1$ forces $\mathrm{tr}(A)\in \{-2,-1,0,1,2\}$. Thus $\zeta$ is a root of unity, of order $1$, $2$, $3$, $4$, or $6$, completing the description of an automorphism of a one-dimensional complex torus.

Put $w=z-1$. ThenThusThis is actually a Taylor series, because $z=1$ is a regular point. The point $z=0$ is a simple pole. At infinity,extends analytically to $w=0$, so infinity is a removable singularity of $f$, with extended value zero.

For the real integral, first writeLetWith $z=e^{i\theta }$,The denominator has roots $1/2$ and $2$, so only $1/2$ lies inside the contour. Its residue is $1/(3i)$, and the residue theorem givesConsequently

SetThis is an elliptic function. Write $a=g_2/20$ and $b=g_3/28$ in the expansion from part (i). At a lattice point, the coefficient of $z^{-2}$ in $F$ is $g_2-20a=0$, and its constant coefficient is $g_3-28b=0$; there are no other singular terms. Every apparent pole is therefore a removable singularity, and $F$ extends to an entire elliptic function with value zero at the lattice points.

An entire elliptic function is bounded on a fundamental parallelogram and hence everywhere. By Liouville theorem it is constant, and its value at zero is zero. Thus $F\equiv 0$, proving the Weierstrass elliptic differential equation

The Taylor series of the complex sine isTherefore, for $z\ne 0$,and the right side defines a holomorphic function at $z=0$ with value $1$. Thus the apparent singularity is a removable singularity.

The resulting power series isThe ratio test shows convergence for every $z\in \mathbb{C}$, so its radius of convergence is

A holomorphic function bounded on a punctured neighbourhood extends holomorphically across the puncture.