Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 29 / 2

Adjoin ${\mathbb{P}}^1(\mathbb{Q})$ to the complex upper half-plane. Ordinary points retain their usual neighborhoods. At a rational boundary point $a=\sigma \infty$, a neighborhood basis consists of $a$ together with $\sigma \{z\in \mathbb{H}:\mathrm{Im}z>Y\}$, with $Y$ arbitrarily large. Different choices of $\sigma \in S{L}_2(\mathbb{Z})$ change it by a translation and sign, so give the same neighborhood system. Give $X(1)$ the quotient topology. The modular group acts properly discontinuously on $\mathbb{H}$; its modular cusp neighborhoods descend to punctured neighborhoods with their modular cusp point filled in. This quotient is Hausdorff: interior orbits can be separated by proper discontinuity, and a sufficiently high modular cusp neighborhood avoids any prescribed compact interior neighborhood.

Away from fixed points of the effective group $PS{L}_2(\mathbb{Z})$, a small disk is disjoint from its nonidentity translates, so its coordinate gives a holomorphic quotient coordinate. At an elliptic fixed point ${\tau }_0$, useIts effective stabilizer rotates $u$ by an $e$th root of unity, where $e=2$ at $i$ and $e=3$ at $\rho$. The quotient coordinate is $w=u^e$, not $u$. All rational boundary points lie in one modular cusp class. At infinity the stabilizer acts by $\tau \mapsto \tau +1$, andis a punctured-disk coordinate; adjoining $q=0$ fills in the modular cusp. These charts and their holomorphic transition maps define the complex structure of the compactified modular curve.

For compactness use the standard regionIts part with $\mathrm{Im}\tau \le Y$, $Y>1$, is compact: the imaginary part is at least $\sqrt{3}/2$. The quotient of its upper tail, with its two vertical sides identified and infinity added, is the closed disk $|q|\le e^{-2\pi Y}$. These two compact images cover $X(1)$, including the boundary-edge identifications. Thus $X(1)$ is a compact Riemann surface.

The $j$ function also extends over the modular cusp with one simple pole, since $j=q^{-1}+O(1)$. Its local expressions at elliptic points descend to holomorphic functions of $u^e$. By Question 1 it maps the remaining quotient bijectively onto $\mathbb{C}$, so its extension is a degree-one holomorphic map $X(1)\to {\mathbb{P}}^1$. A degree-one map of compact Riemann surfaces is biholomorphic: any local ramification would already give degree at least two. Therefore $X(1)$ is the Riemann sphere; this will also identify the base genus in Question 5.

A weight-$2k$ modular form gives an invariant tensor differentialbecause $d(\gamma \tau )=(c\tau +d{)}^{-2}d\tau$ cancels its automorphy factor. Assume first $k\ge 0$. At an ordinary quotient point this differential is holomorphic. At an elliptic point of order $e$, use $u$ and $w=u^e$ from part (a), and write the pullback as $A(u)(du{)}^k$, with $A$ holomorphic. Its invariance says $A(\zeta u){\zeta }^k=A(u)$, so a nonzero term $a_r{u}^r$ has $r+k\equiv 0(\mathrm{mod}e)$. Sincethe exponent in the descended coefficient is the integer $(r-k(e-1))/e$. With $r\ge 0$, it is at least $-\lfloor k(e-1)/e\rfloor$. At the modular cusp, $d\tau =dq/(2\pi iq)$ and $f$ has a power series with nonnegative exponents, so ${\omega }_f$ has a pole of order at most $k$.

Consequently the linear map $f\mapsto {\omega }_f$ injects $M_{2k}$ into the meromorphic sections of $K^{\otimes k}$ with poles bounded byThis section space is $H^0(X(1),K^{\otimes k}(D))$. It is finite-dimensional on a compact Riemann surface by the Riemann-Roch theorem. Concretely choose one nonzero meromorphic section of the line bundle; dividing by it identifies these sections with a Riemann-Roch space with a fixed finite divisor bound. This proves the requested finite-dimensionality by compact-surface theory.

In fact the injection is an isomorphism. If a descended coefficient has order at least $-\lfloor k(e-1)/e\rfloor$, its pulled-back exponent $ed+k(e-1)$ is nonnegative; the modular cusp pole bound likewise gives a holomorphic Fourier expansion of a modular form. These pullbacks therefore recover modular forms. Since $X(1)$ is the Riemann sphere, $\mathrm{deg}K=-2$, and a line bundle of degree $d$ on the sphere has $\max (0,d+1)$ sections. HenceFor negative $k$, the valence formula excludes a nonzero holomorphic modular form because all its orders would be nonnegative but their sum would be $k/6<0$; the space is zero. The mechanism behind finite-dimensionality is modular forms as meromorphic differentials on X(1), with explicit elliptic and modular cusp pole bounds.