where we may identify with since is a Jacobian of a curve with a rational point.

The period lattice for can be described in terms of a pair of matrices such that . The volume of this lattice is one of the invariants which enters into the BSD Conjectures.

An analytic approach is the only known general way to compute the modular degree of an optimal quotient of . More precisely, there is a purely algebraic algorithm (which involves the theory of the analytic period lattice), which allows one to compute the modular degree. See [KS00] and the MAGMA source code. When has dimension there is an alternate algorithm due to Mark Watkins to compute the modular degree. It involves making computation of explicit and using Flach's theorem.

"Flach's Theorem" should be (maybe) "Shimura's formula" or something. Flach's theorem relates to the Bloch-Kato conjecture, whereas the Shimura work relates it (via Rankin convolution) to the modular degree (at least for curves that are not semistable, getting the fudge factors correct probably is mentioned first in Flach, but he doesn't exactly work out the factors explicitly).

However, I think the best reference for the passage from to the modular degree is in Flach's paper:

[ ] [10] MR1300880 (95h:11053) Flach, Matthias On the degree of modular parametrizations. Seminaire de Theorie des Nombres, Paris, 1991--92, 23--36, Progr. Math., 116, Birkhaeuser Boston, Boston, MA, 1993. (Reviewer: Henri Darmon) 11G05 (11F30 11F33 11G40)