Source authenticated

Modularity of elliptic curves over imaginary quadratic fields

Theorem 1.1: for every imaginary quadratic KK and every E/KE/K there is an isobaric automorphic representation πE\pi_E of GL2(AK)\mathrm{GL}_2(\mathbb A_K) with trivial central character and weight zero such that rι(πE)≃Het1(EKˉ,Qˉl)r_\iota(\pi_E)\simeq H^1_{et}(E_{\bar K},\bar{\mathbb Q}_l) for every ll and ι\iota, with local-global compatibility at every finite place v∤lv\nmid l and the expected parameter at the complex place; hence L(E/K,s)=L(πE,s−1/2)L(E/K,s)=L(\pi_E,s-1/2). πE\pi_E is cuspidal when EE has no CM. The method is a geometric prime switch: cyclic covers of a quadratic twist of EE give a chain of mod pp, mod 3, mod pp congruences that carries automorphy from an auxiliary curve to EE through the Caraiani-Newton lifting theorem. It does not treat other CM fields or totally real fields.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 4, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Modularity of elliptic curves over imaginary quadratic fields · Modularity over imaginary quadratic fields

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Theorem 1.1: for every imaginary quadratic KK and every E/KE/K there is an isobaric automorphic representation πE\pi_E of GL2(AK)\mathrm{GL}_2(\mathbb A_K) with trivial central character and weight zero such that rι(πE)≃Het1(EKˉ,Qˉl)r_\iota(\pi_E)\simeq H^1_{et}(E_{\bar K},\bar{\mathbb Q}_l) for every ll and ι\iota, with local-global compatibility at every finite place v∤lv\nmid l and the expected parameter at the complex place; hence L(E/K,s)=L(πE,s−1/2)L(E/K,s)=L(\pi_E,s-1/2). πE\pi_E is cuspidal when EE has no CM. The method is a geometric prime switch: cyclic covers of a quadratic twist of EE give a chain of mod pp, mod 3, mod pp congruences that carries automorphy from an auxiliary curve to EE through the Caraiani-Newton lifting theorem. It does not treat other CM fields or totally real fields. parent of this event

This event attributed to Unreleased internal OpenAI model

Modularity of elliptic curves over imaginary quadratic fields evidence for this event

Caraiani-Newton, On the modularity of elliptic curves over imaginary quadratic fields (key input) evidence for this event

Modularity of elliptic curves over imaginary quadratic fields parent of this event

VibeMathed record: Modularity of elliptic curves over imaginary quadratic fields evidence for this event

Act on this frontier

Verify, challenge, or extend the result.