The tag has no wiki summary.

learn more… | top users | synonyms

9
votes
5answers
1k views

The significance of modularity for all Galois representations

On pg. 1 of the slides of a talk, Henri Darmon wrote: Question: What is an interesting Diophantine equation? A “working definition”. A Diophantine equation is interesting if it reveals or ...
13
votes
1answer
880 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 ...
19
votes
1answer
2k views

Modern proof of Serre's open image theorem?

Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic ...
4
votes
1answer
419 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 ...
3
votes
1answer
214 views

Is there a semisimple $\mathbf{Q}_\ell$-representation of $G_F$ ramified at an infinite set of places?

See http://math.uni.lu/~wiese/galois/Boeckle-Luxemburg-Notes.pdf, Theorem 1.4(a): Is there an example of a semisimple $\mathbf{Q}_\ell$-representation $V$ of $G_F$ ($F$ a global field) ramified at a ...
6
votes
2answers
557 views

(phi, Gamma) module of ordinary elliptic curve

Suppose $E$ is an elliptic curve over $\mathbb{Q}_p$ with good ordinary reduction. Can someone please tell me how to compute the associated $(\phi,\Gamma)$-module of the Tate module of $E$, or give ...
4
votes
1answer
2k views

Why are Galois Representations so important in Number theory ?

Dear everyone, Motivation : From the past few days, I have been reading about the Galois Representations . I was really amazed to see that every seminal idea in the theory of elliptic curves have ...
1
vote
0answers
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 ...
10
votes
1answer
759 views

Serre's Open Image Theorem Without Shafarevich's Theorem

In Abelian l-adic Representations and Elliptic Curves (1968), J. P. Serre showed that the adelic representation $$\rho_{E}\colon G_K \to \mathrm{GL}(\hat{\mathbb{Z}}^2)$$ associated to an elliptic ...
5
votes
1answer
367 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 ...
3
votes
0answers
332 views

local deformation rings and Hecke algebras

Let $\bar{\rho}_p$ be a two-dimensional irreducible local Galois representation of $Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p)$ on a $k$-vector space, where $k$ is a finite extension of $\mathbb{F}_p$. ...
14
votes
3answers
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
2answers
947 views

non-continuous inverse Galois problem

Let $G=Gal(\bar{\mathbf{Q}}/\mathbf{Q})$ be the absolute Galois group over $\mathbf{Q}$. Q1: Is it possible to find a (necessarily non-closed) normal subgroup $K\leq G$ such that $G/K$ is free of ...
1
vote
0answers
196 views

Where can I find a copy of Serre's Cours au college de France 1985-1986?

Hi, I was wondering: where might I be able to find a copy of this work online? And are there any other resources for the proof of the open image theorem for abelian varieties with endomorphism ring ...
2
votes
1answer
297 views

1-dimensional semi-stable Galois representations with coefficients

For any p-adic local field K, all 1-dim semi-stable Galois repn: $G_K \to Q_p^{*}$ are just $Q_p(n)\otimes \mu$, where $Q_p(n)$ is the Tate twist of cyclotomic character, and $\mu$ an unramified ...
3
votes
2answers
372 views

Quotients of Tate modules

Let $p$ be a prime number, let $K$ denote a finite extension $\mathbb{Q}_{p}$ and let $\overline{K}$ be an algebraic closure of $K$. Let $A$ be an ellitpic curve over $K$ and denote by $T_{p}A$ its ...
10
votes
1answer
401 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 ...
10
votes
2answers
1k views

“Purely local” proof of local Langlands

As from this website http://math.uchicago.edu/~lxiao/workshop_site/ My question is: What does it mean by "purely local"? Also, I heard about this phrase "purely local" in other problems as well, ...
4
votes
1answer
292 views

semisimplicity of automorphic Galois representations

Is it known that the Galois representation constructed by Harris and Taylor in their book is semisimple? I can't see this proven in the book, but on the other hand, everywhere else the representation ...
2
votes
1answer
301 views

$l$-adic representations from Shimura curves

This question may be kind of vague. And we use the same notations as in Carayol's papers: H. Carayol, Sur les représentations l-adiques associées aux formes modulaires de Hilbert; H. Carayol, Sur la ...
1
vote
0answers
347 views

about Deligne's 1969 paper

First one: In his paper he says $GL_2(A^{f})$could act on the direct limit of the first cohomology groups with compact support $ H^1_c(M_n^{an},Sym^{k}(R^1f_{*}(Q)))$ with $n\rightarrow\infty$. Does ...
20
votes
3answers
2k 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
0answers
315 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 ...
13
votes
1answer
1k views

Galois representations attached to Maass form

So, how does one construct a galois representation from a Maass form? For a modular cusp eigenform, I am familiar with the work of Eichler-Shimura, Deligne, Deligne-Serre, and realize these are ...
7
votes
1answer
713 views

Is there an integral version of Faltings' isomorphism in p-adic Hodge theory between etale and Hodge cohomologies

