The tag has no usage guidance.

learn more… | top users | synonyms

11
votes
1answer
565 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 ...
3
votes
2answers
496 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}, ...
3
votes
0answers
78 views

extending local systems on a neighbourhood

Let $Y$ an affine finite type scheme over an algebraically closed field $k$. Let $S$ be a closed subscheme of $Y$ and $Y'$ the henselization of $Y$ along $S$. If we have a $\mathbb{Z}_{\ell}$ local ...
1
vote
1answer
132 views

l-adic local system. on hensel schemes

Let $k$ be a field, $\ell$ a prime different from the characteristic. If I take $S$ a closed subscheme of $Y$, which is a $k$-scheme of finite type, is it true that any $\mathbb{Z}_{\ell}$-local ...
11
votes
1answer
535 views

Even Galois representations “mod p”

Consider an irreducible $\mathrm{mod}$ $p$ representation: $$\rho: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\to\mathrm{GL}_2(\bar{\mathbb{F}}_p)$$ If $\rho$ is odd, it was conjectured by Serre in ...
-2
votes
0answers
305 views

Complete Local Ring and Fermat's Last Theorem

Let us consider the infinitely many variables formal power series ring over a finite field, viz. $R:= F_p[[S_1,...,S_∞]].$ Question: Choose an arbitrary finitely generated ideal $I$ of $R$. Is ...
10
votes
1answer
310 views

Hodge–Tate structures of modular forms

The title refers to the paper of Faltings: Hodge-Tate structures and modular forms. Math. Ann. 278 (1987), no. 1-4, 133–149. The main theorem in the paper says that the associated Galois rep to a ...
16
votes
2answers
1k views

Status of Fontaine-Mazur conjecture

In the language of Richard Taylor's 2004 (extended) ICM article (''Galois Representations'', Annales de la faculté des sciences de Toulouse (2004) Tome XIII, no. 1, 73-119), the conjecture is the ...
4
votes
1answer
189 views

Mazur's Galois Deformations paper for non-residually irreducible case

In Barry Mazur's paper introducing Galois deformations, he hints at having a general theory for representations which are not residually Schur, but with more complicated statements. Does anyone know ...
10
votes
1answer
392 views

Galois representations for the curve $y^{2} = x^{3} - x$

Let $E / \mathbb{Q}$ be the elliptic curve given by $y^{2} = x^{3} - x$. I would like to know explicitly what the field of all $2$-power torsion looks like, as well as the image in ...
5
votes
1answer
388 views

realizing uniform boundedness of Galois representations associated to elliptic curves

This is less of a direct question and more of an argument that I've been worried about for a while and want to check (apologies for the length and if my writing is unclear). Suppose I have an ...
1
vote
1answer
105 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$ ...
4
votes
1answer
129 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: ...
4
votes
0answers
86 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 ...
2
votes
0answers
108 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 ...
56
votes
7answers
5k views

What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?

Let me stress that I am only interested in $p$-adic fields in this question, for reasons that will become clear later. Let me also stress that in some sense I am basically assuming that the reader ...
4
votes
2answers
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 ...
10
votes
0answers
168 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 ...
11
votes
1answer
360 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 ...
8
votes
2answers
661 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 ...
1
vote
1answer
273 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})$$
8
votes
1answer
325 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 ...
6
votes
1answer
269 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 ...
7
votes
1answer
321 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 ...
19
votes
1answer
704 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 ...
22
votes
1answer
2k 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 ...
4
votes
1answer
145 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 ...
12
votes
1answer
253 views

To what extent are modular parametrizations expected to generalize?

By the Modularity Theorem (a.k.a. the Shimura--Taniyama--Weil Conjecture), if $E$ is an elliptic curve over $\textbf{Q}$ with conductor $N$, then there exists a “modular parametrization” $\psi: X_0(N) ...
0
votes
0answers
62 views

Characterization of Singular locus

Let A be a complete regular local ring over a field k and B be a complete normal local ring over a field k. We assume that (Krull-dimension of A) > 1. We consider the ring homomorphism f: A ---> B, ...
13
votes
2answers
574 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 ...
5
votes
1answer
181 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 ...
5
votes
1answer
301 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 ...
10
votes
1answer
463 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))$ ...
2
votes
2answers
365 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 ...
5
votes
2answers
464 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 ...
3
votes
2answers
270 views

N-th root of unity in N-th division field of abelian variety?

Let K be a number field and A/K an abelian variety over it. Can it be that K(A[n]) does not contain a primitive n-th rooth of unity? If the answer is yes is it always possible to bound the bad n ...
1
vote
1answer
203 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 ...
1
vote
1answer
143 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 ...
11
votes
2answers
920 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 ...
2
votes
0answers
253 views

References for 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'

Presently I am reading the 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'. I am finding it difficult for eg. the initial sections on $l$-adic geometric representation of finite ...
5
votes
2answers
288 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 ...
13
votes
2answers
418 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 ...
3
votes
2answers
307 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 ...
13
votes
1answer
579 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 ...
7
votes
3answers
1k 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 ...
3
votes
1answer
216 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 ...
21
votes
3answers
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}$ ...
26
votes
2answers
1k 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
votes
1answer
187 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, ...
1
vote
1answer
97 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 ...