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

Questions tagged [galois-representations]

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.

5
votes
1answer
237 views

How to compute Galois representations from etale cohomology groups of a generalized flag variety?

Let $G$ be a connected reductive group over a number field $K$, $P$ be a parabolic subgroup of $G$ defined over $K$, $X=G/P$ be the generalized flag variety which is a smooth projective variety over $...
2
votes
0answers
180 views
+50

Condition on a Fontaine Laffaille module which prescribes the image of the associated Galois representation

The Setup: Let $m\geq 1$ be an integer, $\mathbb{F}$ be a finite field of characteristic $p$ and $W(\mathbb{F})$ the ring of Witt-vectors with residue field $\mathbb{F}$ and $\sigma:W(\mathbb{F})\...
6
votes
1answer
325 views

Functoriality for $\ell$-adic cohomology - a question

This should a be basic enough question, but I’m a little confused. In proving that $H^*(X,\mathbf{Q}_{\ell})$ is functorial (in the sense of Weil cohomology theories: see axiom D2 here) as $X$ ranges ...
6
votes
1answer
426 views

Quaternion algebra actions on $\ell$-adic cohomology

Let $E$ be a supersingular elliptic curve over $\mathbf{F}_p$, and $H$ its endomorphism algebra $\text{End}(E)\otimes_{\mathbf{Z}}\mathbf{Q}$, a quaternion algebra (non split at $p$ and $\infty$). ...
9
votes
1answer
454 views

A question about Galois representations

Let $K$ be a number field and $(\rho,V)$, $(\rho',V')$ be two Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/K)$. Suppose that for some positive integer $n$ we have $\mathrm{Sym}^n\rho\...
2
votes
0answers
78 views

Local polynomials of Frobenius-semisimple Weil representations which are tensor products of an Artin representation and an unramified character

Let $K$ be a local field and $\rho: W_K \to \operatorname{GL}(V)$ be a Weil representation. The for any finite extension $F/K$, we define the local polynomial $$ P(\rho|_F,T) = \det{(1 - \operatorname{...
11
votes
1answer
367 views

Finiteness or infiniteness for Galois representations with unusual Hodge numbers

Say a representation $\operatorname{Gal}(\mathbb Q) \to GL_n(\overline{\mathbb Q}_\ell)$ has big monodromy if the Zariski closure of the image of $\operatorname{Gal}(\mathbb Q) $ contains $SO_n$ or $...
4
votes
0answers
153 views

Is there some computational evidence of the $pq$ analog of Serre's conjecture?

The $pq$ analog of Serre's conjecture (see "Mod pq Galois representations and Serre's Conjecture"- Khare, Kiming) states that if $\bar{\rho}_1:G_{\mathbb{Q}}\rightarrow \text{GL}_2(\mathbb{F}_p)$ is a ...
4
votes
0answers
108 views

Is there a conjectural analog of Ribet's theorem (Converse to Herbrand's Theorem) for Imaginary Quadratic fields?

For $p$ a prime, let $Cl(\mathbb{Q}(\mu_p))$ denote the class group of the extension of $\mathbb{Q}$ obtained by adjoining a primitive $p$th root of unity. Associated to an eigenform of weight 2 and ...
1
vote
0answers
39 views

Central character of automorphic representations of $Sp_{2n}$

Let $F$ be a CM field. Given a regular algebraic self-dual cuspidal automorphic representation $\Pi$ of $GL_n(\mathbb A_F)$ and a prime $l$, there is a continuous Galois representation $r_{\Pi}: \...
3
votes
1answer
163 views

Is there relationship between $\mu=0$ for an elliptic curve and the irreducibility of its residual representation at a prime $p$?

I remember it being mentioned at a talk that if $E$ is an elliptic curve over $\mathbb{Q}$ and $p$ a prime at which it has good reduction then the dual to the Selmer group over the cyclotomic $\mathbb{...
3
votes
1answer
132 views

Conductor of Galois representation attached to newform

(Sorry for poor my english skill..) Let $k$ and $N$ be positive integers and $\chi$ be a Dirichlet character modulo $N$. Let $F$ be a newform with number field $K_{F}$. (All coefficients of $F$ in $...
5
votes
0answers
118 views

List of applications of the Deformation theory of Galois Representations in contexts other that $R=T$

The Deformation theory of Galois representations developed by Mazur has been extensively used in proving that Galois representations with special properties are modular/automorphic through the ...
1
vote
0answers
83 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
139 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 ...
6
votes
1answer
190 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
89 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
82 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
114 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}...
5
votes
1answer
331 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
91 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
129 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
88 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
291 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
66 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
188 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
138 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
121 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
182 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
588 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
192 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$. ...
3
votes
1answer
144 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
267 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
324 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
168 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
138 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
131 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
115 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
250 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
290 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
71 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 ...
11
votes
0answers
303 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
350 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
155 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
149 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
506 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
204 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
234 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 ...