Modular forms of CM type mod ell
Pith reviewed 2026-05-22 02:22 UTC · model grok-4.3
The pith
Non-CM weight-2 modular forms of CM type mod ℓ by Q(√-3) are congruent mod ℓ to genuine CM forms
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A weight-2 cuspidal Hecke eigenform without complex multiplication that is of CM type modulo ℓ by K = Q(√-3) is congruent modulo ℓ to a genuine CM modular form of weight 2. This follows because the associated residual Galois representation is monomial with respect to K. The statement is verified for modular forms coming from abelian surfaces with quaternionic multiplication, from Q-curves defined over K, and from elliptic curves over Q whose 5-torsion image is the maximal cyclic subgroup of order 16 in GL_2(F_5).
What carries the argument
The CM-type-mod-ℓ condition (a_p ≡ 0 mod ℓ for all p inert in K), which forces the attached mod-ℓ Galois representation to be monomial with respect to K
If this is right
- The residual Galois representation factors through the Galois group of the quadratic extension K.
- The three listed geometric constructions supply concrete instances of the conjectured congruence.
- The monomial property accounts for the observed vanishing of coefficients at inert primes.
Where Pith is reading between the lines
- Numerical evidence given in the paper suggests the same congruence may hold for other imaginary quadratic fields.
- The monomial conclusion could be tested by direct computation on further examples from the same three families.
- The vanishing condition at inert primes may turn out to be a practical test for monomiality of residual representations.
Load-bearing premise
The modular forms arising from the three geometric situations satisfy the CM-type-mod-ℓ condition for suitable ℓ
What would settle it
An explicit non-CM weight-2 eigenform that is of CM type mod ℓ by some K but whose residual Galois representation is irreducible and not monomial with respect to K
read the original abstract
We say that a normalized modular form is of CM type modulo $\ell$ by an imaginary quadratic field $K$ if its Fourier coefficients $a_p$ are congruent to $0$ modulo a prime $\mathcal L\mid \ell$ for every prime $p$ that is inert in $K$. In this paper, we address the following question. Let $f$ be a weight~$2$ cuspidal Hecke eigenform without complex multiplication which is of CM type modulo $\ell$ by an imaginary quadratic field $K$. Does there exist a congruence modulo $\ell$ between $f$ and a genuine CM modular form of weight~$2$? We conjecture that such a congruence always exists. We prove this conjecture for $\ell>2$ and $\ell\neq 3$ when $K=\mathbb{Q}(\sqrt{-3})$. In this setting, we discuss three situations: (i) modular forms attached to abelian surfaces with quaternionic multiplication, (ii) $\mathbb{Q}$-curves completely defined over an imaginary quadratic field, and (iii) elliptic curves over $\mathbb{Q}$ whose $5$-torsion Galois representation has image the maximal cyclic of order $16$ inside $\operatorname{GL}_2({\mathbb F}_5)$. In all these cases, the modular forms under consideration are of CM type modulo suitable primes~$\ell$, and we show that the associated residual Galois representations are monomial with respect to an imaginary quadratic field $K$ (in some instances, more than one such field). Finally, we present numerical evidence that motivated the conjecture and provides further support for its validity beyond the cases treated in this paper.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a normalized modular form to be of CM type modulo ℓ by an imaginary quadratic field K if its Fourier coefficients a_p are congruent to 0 modulo a prime L dividing ℓ for every prime p inert in K. It poses the question whether a weight 2 cuspidal Hecke eigenform without complex multiplication that is of CM type modulo ℓ by K is congruent modulo ℓ to a genuine CM modular form of weight 2. The authors conjecture that such a congruence always exists and prove the conjecture for ℓ > 2 and ℓ ≠ 3 when K = Q(√-3). They do so by considering three geometric situations: (i) modular forms attached to abelian surfaces with quaternionic multiplication, (ii) Q-curves completely defined over an imaginary quadratic field, and (iii) elliptic curves over Q with 5-torsion Galois representation having image the maximal cyclic subgroup of order 16 in GL_2(F_5). In these cases, they show that the residual Galois representations are monomial with respect to K. Numerical evidence supporting the conjecture is also presented.
Significance. If the conjecture holds, it would provide a mechanism for producing congruences between non-CM weight-2 eigenforms that mimic CM behavior modulo ℓ and genuine CM forms, with potential consequences for the classification of residual Galois representations. The manuscript earns credit for supplying complete proofs of the conjecture in three concrete geometric settings for the fixed field K = Q(√-3), relying on standard properties of Hecke eigenforms and their associated Galois representations. The presentation of summarized numerical evidence further supports the broader conjecture beyond the rigorously treated cases.
major comments (1)
- The proofs for the three geometric situations rest on the claim that the modular forms arising from abelian surfaces with quaternionic multiplication, Q-curves over imaginary quadratic fields, and the specified elliptic curves satisfy the CM-type-mod-ℓ condition for suitable ℓ. This verification is load-bearing for concluding that the residual representations are monomial with respect to K and hence congruent to a CM form; an explicit check or reference establishing a_p ≡ 0 mod L for inert p in each case would strengthen the argument.
minor comments (2)
- The numerical evidence is only summarized; expanding this section with at least one fully worked example (including the specific primes and computed coefficients) would improve readability and allow independent assessment of the support for the conjecture.
- Notation for the prime L above ℓ should be introduced once and used consistently; occasional shifts to script l or other variants appear in the text.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for recommending minor revision. The comment identifies a point where additional explicit verification can strengthen the presentation of the CM-type-mod-ℓ condition in the three geometric settings. We address this below and will incorporate the requested clarifications.
read point-by-point responses
-
Referee: The proofs for the three geometric situations rest on the claim that the modular forms arising from abelian surfaces with quaternionic multiplication, Q-curves over imaginary quadratic fields, and the specified elliptic curves satisfy the CM-type-mod-ℓ condition for suitable ℓ. This verification is load-bearing for concluding that the residual representations are monomial with respect to K and hence congruent to a CM form; an explicit check or reference establishing a_p ≡ 0 mod L for inert p in each case would strengthen the argument.
Authors: We agree that making the verification of a_p ≡ 0 mod L for inert primes p more explicit will improve clarity. In the current manuscript, this condition follows from the construction of the associated Galois representations in each case: for quaternionic abelian surfaces (Section 3), the endomorphism action forces the required congruences; for Q-curves over imaginary quadratic fields (Section 4), the base change and twisting properties yield the monomial form; and for the elliptic curves with specified 5-torsion image (Section 5), the image being contained in a Borel subgroup compatible with K implies the vanishing. Nevertheless, to address the referee's suggestion directly, the revised version will include a dedicated paragraph or short subsection in each of Sections 3–5 that either performs a direct check for small inert primes (where feasible) or cites the precise lemma/reference establishing the congruence for all inert p. This addition will not alter the proofs but will make the load-bearing step more transparent. revision: yes
Circularity Check
No significant circularity; derivation uses independent geometric structure
full rationale
The paper defines 'CM type mod ℓ' via the condition a_p ≡ 0 mod ℒ for inert p, then conjectures a congruence to a genuine CM form. In the three geometric cases it proves the conjecture for K = Q(√-3) by establishing that the residual Galois representation attached to the form is monomial (i.e., induced from a character of Gal(Q̄/K)). This monomial property is obtained from the geometry of the objects (quaternionic abelian surfaces, Q-curves over K, or the explicit 5-torsion image), which independently forces the representation to be induced rather than merely satisfying trace-zero on inert primes. Because a monomial residual representation is precisely the residual representation of a CM form, the eigenvalue match for all primes follows from the isomorphism of representations, yielding the desired congruence. No step reduces by definition or by self-citation to the input data; the argument relies on standard properties of Galois representations attached to geometric objects and is therefore self-contained.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Weight-2 cuspidal Hecke eigenforms have associated two-dimensional Galois representations that are irreducible or satisfy known properties allowing monomiality checks.
- domain assumption Properties of Q-curves, abelian surfaces with quaternionic multiplication, and elliptic curves with prescribed torsion images are governed by known results in arithmetic geometry.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.