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
5
votes
0
answers
481
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,398
1
vote
1
answer
281
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}$ ...
user471019
5
votes
2
answers
237
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
444
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
129
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_{...
- 923
4
votes
0
answers
166
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 $\...
- 216
3
votes
0
answers
60
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
247
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
528
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 ...
- 595
9
votes
1
answer
322
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
1
vote
0
answers
178
views
Compute dimension of space of modular forms by counting Galois representations
It is known that we can compute the dimension of the space $S_{k}^{\mathrm{new}}(N, \chi)$ of new forms of weight $k\geq 2$ and level $N$ and Nebentypus $\chi$ via Riemann-Roch theorem or using ...
- 2,215
21
votes
1
answer
2k
views
Cohomology of Shimura varieties and coherent sheaves on the stack of Langlands parameters
In Zhu's Coherent sheaves on the stack of Langlands parameters theorem 4.7.1 relates the cohomology of the moduli stack of shtukas to global sections of a certain sheaf on the stack of global ...
- 3,309
3
votes
0
answers
309
views
Eichler orders in a certain quaternion algebra
Let us consider a totally real number field $K$ such that $[K \colon {\Bbb Q}] = {\mathrm{odd}}$. We shall consider the quaternion algebra $D$ over $K$ such that $D$ splits everywhere at finite places ...
- 781
8
votes
2
answers
628
views
Motivation of the construction of $p$-adic period rings
Let $B$ be either $B_{\text{dR}}$ or $B_{\text{crys}}$. For a $\mathbb{Q}_p$-representation $V$ of the absolute Galois group $\mathrm{Gal}(\overline{K}/K)$ of a $p$-adic field $K$ (a finite extension ...
- 1,428
3
votes
0
answers
220
views
How the Galois group acts on a Néron–Severi group of a variety?
Let $K/k$ be a Galois extension with Galois group $\Gamma$ and let $X$ be a variety over $k$. Assume that either $X(k)\neq\varnothing$ or $\mathrm{Br}(k)=0$, the Brauer group of $k$. By the Hochschild-...
- 165
2
votes
0
answers
230
views
Determining existence of a $p$-isogeny from $p|E(\mathbb{F}_{\ell})$
In Siksek's notes The modular approach to Diophantine equations he uses the following result:
Let $p$ be an odd prime. For an elliptic curve $E$ over $\mathbb{Q}$ if $p|E(\mathbb{F}_{\ell})$ then for ...
- 131
3
votes
0
answers
106
views
A uniform version of Bashmakov's theorem for elliptic curves
Let $E/\mathbb Q$ be an elliptic curve. Serre's open image theorem is the statement that the image of the Galois group $G_{\mathbb Q}$ into $GL_2(\mathbb Z/n\mathbb Z)$ by it's action on the torsion ...
- 7,746
2
votes
0
answers
208
views
Galois-action on spectral sequence
Let $X_\bullet\to S$ be a proper surjective hypercover of a $k$-scheme by smooth proper $k$-schemes. This gives a proper surjective hypercover $X'_\bullet\to S_{\bar{k}}$ where $X'_n:=X_n\times_k \bar{...
- 4,398
3
votes
0
answers
148
views
$p$-adic Hodge theoretic properties of global Galois representations via $\ell$-Frobenii
Let $G_{\mathbb{Q},S} = \mathrm{Gal}(\mathbb{Q}_S/\mathbb Q)$ where $\mathbb Q_S$ is the largest algebraic extension of $\mathbb Q$ unramified outside a finite set of places $S$. Then the union over $\...
- 503
0
votes
0
answers
75
views
An invariant subspace under $G_Q$ action , and BSD-rank
Let $E/Q$ be an elliptic curve. $E(\bar{Q})$ is a complicated abelian group, which equals to all closed points of $\bar{E}$, and also, a $G_Q$-Galois module. Its torsion part, $E(\bar{Q})_{tor}$ is a ...
- 547
2
votes
0
answers
76
views
Question on GSpin-Valued L-parameters
Let $\Gamma$ be a topological group, $n \geq 1$ an integer, $\ell$ a prime number, and $\overline{\mathbb{Q}}_{\ell}$ the algebraic closure of the $\ell$-adic integers. We set $\Phi(GSpin_{2n + 1})$ ...
- 21
2
votes
0
answers
229
views
Reference Request - New proof of Ribet's level lowering by Khare and Wintenberger
I'm currently following the note of Sug Woo Shin's course at Berkeley with notes taken by Rong Zhou. In Section 24.3 (Page 86), Ribet's level lowering theorem is stated:
[Theorem 24.7] $E = E_{a^{\...
- 639
4
votes
0
answers
238
views
Diophantine consequences of the Buzzard–Diamond–Jarvis conjecture
Serre's modularity conjecture famously implies Fermat Last Theorem. More generally, Serre's conjecture implies that certain generalized Fermat equations have no non-trivial solutions (see Section 4.1 ...
- 595
3
votes
0
answers
335
views
A question on the Robba ring
Notation is as in the question:
https://math.stackexchange.com/questions/4090045/some-questions-about-the-robba-ring.
We define a new operator over the Robba ring as follows. Put $$c=\frac{pE(u)}{E(0)}...
- 166
4
votes
0
answers
121
views
Looking for a crystalline analogue of , $\mathcal {Z}_{\sim}^* (X)_F \simeq \mathcal{Z}_{\sim}^* (X_{k ' })_F^{\mathrm{Gal} ( k ' / k )} $
Is there a crystalline analogue for the following formula, using the crystalline Frobenius $ F_v $ instead of the absolute Galois group $ \mathrm{Gal} (\overline{k} / k) $ ?
Here is the formula, which ...
- 595
9
votes
0
answers
441
views
Commutative algebra details on patching when proving $R = \mathbb{T}$ theorem (Calegari-Geraghty Paper)
I have originally posted this on math.SE and been suggested to post this here. I'm merely an undergraduate student and it is the first time for me to ask questions here. I'm sincerely sorry if these ...
- 639
4
votes
1
answer
807
views
Meaning of Atkin-Lehner eigenvalues
Suppose I have $f\in S_2(\Gamma_0(N))$ a classical modular newform of level $N$. I want to understand what information (if any) is carried by its Atkin-Lehner eigenvalues for primes $p\mid N$, as ...
- 51
4
votes
1
answer
279
views
Semisimplicity of the étale cohomology mod $p$
Let $X$ be a smooth projective variety over a field $k$. Then if $\ell\neq \text{char} k$, $k$ is finite, and $X$ is an abelian variety it was shown by Weil that the $\ell$-adic cohomology of $X_{k^{...
- 4,398
2
votes
1
answer
232
views
Local to global for semistable $G_{\mathbb{Q}_p}$-representations
Let $\rho_p:G_{\mathbb{Q}_p} \to \text{Gl}_n(\mathbb{Q}_p)$ be semistable representation. In local to global Galois representation, it was asked if one can find a geometric global Galois ...
- 4,398
3
votes
1
answer
184
views
Restriction of $(\varphi, N)$-modules
For any $p$-dic field $K$, we have an equivalence of categories
$$D_{st}:Rep_{\mathbb{Q}_p}^{st}(G_K)\rightarrow MF_K^{ad}(\varphi,N),\quad V\mapsto (B_{st}\otimes_{\mathbb{Q}_p} V)^{G_K}$$
with quasi-...
- 4,398
7
votes
0
answers
444
views
Status of the conjectured vanishing of Bloch-Kato H^2
There is a folklore conjecture that $\operatorname{Ext}^2$ vanishes in the category of geometric $p$-adic Galois representations (i.e. representations that are unramified almost everywhere and de Rham ...
- 15.4k
12
votes
1
answer
541
views
Eigenvarieties and functoriality
In Langlands' review of Hida's book "$p$-adic automorphic forms on Shimura varieties", he discusses a nexus of 4 areas of modern number theory: automorphic representations, motives, spaces ...
user136098
3
votes
1
answer
473
views
To identify $p$-adic Tate module $T_p(G)$ of $p$-divisible group $G$ in the category $\text{Rep}_{\mathbb{Q}_p}(G_{K_\infty})$
Let $k$ be a perfect field of characteristic $p>0$, $W=W(k)$ its ring of Witt vectors, $K_0=W(k)[\frac{1}{p}]$ and, $K/K_0$ be a totally ramified extension. Let $\pi \in K$ be an uniformizer.
...
- 930
11
votes
1
answer
646
views
Modularity of higher genus curves
The modularity conjecture for elliptic curves over number fields is well known, and indeed, is a theorem for all elliptic curves over $\mathbb{Q}$, and at least potentially, over any CM field.
What ...
- 1,267
19
votes
0
answers
1k
views
Mumford-Tate conjecture for mixed Tate motives
Let $X$ be a (not necessarily smooth or proper) variety over a number field $k$. Suppose we are given
A subquotient $V_{dR}$ of the algebraic de Rham cohomology $H_{dR}^i(X)$ (defined in the non-...
- 23k
11
votes
1
answer
2k
views
Effective weight-monodromy conjecture
$\DeclareMathOperator\Gr{Gr}$Let $G$ be the absolute Galois group of a finite extension of $\mathbb{Q}_p$ with inertia subgroup $I$, and let $V$ be an $\ell$-adic representation of $G$. Grothendieck's ...
- 15.4k
18
votes
0
answers
1k
views
Automorphic forms and coherent cohomology
Why is it (and what does it mean) that automorphic forms do not contribute in the coherent cohomology of Siegel modular varieties parametrizing abelian varieties of dimension $d>2$ (see section 7 ...
- 3,309
3
votes
0
answers
152
views
Finiteness of points over the cyclotomic extension for modular forms
Let $\rho(f):G_\mathbb{Q} \rightarrow GL_2(K_f)$ be the Galois representation attached to some cuspidal modular form $f$ where $K_f$ is a finite extension of $\mathbb{Q}_p$.
Let $V_f$ be the vector ...
- 313
35
votes
1
answer
2k
views
The modularity theorem as a special case of the Bloch-Kato conjecture
In the homepage for the CRM's special semester this year, I found the interesting statement that the modularity theorem (formerly the Taniyama-Shimura-Weil conjecture) is a special case of the Bloch-...
- 3,309
6
votes
0
answers
230
views
Modularity switching for primes $p>7$
In Freitas, Le Hung, and Siksek's 2014 paper proving that elliptic curves over totally real quadratic fields are modular they prove (and use) the following result (Theorems 3 and 4): let $\bar \rho_{E,...
- 311
2
votes
0
answers
165
views
Is the cohomology of rigid varieties semisimple?
Let $X$ be a smooth projective geometrically connected scheme over $\mathbb{Q}_p$. Assume that $H^1(X, T_{X/\mathbb{Q}_p})=0$.
Is the Galois representation $H^*(X_{\overline{\mathbb{Q}_p}}, \mathbb{Q}...
- 21
11
votes
1
answer
770
views
Roadmap for studying Galois deformation theory/modularity theorems from a modern perspective
I am a graduate student with some background in Galois deformation theory. I am familiar with the basics (the existence of a universal deformation space with prescribed conditions) and with some ...
- 643
7
votes
1
answer
591
views
Which cases of Beilinson-Bloch-Kato for elliptic motives are known?
Let $V$ be a semisimple geometric Galois representation of a number field. Then the Bloch-Kato conjectures state that
$$
\operatorname{ord}_{s=0}{L(V^*(1),s)} = \operatorname{dim}{H^1_f(G_k,V)}-\...
- 15.4k
8
votes
1
answer
550
views
Artin reciprocity via Shimura varieties
The point of Shimura varieties, as far as I've understood it, is that for a given Shimura datum $(G,D)$, there exist models, by which I mean that for congruence subgroups $\Gamma$ there exists a ...
- 4,398
5
votes
1
answer
251
views
$\mathrm{mod}\:p$ Galois representation with respect to Zariski topology
Let $G$ be the absolute Galois group of some number field. Can there be a semisimple continuous representation $G\to GL_n(\overline{\mathbb{F}_p})$ (the latter has Zariski topology) with infinite ...
user145520
9
votes
1
answer
525
views
Is the weight in Serre's conjecture "minimal"?
Serre's conjecture says that given any odd, irreducible, continuous representation $\rho:G_{\mathbb{Q}}\rightarrow GL_2(\overline{\mathbb{F}_p})$ there is some eigenform $f$ of weight $k(\rho)$, level ...
- 335
4
votes
1
answer
275
views
Regular representations of Galois groups
Suppose $\mathcal{G}_k$ is the absolute Galois group of a number field $k$.
$\mathcal{G}_k$ is a topological group, with profinite topology. How does the theory of harmonic analysis of regular ...
- 221
9
votes
0
answers
439
views
Uncountably many non-isomorphic Tate modules
Do there exist uncountably many abelian surfaces with good reduction over $\mathbb{Q}_p$ with pairwise non-isomorphic rational $p$-adic Tate modules?
If we took $l$-adic Tate modules there would be ...
user158636
2
votes
0
answers
245
views
What unramified Galois representations come from geometry?
I think we don't know what crystalline representations come from geometry. What about the unramified ones? Specifically let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)\to GL_n(\mathbb{Q}...
user158636
4
votes
0
answers
293
views
Galois representation with infinite image but finite image everywhere locally
Fix a prime $l$. Let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to GL_n(\mathbb{Q}_l)$ be a semisimple continuous representation. Assume $\phi$ has finite image when restricted to $\mathrm{...
user158636