All Questions
73 questions
2
votes
1
answer
147
views
Finiteness and bounds for elliptic curves realizing a given galois representation
Let $\rho: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\mathbb{Z}_p)$ be a continuous, irreducible Galois representation. Consider the set $\mathcal{L}_\rho$ of all elliptic curves $...
- 37k
1
vote
0
answers
76
views
Global minimal discriminants of elliptic curves and Galois representations
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $\Delta$ be the global minimal discriminant. By A. Wiles et al. $E$ is modular so that there is a corresponding modular form $f$. I am wondering if ...
- 4,219
2
votes
1
answer
243
views
$\pi$-adic Galois representations of attached to newforms at $p \nmid N$ are crystalline
Is [Scholl, Motives for modular forms, Theorem 1.2.4 (ii)] proven for any $p$ independent of the weight?
Concretely, let $f$ be a normalized eigenform of weight $w$. Let $p$ be a prime not dividing ...
CommunityBot
- 1
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\...
- 5,146
1
vote
0
answers
178
views
Compute dimension of space of modular forms by counting Galois representations
It is known that we can compute the dimension of the space $S_{k}^{\mathrm{new}}(N, \chi)$ of new forms of weight $k\geq 2$ and level $N$ and Nebentypus $\chi$ via Riemann-Roch theorem or using ...
- 2,215
4
votes
0
answers
238
views
Diophantine consequences of the Buzzard–Diamond–Jarvis conjecture
Serre's modularity conjecture famously implies Fermat Last Theorem. More generally, Serre's conjecture implies that certain generalized Fermat equations have no non-trivial solutions (see Section 4.1 ...
- 595
4
votes
1
answer
807
views
Meaning of Atkin-Lehner eigenvalues
Suppose I have $f\in S_2(\Gamma_0(N))$ a classical modular newform of level $N$. I want to understand what information (if any) is carried by its Atkin-Lehner eigenvalues for primes $p\mid N$, as ...
- 5,089
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
3
votes
0
answers
152
views
Finiteness of points over the cyclotomic extension for modular forms
Let $\rho(f):G_\mathbb{Q} \rightarrow GL_2(K_f)$ be the Galois representation attached to some cuspidal modular form $f$ where $K_f$ is a finite extension of $\mathbb{Q}_p$.
Let $V_f$ be the vector ...
- 313
1
vote
0
answers
2k
views
Necessary and sufficient condition for a prime to be represented by an arbitrary positive definite binary quadratic form $ax^2+bxy+cy^2$
Given an arbitrary (but fixed) positive definite primitive integral binary quadratic form $g(x, y)=ax^2+bxy+cy^2$, and let $m$ be an arbitrary integer. We will denote the discriminant of $g$ by $D=D_g=...
CommunityBot
- 1
2
votes
1
answer
221
views
Modularity of elliptic curves with only minimal lifting
I have been trying to understand a bit of the basics of deformations of Galois representations. One point which leaves me curious now is that proving modularity lifting with arbitrary ramification on ...
- 37k
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 ...
- 53.3k
0
votes
1
answer
178
views
Ideal in ring of power series
Let $K$ be a field of characteristic $p$ and $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring over $K$ such that $n, p \geq 3$.
Consider the ideal $I$ defined by
\begin{...
2
votes
0
answers
108
views
Deforming Modular Symbols
This is probably a silly question, as I don't really know a whole lot about modular symbols over arbitrary rings.
How do modular symbols over a finite field square with Katz modular forms? If they ...
CommunityBot
- 1
2
votes
1
answer
294
views
About the restriction of a modular representation to a decomposition subgroup
Let $f$ be an eigenform of level $\Gamma_1(N)$ and let $p$ be a prime that does not divide $N$. It is well know that there is a $2$-dimensional representation
$$
\rho_f \colon G_{\mathbb Q} \to \...
- 10.9k
5
votes
0
answers
174
views
Is there a conjectural analog of Ribet's theorem (Converse to Herbrand's Theorem) for Imaginary Quadratic fields?
For $p$ a prime, let $Cl(\mathbb{Q}(\mu_p))$ denote the class group of the extension of $\mathbb{Q}$ obtained by adjoining a primitive $p$th root of unity. Associated to an eigenform of weight 2 and ...
CommunityBot
- 1
5
votes
0
answers
195
views
Is there some computational evidence of the $pq$ analog of Serre's conjecture?
The $pq$ analog of Serre's conjecture (see "Mod pq Galois representations and Serre's Conjecture"- Khare, Kiming) states that if $\bar{\rho}_1:G_{\mathbb{Q}}\rightarrow \text{GL}_2(\mathbb{F}_p)$ is a ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
4
votes
2
answers
450
views
Is there a version of Serre's modularity conjecture for projective representations?
Serre's modularity conjecture asserts that a continuous odd irreducible representation $$\overline{\rho} : G_\mathbb{Q} \rightarrow \mathrm{GL}_2(\mathbb{F}_q)$$ must be modular, in the sense that ...
- 371
4
votes
1
answer
430
views
About the proof of Weil-Langlands theorem
The statement of the theorem is as follows:
Let $\rho$ be an irreducible two-dimensional representation of $G_\mathbb{Q}=Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ with Artin conductor $N$.
Suppose that $\...
- 35.5k
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 ...
- 105k
0
votes
1
answer
278
views
Proof of the coherence of ${\Bbb F}_q[[X_1,\dots,X_{\infty}]]$
We shall define the infinitely-many-variable formal power series ring $A = {\Bbb F}_q[[X_1,\ldots,X_{\infty}]]$ over a finite field ${\Bbb F}_q$ as the following$\colon$
$A \colon= \underset{n \geq ...
- 331
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]\...
- 313
4
votes
0
answers
303
views
Criterion for constancy in Mazur's Eisenstein ideal paper
In the paper of Mazur, Modular curves and the Eisenstein ideal (1977), he showed the following (at page 57):
Lemma (3.4) (Criterion for constancy) Let $G$ be an etale admissible $p$-group over $\text{...
- 335
2
votes
1
answer
172
views
Krull dimension of Hecke algebra (level 1) for p = 2, 3
Let $p$ be a prime and consider the ($p$-deprived) Hecke algebra $\mathbb{T}$ which the projective limit of the Hecke $\mathbb{Z}_p$-algebras $\mathbb{T}_k$ which act on modular forms of level $1$ ...
- 597
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 ...
- 20.8k
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}}$...
- 37k
5
votes
1
answer
801
views
Local Galois representation associated to twist of modular form
Let $f$ be a modular newform of weight $k \geq 2$, level $N$ (square free) and trivial nebentypus. Let $V_{f}$ be the $p$-adic (p odd) Galois representation associated $f$. We denote by $V_{f,l}:= V_{...
- 10.9k
3
votes
1
answer
412
views
Reference on a result on local Galois representation associated to classic modular form in p-adic Hodge theory
At the end of Fontaine’s rings and p-adic L-functions, P. Colmez states a Theorem 8.4.8 (click here) of Faltings-Tusji-Saito without references.
So I am wondering is there any references for this ...
- 17.6k
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 \...
- 37k
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_{...
- 26k
4
votes
0
answers
279
views
On De Shalit's Lemma in Wiles' proof of R=T
In Wiles' proof of ``$R = {\Bbb T}$", if we associate the extra primes the set of which is denoted $D$, there is a famous result in the following$\colon$
Theorem(De Shalit's Lemma). Let ${\Bbb T}_N$ ...
- 781
5
votes
1
answer
281
views
Does the $p$-part of the level of a newform appear in its attached $p$-adic representation?
Let $f$ a newform of weight $2$ on $\Gamma_0(Np^r)$, $N$ coprime to $p$, and consider its $p$-adic Galois representation
$$
\rho:G_{\mathbb Q}\longrightarrow GL_2(\bar{\mathbb Q}_p)
$$
It's a theorem ...
- 10.9k
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 ...
CommunityBot
- 1
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 ...
- 10.9k
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 ...
- 1,066
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 $\...
CommunityBot
- 1
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 (...
CommunityBot
- 1
10
votes
1
answer
596
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 ...
- 26k
5
votes
1
answer
380
views
Smoothness of Hecke algebras
First I will introduce some notation and definitions.
Fix a level $N$ (take $N=1$ if it makes things easier) and a prime $p$. Let $k$ be a finite field of characteristic $p$ and let $\mathcal{C}$ be ...
- 10.9k
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 ...
CommunityBot
- 1
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 $...
- 37k
2
votes
1
answer
223
views
Level-Lowering in Weight 2
Let $N$ and $p$ be relatively prime integers with $p$ a prime. Suppose $f$ is a weight $k=2$ (normalized, cuspidal, etc) newform of level $\Gamma_1(N) \cap \Gamma_0(p)$. I seem to recall the existence ...
- 1,422
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{...
- 1,066
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 ...
- 8,374
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) ...
- 2,616
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 ...
CommunityBot
- 1
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 ...
- 1,209
8
votes
2
answers
782
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}} / \...
- 376
2
votes
1
answer
198
views
About the restriction of a modular representation to a decomposition subgroup II
This question is a variant of this one.
Let $f$ be as in the other question, but suppose that we look at the $\ell$-adic representiation attached to $f$:
$$
\rho_f : G_{\mathbb Q} \to \operatorname{...
CommunityBot
- 1