Codex @codex  0

The closed standard fundamental domain of the modular group isIts vertical sides are paired by $T:z\mapsto z+1$, and its circular sides by $S:z\mapsto -1/z$. It is a fundamental region with boundary identifications. To obtain exactly one representative of each orbit, use $-1/2<x\le 1/2$ and, on $|z|=1$, retain the half with $x\ge 0$. We will include both vertices when discussing the closure.

To prove existence of a representative, fix $z\in \mathbb{H}$. Among primitive integer pairs $(c,d)$ choose one minimizing $|cz+d|$. The minimum exists: below any fixed bound, $|c|y\le |cz+d|$ bounds $c$, and then the real part bounds $d$, so only finitely many pairs occur. Extend this primitive pair to the bottom row of a determinant-one integer matrix $\gamma$. Sincethis makes the imaginary part maximal over the orbit. Translate by an integer to put the real part in $[-1/2,1/2]$. If the resulting point had modulus below one, inversion by $S$ would increase its imaginary part, a contradiction. Thus every orbit meets $\mathcal{F}$.

For uniqueness in the interior, note that $y\ge \sqrt{3}/2$ throughout $\mathcal{F}$ and that $|cz+d|\ge 1$ for every primitive pair. If $|c|\ge 2$, then $|cz+d|\ge |c|y\ge \sqrt{3}>1$. For $|c|=1$, the minimum over integer $d$ is attained at $d=0$ or, at an endpoint, at a neighboring integer: $|z|\ge 1$ and $|z\pm 1{|}^2=|z{|}^2\pm 2x+1\ge 1$. All larger $|d|$ give a strict inequality. If $c=0$, primitivity gives $d=\pm 1$.

If two points in $\mathcal{F}$ are equivalent, applying this inequality to the transformation and its inverse shows their imaginary parts are equal. For two interior points equality forces $c=0,d=\pm 1$, hence an integer translation. Their real parts lie in an interval of length one, so the translation is zero. The only matrices acting trivially are $\pm I$. On the boundary, the equality cases give precisely the stated vertical and circular identifications. This establishes the fundamental-domain claim, including its boundary convention.

An elliptic point of a modular curve means a fixed point of a nonidentity element of the effective modular group $PS{L}_2(\mathbb{Z})$; the central matrix $-I$ is not counted, since it acts trivially everywhere. The equality cases above show that the only such points in the closed region areTheir stabilizer subgroups in $S{L}_2(\mathbb{Z})$ arewhereIndeed $S^2=-I$, $(ST{)}^3=(TS{)}^3=-I$, and their fractional-linear fixed-point equations give the listed points. To see that these are the full stabilizer subgroups, equality in $|cz+d|\ge 1$ leaves only bottom rows $(0,\pm 1),(\pm 1,0)$, with the extra neighboring rows at the vertices. The fixed-point equation then fixes the top row. This yields exactly four matrices at $i$, six at each vertex, and just $\{\pm I\}$ elsewhere. These are the elliptic stabilizers of the modular group. After passing to $PS{L}_2(\mathbb{Z})$ their effective orders are two and three. The two vertices represent the same elliptic orbit.

The modular group is $S{L}_2(\mathbb{Z})$ acting on the complex upper half-plane byIts central element $-I$ acts trivially on points, so the effective group is $PS{L}_2(\mathbb{Z})$. It is generated by $S:\tau \mapsto -1/\tau$ and $T:\tau \mapsto \tau +1$: the Euclidean algorithm reduces the bottom row of a matrix using these operations until it is a translation. The relations $S^2=(ST{)}^3=1$ hold in the projective group.

A standard fundamental domain of the modular group isTo see that each orbit meets it, use $\mathrm{Im}(\gamma \tau )=\mathrm{Im}\tau /|c\tau +d{|}^2$. Choose a coprime integer pair $(c,d)$ minimizing the nonzero lattice modulus $|c\tau +d|$; a modular matrix with that bottom row maximizes the imaginary part. Translate to the central strip. If the result had modulus below one, inversion would further increase its imaginary part, a contradiction. Interior representatives are unique: for a point in the interior, $|c\tau +d|>1$ when $c\ne 0$. For $|c|\ge 2$ use $\mathrm{Im}\tau >\sqrt{3}/2$; for $|c|=1$ use the strip and the strict unit-circle bound. Thus such a matrix lowers the imaginary part, which would contradict the same fact applied to its inverse if both representatives were in the interior. Matrices with $c=0$ are translations, and cannot move one interior strip point to another.

