Questions tagged [galois-representations]
The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields is an important tool in number theory.
627 questions
1
vote
1
answer
226
views
How much extra ramification in a residual representation
Suppose $\rho:G _{\mathbb{Q}} \rightarrow GL_n(\mathbb{Q}_p)$ is a Galois rep. It has a uniquely defined (up to semisimplification residual rep $\bar{\rho}$. $\bar{\rho}$ is unramified where $\rho$ is....
- 829
5
votes
1
answer
616
views
How to calculate log or exp of a value in GF(2^n) using log/exp table of GF((2^k)^m) where n=k*m?
Consider Galois fields $\mathbb{F}_{2^n}$ and $\mathbb{F}_{2^k}$, where $n=km$, and $\mathbb{F}_{2^k}$ is a ground field of $\mathbb{F}_{2^n}$.
I’d appreciate pointers to papers or suggestions on:
...
CommunityBot
- 1
4
votes
0
answers
339
views
Minimal discriminant of an elliptic curve in terms of its Galois representation
From the Galois representation of an elliptic curve $E$ we can read the conductor of $E$, and further some information about the minimal discriminant. So is there any more information about the ...
- 871
2
votes
0
answers
223
views
Residual Representation of a Motive
Suppose we have $M$ a hypergeometric motive, and $\rho$ its associated Galois rep over $\mathbb{Q}_{l}$. Is there any easy/concrete way to find $\bar{\rho}$, the residual representation at a prime (in ...
- 2,429
5
votes
2
answers
1k
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 ...
- 7,609
13
votes
0
answers
284
views
Propagation of modularity and the Artin conjecture
The (still incomplete) solution of the Artin conjecture on dimension $\leq2$ has been a massive research effort that has spanned (knowingly or not) around a century.
A very natural question is, what ...
- 105k
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
1
vote
1
answer
881
views
Why is every l-adic Galois representation conjugate to one over the l-adic integers? [closed]
Why is every l-adic Galois representation
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Q}_{l})$$
conjugate to one over the l-adic integers?
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Z}_{l})$$
- 21.3k
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 ...
- 26k
6
votes
1
answer
612
views
Converse to Modularity II: Maass cusp forms
(This comes from this other question. You can find more details there)
The following bijection is now a theorem:
Odd irreducible 2-dim Galois repn $\longleftrightarrow$ weight 1
newforms
note: ...
CommunityBot
- 1
7
votes
1
answer
646
views
Serre's surjective theorem importance
I'm studying Serre's paper in wich he shows the following theorem:
Let K be a number field, $E$ an elliptic curve over K without CM. Then the representation $$\rho_{\ell}:\mathrm{Gal}(\bar K/K)\...
- 313
20
votes
1
answer
1k
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 *C*$_1$...
- 10.9k
31
votes
1
answer
4k
views
Iwasawa main conjectures vs Bloch-Kato conjectures
Let $p$ be a prime, $K$ be a number field, $S$ a finite set of finite places of $K$ containing the set $S_p$ of places above $p$ and the places at infinity, $G:=G_{K,S}$ the Galois group of the ...
- 10.9k
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
5
votes
1
answer
451
views
The infinity-type of automorphic representations in the Langlands correspondence
Let $K$ be a number field, $\rho\colon \mathrm{Gal}_K\to \mathrm{GL}_n(\overline{\mathbf{Q}_p})$ a geometric (i.e.: unramified a.e., de Rham above $p$) irreducible Galois representation. One piece of ...
- 829
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
13
votes
1
answer
973
views
Which degree does a motivic Galois representation show up in?
Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...
CommunityBot
- 1
2
votes
2
answers
584
views
Lifting projective Galois representation with condition
Let $\bar{\rho}: G_K\to PGL_n(\mathbb{C})$ be projective representation of the absolute Galois group of a number field $K$ and $\varphi\in Aut(G_K)$.
A theorem of Tate tells us that we can always ...
- 845
5
votes
2
answers
934
views
Absolutely irreducible p-adic representation of the absolute Galois group of Q_p
Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, $G_p$ the absolute Galois group of $\mathbb{Q}_p$ and $V$ a finite dimensional vector space over $\mathbb{Q}_p$. Assume we are ...
- 10.9k
2
votes
1
answer
440
views
Representability of deformation functors via SGA
I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory.
Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois ...
CommunityBot
- 1
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
11
votes
2
answers
1k
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
2
answers
356
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 ...
- 5,759
13
votes
2
answers
781
views
Elliptic curves and supercuspidal representations of conductor $p^2$
Let $E$ be an elliptic curve defined over $\mathbf{Q}$. Let $p \geq 5$ be a prime of additive reduction for $E$.
Let $f$ be the newform associated to $E$, and let $\pi$ be the irreducible admissible ...
- 148k
4
votes
2
answers
682
views
n torsion groups of quadratic twists of elliptic curves
If $E$ is an elliptic curve over a number field $K$ and $E^{F}$ is a quadratic twist of $E$. Then it is stated in ``Ranks of twists of elliptic curves and Hilbert’s tenth problem" due to Mazur and ...
- 47.4k
15
votes
1
answer
1k
views
What are the strongest conjectured uniform versions of Serre's Open Image Theorem?
This question concerns the uniform conjectured effective versions and generalizations of these two results of Serre on $\ell$-adic Galois representations $\rho_{E,\ell}$ associated to a non-CM ...
- 20.4k
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
5
votes
1
answer
1k
views
Hodge-Tate weights of induced representation
Let $K$ be a finite extension of the field of $p$-adic numbers $\mathbb{Q}_p$ and let $E$ be another such extension, such that all the $\mathbb{Q}_p$ embeddings $K \to \bar{\mathbb{Q}}_p$ are ...
- 6,924
22
votes
3
answers
2k
views
One dimensional (phi,Gamma)-modules in char p
I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ ...
- 1,422
45
votes
2
answers
3k
views
What are the possible motivic Galois groups over $\mathbb Q$?
Let $E$ be a motive over $\mathbb Q$. (I should precise, that by a motive I mean
here a pure motive over $\mathbb Q$, with coefficients in $\mathbb Q$, that I see here as a conjectural object which ...
- 3,064
3
votes
1
answer
223
views
Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms
I've posted this question few days ago on math.stackexchange because it seems quite superficial. However, since I've got no responses at all, I'm posting it here. If the question is not suitable, ...
- 38k
1
vote
1
answer
291
views
Explicit deformations of pseudo representations
Let $G$ be a group (which I will be glad to consider to be the absolute Galois group of a $p$-adic field, and so satisfies Mazur's finiteness condition which appears in his paper Deforming Galois ...
- 241
3
votes
1
answer
444
views
extensions of crystalline representations
Denote by $G_p$ a choice of an absolute Galois group of $Q_p$, the field of $p$-adic numbers. Consider a continuous representations of $G_p$ on a $3$-dimensional $Q_p$ vector space that is a ...
- 66
6
votes
1
answer
634
views
integral p-adic Hodge theory and de Rham representations
$p$-adic Hodge theory gives us some comparison theorems between several cohomology theories.
It also provides a hierarchy in the category of $p$-adic representations of the absolute Galois group of a ...
- 6,924
4
votes
1
answer
793
views
Robba ring and overconvergent (phi,Gamma)-modules
It is my understanding that that every $p$-adic representation of the absolute Galois group of a finite extension $K$ of $\mathbb{Q}_p$ can be described in term of its associated $(\varphi,\Gamma)$-...
- 37k
6
votes
1
answer
531
views
Extensions of an abelian variety by a torus vs. extensions of their $\ell$-adic Tate modules
Let $K$ be a number field, let $A$ be an abelian variety over $K$, and let $H$ be a torus over $K$. For a prime $l$, we have the natural map
$$\mathrm{Ext}^1(A, H) \otimes_{\mathbb{Z}} \mathbb{Z}_l \...
- 1,389
0
votes
0
answers
459
views
Relation between cyclotomic character and fundamental character of level
The question I have is the following: is it true that the $p+1$ exponentiation of the fundamental character of level $2$ gives us the reduction (mod $p$) of the cyclotomic character?
For a review of ...
- 19.6k
15
votes
2
answers
2k
views
Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?
(For a formulation of the Mumford–Tate conjecture, see below.)
The question
As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...
- 10.5k
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
7
votes
0
answers
313
views
Any counterexamples known for the Generalized Tate conjecture?
One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...
- 16.9k
5
votes
0
answers
278
views
Tate's conjecture and symmetry of Hodge-Tate weights
I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf
At page 10 he claims that an indirect ...
- 231
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
4
votes
1
answer
476
views
Rank one (phi,Gamma)-modules
Let $\mathbb{Q}_p$ be the field of $p$-adic numbers. Consider an unramified representation $\rho : Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p) \to \mathbb{F}_p^{\times}$ which sends the arithmetic ...
- 37k
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}} / \...
- 376
7
votes
0
answers
267
views
Invariant obstructions to gluing Galois representations on elliptic curves
Let $E$ be an elliptic curve over $\overline{\mathbb F_p}$, or another separably closed field of characteristic $p$. Let $K$ be the function field of $E$, and let $K_p$ be the local field at a point.
...
- 148k
5
votes
0
answers
721
views
The Modularity Theorem and Serre's/Faltings's Isogeny Theorem
Earlier this year I completed my Masters dissertation on Andrew Wiles's proof of The Modularity Theorem for semistable elliptic curves as a precursor to the accepted proof of Fermat's Last Theorem. ...
- 59