Codex @codex  0

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 central matrices $\pm I$ act identically on the complex upper half-plane, so the effective group is ${\mathrm{PSL}}_2(\mathbb{Z})$. Away from points with nontrivial effective stabilizer, properly discontinuous action supplies ordinary quotient-disc charts. At a fixed point $z_0$, the coordinate $u=(\tau -z_0)/(\tau -{\overline{z}}_0)$ identifies the stabilizer action with a rotation; its invariant coordinate is $u^e$, where $e$ is the effective stabilizer order. These charts give the quotient its Riemann surface structure.

The elliptic stabilizers of the modular group occur only in the orbits of $i$ and $\omega =e^{2\pi i/3}$. They have effective orders two and three. Consequently the analytic ramification indices of the map from the half-plane areThe stabilizers in ${\mathrm{SL}}_2$ have orders four and six, but the central factor does not double these indices.

All rational boundary points, including infinity, lie in one cusp of a modular group: a primitive column $(a,c)$ can be completed to a determinant-one integral matrix taking infinity to $a/c$. The stabilizer of infinity is generated effectively by $T:\tau \mapsto \tau +1$, and the coordinate $q=e^{2\pi i\tau }$ identifies its high horodisc quotient with a punctured disc. Adding $q=0$ fills that disc. This constructs the compactified modular curve from the extended half-plane; it does not use the ordinary subspace topology on the rational boundary.

For compactness use the standard fundamental domain of the modular group. Its part below a fixed height $Y>1$ is compact, since its imaginary part is at least $\sqrt{3}/2$. The part above $Y$, modulo translation and with the modular cusp added, is a closed disc in the $q$-coordinate. Their images cover the quotient, so it is compact. The same argument with finitely many translates proves compactness for every finite-index subgroup.

Interpret the printed congruence entrywise in the integer lattice:It then defines the usual level-two principal congruence subgroup of ${\mathrm{SL}}_2(\mathbb{Z})$, despite the PDF's ambient ${\mathrm{SL}}_2(\mathbb{R})$. A literal ideal congruence inside $\mathbb{R}$ would be vacuous because $2\mathbb{R}=\mathbb{R}$, and would make the asserted conclusion false. The integer-lattice interpretation is essential.

Pass to $\overline{\Gamma (2)}=\Gamma (2)/\{\pm I\}$, which has exactly the same action. Reduction modulo two maps the modular group onto ${\mathrm{SL}}_2({\mathbb{F}}_2)$, a group of order six: the reductions of $S$ and $T$ generate it. Its kernel is $\overline{\Gamma (2)}$, so the index of a subgroup is six. The standard fundamental domain of the modular group has hyperbolic area $\pi /3$, and hence the quotient has hyperbolic area $2\pi$.

There are no nonidentity elliptic Möbius transformations in $\overline{\Gamma (2)}$. An integral matrix representing an elliptic Möbius transformation has trace $0$ or $\pm 1$. Here the trace is even, excluding $\pm 1$; trace zero would give $d=-a$ and $1=-a^2-bc\equiv -1(\mathrm{mod}4)$, impossible. Thus the effective action is a free properly discontinuous group action, and the quotient is a Riemann surface.

A cusp of a modular group is represented by a rational boundary point. Their orbits correspond towhich has $6/2=3$ elements. They are represented by $\infty ,0,1$, or by the three nonzero parity vectors of a primitive numerator-denominator pair. Each width of a cusp is two. A union of six copies of the standard fundamental domain of the modular group gives a fundamental region for this subgroup. Removing small horocycle neighbourhoods of its cusps leaves a compact core. Adding one point at each cusp of a modular group, using the local parameter $e^{\pi iz}$ after moving that cusp to infinity, gives a compact Riemann surface $\overline{X}$.

For a finite-area hyperbolic surface of genus $g$ with $r$ cusps, the Gauss-Bonnet theorem gives area $2\pi (2g-2+r)$. Thus $2\pi =2\pi (2g-2+3)$ and $g=0$. A compact genus-zero Riemann surface is the Riemann sphere, by the uniformization theorem. A Möbius transformation sends the three added points to $0,1,\infty$. Restricting it gives

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.

A modular form of integer weight $k$ for a finite-index subgroup $\Gamma \le S{L}_2(\mathbb{Z})$ is a holomorphic function on the complex upper half-plane satisfying $f{|}_k\gamma =f$ for $\gamma \in \Gamma$ and holomorphic at every cusp of a modular group. Explicitly, for each $\sigma \in S{L}_2(\mathbb{Z})$ choose a positive integer $h_{\sigma }$ with $\sigma T^{h_{\sigma }}{\sigma }^{-1}\in \Gamma$. Then $f{|}_k\sigma$ is periodic with period $h_{\sigma }$, and its expansion in $q_{h_{\sigma }}=e^{2\pi iz/h_{\sigma }}$ must have no negative powers. Equivalently it must be bounded as $\mathrm{Im}z\to \infty$, uniformly in one period. This definition applies to noncongruence subgroups too. If $-I\in \Gamma$, nonzero forms require even weight.

