**3**

votes

**1**answer

265 views

### Frobenius at ramified primes

Let $E$ be an elliptic curve defined over $\mathbf{Q}$, fix an odd prime $p>3$, let $T_p$ denote the $p$-adic Tate module of $E$, and let $V_p = T_p \otimes \mathbf{Q}_p$.
If the action of ...

**14**

votes

**1**answer

718 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 ...

**0**

votes

**0**answers

206 views

### On the coherence of formal power series ring

Let $A = {\Bbb F}_p[[X_1,X_2,...]]$
be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$
$A$ consists of such formal sum elements as $\sum ...

**14**

votes

**1**answer

783 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 ...

**2**

votes

**1**answer

152 views

### Applications of Level Lowering

What are some applications/consequences of level lowering of Galois representations? I understand the application of Ribet's theorem in the proof of Fermat's last theorem but I am wondering what other ...

**8**

votes

**0**answers

141 views

### Elliptic curves and the $\ell$-adic image of the decomposition group

Let $E$ be an elliptic curve over $\mathbb{Q}_\ell$ and consider the image of the $\ell$-adic representation. Is there a description of this image similar to Serre's description of the image of the ...

**4**

votes

**1**answer

125 views

### Is Howe's construction of tame supercuspidal representations independent of additive character?

Let $F$ be a $p$-adic field.
In "Tamely ramified supercuspidal representations of $Gl_n$" (Am. J. Math 73 (1977)), Howe constructs a supercuspidal representation $\pi_{\psi}$ of $GL_n(F)$ from the ...

**3**

votes

**0**answers

264 views

### Are prime ideals of finite height in the powers series ring in infinitely variables finitely generated?

Let $A:= {\mathbb F}_p[[X_1,...,X_∞]]$ be the infinitely many variables formal power series ring over ${\mathbb F}_p$, which is UFD.
Consider an arbitrary prime ideal $P$ of $A$ such that the height ...

**1**

vote

**0**answers

152 views

### Number of minimal primes for UFD

Let $R$ be a UFD which is NOT noetherian. It is well-known that $R$
is a Krull ring. Let $I$ be an ideal of $R$ such that the height of $I$
is $d$ which is finite.
Question. Is the number of minimal ...

**7**

votes

**1**answer

255 views

### Weight filtration on certain Galois representations

Let $G$ be the absolute Galois group of a number field $K$. Let $\ell$ be a prime number. There are representations $\mathbb{Z}_\ell(n)$ of $G$ on the group of $\ell$-adic integers given by the ...

**3**

votes

**2**answers

545 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

**0**answers

86 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

**1**answer

158 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 ...

**10**

votes

**1**answer

333 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

**2**answers

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 ...

**3**

votes

**1**answer

200 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

**1**answer

423 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 ...

**6**

votes

**1**answer

400 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

**1**answer

110 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

**1**answer

144 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

**0**answers

93 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

**0**answers

121 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 ...

**57**

votes

**7**answers

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

**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 ...

**10**

votes

**0**answers

181 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 ...

**12**

votes

**1**answer

371 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

**2**answers

672 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

**1**answer

279 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

**1**answer

333 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

**1**answer

283 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

**1**answer

337 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

**1**answer

712 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 ...

**23**

votes

**1**answer

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

**1**answer

157 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

**1**answer

261 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

**0**answers

67 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

**2**answers

593 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

**1**answer

195 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

**1**answer

312 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

**1**answer

476 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

**2**answers

376 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

**2**answers

492 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

**2**answers

277 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

**1**answer

228 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

**1**answer

151 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

**2**answers

929 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

291 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

**2**answers

434 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

**2**answers

321 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 ...

**14**

votes

**1**answer

598 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 ...