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.
568
questions
1
vote
0
answers
90
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)$. ...
- 227
1
vote
0
answers
89
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 ...
- 227
1
vote
0
answers
105
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 ...
- 933
2
votes
0
answers
100
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 ...
- 267
5
votes
1
answer
161
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}...
- 787
0
votes
0
answers
69
views
On odd Fourier coefficients of (elliptic) modular forms
Let $E/\mathbb{Q}$ be any elliptic curve with no non-trivial $2$ torsion, and $\rho_E:\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to \mathrm{Aut}(E[2])=\mathrm{GL}_2(\mathbb{Z}/2\mathbb{Z})\cong ...
- 471
2
votes
0
answers
62
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 ...
- 933
0
votes
0
answers
76
views
Galois extension generated by 2-torsion points
Let $E/\mathbb{Q}$ be an elliptic curve such that $E(\mathbb{Q})[2]$ is trivial. Hence image of the well known Galois representation $$\rho:\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to \mathrm{...
- 471
4
votes
0
answers
115
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$ ...
- 429
3
votes
0
answers
105
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
214
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 ...
- 309
5
votes
0
answers
170
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 ...
- 527
2
votes
1
answer
292
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 $...
- 933
3
votes
1
answer
255
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
140
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}(\...
33
votes
1
answer
948
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,223
2
votes
1
answer
119
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$ ...
- 555
1
vote
1
answer
302
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$, ...
- 557
3
votes
0
answers
176
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$ ...
- 933
5
votes
1
answer
484
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 ...
- 935
4
votes
0
answers
190
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{...
- 471
4
votes
1
answer
213
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 ...
- 115
2
votes
1
answer
144
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 ...
- 267
16
votes
1
answer
1k
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,209
1
vote
1
answer
645
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 \...
- 429
1
vote
0
answers
134
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$-...
- 935
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
337
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}_{...
- 745
4
votes
0
answers
127
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 $ ...
- 745
1
vote
1
answer
214
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
816
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 ...
- 3,974
2
votes
1
answer
322
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. ...
- 227
1
vote
1
answer
144
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 $...
- 445
5
votes
0
answers
158
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 ...
- 745
3
votes
1
answer
468
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}} $ ...
- 745
4
votes
1
answer
180
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 ...
3
votes
0
answers
247
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 ...
- 227
2
votes
0
answers
133
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,306
4
votes
0
answers
158
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{...
4
votes
1
answer
318
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 ...
- 219
5
votes
0
answers
412
views
Do we expect the Langlands correspondence to be a functor?
In the literature I've read, it is often said that to a Hecke eigenclass, one would like (and sometimes succeeds) to "associate" or show the existence of a Galois representation such that ...
- 4,106
1
vote
1
answer
233
views
Explicit Chebotarev density theorem for Galois representations associated to newforms
Let $f \in S_2(\Gamma_0(N))$ be a newform with associated residual Galois representation $\rho: \operatorname{Gal}(\overline{\mathbf{Q}}/\mathbf{Q}) \to \operatorname{GL}_2(\mathbf{F})$, $\mathbf{F}$ ...
- 309
5
votes
2
answers
221
views
Irreducibility of the $n$th symetric power of the reduction of the Galois representation of a non-CM newform
In "On $\ell$-adic representations attached to modular forms II", Ribet proved that the $\ell$-adic representation $\rho_{f,\ell}$ attached to a non-CM newform form $f$ satisfies
$${\rm SL}...
- 303
3
votes
1
answer
357
views
Galois cohomology of abelian varieties
Suppose $A$ is an abelian variety over a number field $K$ and call $M$ the maximal torsion free quotient of $A(\overline{K})$ equipped with its Galois action.
For the first Galois cohomology of $M$, ...
user322153
1
vote
0
answers
104
views
Galois extension of $ C_{k} $ field and irreducible polynomial over $ C_{k} $ field
A field is called a $ C_{k}$- field if every form i.e. every homogeneous polynomial of degree $ d $ in $ n > d^{k} $ indeterminates has a nontrivial zero. We know that any finite field is a $ C_{...
- 903
4
votes
0
answers
145
views
Constructing motivic representations through extensions of $\mathrm{SL}(2, \mathbb{Z})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$In the Esquisse, Grothendieck explains how to find the representations of $G_{\mathbb{Q}}$ on Tate modules of Jacobians through its action on $\...
- 217
3
votes
0
answers
59
views
Family of residual representations compatible with a motive
Suppose $S$ is a set of primes. For each prime $p$ in $S$ we are given a Galois representation $\rho_p : Gal(\bar{\mathbb{Q}}/\mathbb{Q}) \rightarrow GL_2 (\mathbb{F}_p) $. What are the necessary or ...
- 31
2
votes
1
answer
241
views
Galois representations attached to a cusp form for different primes
If I have a cusp form $f$, I can consider the associated Galois representation $\rho_l(f)$ for any prime $l$. For two distinct primes $p$ and $q$, what is the relationship between $\rho_p(f)$ and $\...
- 21
3
votes
0
answers
415
views
The cycle class map with values in crystalline cohomology
Let $ k = \mathbb{F}_q $ be a finite field of characteristic $ p > 0 $.
Let $ X $ be a smooth proper scheme of dimension $ d $ over $ k $.
Consider the associated $ K $ - linear cycle class map ...
- 477
8
votes
1
answer
250
views
A question about mod $p$ local Langlands for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$
In the mod $p$ local Langlands correspondence for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$, the irreducible supercuspidal representation $\left(\mathrm{ind}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}_{\mathrm{GL}_{2}(...
- 311