All Questions
Tagged with galois-representations modular-forms
104 questions
28
votes
1
answer
3k
views
Are there Maass forms where the expected Galois representation is $\ell$-adic?
Recall that by theorems of Deligne and Deligne--Serre, there is the following dichotomy:
Modular forms on the upper half plane of level $N$ and weight $k\geq 2$ correspond to representations $\rho:\...
- 18.7k
28
votes
1
answer
2k
views
Is there a "Langlands philosophy" reason for the fact that the L-function of the Jacobi theta function is (almost) the Riemann zeta function?
The Jacobi theta function $\theta(z) = 1 + 2 \sum_{n = 1}^\infty q^{n^2}$, with $q = e^{\pi i z}$ is a (twisted) modular form with weight $1/2$. It has an associated $L$-function $L(\theta, s) = \sum_{...
- 3,058
27
votes
6
answers
5k
views
Where can I find a comprehensive list of equations for small genus modular curves?
Does there exist anywhere a comprehensive list of small genus modular curves $X_G$, for G a subgroup of GL(2,Z/(n))$? (say genus <= 2), together with equations? I'm particularly interested in genus ...
- 10.5k
23
votes
3
answers
4k
views
Subgroups of GL(2,q)
I have been wondering about something for a while now, and the simplest incarnation of it is the following question:
Find a finite group that is not a subgroup of any $GL_2(q)$.
Here, $GL_2(q)$ is ...
- 295
23
votes
0
answers
832
views
Eichler-Shimura over Totally Real Fields
By Eichler-Shimura over totally real fields I mean the following conjecture.
Conjecture. Let $K$ be a totally real field. Let $f$ be a Hilbert eigenform with rational eigenvalues, of parallel weight $...
- 3,142
22
votes
1
answer
3k
views
The difficulties in proving modularity lifting theorems over non-totally real fields
First of all, let me apologize in advance for the terseness of this question.
It seems that by now there are well-developed techniques (the "Taylor-Wiles-Kisin" method) for proving modularity lifting ...
- 13.1k
18
votes
2
answers
2k
views
Galois representations attached to newforms
Suppose that $f$ is a weight $k$ newform for $\Gamma_1(N)$ with attached $p$-adic Galois representation $\rho_f$. Denote by $\rho_{f,p}$ the restriction of $\rho_f$ to a decomposition group at $p$. ...
- 1,609
17
votes
1
answer
2k
views
Representations attached to p-adic modular forms
A theorem of Gouvea and Hida (or rather a consequence of it) states that there exist a Galois representation attached to a $p$-adic eigenform $f$ provided the residual representation attached to a ...
- 995
16
votes
0
answers
11k
views
Deligne's letter to Jean-Pierre Serre
I'm looking for another letter of Pierre Deligne, this time to Jean-Pierre Serre (from around 1974 I think), in which he proves that the Galois representation associated to a certain Hecke eigenform ...
15
votes
1
answer
983
views
When is the image of a 2-dim l-adic representation associated to a modular form open
I know the following theorems by Serre:
1, The 2-dim l-adic representation associated to a non-CM elliptic curve is open.
2, The 2-dim l-adic representation associated the weight-12 cusp form $\...
- 871
15
votes
2
answers
994
views
Explicit Chebotarev and Langlands - irreducibility of X^5-X-1 mod primes
Is there an explicit infinite set of primes, modulo which $X^5 - X - 1$ is irreducible?
Since our polynomial's Galois group over $\mathbb{Q}$ is $S_5$, Chebotarev's density theorem implies that there ...
- 11.3k
14
votes
1
answer
1k
views
A question on a paper of K. Murty
Let $f=\sum_{n\ge 1}a_nq^n$ be a normalized Hecke eigenform which is not of CM-type, of weight $k\ge 2$ for the congruence subgroup $\Gamma_0(N)$. Let $a\in\mathbb{Z}$ and define
$$
\pi_f(x,a):=\#\{p\...
- 303
14
votes
2
answers
3k
views
Why is there a weight 2 modular form congruent to any modular form
I got my copy of Computational Aspects of Modular Forms and Galois Representations in the mail yesterday. The goal of the book is "How one can compute in polynomial time the value of Ramanujan's tau ...
- 4,593
13
votes
1
answer
1k
views
Reference for: CM Hilbert Modular forms arise from Hecke characters
For classical modular forms, the correspondence between the form having CM by an imaginary quadratic field $K$ and it being induced from a Hecke character on $K$ is well-known. (Ribet's paper is a ...
- 659
12
votes
2
answers
2k
views
Modularity theorem for abelian varieties
There's alredy two posts on MO about the extension of modularity to elliptic curves over fields other than $\mathbb{Q}$ ([1], [2]), and another one about general algebraic varieties [3].
What is ...
- 17.6k
11
votes
3
answers
944
views
"Extra Euler factors" in one definition of the L-function of a twist of a modular form
Let $(\rho_{f,\lambda})_\lambda$ be the system of Deligne's $\ell$-adic representations attached to a modular newform $f$ (where $\lambda$ runs over the finite places of the number field $K$ generated ...
- 734
11
votes
1
answer
762
views
Eichler-Shimura congruence
I'm trying to understand the Eichler-Shimura congruence which relates the Hecke operator $T_p$ to Frobenius at $p$ in characteristic $p$.
Two possible ways to compute $T_p$ mod $p$ seem to be:
A) ...
- 113
11
votes
1
answer
646
views
Modularity of higher genus curves
The modularity conjecture for elliptic curves over number fields is well known, and indeed, is a theorem for all elliptic curves over $\mathbb{Q}$, and at least potentially, over any CM field.
What ...
- 1,267
11
votes
1
answer
1k
views
Hodge–Tate structures of modular forms
The title refers to the paper of Faltings:
Hodge-Tate structures and modular forms.
Math. Ann. 278 (1987), no. 1-4, 133–149.
The main theorem in the paper says that the associated Galois rep to a ...
- 111
10
votes
1
answer
676
views
Level raising by prime powers
Suppose $f$ is a weight $2$ level $N$ cusp form. When can we realize the mod-$\ell$ representation of $f$ in a form of weight $2$ and level $Np^3$, where $p$ is some prime not dividing $N$? I assume ...
- 13.1k
10
votes
1
answer
595
views
Type of a modular form
Let $f$ be an arbitrary weight 1 newform. We know by Serre-Deligne that there is an odd 2-dimensional irreducible Artin representation $\rho$ such that $L_f(s)=L(\rho,s)$.
I was wondering how much ...
- 17.6k
10
votes
2
answers
961
views
What is a(n algebro-geometric) family of modular forms?
We know that a family of elliptic curves is a morphism of schemes $f:X \to Y$ such that the fiber of every point of $Y$ is an elliptic curve (and we usually require the morphism to be smooth, proper, ...
- 15.4k
10
votes
1
answer
618
views
Universal deformations of modular Galois representations
Let $\bar\rho$ be an odd, absolutely irreducible, 2-dimensional mod $p$ representation of $\operatorname{Gal}(\overline{\mathbf{Q}} / \mathbf{Q})$ (with coefficients in some finite extension $k / \...
- 37k
9
votes
1
answer
525
views
Is the weight in Serre's conjecture "minimal"?
Serre's conjecture says that given any odd, irreducible, continuous representation $\rho:G_{\mathbb{Q}}\rightarrow GL_2(\overline{\mathbb{F}_p})$ there is some eigenform $f$ of weight $k(\rho)$, level ...
- 335
9
votes
0
answers
596
views
Tameness criterion in the reducible case
Dear MO,
This is a follow up to a previous question here in MO, but I will make this question self-contained for convenience. Those already familiar with the following paper [G] by Gross can safely ...
- 1,694
8
votes
2
answers
781
views
Field of definition of Galois representations of weight 1 modular forms
Let $f$ be a weight 1 modular form (let's say cuspidal, new, normalized, and a Hecke eigenform). Then there's an associated Artin representation $\rho_f: \operatorname{Gal}(\overline{\mathbf{Q}} / \...
- 37k
8
votes
2
answers
1k
views
Field generated by the Fourier coefficients of a modular form
Let $f = \sum_n a_n q^n$ be a cuspidal newform of weight $k$ on $\Gamma_0(N)$ for some $N$. Let $K_f$ be the number field generated by the $a_q$ as $q$ runs over all primes.
My question: if we ...
- 115
8
votes
2
answers
1k
views
When do the Galois reps of modular forms have open image?
Suppose f is a newform (with coefficients generating some number field E), and $\rho_{f,\lambda}: {\rm Gal}(\overline{\mathbb{Q}} / \mathbb{Q}) \to {\rm GL}_2(E_\lambda)$ the associated Galois rep (...
- 37k
8
votes
2
answers
403
views
Mazur's Question on Mod $N$ Galois representations
In Rational Isogenies of Prime Degree, Mazur poses:
"the problem of determining all elliptic curves $E'/\mathbb{Q}$ with symplectic $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ isomorphisms $E'[N]\...
- 901
8
votes
1
answer
470
views
Is there an R=T type result for modular forms with additive reduction?
Let E be an elliptic curve over the rationals with conductor $Mp^2$ with p>5 and M and p coprime, and let $\rho$ be the Galois representation attached to the p-torsion points of E. Is there a way to ...
- 818
8
votes
1
answer
567
views
Symmetric power lift of modular forms
Let $f_1$ and $f_2$ be two cuspforms of weights $k_1$ and $k_2$ and nebentypus $\epsilon_1$ and $\epsilon_2$ respectively such that $f_1 \neq f_2 \otimes \chi$ for some Dirichlet character $\chi$ of ...
- 424
8
votes
1
answer
752
views
Adelic open image for modular forms?
There's a famous theorem of Serre that if $E$ is a non-CM elliptic curve over $\mathbf{Q}$, and $\rho_{E, \ell} : Gal(\overline{\mathbf{Q}}/{\mathbf{Q}}) \to GL_2(\mathbf{Z}_\ell)$ is its $\ell$-adic ...
- 37k
8
votes
1
answer
464
views
Image of complex conjugation by modular representations in characteristic 2
The question I am going to ask looks well-known, and I even may have heard things about it (but since I used to be deaf to anything in characteristic 2, whatever I heard has never been recorded in my ...
- 26k
8
votes
1
answer
253
views
Does Ribet's construction of class fields give us eigenspaces of rank 1?
Ribet's paper on the Herbrand-Ribet theorem constructs a representation $\rho: Gal(\overline{\Bbb Q}/\Bbb Q) \to GL_2(\mathbb F_q)$ where $q = p^r$ of the specific form:
$
\begin{bmatrix}
1 & *\\
...
- 7,746
8
votes
1
answer
963
views
Deligne-Scholl's motives for modular forms: Hecke operators vs. transposed Hecke operators
EDIT: I moved my original question down to the bottom. The question here at the top is related, at least I suppose that the same phenomenon is behind both of them.
In the article "Valeurs de ...
- 734
7
votes
3
answers
2k
views
Free subquotient of Galois representations coming from Hida theory
Let $\mathbf{T}$ be the reduced nearly ordinary Hecke algebra of level $N$ of Hida theory for $\operatorname{GL}_{2}$ over $\mathbb{Q}$ (or more generally over a totally real field $F$). Then $\mathbf{...
- 10.9k
7
votes
1
answer
914
views
Are coefficients of Maass forms of eigenvalue 1/4 known to be algebraic?
I would really like to know whether the following famous conjecture has been solved. I've read in a few places that it has been solved, but I have been unable to find a reference. I do know that ...
- 18.7k
7
votes
1
answer
1k
views
Properties of representations attached to p-adic modular forms
I found an old MOF post about representations attached to p-adic modular forms: Representations attached to p-adic modular forms and I have some follow up questions on the same topic.
If we have a ...
- 621
7
votes
1
answer
368
views
How large is Dcris of certain twists of modular forms?
I want to determine $\mathrm D_{\mathrm{cris}}$ of certain twists of the Galois representations attached to modular forms. For one particular twist it is not clear to me how $\mathrm D_{\mathrm{cris}}$...
- 734
7
votes
0
answers
309
views
List of applications of the Deformation theory of Galois Representations in contexts other that $R=T$
The Deformation theory of Galois representations developed by Mazur has been extensively used in proving that Galois representations with special properties are modular/automorphic through the ...
user130124
6
votes
1
answer
412
views
Computing an eigencuspform in $S_2(\Gamma_0(1776))$
Consider
$$\bar{\rho}:G_{\mathbb Q}\longrightarrow\operatorname{GL}_2(\mathbb F_7)$$
the residual 7-adic Galois representation attached to the elliptic curve $y^2=x^3+x^2-4x-4$ of conductor 48. Then $...
- 10.9k
6
votes
2
answers
590
views
Intersection of field extensions of torsion points of non-isogenous elliptic curves
Let $E$ and $E'$ be non-isogenous elliptic curves over a field $k$ (characteristic 0) such that $Gal(k(E[p^{\infty}])/k)=Gal(k(E'[p^{\infty}])/k) = SL_2(\mathbb{Z}_p)$ with $p \geq 5$ (where $E[p^{\...
- 1,905
6
votes
2
answers
846
views
Serre's conjecture for mod-p^n representations?
I think this may be a silly question, but here goes. Let $\rho:\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\to \mathrm{GL}_2(\overline{\mathbf{F}_p})$ be a representation; say $\rho$ is of S-type ...
- 13.1k
6
votes
1
answer
380
views
Applications of Level Lowering
What are some applications/consequences of level lowering of Galois representations? I understand the application of Ribet's theorem in the proof of Fermat's last theorem but I am wondering what other ...
- 1,629
6
votes
1
answer
321
views
Adjoint Selmer groups and Deformation rings
Let $\rho:\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}_2(\bar{\mathbb{Z}}_p)$ be a $p$-adic Galois representation associated to a $p$-ordinary Hecke eigencuspform, let $...
user130124
6
votes
1
answer
499
views
Galois representation and weight one Hilbert modular form
Let $f$ be a primitive weight one Hilbert modular form for the totally real field $F$ (the weight of $f$ is parallel). Assume that $f$ is $N$-new, $p$-stable and cuspidal. Let $\rho:G_F \rightarrow \...
- 1,066
6
votes
0
answers
142
views
Congruence between modular forms
This might be a very vague question since I am not very familiar with the theory of automorphic forms. Let $G$ be a connected reductive algebraic group defined over $F$ (a number field). Suppose we ...
- 453
5
votes
2
answers
237
views
Irreducibility of the $n$th symetric power of the reduction of the Galois representation of a non-CM newform
In "On $\ell$-adic representations attached to modular forms II", Ribet proved that the $\ell$-adic representation $\rho_{f,\ell}$ attached to a non-CM newform form $f$ satisfies
$${\rm SL}...
- 303
5
votes
1
answer
306
views
Galois representation associated to CM-newforms
Let $f(z)=\sum_{n\ge 1}a(n)e(nz)$, be a newform of CM-type, and let $\psi_f$ be the associated Hecke character, so that,
$$
f(z)=\sum_{\mathfrak{a}}\psi_f(\mathfrak{a})e(N(\mathfrak{a})z),
$$
and let ...
- 400
5
votes
2
answers
944
views
Elliptic curves over $\mathbf{Q}$ with isogenous mod $\ell$ reductions, for several $\ell$
Characteristic polynomials of Hecke operators $T_\ell$, with $\ell$ prime, acting on cusp forms $S_k$ of level one and weight $k$ "appear to be" squarefree (even irreducible!).
This can be ...
- 2,406