On rational Eisenstein primes and the rational cuspidal groups of modular Jacobian varieties

Abstract: Let

N

be a non-squarefree positive integer and let

e l l

be an odd prime such that

e l l^{2}

does not divide

N

. Consider the Hecke ring

m a t h b b T (N)

of weight

2

for

G a m m a_{0} (N)

, and its rational Eisenstein primes of

m a t h b b T (N)

containing

e l l

, defined in Section 3. If

m a t h f r a k m

is such a rational Eisenstein prime, then we prove that

m a t h f r a k m

is of the form

(e l l, m a t h c a l I_{M, N}^{D})

, where the ideal

m a t h c a l I_{M, N}^{D}

of

m a t h b b T (N)

is also defined in Section 3. Furthermore, we prove that

m a t h c a l C (N) [m a t h f r a k m] e q 0

, where

m a t h c a l C (N)

is the rational cuspidal group of

J_{0} (N)

. To do this, we compute the precise order of the cuspidal divisor

m a t h c a l C_{M, N}^{D}

, defined in Section 4, and the index of

m a t h c a l I_{M, N}^{D}

in

m a t h b b T (N) o t i m e s m a t h b b Z_{e} l l

.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: On rational Eisenstein primes and the rational cuspidal groups of modular Jacobian varieties