show/hide this revision's text 3 Added bit about buildings

The standard example is $\Gamma_0(p)^+$ for a prime $p$, which is generated by $\Gamma_0(p)$ as an index two subgroup, together with the Fricke involution $\tau \mapsto \frac{-1}{p\tau}$. The $\Gamma_0(p)$ quotient parametrizes diagrams $E \to E'$ of elliptic curves equipped with a degree $p$ isogeny between them. Taking the quotient of the moduli problem by the Fricke involution amounts to symmetrizing the diagram, so the $\Gamma_0(p)^+$ quotient parametrizes tuples $( \{ E_1, E_2 \}, E_1 \leftrightarrows E_2)$ of unordered pairs of elliptic curves, with dual degree $p$ isogenies between them. Equivalently, you can ask for a set of diagrams $\{E_1 \to E_2, E_2 \to E_1 \}$ where the maps are dual isogenies.

A less well-known example is the 3C group, which is an index 3 subgroup of $\Gamma_0(3|3)$, with Hauptmodul $\sqrt[3]{j(3\tau)} = q^{-1} + 248q^2 + 4124q^5 + \dots$. This group is labeled $\Gamma_0(3|3)$ in the Conway-Norton paper, because $\Gamma_0(3|3)$ is the eigengroup, namely the group that takes the Hauptmodul to constant multiples of itself. The 3C group contains $\Gamma_0(9)$ as a normal subgroup, with quotient $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. You can view the upper half-plane quotient as a parameter space of quadruples of elliptic curves, with a rather complicated system of cyclic 9-isogenies and correspondences that get symmetrized (more on this in the last paragraph). A more succinct expression follows from using the matrix $\binom{30}{01}$ to conjugate $\Gamma_0(3|3)$ to $\Gamma(1)$ and $\Gamma_0(9)$ to $\pm \Gamma(3)$. Then you're basically looking at a moduli problem that parametrizes elliptic curves $E$ equipped with an unordered octuple of symplectic isomorphisms $E[3] \cong (\mathbb{Z}/3\mathbb{Z})^2$ that form a torsor under the normal characteristic 2-Sylow subgroup $Q_8 \subset Sp_2(\mathbb{F}_3)$Sp_2(\mathbb{F}_3) \cong SL_2(\mathbb{Z})/\Gamma(3)$.

As

