Let
be the unique (up
to sign) rational
-form on a minimal Weierstrass model of
over
that
restricts to a nowhere-vanishing
-form on the smooth locus.
The pullback of
is a
rational multiple of the differential associated to the normalized
new cuspidal eigenform
associated to
.
The Manin constant
of is
is the
absolute value of this rational multiple. The
Manin constant plays a role in the conjecture of Birch and Swinnerton-Dyer
(see, e.g., [GZ86, p. 310]) and in work on
modular parametrizations (see [Ste89,SW04,Vat05]). It is known that the Manin constant is an integer;
this fact is important to Cremona's computations
of elliptic curves (see [Cre97, pg. 45]), and algorithms
for computing special values of elliptic curve
-functions. Manin
conjectured that
. In Section 2, we summarize
known results about
, and give the new result that
if if
is not a congruence prime and
.
I made some modifications in the paragraph below. -AmodIn Section 3,
we generalize the definition of the Manin constant and many of
the results mentioned so far to optimal quotients of
and
of any dimension associated to ideals of the Hecke algebra.
The generalized Manin constant comes up naturally in studying the
conjecture of
Birch and Swinnerton-Dyer for such quotients
(see [AS05, §4]), which is our motivation for studying the
generalization.
We state what we
can prove about the generalized Manin constant, and
make a conjecture that the
constant is also
for quotients associated to newforms. The proofs
of the theorems stated in Section 3 are in
Section 4. Section 5 is an appendix
written by J. Cremona about computational verification that the Manin
constant is
for many elliptic curves.
Acknowledgments. The authors are grateful
to A. Abbes, K. Buzzard, R. Coleman, B. Conrad, B. Edixhoven,
A. Joyce, L. Merel, and R. Taylor for discussions and advice regarding
this paper. The authors wish to thank the referee for helpful
comments and suggestions.
William Stein 2006-06-25