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.

**1**

vote

**0**answers

75 views

### Iwasawa Theoretic Interest in a certain type of result

This question is probably going to sound vague (since it does to me) and I wish I could make it more precise, but here goes. For $p\in \{107, 139, 271,379\}$ Ohtani and Blondeau (in separate papers) ...

**3**

votes

**1**answer

108 views

### Classes of hyperplane sections in cohomology

Let $X$ be a smooth projective variety over the algebraic closure of a finite field with Galois group $G$.
Is it true that the vector space $H^{2k}(X,\mathbf{Q}_{\ell}(k))^G$ has always positive ...

**5**

votes

**1**answer

144 views

### Frobenius eigenvalues algebraic numbers

Let $X$ be a smooth projective variety over $\mathbf{F}_q$ and $\overline{X}$ its base change to $\overline{\mathbf{F}_q}$.
By Deligne’s Weil I, the eigenvalues of the geometric Frobenius acting on $...

**5**

votes

**0**answers

75 views

### Congruence between modular forms

This might be a very vague question since I am not very familiar with the theory of automorphic forms. Let $G$ be a connected reductive algebraic group defined over $F$ (a number field). Suppose we ...

**3**

votes

**1**answer

78 views

### If $\Pi$ and $\Sigma$ agree at almost all places, then the central character of $\Pi$ corresponds to $\operatorname{Det} \Sigma$

Let $\Sigma$ be an $n$-dimensional representation of the global Weil group $W_F$ for a number field $F$, and $\Pi$ an automorphic representation of $\operatorname{GL}_n(\mathbb A_F)$. Suppose that at ...

**3**

votes

**1**answer

107 views

### Congruence of normalized eigenforms at two primes

Let $f_i\in S_{k_i}(\Gamma_0(N_i))$ be normalized cuspidal eigenforms for $i=1,2$ and let $K$ be the composite of the fields of Fourier coefficients generated by $f_1$ and $f_2$ and let $\mathfrak{p}...

**1**

vote

**0**answers

64 views

### Is the number of newforms in a fixed maximal ideal bounded?

Let $N\in \mathbb{Z}_{\geq 1}$. Enumerate the set of primes $p_i$ which do not divide $Np$ in ascending order. Let
$\mathbb{F}$ be a finite field of characteristic $p$,
$\bar{\chi}$ denote the mod $p$...

**4**

votes

**0**answers

166 views

### Is the following variant of Shafarevich's theorem known?

Let $Q$ be a finite simple group which may be realized as the Galois group of some extension of $\mathbb{Q}$ (like for instance $PSL_2(\mathbb{F}_p)$ for $p\geq 5$, or the monster group) and let $G$ ...

**1**

vote

**0**answers

70 views

### Hodge-Tate weights of etale cohomology groups

Given a smooth algebraic variety $X$ over a number field $F$, its $p$-adic cohomology groups $H^i(X \times_F \bar F, \mathbb Q_p)$ carries an action of $\mathrm{Gal}(\bar F/F)$, which gives a ...

**5**

votes

**1**answer

121 views

### Is it expected that the mod $p$ representation determines a normalized Hecke newform of fixed weight for p large enough?

Mazur's conjecture on the image of Galois representations of Elliptic curves states that for $N$ large enough there is a unique elliptic curve $E$ over $\mathbb{Q}$ giving rise to a fixed mod $N$ ...

**1**

vote

**0**answers

87 views

### Local factors determine Weil representations - proof of the Artin representation case

This post can be seen as a continuation of this post I created on MathOverflow.
I want to understand the proof of the following Theorem from "Euler Factors determine Weil Representations" by Tim and ...

**8**

votes

**0**answers

238 views

### Local properties of Galois representations attached to torsion classes

$\DeclareMathOperator{\PGL}{PGL} \DeclareMathOperator{\GL}{GL} \newcommand{\F}{\mathbb{F}} \newcommand{\p}{\mathfrak{p}} \DeclareMathOperator{\Sym}{Sym}$
Let $F$ be a number field, and let $\Gamma$ be ...

**2**

votes

**1**answer

65 views

