Certain squarefree levels of reducible modular mod$\,\ell$ Galois representations

Abstract

Let $k \ge 2$ be an even integer, $ \ell \ge \max\{5, k-1\} $ be a prime, and $N$ be a squarefree positive integer. It is known that if the $\rm{mod}\,\ell$ Galois representation $\overlineρ_f$ associated with a newform $f$ of weight $k$, level $N$, and trivial nebentypus is reducible, then $\overlineρ_f \simeq 1 \oplus \overlineχ_\ell^{k-1}$, up to semisimplification, where $\overlineχ_\ell^{}$ is the $\rm{mod}\,\ell$ cyclotomic character. In this paper, we determine the necessary and sufficient conditions under which the $\rm{mod}\,\ell$ representation $1 \oplus \overlineχ_\ell^{k-1}$ arises from a newform of weight $k$, level $N$ with exactly two prime factors with specified Atkin-Lehner eigenvalues. Specifically, this proves a conjecture of Billerey and Menares when $N$ is a product of two primes under some mild assumption. As an application, we show that for any $\ell\ge 5$ and $k=2$ or $\ell+1$, there exist a large class of distinct primes $p$ and $q$ such that the $\rm{mod}\,\ell$ representation $1 \oplus \overlineχ_\ell^{k-1}$ arises from a newform of weight $k$ and level $pq$ with explicit Atkin-Lehner eigenvalues.

Theorems & Definitions (32)

• Conjecture 1.1: Generalized Billerey-Menares Conjecture
• Lemma 1.2
• Theorem 1.3
• Remark 1.4
• Theorem 1.5
• Corollary 1.6
• Theorem 1.7
• Remark 1.8
• Theorem 1.9
• Corollary 1.10