Timeline for Is the Modularity Theorem (currently) effective?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 3, 2014 at 22:28 | comment | added | Noam D. Elkies | Yes, quite a few people have done such computations, myself included. For example (anent your MO155439 query), $X_0(121)$ is a double cover of a curve $X_0(121)/w$ of genus $2$, which has equation $$ Y^2 = X^6 + 6X^5 + 11X^4 + 8X^3 + 11X^2 + 6X + 1 $$ (or $$ y^2 + (X^3+X^2+X+1)y = X^5+2X^4+X^3+2X^2+X $$ with good reduction at $2$); the involution $X \leftrightarrow 1/X$ of the $X$-line then lifts to two involutions of $X_0(121)/w$, and the resulting quotients of $X_0(121)/w$ are elliptic curves of conductor $121$ (CM) and $11$. | |
| Mar 3, 2014 at 14:06 | comment | added | Maarten Derickx | Cool so the technology is already there to explicitly compute these. Do you happen to know wether someone already also carried out such explicit computations? See also my question: mathoverflow.net/questions/155439/… | |
| Mar 2, 2014 at 2:49 | vote | accept | Colin McLarty | ||
| Mar 2, 2014 at 2:38 | history | answered | Noam D. Elkies | CC BY-SA 3.0 |