# Tagged Questions

**8**

votes

**1**answer

285 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 ...

**6**

votes

**2**answers

274 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}} / ...

**2**

votes

**1**answer

127 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 ...

**2**

votes

**1**answer

168 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 ...

**5**

votes

**2**answers

352 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 ...

**8**

votes

**1**answer

241 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 / ...

**3**

votes

**0**answers

138 views

### A question on a paper by Ribet

I'm reading the article On the equation $a^p + 2^\alpha b^p + c^p = 0$ by Ribet (http://math.berkeley.edu/~ribet/Articles/acta.pdf), but I'm having trouble understanding his proof of Theorem 3. For ...

**4**

votes

**1**answer

182 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 ...

**4**

votes

**0**answers

133 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 ...

**18**

votes

**0**answers

569 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 ...

**6**

votes

**0**answers

346 views

### Benedict Gross's paper on companion forms

In the page 458 of his paper(A tameness criterion for Galois representations associated to modular forms), Gross wrote the following
"A detailed analysis of $U_p(Af)+V_p(<p>f)$ shows that it
...

**3**

votes

**1**answer

229 views

### $\ell$-conductor of a two-dimensional $\ell$-adic Galois representation

Let $\ell$ be a prime number, denote by $K_\ell$ the maximal algebraic extension of $\Bbb{Q}$ ramified only at $\ell$. Let $f = \sum a_n q^n$ be a Hecke eigenform of level $1$ with integer ...

**2**

votes

**0**answers

134 views

### Local components of quaternionic modular forms

Let $D$ be a totally definite quaternion algebra over a totally real number field $F$. Let $U$ be an open compact subgroup of $D(\mathbb{A}_F)^\times$, maximal compact almost everywhere. Consider ...

**2**

votes

**0**answers

116 views

### Residue fields of attached to coefficients of modular forms

Let $f = \sum_n a_n q^n$ be a cuspidal newform of some weight and level. Here I want to view the $a_n$ of $p$-adic numbers (by embedding $\overline{{\bf Q}}_p$ in ${\bf C}$ in some way).
Let ...

**3**

votes

**2**answers

399 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 ...

**1**

vote

**1**answer

209 views

### Finite Flat Group Schemes for Modular Forms of Higher Weight

Let $f$ be a newform (normalized, cuspidal) of weight $k \ge 2$. Then for a prime $\ell$ there is an $\ell$-adic Galois representation associated to $f$. If $k=2$, this comes from an abelian variety, ...

**9**

votes

**2**answers

555 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, ...

**3**

votes

**0**answers

199 views

### modular forms with lots of companion forms

Let $f$ be a modular form (say of weight 2) and let $S$ be the set of primes $p$, the reductions modulo $p$ of $\rho_{f,p}$
restricted to $G_p$ splits. Equivalently, $S$ is the set of prime $p$ such ...

**5**

votes

**1**answer

392 views

### Level lowering for weight 1 forms

I'm interested in knowing to what extent is level lowering known to hold in weight 1. Specifically, let's say I have an eigenform $f$ in $S_1(N,\chi)$ and a prime $p$ which doesn't divide $N$. Let's ...

**13**

votes

**1**answer

842 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 ...

**4**

votes

**1**answer

398 views

### Duals and Tate twists of Galois representations attached to modular forms.

Let $f$ be a normalized newform of weight $k\geq 2$, $p$ a prime, and $V$ the associated Galois representation (with coefficients in a finite extension $K$ of $\mathbf{Q}_p$ with ring of integers ...

**1**

vote

**0**answers

135 views

### Construction of RM abelian variety from eigenform

Let $f$ be a normalized eigenform of weight $2$ level $N$. If the Fourier coefficients of $f$ generate a totally real field $F$, then we associate to $f$ a system of $\ell$-adic Galois representations ...

**5**

votes

**1**answer

354 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 ...

**14**

votes

**3**answers

1k 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 ...

**4**

votes

**0**answers

308 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 ...

**20**

votes

**3**answers

1k 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)$ ...

**7**

votes

**0**answers

304 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 ...

**4**

votes

**1**answer

228 views

### Explicitly computing D(V)^{psi=1} for (phi,Gamma)-modules

In the paper Construction of some families of 2-dimensional crystalline representations by Berger-Li-Zhu, a very explicit description is given for the $(\phi,\Gamma)$-module attached to some ...

**0**

votes

**1**answer

241 views

### On the image of the residual representation attached to a CM form

It is a classical result of Ribet that if an eigenform has CM the its residual projective image is "small" (cyclic or dihedral.) Is the converse true, i.e, if f is a form whose associated residual Gal ...

**4**

votes

**0**answers

281 views

### Local splitting of modular Galois representations as $p$ varies

If $f$ is a classical eigenform of weight $\geq 2$ and ordinary at distinct, odd primes $p$ and $q$ which do not divide the level is it true that the restriction (as a $q$-adic representation) ...

**3**

votes

**2**answers

332 views

### Number of modular lifts with prescribed parameters

Let $\bar{\rho} : Gal(\bar{\mathbb{Q}}/ \mathbb{Q} ) \rightarrow GL_2(\bar{\mathbb{F}}_p)$ be an odd, irreducible Galois representation mod $p$ which is unramified outside $S$, where $S$ is a finite ...

**12**

votes

**0**answers

4k 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 ...

**8**

votes

**1**answer

333 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 ...

**4**

votes

**2**answers

589 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**

vote

**1**answer

394 views

### Reference for “Gal represenations attached to CM eigenforms”

I seem to recall that the construction of Gal representations associated to eigenforms with CM was done much before the general cases due to Eichler-Shimura, Deligne-Serre and Deligne. Was this done ...

**4**

votes

**2**answers

479 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 ...

**8**

votes

**2**answers

2k 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 ...

**1**

vote

**1**answer

545 views

### Galois Cohomology maps

Let $\bar{\rho}$ be a residual ordinary and locally split galois representation associated to a weight $k$ level $1$ form (more specifically a mod $p$ companion form). In the sense of deformation ...

**5**

votes

**0**answers

630 views

### Reference for the Odd Dihedral Case of Artin's conjecture

The example that Matt Emerton cited here:
prompted me to become interested in how one proves that odd two dimensional dihedral Galois representation are modular. This is the first case of the strong ...

**3**

votes

**3**answers

776 views

### Companion forms

What is the best known result concerning the existence of companion forms for classical modular forms? Gross' tameness criterion paper is always mentioned with a "unchecked compatibility" caveat? ...

**2**

votes

**2**answers

329 views

### Why does $H^1(G_p/I_p,\mathbb{F}(\delta\epsilon^{-1}))$ vanish?

For a finite field $\mathbb{F}$ of char $p$ $\geq 2$, let $f$ be a normalised eigenform of weight $k\geq 2$ that is ordinary at $p$ and $\overline{\rho}_f$ be the mod $p$ Gal representation attached ...

**4**

votes

**1**answer

541 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 ...

**8**

votes

**1**answer

507 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 ...

**7**

votes

**1**answer

374 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 ...

**12**

votes

**2**answers

1k 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$. ...

**20**

votes

**6**answers

2k 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 ...

**13**

votes

**1**answer

1k 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 ...

**7**

votes

**2**answers

978 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 ...

**9**

votes

**1**answer

377 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 ...