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.

Filter by
Sorted by
Tagged with
14 votes
1 answer
496 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 ...
jmc's user avatar
  • 5,434
1 vote
0 answers
146 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 ...
Student's user avatar
  • 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 ...
user50160's user avatar
5 votes
1 answer
827 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 ...
user10676's user avatar
  • 525
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 ...
user119481's user avatar
4 votes
2 answers
438 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 ...
Siksek's user avatar
  • 3,122
6 votes
1 answer
436 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 ...
user38495's user avatar
  • 1,042
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 ...
Adam Hughes's user avatar
  • 1,049
8 votes
2 answers
633 views

Misunderstanding in the hypotheses of Schlessinger's criterion

In studying deformation theory of Galois representations, I've come surely to an error, relating Schlessinger's criterion. Let's fix a representation $\bar{\rho}$ of a group $G$ and let $D_{\bar{\...
Simone Melchiorre Chiarello's user avatar
3 votes
1 answer
738 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}(\...
jmc's user avatar
  • 5,434
7 votes
1 answer
879 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 ...
Hiro's user avatar
  • 945
6 votes
2 answers
950 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 ${\...
Pablo's user avatar
  • 11.2k
7 votes
1 answer
427 views

When are Galois representations with open image attached to elliptic curves?

Let $K$ be a number field with absolute Galois group $G_K$. Let $\rho:G_K \rightarrow GL_2(\hat{\mathbb{Z}})$ be a Galois representation such that the image of $\rho$ is open in $GL_2(\hat{\mathbb{...
bob's user avatar
  • 71
4 votes
1 answer
476 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}}$ ...
Bobby Grizzard's user avatar
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): $...
Pierre's user avatar
  • 87
9 votes
0 answers
643 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, ...
NTbeginner's user avatar
5 votes
1 answer
600 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,...
David Loeffler's user avatar
23 votes
0 answers
788 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 $...
Siksek's user avatar
  • 3,122
5 votes
0 answers
498 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 ...
Tom's user avatar
  • 51
4 votes
1 answer
196 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 $\...
Kestutis Cesnavicius's user avatar
7 votes
0 answers
542 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 ...
David Hansen's user avatar
10 votes
0 answers
464 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 ...
Akhil Mathew's user avatar
  • 25.3k
7 votes
1 answer
340 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 ...
user33624's user avatar
  • 477
18 votes
1 answer
1k views

Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?

Let $X$ be a variety over a $p$-adic field $K$. Is there a simple or intuitive explanation of why the $G_K$ representation $H^i(X_{ét},\mathbb{Q}_p)$ is Hodge-Tate? More precisely, why do the powers ...
user10676's user avatar
  • 525
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 ...
user10676's user avatar
  • 525
5 votes
1 answer
444 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 $\...
user33624's user avatar
  • 477
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 ...
A M's user avatar
  • 657
4 votes
2 answers
312 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 ...
user33624's user avatar
  • 477
3 votes
1 answer
488 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 ...
B Chung's user avatar
  • 31
2 votes
0 answers
209 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 ...
Konrad's user avatar
  • 469
8 votes
1 answer
458 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 ${\...
user avatar
3 votes
1 answer
368 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 ...
JFB's user avatar
  • 63
2 votes
0 answers
173 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$...
MF1's user avatar
  • 115
8 votes
2 answers
979 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 ...
MF1's user avatar
  • 115
14 votes
2 answers
1k views

Effective Chebotarev without Artin's conjecture

$\DeclareMathOperator\Frob{Frob}$Iwaniec and Kowalski, in their famous book Analytic Number Theory states a strong form of the effective Chebotarev density theorem page 143, and prove it assuming both ...
Joël's user avatar
  • 25.7k
13 votes
2 answers
1k views

Best bounds toward Serre's uniformity conjecture

If $E$ is a non-CM elliptic curve over $Q$, then it is a famous theorem of Serre that there is some integer $M(E)$ such that for any prime $\ell > M(E)$, the image of the Galois representations $\...
Joël's user avatar
  • 25.7k
0 votes
0 answers
574 views

Local Langlands conjecture for GL(2)

Let $F_v$ be a local field. Let $\sigma_v$ be a two-dimensional representation of $Gal(\overline{F}_v:F_v) \rtimes W_{F_v}$. Now, there exists an infinite-dimensional representation $\pi_v$ of $GL_2(...
Marc Palm's user avatar
  • 11.1k
2 votes
1 answer
329 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, ...
David Corwin's user avatar
  • 15.1k
3 votes
0 answers
186 views

Decompositions of representations of pro-p groups

Let $P$ be a pro-p group. Assume that there is a filtration of $P$ by normal subgroups $P_i$ such that $P_0=P$ and $P_{i+1} < P_i(i\in\mathbb N)$. Let $V$ be an $l$-adic representation of $P$, ...
Int's user avatar
  • 93
44 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 ...
Joël's user avatar
  • 25.7k
4 votes
0 answers
144 views

Deformation rings and change of group

Let $f : G' \subset G$ be an injection between profinite groups such that $G'$ is normal in $G$ (typical situation which I deal with : $G$ the absolute Galois group of a local field, $G'$ an open ...
amuller's user avatar
  • 41
3 votes
1 answer
437 views

An abelian Hodge-Tate representation lands in a torus

Bogomolov's paper "Sur l'algébricité des représentations l-adiques" proves that the image of the $\ell$-adic Galois representation associated to an abelian variety over a number field $K$ is open in ...
Tony's user avatar
  • 287
5 votes
0 answers
1k views

Grothendieck monodromy theorem for l-adic sheaves

Hi, Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field. Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on $...
Nicolás's user avatar
  • 2,802
0 votes
0 answers
228 views

Uniqueness of decomposition of completely reducible representations

Let $X$ be a smooth, separated scheme of finite type over $\mathbb{F}_q$ where $q=p^r$ for some $r>0$. Let $gcd(l,p)=1, \rho:W(X) \to GL_r(\mathbb{Q}_l)$ be a Weil representation which is semi-...
Naga Venkata's user avatar
  • 1,010
3 votes
0 answers
699 views

The operator \boxtimes and \boxplus in automorphic representations

Given two automorphic representations $\pi_1, \pi_2$ of $GL_2(\mathbb A_Q)$ and $GL_3(\mathbb A_Q)$ respectively. Let $\pi_i =\otimes_v \pi_{i, v}$. Now, for each $v$, let $\pi_{1, v}\boxtimes \pi_{...
boxtimes's user avatar
7 votes
2 answers
1k views

Periods for 2-variable p-adic L-functions

Hi all, I am sorry to ask a stupid question but I am really confused right now. Kitagawa-Mazur constructed a $2$-variable p-adic L-function attached to Hida families of modular forms. For their ...
Arijit's user avatar
  • 985
10 votes
2 answers
921 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, ...
David Corwin's user avatar
  • 15.1k
8 votes
1 answer
1k views

Should the etale cohomology of a smooth projective variety (over rationals) be semi-simple; why?

$\DeclareMathOperator{\char}{char}\DeclareMathOperator{\gal}{Gal}$ Let $P$ be a smooth projective variety over a field $K$ (one may certainly assume that $K$ is perfect; the case $K=\mathbb{Q}$ ...
Mikhail Bondarko's user avatar
5 votes
2 answers
1k views

Hodge-Tate weights of etale cohomology

Let $K/\mathbb Q_p$ be a local field, $X/K$ a proper scheme with semi-stable reduction. Question: What is the possible range of Hodge-Tate weights of the etale cohomology $H^i(X_{\overline K}, \...
natura's user avatar
  • 1,503
1 vote
0 answers
322 views

Extending systems of l-adic representations to other l

I'm asking this not because I have an idea how one might approach it, but because it seems natural and inherently interesting. Let $K$ be a number field, $G_K$ its absolute Galois group, and $\ell\...
David Corwin's user avatar
  • 15.1k