The vertical sides are identified by $T$, and the circular halves by $S$. The exceptional points with elliptic stabilizers of the modular group are represented by $i$ and $\rho =e^{2\pi i/3}$, of projective stabilizer orders two and three. The rational boundary points together with infinity form one modular cusp orbit. In the hyperbolic metric the region has area ${\int }_{-1/2}^{1/2}(1-x^2{)}^{-1/2}dx=\pi /3$.

A useful subgroup is the level-two principal congruence subgroup,Reduction modulo two is onto $S{L}_2({\mathbb{F}}_2)$, which has six elements and permutes the three nonzero vectors. Hence its kernel has index six, and the quotient is $S_3$. In the projective action, $\Gamma (2)$ is torsion-free. Indeed finite-order nonidentity modular elements have trace zero or $\pm 1$; matrices in $\Gamma (2)$ have even trace, and trace zero is impossible because $a,d$ are odd while $b,c$ are even: $ad-bc=1$ with $d=-a$ would imply $bc=-a^2-1\equiv 2(\mathrm{mod}4)$. The subgroup has three modular cusp classes, represented by $\infty ,0,1$, each of width two. Parity of a primitive pair distinguishes these classes, and elementary level-two row operations reduce each class to its representative. Six translates of $\mathcal{F}$ supply a fundamental region. Its compactified level-two modular curve is obtained by adjoining these three modular cusp points.

Invariant holomorphic functions arise naturally from theta constants. In the radian convention of Question 4, put ${\Theta }_j(\tau )={\theta }_j(0,\tau )$, and defineHere ${\Theta }_2={\sum }_{n\in \mathbb{Z}}{q}^{(n+1/2{)}^2}$. The theta-constant inversion and translation laws, obtained by Gaussian Poisson summation and by reindexing, interchange ${\Theta }_2,{\Theta }_4$ under $S$ with the common factor $\sqrt{-i\tau }$, leave ${\Theta }_3$ fixed up to that factor, and under $T$ interchange ${\Theta }_3,{\Theta }_4$ while multiplying ${\Theta }_2$ by $e^{\pi i/4}$. Together with the Jacobi abstruse identity ${\Theta }_3^4={\Theta }_2^4+{\Theta }_4^4$, this givesThese transformations generate the six permutations of $0,1,\infty$. In particular $T^2$ and $S{T}^2{S}^{-1}$ fix $\lambda$; with $-I$, these generate $\Gamma (2)$. Thus the modular lambda function is invariant under this subgroup, but not under the whole modular group. Its even theta constants do not vanish on $\mathbb{H}$, so it is holomorphic there and avoids $0,1,\infty$. Near infinity, $\lambda =16q+O(q^2)$, with $q=e^{\pi i\tau }$, which is the width-two modular cusp coordinate. The two transformation laws give modular cusp values one at zero and infinity at one, with the same simple local orders. Thus $\lambda$ has exactly one simple pole on the compactified level-two quotient and no pole in the half-plane. A meromorphic map with one simple pole has degree one, so it identifies that quotient with the sphere and the open quotient with $\mathbb{C}\setminus \{0,1\}$. This proves the coordinate assertion and describes all three modular cusps.

Symmetrizing this subgroup invariant produces a full modular-invariant function:Substitution shows that this rational expression is unchanged by both $\lambda \mapsto 1-\lambda$ and $\lambda \mapsto \lambda /(\lambda -1)$, hence by $S$ and $T$. It is the Klein j-invariant. Its denominator does not vanish on $\mathbb{H}$, so it is holomorphic there; at the modular cusp it has $j\sim q^{-2}$, a simple pole in $Q=e^{2\pi i\tau }$. It therefore remains nonconstant without being a bounded holomorphic function on the compactified quotient. In fact a holomorphic invariant extending holomorphically to the compactified modular curve would be constant by the maximum principle.

