Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
3answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
3answers
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
1answer
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
0answers
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
3answers
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
1answer
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
0answers
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, ...