How do you get algebraic models for modular/shimura curves? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T19:14:45Z http://mathoverflow.net/feeds/question/108451 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108451/how-do-you-get-algebraic-models-for-modular-shimura-curves How do you get algebraic models for modular/shimura curves? Will Chen 2012-09-30T07:47:05Z 2012-09-30T07:47:05Z <p>I've got a few questions related to a paper by Lei Yang - "Exotic Arithmetic Structure on the First Hurwitz Triplet" <a href="http://arxiv.org/pdf/1209.1783v3.pdf" rel="nofollow">http://arxiv.org/pdf/1209.1783v3.pdf</a></p> <p>We know that there are exactly three Hurwitz curves of genus 14. Lets call them $X_1,X_2$, and $X_3$. Let $G_{2,3,7}$ be the triangle group of orientation-preserving transformations generated by reflections of a given hyperbolic triangle with angles $\pi/2,\pi/3,\pi/7$. Ie, $$G_{2,3,7} = \langle \sigma_2,\sigma_3,\sigma_7 : \sigma_2^2 = \sigma_3^3 = \sigma_7^7 = \sigma_2\sigma_3\sigma_7 = 1\rangle$$</p> <p>Then we know that any Hurwitz curve can be realized as $\mathcal{H}/\Gamma$, where $\mathcal{H}$ is the upper half plane, and $\Gamma$ is its fundamental group, which is necessarily a normal subgroup of $G_{2,3,7}$. In this case, the automorphism group of the Hurwitz curve is $G_{2,3,7}/\Gamma$.</p> <p>The three Hurwitz curves can be viewed as Shimura curves as described in the paper, but also in <a href="http://en.wikipedia.org/wiki/First_Hurwitz_triplet" rel="nofollow">http://en.wikipedia.org/wiki/First_Hurwitz_triplet</a></p> <p>In particular, each of $X_1,X_2,X_3$ has $PSL(2,13)$ as its automorphism group.</p> <p>Later on Lei Yang goes on to give a 6 dimensional projective representation of $PSL(2,\mathbb{Z})$ (ie, a map $PSL(2,\mathbb{Z})\rightarrow PGL(6,\mathbb{Q}(\zeta_{13}))$), where the image is isomorphic to $PSL(2,13)$. In this particular case, the kernel $G$ ends up being a noncongruence subgroup of $PSL(2,\mathbb{Z})$, resulting in a compactified modular curve $\overline{\mathcal{H}/G}$ of genus 14 which has automorphism group $PSL(2,13)$, and hence this noncongruence modular curve must be one of the Hurwitz curves $X_1,X_2$, or $X_3$. </p> <p>$$\textbf{MY QUESTION:}$$ In what sense does the Shimura curve construction mean that the action of $PSL(2,13)$ on $X_1,X_2,X_3$ is "defined over $\mathbb{Q}(\zeta_7)$" ?</p> <p>Similarly, in the noncongruence case, in what sense is the action of $PSL(2,13)$ on the noncongruence modular curve $\overline{\mathcal{H}/G}$ defined over $\mathbb{Q}(\zeta_{13})$?</p> <p>I suppose my real question is, given a description of a Fuchsian group $\Gamma$ (for example the one from the wiki article), how would you come up with an algebraic model of $\mathcal{H}/\Gamma$? In particular, is there a nice way to come up with an algebraic model that makes it obvious why the actions of $PSL(2,13)$ on the two versions of these Hurwitz curves (shimura and noncongruence) are defined over $\mathbb{Q}(\zeta_7)$ and $\mathbb{Q}(\zeta_{13})$ ?</p> <p>thanks,</p> <ul> <li>will</li> </ul>