Let $K$ be a $p$-adic field, that is a complete discrete valuation ring of characteristic $0$ with a perfect residue field $k$ of characteristic $p > 0$ (to simplify one could also take $K$ to be a ...
4
votes
1answer
240 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 ...
2
votes
1answer
176 views

differential structures on unit-root Frobenius modules.

Let $\mathcal{E}$ be the ring of series $f(T)=\sum_{n \in \mathbb{Z}} a_nT^n, \; a_n \in \mathbb{Q}_p$ such that the $\{a_n\}$ are bounded and $a_{-n}\rightarrow 0$ as $n \rightarrow +\infty$. This is ...
13
votes
0answers
581 views

Status of conjectures in Serre's 1969 expose on Galois representations on l-adic cohomology

In [S]: Serre, Jean-Pierre. Facteurs locaux des fonctions zeta des varietes algebriques (definitions et conjectures), Seminaire Delange-Pisot-Poitou, 1969-70 Serre presents nine conjectures ...
0
votes
1answer
245 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 ...
3
votes
1answer
351 views

What is the relation of the absolute Galois group and classical profinite groups?

Consider the absolute Galois group $G = \mathrm{Gal}(\overline{\mathbb{Q}}: \mathbb{Q})$ and $G_p = \mathrm{Gal}(\overline{\mathbb{Q}_p}: \mathbb{Q}_p)$. Abelian class field theory gives us for the ...
4
votes
0answers
286 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
2answers
337 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 ...
4
votes
0answers
358 views

Mazur's relative deformation functors

In his paper "Deformation Theory of Galois Representations" in the book "Modular Forms of Fermat Last Theorem", Mazur considers more general deformation functors than in his earlier paper in "Galois ...
5
votes
1answer
331 views

Can a p-adic representation and its twist by a non-crystalline character both have nontrivial $D_{cris}$?

For a continuous irreducible representation $\rho: G_{\mathbb{Q}_p}\rightarrow GL_n(\overline{\mathbb{Q}_p})$, is it possible for both $D_{cris}(\rho)$ and $D_{cris}(\chi\otimes\rho)$ to be nonzero, ...
1
vote
1answer
217 views

Dimension of fixed points of Galois group actions

I have a question about fixed points of Galois group actions. I am hoping that this is easy for the experts. Let $k$ be a field of characteristic $0$. Let $K$ be a finite Galois extension of $k$ ...
6
votes
1answer
555 views

Mumford-Tate group and Galois representations

Could someone please point me towards a proof of why the image of a Galois representation on the Tate-module of an abelian variety is limited by its Mumford-Tate group?
12
votes
0answers
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 ...
3
votes
1answer
788 views

Integral p-adic Hodge theory

Hello, Nowadays, I think we have some classification of integral structure in semistable representation via Liu's $(\varphi, \hat{G})$-modules or via Caruso's $(\varphi, \tau)$-modules. I must say ...
7
votes
2answers
854 views

P-adic representations

Hi, I am reading about p-adic representations from Fontaine's book which can be found at http://staff.ustc.edu.cn/~yiouyang/research.html. On page 145 where they prove Proposition 5.24 which is ...
2
votes
1answer
314 views

Terminology-history of p-adic representations

Where appears for the first time the term Hodge-Tate representation. Can i find somewhere explanation of the terminology Hodge-Tate, Derham etc. for representations and Fontaine's rings.
4
votes
1answer
281 views

What is the mod l monodromy of a generic trigonal curve?

For a hyperelliptic curve H, the mod 2 monodromy is smaller than $GSp_{2g}(F_2)$ -- since the two torsion of the Jacobian H is generated by differences of Weierstrass point, the monodromy of a generic ...
8
votes
1answer
348 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 ...
3
votes
2answers
385 views

CM abelian varieties and potential good reduction

Let $F$ be a number field and $A$ an abelian variety over $F$. It is known that if $A$ has complex multiplication, then it has potentially good reduction everywhere, namely there exists a finite ...
10
votes
3answers
663 views

Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$

I've been reading a paper by R.Ramakrishna about lifting Galois representations and at some point he uses the fact that a representation with big image has trivial first cohomology group. In other ...
4
votes
2answers
608 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 ...
16
votes
2answers
5k views

Introductory text on Galois representations

Could someone please recommend a good introductory text on Galois representations? In particular, something that might help with reading Serre's "Abelian l-Adic Representations and Elliptic Curves" ...
3
votes
0answers
315 views

Which properties of p-adic representations can be recovered from (\varphi,\Gamma)-modules?

In Berger's "An introduction to the Theory of $p$-adic Representations", he mentions that due the the equivalence of categories between etale $(\varphi,\Gamma)$-modules and $p$-adic representations, ...
1
vote
1answer
405 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
0answers
275 views

Varieties corresponding to a given Galois representation

Given an $l$-adic Galois representation which is geometric in the sense of Fontaine-Mazur what can one say about the set of (isomorphism classes of) of varieties whose $l$-adic cohomologies the ...
2
votes
1answer
524 views

Serre's open image theorem for products of elliptic curves over function fields via specialization

In Propriétés galoisiennes des points d'ordre fini des courbes elliptiques, Invent. Math. 15, 259--331 (1972), Serre proved the following (Theorem 6 ′′, p. 325): Let $K$ be a number field and let ...