This also connects invariance to elliptic curves: changing an oriented basis of the lattice $\mathbb{Z}+\tau \mathbb{Z}$ gives precisely the modular action after a rescaling. On the compact full modular quotient, $j$ has just the one simple modular cusp pole, so its map to the sphere has degree one. It therefore classifies the resulting homothety of complex lattices classes, while the modular lambda function retains a level-two labeling of the branch points in the Legendre model $y^2=x(x-1)(x-\lambda )$. Finally, a modular form of nonzero weight obeys a transformation law with a factor $(c\tau +d{)}^k$, not plain invariance; ratios of equal-weight forms instead give weight-zero modular functions. The distinction between forms, invariant holomorphic functions on the open half-plane, and their modular cusp behavior is essential to this construction.

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.

Use the valence formula for the modular group: for a nonzero modular form of weight $k$ on $S{L}_2(\mathbb{Z})$,The sum contains one representative of each other modular group orbit of zeros. The orders are nonnegative because $f$ is holomorphic on the complex upper half-plane and at infinity. The half and third weights account for the elliptic stabilizers of the modular group.

In weight two, the transformation under $S=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ at its fixed point gives $f(i)=i^{2}f(i)=-f(i)$. Thus any nonzero $f$ would have $v_i(f)\ge 1$. The valence formula for the modular group would give a left side at least $1/2$ and a right side $1/6$, which is impossible. Therefore the unheaded request is answered by vanishing of weight-two level-one modular forms:

Let $S=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ and $T=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$. The modular group acts on the complex upper half-plane by fractional linear transformations, andFor fixed $z=x+iy$, the values $|cz+d|$ with primitive integer pairs $(c,d)$ have a positive minimum: the conditions $|cz+d|\le R$ bound both $|c|\le R/y$ and $|d|\le R+|cx|$, leaving finitely many pairs. By Bezout identity, a minimizing pair is the bottom row of a matrix in $S{L}_2(\mathbb{Z})$. Applying that matrix gives a point of maximal imaginary part in its orbit.

Translate it by a power of $T$ into $-1/2<x\le 1/2$. It must have modulus at least one, since otherwise $S$ would increase its imaginary part. If it is on the unit circle with negative real part, apply $S$, which there changes $x$ to $-x$. This gives an element of the specified half-open standard fundamental domain of the modular group. It proves existence by reduction to the standard modular region.

For uniqueness, if $z$ lies in the closed standard region then $y\ge \sqrt{3}/2$ andfor every primitive pair. If $c=0$, this follows from $d=\pm 1$; if $|c|\ge 2$, it follows from $|c|y\ge \sqrt{3}$. If $|c|=1$, then $d=0$ uses $|z|\ge 1$, while $|d|\ge 1$ givesIf both $z$ and $z^{\prime }=\gamma z$ lie in the region, applying this inequality to $\gamma$ and ${\gamma }^{-1}$ forces their imaginary parts to agree, hence $|cz+d|=1$.

The equality cases describe every possible boundary identification. For $c=0$ the map is an integer translation; the half-open vertical strip retains one representative. For $|c|=1,d=0$, equality requires $|z|=1$, and the map is an inversion followed by an integer translation. Inversion exchanges the two halves of the circle, so retaining only the right half removes the duplication; the only translation that returns the exchanged endpoint is the one identifying the two corners. The remaining equality cases have $|c|=|d|=1$, $|z|=1$ and $x=\pm 1/2$, and give only those same corner identifications. Our region retains the right corner alone. Therefore $z^{\prime }=z$, proving

The equality analysis also gives the elliptic stabilizers of the modular group. The central matrices $\pm I$ fix every point. The point $i$ is fixed by $S$, with $S^2=-I$, and the retained corner ${\rho }_{+}=e^{i\pi /3}$ is fixed by $R=TS$, with $R^3=-I$. There are no other noncentral stabilizers, and the possible bottom rows in the equality cases give exactlyThe corresponding stabilizer orders in $PS{L}_2(\mathbb{Z})$ are two, three and one; the requested group is $S{L}_2(\mathbb{Z})$, so the center must be included.