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
173
views
Compact subgroups of linear groups over nonarchimedean fields
Let $n \in \mathbb{N}$, $K$ a (nonarchimedean) local field, $\overline{K}$ its algebraic closure. Take a compact subgroup $G \leq \text{GL}_n(\overline{K})$. Must there be a finite extension $F$ of $K$...
- 63.9k
3
votes
1
answer
324
views
Faithful representations of free pro-p groups
Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F \...
- 4,728
4
votes
1
answer
1k
views
Cyclotomic character in class field theory
Let $K$ be an extension of $\mathbb{Q}_p$.
By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times \...
- 148k
6
votes
1
answer
350
views
If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?
Let $G$ be a compact group, $H$ a normal open subgroup, and $K$ a $p$-adic field (so that not all $G$-reps with coefficients in $K$ are semisimple). Let $V$ be a finite-dimensional topological $K$-...
- 11.2k
3
votes
2
answers
752
views
Elliptic curve E and Galois representation
Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then
Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$?
Next
Q:...
- 1,680
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
5
votes
0
answers
585
views
Bloch Kato Exponential as formal lie group exponential
Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism
$$DR(V) \...
- 3,555
2
votes
1
answer
491
views
Newform and Galois representation (Shimura-Deligne Reciprocity Law)
Shimura-Deligne Reciprocity Law implies that to a newform $f \colon =f(z) \in S^{\mathrm{new}}_k(\Gamma_0(N))$ of weight $k$, one can associate Galois representation $\rho_{f,\lambda} \colon {\mathrm{...
- 105k
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 ...
CommunityBot
- 1
5
votes
1
answer
755
views
Elliptic curve and Galois representation
For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by
$\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = {\...
- 5,019
13
votes
0
answers
282
views
Is there literature on approaching semisimplicity of l-adic cohomology using vanishing cycles
Let $K$ be a finitely generated field, and $X/K$ a smooth proper variety. Let $G$ denote the absolute Galois group $\mathrm{Gal}(\bar{K}/K)$. Let $\ell$ be a prime different from $\mathrm{char}(K)$. A ...
- 5,504
3
votes
1
answer
437
views
Galois representation attached to $3$-torsion points of an elliptic curve
Let
$ E $ - Elliptic curve defined over $ {\mathbb{Q}} $.
$G_{\mathbb{Q}}$ - The absolute Galois group, $\text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) $ of $\mathbb{Q}$.
$ E[3] $ - $3$-torsion points ...
- 193
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 ...
CommunityBot
- 1
9
votes
1
answer
718
views
Example of a variety over a number field with non-semisimple Galois representation on $\ell$-adic cohomology
This question is inspired by the question: Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?
Let $K$ be a number field (or finitely generated field of ...
CommunityBot
- 1
8
votes
0
answers
335
views
Irreducibility of Galois representations attached to unitary groups
If $G$ is a unitary group in $n$ variables over $\mathbb Q$, attached to an hermitian form for an imaginary quadratic extension $E/\mathbb Q$ and if we suppose that the hermitian form is definite over ...
- 26k
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 / \...
CommunityBot
- 1
6
votes
0
answers
197
views
classifying reducible 2-dimensional mod-p Galois representations
I want to classify reducible $2$-dimensional mod-$p$ Galois representations of a field $E$ of characteristic $p > 0$ (i.e. representations $G_E = \mathrm{Gal}(E^{sep}/E) \to GL_n(\mathbf{F}_p)$)
$$
...
CommunityBot
- 1
14
votes
1
answer
506
views
Local-global principle for split extensions of Galois representations
I guess the following is well-known (and probably follows from Chebotarev's density theorem, but I'm not very comfortable with it):
Define some notation:
$K$ a global field,
$G$ the absolute Galois ...
- 26k
1
vote
0
answers
150
views
$(\varphi, \Gamma)$-modules, geometric interpretation $D_{diff}$
Could anyone explain to me the first paragraph of page 29 (IV.4.1) of this course of L. Berger:
http://perso.ens-lyon.fr/laurent.berger/articles/article05.pdf
Specifically, I would like to ...
- 11
3
votes
0
answers
177
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 ...
- 31
3
votes
1
answer
815
views
When does the filtration in the limit of the Leray spectral sequence split?
Let $\ell$ be a prime, and $k$ a field of characteristic $\ne \ell$. Let $f \colon X \to Y$ be a proper map of smooth projective $k$-varieties. The Leray spectral sequence says
$$
E_{2}^{pq} = H^{p}(\...
- 5,504
5
votes
1
answer
842
views
Reference for $p$-adic Hodge theory with coefficients
Let $K$ be a $p$-adic field and $L$ be a finite or infinite extension (maybe algebraic ?) of $\mathbb{Q}_p$.
Is there a reference for $p$-Hodge theory for representations $\rho : Gal_K \rightarrow ...
- 6,924
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 ...
CommunityBot
- 1
6
votes
1
answer
489
views
Extending a representation from the Weil group to the Galois group
Let $F$ be a nonarchimedian local field. Since the Weil group $W_F$ is a dense subgroup of $G_F=Gal(\bar{F}/F)$, it's clear that restriction gives an injection $Irr(G_F)\rightarrow Irr(W_F)$ of ...
- 5,019
2
votes
0
answers
91
views
Isometric representation semisimple?
The first lemma on p.35 of these notes states that unitary representations are semisimple. Could the same be said of isometries if the space doesn't have an inner product? This topic notes that the ...
CommunityBot
- 1
4
votes
3
answers
1k
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? ...
CommunityBot
- 1
7
votes
1
answer
914
views
Explicit calculation of Weil Deligne representations
According to Grothendieck monodromy theorem, l-adic galois representations of a local field corresponds to Weil-Deligne representations.
However, given a galois representation, it is usually difficult ...
- 945
6
votes
2
answers
985
views
Irreducible representations of compact groups
Let G be a compact group (or even profinite - Galois group). Let $V$ be a vector space over the field ${\mathbb F}_p$ with $p$ elements, $p$ a finite prime, such that $V$ is a contable product of ${\...
- 63.9k
4
votes
1
answer
491
views
Are elliptic Kummer extensions big?
Loosely speaking, are elliptic Kummer extensions big? More concretely:
Let $E$ be an elliptic curve over $\mathbb{Q}$, let $p$ be a prime, and
let $F$ be a subfield of $\overline{\mathbb{Q}}$ ...
- 1,499
1
vote
0
answers
148
views
Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$
Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): $...
CommunityBot
- 1
9
votes
0
answers
656
views
Langlands program beyond CM fields?
I apologize since this is a quite vague question. And I am personally at an expert in these fields at all.
It seems to me that there are two main directions of the Langlands program, namely, ...
- 10.9k
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
5
votes
1
answer
632
views
Psi operator on Phi-Gamma modules
This is a question about the base-rings appearing in the the theory of $(\varphi, \Gamma)$-modules in $p$-adic Hodge theory.
Let $p$ be prime, $n \ge 1$, and let
$$ \mathbf{A}_{\mathbf{Q}_p}^{\dagger,...
- 6,924
5
votes
0
answers
512
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
...
- 51
4
votes
1
answer
202
views
Pro-$l$ Sylow action in a primitive representation of inertia over $\overline{\mathbb{F}}_l$
Let $K$ be a nonarchimedean local field of residue characteristic $p \neq l$ and let $I_K$ be the inertia subgroup of its absolute Galois group. Let $V$ an irreducible representation of $I_K$ over $\...
- 5,363
7
votes
0
answers
570
views
Which de Rham representations are trianguline?
Let $K/\mathbf{Q}_p$ be a finite extension, and let $V$ be an $n$-dimensional $\overline{\mathbf{Q}_p}$-vector space with a continuous action of $G_K$. Suppose $V$ is de Rham, so potentially ...
- 13.1k
10
votes
0
answers
466
views
Galois action on $E_n$-operads
Let $E_n$ be the little $n$-cubes operad which acts on $n$-fold loop spaces (up to group completion, an $E_n$-action is precisely the data needed to perform an $n$-fold delooping). I am looking for ...
CommunityBot
- 1
6
votes
2
answers
1k
views
Peu or très ramifiée extension
Let $p$ be a prime number. Let $\mathbb{F}$ be a finite extension of $\mathbb{F}_p$. Let $\omega$ be the mod $p$ cyclotomic character and let $V$ be a representation of $G_{p} = Gal(\bar{\mathbb{Q}}_p ...
CommunityBot
- 1
7
votes
1
answer
354
views
$(\varphi, \Gamma)$-modules of finite height
Maybe the answer to my question is obvious.
Let $p$ be a prime $\geq 3$. Let $D$ be an étale $(\varphi, \Gamma)$-module over $A_{\mathbb{Q}_p} = \{ \sum_{n \in \mathbb{Z}} a_n X^n \, \vert \, a_n \in ...
- 37k
15
votes
1
answer
1k
views
What is the classification of characters in $p$-adic Hodge theory?
Let $K$ be a $p$-adic field and $\chi : Gal_K \rightarrow \mathbb{Q}_p^\times$ be a character. I know that $\chi$ is Hodge-Tate of weight $0$ iff $\chi(I_K)$ is finite (by Sen's theory), and that it ...
- 6,924
5
votes
1
answer
455
views
$(\varphi, \Gamma)$-module of dimension 2 modulo $p$
Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters $\...
CommunityBot
- 1
4
votes
2
answers
332
views
Generalization of Kummer isomorphism?
This is a question I asked on math.stackexchange without success.
Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...
- 6,924
3
votes
1
answer
510
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 ...
- 31
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 ...
CommunityBot
- 1
13
votes
1
answer
819
views
Potential semi-stability of etale cohomology of etale covers.
Let $\mathbf{Q}_p$ denote the field of $p$-adic numbers.
Suppose that $K/\mathbf{Q}_p$ is a finite extension, and let $O_K$ denote the ring of integers of $K$. Suppose that $X$ is proper over $O_K$, ...
CommunityBot
- 1
2
votes
0
answers
212
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 ...
- 469
8
votes
1
answer
466
views
Extensions of Galois representations
Let $G=Gal(\bar{\mathbb Q}/{\mathbb Q})$ be the absolute Galois group of the rationals. Fix two continuous group homomorphisms $\alpha,\beta: G\to {\mathbb Q}_l^\times$, where $l$ is a prime and ${\...
- 26k
3
votes
1
answer
389
views
Galois deformations with Panchiskin condition
Let $L/\mathbf{Q}_p$ be a finite extension and we consider a fixed $L$-linear representation $V$ of the absolute Galois group $G:=\operatorname{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)$. Assume that ...
- 26k
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 ...
- 23k
2
votes
0
answers
176
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 $k_f$...
CommunityBot
- 1