math.NT — Number Theory
Modularity of elliptic curves over totally real field and CM fields not containing \zeta_5
This notes tries to parse the basic structure of OpenAI's new argument proving modularity of elliptic curves over imaginary quadratic fields. The argument also proves modularity over all totally real field, and in the original form, modularity over CM fields not containing \zeta_5. The general CM case has also now been resolved by an independent repository which improves the Caraiani-Newton modularity lifting theorem for CM field at the prime 5, which was the main reason for the extra hypothesis. I kept the argument in the totally real case separate to highlight the main new idea in the OpenAI proof, which is orthogonal to modularity lifting theorems.
A mix of human-written and AI-generated textHuman understanding: some partsModularity