**2**

votes

**0**answers

54 views

### Galois cohomology of $GL_n(E^s \hat{\otimes} R)$

Let $E= \mathbb{F}_p(\!(u)\!)$ and write $E^s$ for a separable closure. Write $G_E = \mathrm{Gal}(E^s/E)$ for the absolute galois group of $E$. Let $R$ be a noetherian $\mathbb{F}_p$-algebra and write ...

**2**

votes

**1**answer

173 views

### Kummer extension of Galois modules

Let $k$ be a field of characteristic $p \geq 0$, $n$ an integer prime to $p$, and $x$ an element of $k \setminus \{0, 1\}$. I have read that the $n^{th}$ root of $1-x$ gives rise to a Galois module $E$...

**1**

vote

**0**answers

136 views

### Spivakovski-Popescu-Neron desingularisation

For $A \colon= {\Bbb F}_p[[X_1,...,X_d]]$, by generalising Popescu-Neron's method, Spivakovski proved that $A$ is written by smooth sub-algebras. That is,
$A \cong \underset{\lambda \in \Lambda}{\...

**0**

votes

**0**answers

127 views

### Localisation of the formal power series ring

Let $A \colon= K[[X_1,...,X_d]]$ be a formal power series ring of $d$-variables over a field $K$.
Let ${\frak a}$ be a height $r$ prime of $A$ given by ${\frak a} \colon= (f_1,...,f_r)$, where
$f_1 ...

**0**

votes

**0**answers

62 views

### Normalizing factor in Reciprocity of traces of Frobenius with solutions of equations mod p

One kind of Reciprocity tells us that we can count solutions to polynomial equations over finite fields and relate them to traces of Galois Representations with some normalization factor.
For ...

**2**

votes

**0**answers

135 views

### Inverse limit of Noetherian rings

Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...

**-1**

votes

**0**answers

159 views

### Stalks of the sheaf

Let $X$ be a scheme. For $m < \infty$, given the surjection ${\cal O}_X^{\oplus m} \twoheadrightarrow {\cal F}$ between sheaves on $X$, where ${\cal O}_X$ is the structural sheaf of $X$. Choose a ...

**0**

votes

**0**answers

68 views

### On semi-complete ring K[X_1,X_2,…,X_∞]] and Popescu theorem

Let $P_n \colon= K[X_1,...,X_n]$ be a $n$-variables polynomial ring. We define 'semi-complete' polynomial ring $P_{\infty}$ by the following$\colon$
$P_{\infty} = K[X_1,...,X_\infty]] \colon = \...

**1**

vote

**1**answer

145 views

### Complete subring of F_p[[X]]

Pointed out on famous disbelief, I know now that there is an embedding
$\iota_n \colon {\Bbb F}_p[[T_1,...,T_n]] \hookrightarrow {\Bbb F}_p[[X,Y]]$
for any $n \leq \infty$. Then I would like to ask ...

**1**

vote

**0**answers

73 views

### Popescu-Neron Desingularization for K[[T_1,…,T_∞]]

Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$.
Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...

**1**

vote

**0**answers

57 views

### Coherence of subrings of K[[X,Y]]

Let $K[[X,Y]]$ be a two-variables formal power series ring over a field $K$. Consider a sub-ring $\iota \colon A \subset K[[X,Y]]$.
Q. Is A coherent? $\quad$ Or is it automatic that $\iota$ is ...

**3**

votes

**1**answer

285 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 $G_\...

**0**

votes

**0**answers

223 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 c_{e_1,.....

**2**

votes

**1**answer

159 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

150 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

132 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

272 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

157 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

263 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

**0**answers

88 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

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

**3**

votes

**1**answer

205 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

432 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 $\mathrm{GL}(T_{2}(...

**6**

votes

**1**answer

404 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

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

**4**

votes

**1**answer

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

**16**

votes

**1**answer

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

**4**

votes

**0**answers

96 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

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

**11**

votes

**0**answers

188 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

385 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 $\...

**1**

vote

**1**answer

285 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

339 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

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

**7**

votes

**1**answer

342 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)\...

**4**

votes

**1**answer

163 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

263 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

113 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 the Krull-dimension of $A$ is greater than 1.
We consider the ...

**13**

votes

**2**answers

601 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

196 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

315 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

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

**10**

votes

**1**answer

485 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

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

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

**5**

votes

**2**answers

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

**1**

vote

**1**answer

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

**13**

votes

**2**answers

441 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

328 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

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