Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've got a few questions related to a paper by Lei Yang - "Exotic Arithmetic Structure on the First Hurwitz Triplet" http://arxiv.org/pdf/1209.1783v3.pdf

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$$

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$.

The three Hurwitz curves can be viewed as Shimura curves as described in the paper, but also in http://en.wikipedia.org/wiki/First_Hurwitz_triplet

In particular, each of $X_1,X_2,X_3$ has $PSL(2,13)$ as its automorphism group.

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$.

$$\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)$" ?

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})$?

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})$ ?

thanks,

  • will
share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.