1 Introduction
2 $N$ composite with at least two distinct prime factors
$$\begin{array}{c}0\to E\left(k\right)\to A\to {A}_{0}\to 1.\end{array}$$ | (1) |
3 $N$ prime
3.1 Reductions
3.6 $\overline{\rho}$ is totally real
$$\begin{array}{c}J\left[{\mathfrak{m}}^{\infty}\right](\mathbf{C})\sim =({\mathbf{Q}}_{2}/{\mathbf{Z}}_{2}{)}^{2g(\mathfrak{m})}.\end{array}$$ | (2) |
3.9 $\overline{\rho}$ is unramified at $2$
3.10 $\overline{\rho}$ is ordinary, complex, and ramified at $2$
$$\begin{array}{c}Gal(H/\mathbf{Q})\simeq {S}_{3}\times \mathbf{Z}/2\mathbf{Z}.\end{array}$$ | (3) |
3.12 Level-lowering for modular deformations
$$\begin{array}{c}0\to A[{2}^{r}{]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}\to {J}_{0}(2N\left)\right[{2}^{r}{]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}\to B[{2}^{r}{]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}\to 0.\end{array}$$ | (4) |
$$\begin{array}{c}0\to A\left[{2}^{r}{]}_{\mathfrak{m}}^{0}\right({\overline{\mathbf{Q}}}_{2})\to {J}_{0}(2N\left)\right[{2}^{r}{]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)\to B\left[{2}^{r}{]}_{\mathfrak{m}}^{0}\right({\overline{\mathbf{Q}}}_{2})\to 0,\end{array}$$ | (5) |
$$\begin{array}{c}0\to A\left[{2}^{r}{]}_{\mathfrak{m}}\right({\overline{\mathbf{Q}}}_{2})\to {J}_{0}(2N\left)\right[{2}^{r}{]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)\to B\left[{2}^{r}{]}_{\mathfrak{m}}\right({\overline{\mathbf{Q}}}_{2})\to 0.\end{array}$$ | (6) |
$$\begin{array}{c}0\to A\left[{2}^{r}{]}_{\mathfrak{m}}\right({\overline{\mathbf{Q}}}_{2}{)}^{\chi}\to {J}_{0}\left(2N\right)\left[{2}^{r}{]}_{\mathfrak{m}}\right({\overline{\mathbf{Q}}}_{2}{)}^{\chi}\to B\left[{2}^{r}{]}_{\mathfrak{m}}\right({\overline{\mathbf{Q}}}_{2}{)}^{\chi}.\end{array}$$ | (7) |
$$\begin{array}{c}A\left[{2}^{r}{]}_{\mathfrak{m}}^{0}\right({\overline{\mathbf{Q}}}_{2})\subset A[{2}^{r}{]}_{\mathfrak{m}}({\overline{\mathbf{Q}}}_{2}{)}^{\chi}.\end{array}$$ | (8) |
$$\begin{array}{c}V:={J}_{0}\left(2N\right)\left[I\right]\left(\overline{\mathbf{Q}}\right)\sim =Ho{m}_{\mathbf{Z}/{2}^{r}}({\mathbf{T}}_{\mathfrak{m}}/I,\mathbf{Z}/{2}^{r}){\otimes}_{A}\rho .\end{array}$$ | (9) |
4 $N$ a proper prime power
5 Further remarks