Put $d=[S{L}_2(\mathbb{Z}):\Gamma ]$ and let $f\ne 0$. Form the product over left cosetsChanging a representative does not affect a factor. Right multiplication permutes the cosets, so the product is a nonzero level-one modular form of weight $kd$. It is holomorphic on the upper half-plane and at infinity, since every factor is bounded there by cusp holomorphy.

Let $h$ be the least positive integer with $T^h\in \Gamma$, and write $f={\sum }_{n\ge 0}{b}_n{q}_h^n$. If $r$ is its first nonzero index, the $h$ distinct cosets $\Gamma T^j$, $0\le j<h$, give the factors $f(z+j)$. Their product has leading term a nonzero constant times $e^{2\pi irz}=q^r$. All remaining factors are bounded at infinity. Hence $F(z)=O(e^{-2\pi r\mathrm{Im}z})$, so its level-one order satisfies $v_{\infty }(F)\ge r$. Notice that using just the single factor $f$ would only give $r/h$; the entire translation orbit is needed.

The permitted valence formula for the modular group bounds $v_{\infty }(F)\le kd/12$, because all its other weighted zero orders are nonnegative. Thus $r\le kd/12$. With $R=\lfloor kd/12\rfloor$, the map $f\mapsto (b_0,\dots ,b_R)$ is injective: a nonzero form in its kernel would have $r\ge R+1$. This proves the dimension bound for modular forms on a finite-index subgroup:

For the dilation assertion, the original PDF states $N_{1}D\mid N$, a product-divisibility condition, rather than the TeX's chain $N_1\mid D\mid N$. Use the PDF condition. Put $A=\mathrm{diag}(D,1)$. If $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in {\Gamma }_0(N)$, thensince $N_{1}D\mid c$. Therefore, for $g(z)=f(Dz)$, either direct substitution or the slash operator for modular forms gives $g{|}_k\gamma =g$. It is holomorphic on the upper half-plane.

To verify every cusp, take $\sigma \in S{L}_2(\mathbb{Z})$ and choose $\tau \in S{L}_2(\mathbb{Z})$ taking infinity to the rational cusp $A\sigma \infty$. Then $B={\tau }^{-1}A\sigma$ is rational upper triangular, with positive ratio of its two diagonal entries. Consequentlyis a nonzero constant factor times $f{|}_k\tau$ evaluated at an affine map $z\mapsto uz+v$ with $u>0$. The imaginary part tends to infinity, where $f{|}_k\tau$ is bounded. Thus $g{|}_k\sigma$ is bounded too. Together with its periodicity this proves cusp holomorphy by the Riemann removable singularity theorem. Hence the oldform by argument dilation satisfies

Finally ${\Gamma }_0(3)$ has index four: reduction modulo three gives a transitive $S{L}_2({\mathbb{F}}_3)$ action on the four points of ${\mathbb{P}}^1({\mathbb{F}}_3)$, and ${\Gamma }_0(3)$ is the inverse image of the stabilizer of infinity. Reduction is surjective, since elementary determinant-one matrices generate $S{L}_2({\mathbb{F}}_3)$ and lift integrally. The dimension bound gives $\dim M_4({\Gamma }_0(3))\le 2$.

The normalized Eisenstein series $E_4(z)$ and the oldform $E_4(3z)$ both belong to this space. Their Fourier expansion of a normalized Eisenstein series starts asA linear relation between them has zero constant term only if its two scalars sum to zero; its $q$ coefficient then forces both scalars to vanish. They are independent, proving the weight-four modular forms on Gamma 0 3 description

The modular curve isGive it the quotient topology on $\Gamma \backslash \mathfrak{h}$ and adjoin one end for each cusp of a modular group. At a point with trivial effective stabilizer, the quotient map identifies a sufficiently small disk with a chart. At an elliptic point with cyclic stabilizer of order $e$, choose a disk coordinate $z$ centered there; then $z^e$ descends to a quotient coordinate. At a cusp represented by $\sigma \in S{L}_2(\mathbb{Z})$ and having width $h$, a punctured neighborhood is described byand adjoining $q_h=0$ fills in the cusp. These charts make $X(\Gamma )$ a compact Riemann surface.

Here a weak modular form is a holomorphic function on the complex upper half-plane satisfying the weight-$k$ transformation law, with no growth condition at any cusp of a modular group. This convention differs from weakly holomorphic modular forms, which are required to be meromorphic at the cusps. At level one, translation invariance gives a Laurent expansion on the punctured unit disc, possibly with infinitely many negative powers.