In general, you can see, the encode moduli problems you get can be attached to arithmetic groups using the fact that congruence groups like $\Gamma(N)$ and $\Gamma_0(N)$ stabilize distinguished finite subcomplexes of the product of all $p$-adic Bruhat-Tits trees. Conway gives a bit complicated explanation (e.g., I would advise against writing out that doesn't use the monster classes of order 24)word "moduli") with pictures in his paper Understanding groups like $\Gamma_0(N)$. For your purposesexample, when $N$ is a product of $k$ distinct primes, $\Gamma_0(N)$ stabilizes a $k$-cube. Given a finite stable subcomplex, there is a standard way to make a moduli problem out of it might be better by assigning elliptic curves to forget the extra invariancevertices, and consider Picard-Fuchs isogenies to the edges, such that the induced transformations on the Tate module behave as you would expect from traversing the product of buildings. To symmetrize, just enumerate orbits of the transformations you want, and demand a torsor structure.

In the case of the 3C group in the above paragraph, $Y_0(N)$.\Gamma_0(9)$ pointwise stabilizes a subgraph of the 3-adic tree that is an X-shaped configuration spanned by 5 vertices. The edges coming out of the central vertex are in noncanonical bijection with points in $\mathbb{P}^1(\mathbb{F}_3)$, and to symmetrize, you can make an unordered 4-tuple of diagrams of 5 elliptic curves, related by the action of the subgroup $V_4 \subset PSL_2(\mathbb{F}_3)$ that preserves the cross-ratio.
show/hide this revision's text 2 added 28 characters in body

For the groups $\Gamma$ in Conway-Norton, there is always a moduli problem of $\Gamma$-structures, but since the groups always contain $\Gamma_0(N)$ for some $N$, you won't be able to construct a universal family (because there is a $-1$ automorphism in the way). However, you will sometimes get a ``relatively representable'' problem in the sense of Katz-Mazur.

The upper half-plane quotients will be coarse spaces parametrizing objects of the following general form: You have a diagram of elliptic curves, with some isogenies of specified degrees between them, together with some data that tell you how much symmetry in the diagram you should remember. Since all of the groups normalize $\Gamma_0(N)$ for some $N$, the diagrams will typically involve cyclic isogenies of degree $N$ in some way, and the symmetrization will involve a subgroup of the finite quotient $N_{SL_2(\mathbb{R})}(\Gamma_0(N))/\Gamma_0(N)$.

The standard example is $\Gamma_0(p)^+$ for a prime $p$, which is generated by $\Gamma_0(p)$ as an index two subgroup, together with the Fricke involution $\tau \mapsto \frac{-1}{p\tau}$. The $\Gamma_0(p)$ quotient parametrizes diagrams $E \to E'$ of elliptic curves equipped with a degree $p$ isogeny between them. Taking the quotient of the moduli problem by the Fricke involution amounts to symmetrizing the diagram, so the $\Gamma_0(p)^+$ quotient parametrizes unordered pairs of elliptic curves, with dual degree $p$ isogenies between them.

A less well-known example is the 3C group, which is an index 3 subgroup of $\Gamma_0(3|3)$, with Hauptmodul $\sqrt[3]{j(3\tau)} = q^{-1} + 248q^2 + 4124q^5 + \dots$. This group is labeled $\Gamma_0(3|3)$ in the Conway-Norton paper, because $\Gamma_0(3|3)$ is the eigengroup, namely the group that takes the Hauptmodul to constant multiples of itself. The 3C group contains $\Gamma_0(9)$ as a normal subgroup, with quotient $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. You can view the upper half-plane quotient as a parameter space of quadruples of elliptic curves, with a rather complicated system of cyclic 9-isogenies and correspondences involving 3-torsion between themthat get symmetrized. A more succinct expression follows from using the matrix $\binom{30}{01}$ to conjugate $\Gamma_0(3|3)$ to $\Gamma(1)$ and $\Gamma_0(9)$ to $\pm \Gamma(3)$. Then you're basically looking at a moduli problem that parametrizes elliptic curves $E$ equipped with an unordered octuple of symplectic isomorphisms $E[3] \cong (\mathbb{Z}/3\mathbb{Z})^2$ that form a torsor under the normal subgroup $Q_8 \subset Sp_2(\mathbb{F}_3)$.

As you can see, the moduli problems you get can be a bit complicated (e.g., I would advise against writing out the monster classes of order 24). For your purposes, it might be better to forget the extra invariance, and consider Picard-Fuchs on $Y_0(N)$.
show/hide this revision's text 1

For the groups $\Gamma$ in Conway-Norton, there is always a moduli problem of $\Gamma$-structures, but since the groups always contain $\Gamma_0(N)$ for some $N$, you won't be able to construct a universal family (because there is a $-1$ automorphism in the way). However, you will sometimes get a ``relatively representable'' problem in the sense of Katz-Mazur.

The upper half-plane quotients will be coarse spaces parametrizing objects of the following general form: You have a diagram of elliptic curves, with some isogenies of specified degrees between them, together with some data that tell you how much symmetry in the diagram you should remember. Since all of the groups normalize $\Gamma_0(N)$ for some $N$, the diagrams will typically involve cyclic isogenies of degree $N$ in some way, and the symmetrization will involve a subgroup of the finite quotient $N_{SL_2(\mathbb{R})}(\Gamma_0(N))/\Gamma_0(N)$.

The standard example is $\Gamma_0(p)^+$ for a prime $p$, which is generated by $\Gamma_0(p)$ as an index two subgroup, together with the Fricke involution $\tau \mapsto \frac{-1}{p\tau}$. The $\Gamma_0(p)$ quotient parametrizes diagrams $E \to E'$ of elliptic curves equipped with a degree $p$ isogeny between them. Taking the quotient of the moduli problem by the Fricke involution amounts to symmetrizing the diagram, so the $\Gamma_0(p)^+$ quotient parametrizes unordered pairs of elliptic curves, with dual degree $p$ isogenies between them.

A less well-known example is the 3C group, which is an index 3 subgroup of $\Gamma_0(3|3)$, with Hauptmodul $\sqrt[3]{j(3\tau)} = q^{-1} + 248q^2 + 4124q^5 + \dots$. This group is labeled $\Gamma_0(3|3)$ in the Conway-Norton paper, because $\Gamma_0(3|3)$ is the eigengroup, namely the group that takes the Hauptmodul to constant multiples of itself. The 3C group contains $\Gamma_0(9)$ as a normal subgroup, with quotient $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. You can view the quotient as a parameter space of quadruples of elliptic curves, with a rather complicated system of correspondences involving 3-torsion between them. A more succinct expression follows from using the matrix $\binom{30}{01}$ to conjugate $\Gamma_0(3|3)$ to $\Gamma(1)$ and $\Gamma_0(9)$ to $\pm \Gamma(3)$. Then you're basically looking at a moduli problem that parametrizes elliptic curves $E$ equipped with an unordered octuple of symplectic isomorphisms $E[3] \cong (\mathbb{Z}/3\mathbb{Z})^2$ that form a torsor under the normal subgroup $Q_8 \subset Sp_2(\mathbb{F}_3)$.

As you can see, the moduli problems you get can be a bit complicated (e.g., I would advise against writing out the monster classes of order 24). For your purposes, it might be better to forget the extra invariance, and consider Picard-Fuchs on $Y_0(N)$.