Using a Hurwitz space computation, we determine the canonical model of the cover of Shimura curves X 0 (2) → X (1) associated to the quaternion algebra over the cubic field of discriminant 13 2 , which is ramified at exactly two real places and unramified at finite places. Then, we list the coordinates of some rational CM points on X (1).
IntroductionIn his classic "Shimura curve computations" [Elk98], Elkies considers Shimura curves from a computational point of view. He explicitly determines covers between Shimura curves associated to the same quaternion algebra and also coordinates of some CM points of those curves. His approach relies mostly on the uniformization of these curves by a quotient of the hyperbolic plane. Several mathematicians have investigated this kind of computational challenge [Voi06,BT07,GR04]. Elkies himself published a second article on the area [Elk06], where he computes the canonical models of some Shimura curves associated with quaternion algebras whose center is one of the cubic cyclic totally real fields of discriminant 49 = 7 2 or 81 = 9 2 and ramified at no finite place and exactly two of the three real places of the center. He ends his article by describing the cover of Shimura curves X 0 (2) → X (1) (see Section 1 for definitions) for the cubic field K of discriminant 13 2 . More precisely, he shows that the curve X (1) has genus zero and that the cover X 0 (2) → X (1) is a degree 9 cover with a certain ramification behavior. But he does not compute equations for the canonical model of this cover. In this work, we compute such a model explicitly.We also illustrate the utility of the computation of Hurwitz spaces. A great tool to compute an explicit model of a cover of P 1 C with given ramification data is to consider the whole family of covers