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.
627 questions
1
vote
0
answers
131
views
Analytic properties of $L$-functions attached to a compatible system of $\ell$-adic Galois representations
Let $F$ and $E$ be number fields, $G_F$ be the absolute Galois group of $F$, and $S$ be a finite set of primes of $F$. For $\lambda$ a prime of $E$ we denote by $\ell$ its residual characteristic. We ...
- 663
2
votes
0
answers
151
views
Compatibility of system of $\ell$-adic representations associated to Voevodsky motives
Let $M$ be an object of Voevodsky's category $DM_{gm}(K,\mathbb{Q})$ for a number field $K$. For each prime number $\ell$, there is an $\ell$-adic realization $M_{\ell}$ in the bounded derived ...
- 15.4k
3
votes
0
answers
288
views
Is the weight-monodromy conjecture known for unramified representations?
Let $X$ be a smooth proper variety over a number field $K$, $v$ a place of $K$ lying over a prime number $p \neq \ell$, and $V := H^n(X_{\overline{K}};\mathbb{Q}_{\ell})$. Suppose $V$ is unramified at ...
- 15.4k
2
votes
0
answers
103
views
Local systems on $\mathbb P^1$ and on the formal punctured disc
Consider the projective curve $\mathbb P^1$ over a finite field $k$.
Consider $\ell$-adic local systems $E$ on $\mathbb P^1\backslash \{0,\infty\}$ such that
a) $E$ is tame at $\infty$
b) The ...
- 7,037
2
votes
1
answer
173
views
Norm 1 elements of an unramified quadratic extension of a local field
Let $E$ be an unramified quadratic extension of a local field $F$, with $p$ odd. Let $E^1$ denote the set of norm $1$ elements of $E$. What can be said about the following index:
$$
{\rm 1.}\ \ \ \ [ ...
- 63
4
votes
0
answers
175
views
A computation of nearby cycles
I'm currently reading P.Scholze's paper "THE LANGLANDS-KOTTWITZ APPROACH FOR THE MODULAR
CURVE". In Lemma 7.7, he showed a (maybe simple) nearby cycle computation, which I can't follow.
Now ...
3
votes
0
answers
102
views
List of techniques that have been used to prove topological properties of locus in the deformation ring or the Hecke algebra
My question is maybe going to be a bit vague. My apologies if so.
The setting:
Let $\overline{\rho}$ be a residual representation and $R$ be a deformation ring of $\overline{\rho}$.
Let $\mathbb{T}$ ...
- 1,270
2
votes
1
answer
355
views
Families of Galois representations over disks
Edit on Nov. 20, 2023. This question is answered below in the case that $0<r_i<1$. And indeed it is shown in the answers to not be an interesting question in that case. So please take all $r_i=1$...
anon
2
votes
0
answers
193
views
Calculate $D_{\mathrm{cris}}(V)$ for a crystalline representation
$\newcommand{\cris}{\mathrm{cris}}$In my setting, $K/\mathbb Q_p$ is finite and unramified, and $V$ is a $2$-dimensional crystalline representation of $G_K$. Then we have $D_{\cris}(V)$, which is $2$-...
- 775
5
votes
1
answer
360
views
Conductor of determinant of a 2-dimensional Galois representation divides conductor of representation
I am studying Serre's paper "Sur les représentations modulaires de degré 2 de $\mathrm{Gal(\overline{\mathbb Q}/\mathbb Q)}$" and I'm stuck trying to prove that $N(\det\rho)$ divides $N(\rho)...
2
votes
1
answer
401
views
Irreducibility of Tate module (as a Galois representation) of elliptic curves with good reduction
This question is following the previous question.
Definitions:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is an elliptic curve defined over $F$ with good reduction. Denote ...
- 775
3
votes
1
answer
329
views
Calculation of Frobenius on de Rham cohomology of elliptic curves with good reduction
I'm reading "An introduction to the theory of $p$-adic representations" by Laurent Berger. In the page 14 it says:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is ...
- 775
1
vote
0
answers
125
views
Is the Frobenius semisimple on the de-Rham cohomology?
Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
- 775
1
vote
0
answers
103
views
Is there a bound on the number of $p$-adic semisimple representations?
Faltings proved the following:
Fix integers $w, d \geqslant 0$, and fix a number field $K$ and a finite set $S$ of primes of $\mathcal{O}_K$. There are, up to conjugation, only finitely many ...
- 775
1
vote
0
answers
140
views
Kernel of restriction map in Galois cohomology
Let $S$ be the algebraic group $SL_2/\mathbb{Q}_p$ with a $G=G_{\mathbb{Q}}$ action, (acts by conjugation with a representation $\rho: G\longrightarrow GL_2$.)
Let $G_p$ be the decomposition group at ...
- 2,907
3
votes
0
answers
122
views
Description of $\operatorname{Gal}(K(E[n])/K)$ as a subgroup of $\operatorname{GL}_2(\mathbb{Z}/n\mathbb{Z})$ for a CM elliptic curve $E$
I am looking for a specific description of the Galois groups $\operatorname{Gal}(K(E[n])/K)$ as a subgroup of $\operatorname{GL}_2(\mathbb{Z}/n\mathbb{Z})$ for an elliptic curve $E$ with complex ...
- 309
5
votes
1
answer
220
views
Two different local Langlands parameters for quadratic extension
Let $E/F$ be a quadratic extension of nonarchimedean local field, and let $G$ be a reductive group over $E$, and $G(E)$ the $E$-points of $G$. (For my question, one may just assume $G=\operatorname{GL}...
- 833
2
votes
0
answers
76
views
Galois weight of a Serre twisted pure Galois representation
Let $V$ be a pure, 2-dimensional weight $k$ $p$-adic global Galois representation for $G$, the absolute Galois group of the rationals.
Let $c\in Z^1(G,\text{SL}_2)$ be a cocycle and consider the Serre ...
- 2,907
4
votes
0
answers
154
views
A variant of the inverse Galois problem
In Theorem I of Construction of maximal unramified p-extensions with prescribed Galois groups, it's proved that
for any prime $p$ and any given finite $p$-group $G$, there exists a number field $F$ ...
- 667
3
votes
0
answers
145
views
Reference showing no proper subgroups of p-adic orthogonal groups surject onto mod p orthogonal groups
I am looking for a reference for the following statement:
Let $O$ be an orthogonal group associated to a nondegenerate quadratic form of rank $r$ over the p-adic integers $\mathbb Z_p$. Suppose $r$ is ...
- 1,308
2
votes
1
answer
243
views
$\pi$-adic Galois representations of attached to newforms at $p \nmid N$ are crystalline
Is [Scholl, Motives for modular forms, Theorem 1.2.4 (ii)] proven for any $p$ independent of the weight?
Concretely, let $f$ be a normalized eigenform of weight $w$. Let $p$ be a prime not dividing ...
user471019
5
votes
0
answers
192
views
Image of $\gamma-1$ on etale $(\varphi,\Gamma)$-modules
Let $p\geq 3$ be a prime, $D$ be an etale $(\varphi,\Gamma)$-modules over the classical period ring $A_{\mathbb{Q}_p}=\mathbb{Z}_p[\![T]\!][1/T]^{\widehat{\phantom{xx}}}_p$ and $\gamma$ be a ...
- 549
2
votes
1
answer
410
views
Galois cohomology of Tate modules
Let $E,E'$ be a pair of elliptic curves defined over $\mathbb{Z}$. Let $T_p[E], T_p[E']$ be their associated ($p$-adic) Tate modules. These are Galois representations for the absolute Galois group of $...
- 2,907
3
votes
1
answer
369
views
Local Tate duality for F-vector space
A version of local Tate duality stated: Let $K$ be a finite extension of $\mathbb Q_p$, $A$ be a finite $G_K=Gal(\overline K/K)$ module. Then for $0\le i\le 2$, the cup product induces a perfect ...
- 183
2
votes
0
answers
240
views
Inertia group representation from $p^{n}$-torsion of ordinary elliptic curve
Let $K$ be a complete local field. Suppose that $K$ is an unramified extension of $\mathbb{Q}_{p}$ and let $E$ be an elliptic curve over $K$ with good ordinary reduction. Let $G_{K}=\text{Gal}(\...
- 305
37
votes
1
answer
1k
views
What is the smallest group not known to be a Galois group over $\mathbb{Q}$?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}$What is the smallest group not known to be a Galois group over $\mathbb{Q}$?
Variants have been asked here before (e.g. Which small finite ...
- 2,959
2
votes
1
answer
368
views
Elliptic curve with CM and image of Galois representation in normalizer of nonsplit Cartan
I am trying to understand the following. Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication given by the ring of integers $\mathcal{O}_K$. We are given a fixed rational prime $p$ ...
- 637
1
vote
1
answer
315
views
About simple motives
I'm reading through Jannsen's paper Motives, numerical equivalence, and semi-simplicity and I'd like to pose two questions.
Suppose all motives are $F$-linear, for some characteristic zero field $F$, ...
user497064
3
votes
0
answers
183
views
Representability of $\operatorname{Hom}(G_{\mathbb{Q}}, \operatorname{GL}_2)$
Let $G_{\mathbb{Q}}$ be the absolute Galois group of the rationals, and let $F: \mathrm{Aff}/\textbf{Q}_p\longrightarrow \mathrm{Sets}$ be the functor which associates to every affine $\mathbb{Q}_p$ ...
- 2,907
5
votes
1
answer
833
views
Understand the $p$-adic local Langlands correspondence with examples
Let $\rho:G_{\mathbb{Q}}\rightarrow \mathbf{Gl}_{n}(\mathbb{Q}_{p})$. I would like to understand in depth why the local Langlands correspondence for $\rho_{|\mathbb{Q}_{p}}$ must consider $p$-adic ...
- 1,270
4
votes
0
answers
214
views
Effect of the surjectivity of Galois representation
Let $K$ be any arbitrary number field and $E$ be any elliptic curve over it. For any integer $m,$ consider the well-known Galois representation
$$\rho:\text{Gal}(\overline{K}/K)\to \text{GL}_2(\mathbb{...
- 521
4
votes
1
answer
283
views
Double centralizer theorem for ($\ell$-adic) Lie algebras
$\DeclareMathOperator\GL{GL}$I'm reading the proof of Serre's open image theorem from his book "Abelian $\ell$-adic representations and elliptic curves". This is chapter IV Section 2.2 of ...
- 190
2
votes
1
answer
159
views
Decomposition of the Galois group of the $m$-th division field of an elliptic curve with CM into a direct product of Galois groups
Let $E/\mathbb{Q}$ be an elliptic curve with CM from an imaginary quadratic field $K$. Let $K(E[m])$ denote $m$-th division field (number field obtained by adjoining the coordinates of the $m$-torsion ...
- 309
17
votes
1
answer
2k
views
How does the cohomology of the Lubin-Tate/Drinfeld tower fit into categorical p-adic local Langlands?
In conjecture 6.1.14 of this article, Emerton-Gee-Hellmann formulate the p-adic local Langlands conjecture, which posits the existence of a fully faithful functor from (the appropriate derived ...
- 3,309
1
vote
1
answer
865
views
Galois representations with semisimple residue representation
$\DeclareMathOperator\GL{GL}$Let $\mathbb{Z}_p$ be the ring of integers of $p$-adic numbers $\mathbb{Q}_p$, $G$ a profinite group (e.g. Galois group of local field or global field) and $\rho:G\to \...
- 667
1
vote
0
answers
254
views
Why does Deligne's construction of the Galois representation attached to the new cuspidal forms require that the Kuga-Sato manifold be regular?
The origin of this question is related to the construction of Galois representations of Deligne attached to $f$ a new cuspidal form (of weight $k\geq 2$). To do this, we consider the fiber product $k$-...
- 1,270
14
votes
1
answer
1k
views
A question on a paper of K. Murty
Let $f=\sum_{n\ge 1}a_nq^n$ be a normalized Hecke eigenform which is not of CM-type, of weight $k\ge 2$ for the congruence subgroup $\Gamma_0(N)$. Let $a\in\mathbb{Z}$ and define
$$
\pi_f(x,a):=\#\{p\...
- 303
6
votes
0
answers
375
views
How to construct this non-geometric mod $p$ Galois representation?
Let $ K $ be a totally real cubic field. I am concerned with the following kind of Inverse Galois Problem:
Is there a prime $ p>5 $ and a continuous representation $ \bar{\rho}:G_{K}\to {\rm
GL}_{...
- 863
4
votes
0
answers
153
views
Infinitely ramified $p$-adic representations as limits of finitely ramified $p$-adic representations
Let $ \rho:G_{\mathbb{Q}}\to {\rm GL}_{2}(\mathbb{Q}_{p}) $ be a continuous $ p $-adic representation of the absolute Galois group $ G_{\mathbb{Q}} $ of the rational number field $ \mathbb{Q} $. Let $ ...
- 863
1
vote
1
answer
229
views
Purity for proper varieties
Let $X$ be a proper, geometrically connected, geometrically integral variety over $\mathbf{F}_q$. There exists a finite field extension $k/\mathbf{F}_q$ of degree $d$ and an alteration $X'\to X_k$ ...
user480741
6
votes
2
answers
1k
views
In practice, how explicitly can we describe a Galois representation?
In most parts of representation theory, we naturally want to describe a given representation as explicitly as possible. This seems to me a feasible project only if, as a first step, the group itself ...
- 4,164
2
votes
1
answer
401
views
Crystalline when restricted to inertial subgroup
$\newcommand{\ur}{\mathrm{ur}}\newcommand{\cris}{\mathrm{cris}}$Let $K$ be a finite extension of $\mathbb{Q}_p$, $G_K=\operatorname{Gal}(\overline{K}/K)$ and $I_K \subset G_K$ its inertial subgroup. ...
- 247
1
vote
1
answer
242
views
Trianguline representation
I have a problem in understanding the concept of trianguline representation. Maybe someone can enlighten me.
Let $K$ be a finite extension of $\mathbb{Q}_p$ and $V$ be a $p$-adic representation of $...
- 455
6
votes
0
answers
196
views
Status of Mazur's dimension conjecture on universal deformation rings
Fix a prime $ p $. Let $ \mathbb{F} $ be a finite field of characteristic $ p $ and $ W(\mathbb{F}) $ the ring of Witt vectors of $\mathbb{F} $ . Let $ \widehat{\mathfrak{A}}_{W(\mathbb{F})} $ be the ...
- 863
5
votes
1
answer
574
views
Existence of even mod $ p $ Galois representations with full image
My question is that:
For any prime $p>7$, is there a mod $ p $ representation $ \bar{\rho}:G_{\mathbb{Q}}\to \operatorname{GL}_{2}(\mathbb{F}_{q}) $ of the absolute Galois group $ G_{\mathbb{Q}} $ ...
- 863
4
votes
1
answer
202
views
On presentations of universal rings of deformations
Let $k$ be a finite field of characteristic $p$, and $R$ a complete local noetherian algebra with residue field $k$. It is well known that $R$ has a natural structure of an algebra over the ring Witt ...
- 541
3
votes
0
answers
300
views
Galois invariant of Tate module
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $V$ be a de Rham representation of $G_K=\operatorname{Gal}(\overline{K}/K)$. By Corollary 3.8.4 of Bloch and Kato - L-functions and Tamagawa ...
- 247
2
votes
0
answers
182
views
Image of the Kummer map for abelian varieties over $p$-adic local fields
The following statement might be well-known to the community: let $K$ be a finite extension of $\mathbb{Q}_p$ for some prime $p$. Let $A$ be an abelian variety over $K$. Then the image of the Kummer ...
- 1,428
5
votes
0
answers
197
views
On the pro-category of finite local artinian algebras
Let $\mathbb{F}$ be a finite field, and $W(\mathbb{F})$ its associated ring of Witt's vectors. On page 6 of the following lecture notes Deformations of Galois Representations, the category $\mathfrak{...
- 541
4
votes
1
answer
394
views
Reductive subgroups of $\mathrm{GL}_2$ over an algebraically closed field of characteristic zero
I am reading a very nice paper of Newton and Thorne, Symmetric power functoriality for holomorphic modular forms, and there is an argument concerning the (Zariski-closure of) image of certain $p$-adic ...
- 241