Abstract. We explicitly construct the canonical rational models of Shimura curves, both analytically in terms of modular forms and algebraically in terms of coefficients of genus 2 curves, in the cases of quaternion algebras of discriminant 6 and 10. This emulates the classical construction in the elliptic curve case. We also give families of genus 2 QM curves, whose Jacobians are the corresponding abelian surfaces on the Shimura curve, and with coefficients that are modular forms of weight 12. We apply these results to show that our j-functions are supported exactly at those primes where the genus 2 curve does not admit potentially good reduction, and construct fields where this potentially good reduction is attained. Finally, using j, we construct the fields of moduli and definition for some moduli problems associated to the Atkin-Lehner group actions.

No abstract

We study the differential structure of the ring of modular forms for the unit group of the quaternion algebra over Q of discriminant 6. Using these results we give an explicit formula for Taylor expansions of the modular forms at the elliptic points. Using appropriate normalizations we show that the Taylor coefficients at the elliptic points of the generators of the ring of modular forms are all rational and 6-integral. This gives a rational structure on the ring of modular forms. We give a recursive formula for computing the Taylor coefficients of modular forms at elliptic points and, as an application, give an algorithm for computing modular polynomials.

We construct certain elements in the motivic cohomology group, where E and E are elliptic curves over Q. When E is not isogenous to E these elements are analogous to circular units in real quadratic fields, as they come from modular parametrizations of the elliptic curves. We then find an analogue of the class-number formula for real quadratic fields, which specializes to the usual quadratic class-number formula when E and E are quadratic twists.