Let N be a prime integer. We know that the element $c=(0)-(\infty)$ generates the torsion subgroup of $J_0(N)$ and it has order Num( (N-1)/12). Now, there is a natural map $\pi^*:J_0(N) \rightarrow J_1(N)$, coming from the covering map $\pi:X_1(N) \rightarrow X_0(N)$. My question is what is the image of c under this map? Specifically, is it possible for $\pi^*(c)=0$?
Image of the cuspidal subgroup of J_0(N) in J_1(N)
Soroosh
- 818
- 5
- 9