### Steinberg components of local deformation rings

Let $F=\mathbb Q_l$ and $E$ be a finite extension of $\mathbb Q_p$ with residue field $k \cong O_E/m_E$ ($p \neq l$). Let $\bar r: \Gamma_F=Gal(\bar F/F) \to GL_2(k)$ be a continuous representation. ...

**3**

votes

**1**answer

179 views

### Are there Galois representations associated with any regular algebraic cuspidal automorphic representation?

Let $K$ be a number field and $\pi$ be a regular algebraic cuspidal automorphic representation on $\mathrm{GL}_2(\mathbb{A}_K)$. Let $\lambda$ be a prime of the field of Fourier coefficients of $\pi$ ...

**3**

votes

**1**answer

91 views

### Comparison of two $GL_N(\mathbb{Z}_\ell)$ Galois representations

I have a question about comparing two $\ell$-adic Galois representations. Suppose we have two irreducibible Galois representaions
$$
\rho_1,\rho_2: Gal(\overline{\mathbb{Q}}/\mathbb{Q})\to GL_N(\...

**2**

votes

**0**answers

114 views

### Prime ideals being finitely-generated implies coherence?

Let $R$ be a non-noetherian local domain. Suppose that the following two conditions hold for $R$$\colon$
$(*)$$~\quad$An arbitrary prime ideal ${\frak P}$ of $R$ such that ${\mathrm{ht}}({\frak P}) &...

**2**

votes

**1**answer

175 views

### Local factors determine Weil representations - proof of the cyclic case

I already created this post on Math Stack Exchange but I was not so sure if this question fits better here. If it is not, I want to apologize in advance and feel free to delete my post.
I want to ...

**7**

votes

**2**answers

580 views

### Is every 3-dim self-dual Galois representation a symmetic square of 2-dim representation?

Basically, my question as in the title. Here the Galois representation I consider is an $\ell$-adic Galois representation (comes from geometry). And by the word "self-dual" I mean that representation ...

**6**

votes

**0**answers

189 views

### Galois actions on cohomology rings of algebraic varieties

Let $k$ be an arithmetic field. Let $G_k$ be its absolute Galois group.
$G_k$ is often studied via its linear action on cohomology (etale, crystalline, ...) "groups" of algebraic varieties over $k$.
...

**4**

votes

**1**answer

121 views

### Heights of contracted ideals

Let $R$ be a non-noetherian domain. $S$ be a multiplicatively closed subset of $R$. Let $S^{-1}R$ be a localisation of $R$, where all element of $S$ is invertible. Suppose we have an ideal $I$ of $R$. ...

**6**

votes

**0**answers

266 views

### Embeddings of number fields into $\mathbb{C}$ or $\bar{\mathbb{Q}}_l$

When studying arithmetic Galois representations for a number field $F$ one often fixes at the outset an embedding of its algebraic closure $\bar{F}$ into $\mathbb{C}$ or $\bar{\mathbb{Q}}_l$ and ...

**13**

votes

**0**answers

316 views

### Lifting automorphic Galois representations to arithmetic fundamental groups and their quotients

Suppose $V$ is an algebraic variety over a number field $K$. The absolute Galois group $G_K$ of $K$ acts by outer automorphisms on the étale fundamental group $\pi_1(V_{\bar{K}})$ where $\bar{K}$ is ...

**2**

votes

**0**answers

138 views

### Categorical representations of absolute Galois groups

I am looking for interesting examples of categorical representations of absolute Galois groups of arithmetic fields. Pointers to the literature would be appreciated.

**3**

votes

**0**answers

164 views

### Automorphy of families of motives

I have a couple of elementary questions regarding automorphy of Galois representations arising from geometric families.
Suppose we have an algebraic family of varieties over a number field, and ...

**3**

votes

**0**answers

134 views

### Extension of Galois representations from geometry

Let $K$ be a number field. Take two representations $A$, $B$ of $G_K=\mathrm{Gal}(\bar{K}/K)$ over some ring $\Lambda$ (in fact, I only consider the case $\Lambda$ is a field, usually of ...

**2**

votes

**0**answers

125 views

### Specialization map on geometric points

Let $\mathcal{X}$ be a proper and smooth scheme over $\text{Spec}(\mathbf{Z}_p)$, and let’s call $X$ the geometric generic fiber of $\mathcal{X}$, and $X_0$ the geometric special fiber of $\mathcal{X}$...

**1**

vote

**0**answers

105 views

### Lefschetz trace formula and Frobenius elements

Let $\mathcal{X}$ be a smooth and proper scheme over $\text{Spec}(\mathbf{Z}_p)$ (with $\mathbf{Z}_p$ the $p$-adic integers).
Let’s call $X$ its geometric generic fiber $X := \mathcal{X}_{\overline{\...

**14**

votes

**1**answer

246 views

### How are MTCs permuted by the Galois action on the little disk operad?

There is a well-studied action of $\operatorname{Gal}(\bar{\mathbb Q}/\mathbb Q)$ on (some version of) the $E_2$ operad; see for example this MO question.
Modular tensor categories are examples of $...

**3**

votes

**0**answers

279 views

### On Local Langlands correspondences

Both over global function fields and $p$-adic fields, we have a series of conjectures under the name of “geometric Langlands conjectures”.
Over global function fields of char $p$, they are due to ...

**0**

votes

**0**answers

58 views

### Definition of the local Artin conductor for a representation of the Weil group

Let $\rho$ be a continuous, finite dimensional complex representation of the Galois group $\operatorname{Gal}(\overline{F}/F)$, for $F$ a $p$-adic field. Is there a general notion of an Artin ...

**9**

votes

**0**answers

277 views

### Reference request: Newton above Hodge

Let $K$ be a p-adic field, and let $\mathcal{O}$ be the ring of integers inside $K$ with residue field $k$. Let $\mathcal{X}$ be a smooth proper formal scheme over $\mathcal{O}$ (with topology given ...

**5**

votes

**1**answer

348 views

### About the proof of Weil-Langlands theorem

The statement of the theorem is as follows:
Let $\rho$ be an irreducible two-dimensional representation of $G_\mathbb{Q}=Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ with Artin conductor $N$.
Suppose that $\...

**1**

vote

**1**answer

154 views

### Approximation of constructible abelian étale sheaves

Let $F$ be a constructible abelian étale sheaf of modules over a finite ring $\Lambda$ on a scheme $X$ over a field $k$, with the size of $\Lambda$ invertible on $X$.
Suppose $X = \varprojlim X_j$, ...

**0**

votes

**0**answers

53 views

### Generators of ideals in the quadratic extensions

Let $M = K[[X,Y,T]]$ and $R = K[[X,Y]]$ be a power series ring. For elements $a_2, b_2, ... , a_n, b_n$ belonging to $R$, let us define the ideal $I$ of $M$ with $n$ number of generators as
$$I :=(T^...

**2**

votes

**1**answer

146 views

### How can we view the local Weil group as a group scheme over $\mathbf Q$?

Let $F$ be a $p$-adic local field with residue field $\kappa$, and $q = |\kappa|$. Then the residue field $\overline{\kappa}$ of $F^{\textrm{ur}}$ is an algebraic closure of $\kappa$. The local ...

**9**

votes

**2**answers

502 views

### Do two dimensional representations with the same adjoint representation differ by a character?

Let $K$ be a field of characteristic not equal to $2$. Let $\text{ad} : \text{GL}_2(K) \to \text{GL}_3(K)$ be the adjoint representation, obtained by $\text{GL}_2(K)$ acting on $2 \times 2$ matrices ...

**6**

votes

**0**answers

202 views

### Galois action on functions on an adelic coset space

For a reductive group $G$ over a number field $K$, an automorphic representation for $(G, K)$ is an irreducible admissible constituent of the right regular representation of $G(\mathbb{A}_K)$ in the ...

**7**

votes

**0**answers

231 views

### Galois representations associated to the modular tower and automorphy

Consider $\mathcal{M} = \{M_{g,n}, \mu_{g,n}^{g’,n’}\}$, the system of moduli spaces of $n$-pointed smooth algebraic curves along with the basic maps amongst them coming from identifying and ...

**16**

votes

**3**answers

2k views

### Bhargava's work on the BSD conjecture

How much would Bhargava's results on BSD improve if finiteness of the Tate-Shafarevich group, or at least its $\ell$-primary torsion for every $\ell$, was known? Would they improve to the point of ...

**2**

votes

**1**answer

151 views

### Semi-simple Galois actions on étale cohomology

Assume that semi-simplicity of the Galois action on $\ell$-adic cohomology of all smooth projective varieties over finite fields, were known.
Can one deduce that the Galois action on $\ell$-adic ...

**5**

votes

**0**answers

386 views

### Formal GAGA and étale cohomology

Let $\mathfrak{X}$ be a $p$-adic flat formal scheme over $\mathbf{Z}_p$, whose special fiber has an ample line bundle. Then $\mathfrak{X}$ is algebraizable, that is there exists an algebraic $\mathbf{...

**0**

votes

**0**answers

198 views

### Galois representations on étale cohomology

Let $X$ be a smooth projective variety over $\mathbf{Q}$.
Does there exist a prime $\ell$ such that the action of $\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})$ on $H^j(X_{\overline{\mathbf{Q}}},\...

**2**

votes

**0**answers

146 views

### Artin $\ell$-adic comparison and Galois action

Let $X_0$ be a smooth projective variety defined over a number field $k$.
Let $\sigma : k\to\mathbf{C}$ be one of the finitely many field embeddings of $k$ into the complex numbers, and call $X := (...

**0**

votes

**0**answers

137 views

### Galois actions and smooth-proper base change

Let $X$ be a smooth projective variety over a field $k$ of finite type over a finite field.
The Galois group $\text{Gal}(k^{\rm sep}/k)$ acts on $H^j_{\rm ét}(X_{k^{\rm sep}},\mathbf{Z}_{\ell}(n))$ ...

**10**

votes

**3**answers

496 views

### $K[[X_1,…]]$ is a UFD (Nishimura's Theorem)

Let us define the infinitely-many-variable formal power series ring
$$
K[[X_1,\ldots]] \colon= \underset{m \geq 1}{\varprojlim}\,K[[X_1,\ldots,X_m]].
$$
$K[[X_1,\ldots]]$ is known to be a UFD by a ...

**5**

votes

**1**answer

213 views

### Galois representation associated to CM-newforms

Let $f(z)=\sum_{n\ge 1}a(n)e(nz)$, be a newform of CM-type, and let $\psi_f$ be the associated Hecke character, so that,
$$
f(z)=\sum_{\mathfrak{a}}\psi_f(\mathfrak{a})e(N(\mathfrak{a})z),
$$
and let ...

**0**

votes

**0**answers

58 views

### Behaviour of the number of generators of a certain ideals

Let us define $A_n, f_n, {\frak a}_n, k(n), \iota_n, {\frak b}_n$ and $l(n)$ by the followings$\colon$
$A_n \colon= K[[X_1,...,X_n]]$, i.e. a $n$-variable formal power series ring over a field $K$.
...

**9**

votes

**3**answers

1k views

### Finiteness of Galois cohomology

Let $k$ be a field, $X$ a smooth projective variety over $k$, $\overline{X} := X\times_k {k}^{\rm sep}$ for a separable closure ${k}^{\rm sep}$ of $k$, $\ell$ a prime with $\ell\in k^{\times}$.
Are ...

**0**

votes

**1**answer

200 views

### Proof of the coherence of ${\Bbb F}_q[[X_1,\dots,X_{\infty}]]$

We shall define the infinitely-many-variable formal power series ring $A = {\Bbb F}_q[[X_1,\ldots,X_{\infty}]]$ over a finite field ${\Bbb F}_q$ as the following$\colon$
$A \colon= \underset{n \geq ...

**5**

votes

**0**answers

159 views

### Topology on two dimensional local fields

I posted my question here, but there is no reply yet. So, I guess I should post it on mathoverflow.
I am reading the book of Schneider about Galois representation and $(\varphi,
\Gamma)$-module, ...