All Questions
77 questions
45
votes
2
answers
3k
views
What are the possible motivic Galois groups over $\mathbb Q$?
Let $E$ be a motive over $\mathbb Q$. (I should precise, that by a motive I mean
here a pure motive over $\mathbb Q$, with coefficients in $\mathbb Q$, that I see here as a conjectural object which ...
- 26k
36
votes
1
answer
9k
views
Fontaine-Mazur for GL_1
For any number field $K$, the Fontaine-Mazur conjecture predicts that any potentially semistable $p$-adic representation of the absolute Galois group $G_K$ of $K$ that is almost everywhere unramified ...
- 21.3k
19
votes
3
answers
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 ...
user92332
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
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
14
votes
1
answer
5k
views
Why are Galois Representations so important in Number theory ?
Dear everyone,
Motivation :
From the past few days, I have been reading about the Galois Representations . I was really amazed to see that every seminal idea in the theory of elliptic curves have ...
13
votes
4
answers
3k
views
When is the Galois representation on the étale cohomology unramified/Hodge-Tate/de Rham/crystalline/semistable?
Let $X/K$ be a variety over a global field $K$. When (and why) is the Galois representation $H^i_{et}(X \times_K \bar{K}, \mathbf{Q}_\ell)$ unramified at a place $v$ of $K$?
I guess this is true if $...
user19475
13
votes
1
answer
771
views
Abelian $\ell$-adic representations in $\widehat{\mathrm{SL}(2,\mathbb{Z})}$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Gal{Gal}\newcommand{\Z}{\mathbb{Z}}$In Grothendieck's Esquisse he claims that the action of
$$\Gal(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\...
- 3,799
13
votes
1
answer
1k
views
Applications of anabelian geometry to Galois representations?
One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and $...
- 3,799
13
votes
1
answer
974
views
Which degree does a motivic Galois representation show up in?
Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...
- 148k
12
votes
3
answers
790
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 ...
- 563
11
votes
1
answer
660
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 $...
- 148k
10
votes
2
answers
961
views
What is a(n algebro-geometric) family of modular forms?
We know that a family of elliptic curves is a morphism of schemes $f:X \to Y$ such that the fiber of every point of $Y$ is an elliptic curve (and we usually require the morphism to be smooth, proper, ...
- 15.4k
10
votes
0
answers
466
views
Galois action on $E_n$-operads
Let $E_n$ be the little $n$-cubes operad which acts on $n$-fold loop spaces (up to group completion, an $E_n$-action is precisely the data needed to perform an $n$-fold delooping). I am looking for ...
- 25.6k
9
votes
0
answers
475
views
Classification of finite flat group schemes over integers?
One can classify (commutative) finite flat group schemes (with order of $p$-powers) over $\mathbb Z_p$ using semi-linear algebraic datas such as Breuil-Kisin modules. And we can fix the special fiber ...
- 6,622
8
votes
2
answers
403
views
Mazur's Question on Mod $N$ Galois representations
In Rational Isogenies of Prime Degree, Mazur poses:
"the problem of determining all elliptic curves $E'/\mathbb{Q}$ with symplectic $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ isomorphisms $E'[N]\...
- 901
8
votes
1
answer
1k
views
Learning about Galois representations
My goal was to learn about l-adic representations on some example — I'm a newbie in these topics.
Thus take pt = Spec F_q, ...
- 15.1k
7
votes
0
answers
267
views
Invariant obstructions to gluing Galois representations on elliptic curves
Let $E$ be an elliptic curve over $\overline{\mathbb F_p}$, or another separably closed field of characteristic $p$. Let $K$ be the function field of $E$, and let $K_p$ be the local field at a point.
...
- 148k
6
votes
1
answer
696
views
Selmer Group versus Selmer Variety
For an abelian variety $A$, the $p$-adic Selmer group is defined to be the subset of $H^1(G_k,H_1^{et}(A;\mathbb{Q}_{p}))$ whose restriction to $G_{k_v}$ is in the image of $A(k_v)$ for all places $v$ ...
- 15.4k
6
votes
1
answer
658
views
Connection of Galois representation and arithmetic geometry
There are lots of Galois representations which arise naturally from geometric objects, for example, Galois representations attached to elliptic curves. I know that people are interested in studying ...
- 601
6
votes
1
answer
524
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 $...
- 6,622
6
votes
0
answers
453
views
dimensions of Galois representations appearing in the cohomology
Let's take $D$ to be $n^2$-dimensional central algebra with an involution $*$ over a CM field $E=FE_0$ (where F is totally real, and $E_0$ is imaginary quadratic). Define
$$G(R) = \{ x \in D \otimes _{...
5
votes
1
answer
755
views
Elliptic curve and Galois representation
For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by
$\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = {\...
- 101
5
votes
1
answer
228
views
Lifting mod $p$ representations of arithmetic fundamental groups of a non-affine scheme over a finite field of characteristic $p$
Let $X$ be a geometrically irreducible scheme (not necessarily affine) over $\mathbb{F}_{p}$ and let $ \pi_{1}(X) $ be the arithmetic etale fundamental group of $ X $. Let $ \overline{\mathbb{F}}_{p} $...
- 863
5
votes
1
answer
1k
views
Eichler-Shimura for Shimura curves
Hi,
What is the statement of the Eichler-Shimura relation for Shimura curves? And where
can one find a proof?
Thanks
- 2,842
5
votes
0
answers
676
views
Basic question on p-adic Hodge theory
I am starting to study the rudiments of p-adic Hodge theory and I have the following basic question. Let $\chi$ be the unramified quadratic character of $G_p = \mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{...
- 111
5
votes
0
answers
278
views
Tate's conjecture and symmetry of Hodge-Tate weights
I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf
At page 10 he claims that an indirect ...
- 231
5
votes
0
answers
585
views
Bloch Kato Exponential as formal lie group exponential
Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism
$$DR(V) \...
- 3,555
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
4
votes
1
answer
891
views
Isomorphism of the $\ell$-adic Tate module of an elliptic curve with CM
Let $E$ be an elliptic curve over $K$ (totally real number field) with complex multiplication by the field $L$. Let $\psi$ be the Grössencharacter associated to $E$, assume that $\psi$ of type $(-r,0)$...
- 43
4
votes
1
answer
649
views
On Ramanujan's beautiful cubic identity
Let $a_i, b_i, c_i$ be defined by the following$\colon$
$\frac{1 + 53X + 9X^2}{1 - 82X - 82X^2 + X^3} = a_0 + a_1X + \ldots$.
$\frac{2 - 26X - 12X^2}{1 - 82X - 82X^2 + X^3} = b_0 + b_1X + \ldots$.
...
- 781
4
votes
3
answers
794
views
Quotients of Tate modules
Let $p$ be a prime number, let $K$ denote a finite extension $\mathbb{Q}_{p}$ and let
$\overline{K}$ be an algebraic closure of $K$. Let $A$ be an ellitpic curve over
$K$ and denote by $T_{p}A$ its ...
- 41
4
votes
0
answers
221
views
Galois action of Weil restriction
Let $K/\mathbb{Q}$ be a quadratic field. Let $E$ be an elliptic curve defined over $K$ but not over $\mathbb{Q}$, and let $\bar{E}$ be the Galois conjugate of $E$. Then by the descent theory (for ...
- 461
4
votes
0
answers
389
views
Kottwitz global gerbes
I've been trying to understand global gerbes constructed by Kottwitz in $B(G)$ for all local and global fields (arXiv:1401.5728). Scholze explained in $p$-adic geometry (arXiv:1712.03708) why I would ...
- 4,418
4
votes
0
answers
279
views
On De Shalit's Lemma in Wiles' proof of R=T
In Wiles' proof of ``$R = {\Bbb T}$", if we associate the extra primes the set of which is denoted $D$, there is a famous result in the following$\colon$
Theorem(De Shalit's Lemma). Let ${\Bbb T}_N$ ...
- 781
3
votes
1
answer
437
views
Galois representation attached to $3$-torsion points of an elliptic curve
Let
$ E $ - Elliptic curve defined over $ {\mathbb{Q}} $.
$G_{\mathbb{Q}}$ - The absolute Galois group, $\text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) $ of $\mathbb{Q}$.
$ E[3] $ - $3$-torsion points ...
- 193
3
votes
2
answers
338
views
Isomorphism between finite algebras over ${\Bbb Z}_p$
Let $\pi \colon R \twoheadrightarrow {\Bbb T}$ be a surjective ring homomorphism between finite algebras over ${\Bbb Z}_p$. Further, we suppose the following three conditions$\colon$
$R$ is a ...
- 563
3
votes
1
answer
776
views
On the coherence of a Néron-ring
Let $A:= \underset{\lambda \in \Lambda}{\varinjlim} \,A_{\lambda}$ be an inductive limit of geometric regular local ring $(A_{\lambda}, {\frak m}_{\lambda})$, whose transition map $\phi_{\mu\lambda} \...
- 563
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
3
votes
0
answers
529
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
3
votes
0
answers
311
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
3
votes
0
answers
344
views
Dirichlet Character, Galois Representation and Motives
Suppose $\chi$ is a real Drichlet character of modulus $N$,
\begin{equation}
\chi: (\mathbb{Z}/N\mathbb{Z})^* \rightarrow \mathbb{C}
\end{equation}
which induces an Artin representation
\begin{...
- 2,971
3
votes
0
answers
297
views
Flatness of R[X]/I over R
In the famous paper Simple flat extensions, Journal of Algebra Volume 16, Issue 1, September 1970, p. 105-107, Wolmer V. Vasconcelos proves the following
Theorem (Vasconcelos). For a noetherian ...
- 781
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
2
votes
1
answer
338
views
Finite Flat Group Schemes for Modular Forms of Higher Weight
Let $f$ be a newform (normalized, cuspidal) of weight $k \ge 2$. Then for a prime $\ell$ there is an $\ell$-adic Galois representation associated to $f$. If $k=2$, this comes from an abelian variety, ...
- 15.4k
2
votes
1
answer
251
views
Étale fibration for $K[[X_1,...,X_n]]$
Let us consider a formal power series ring $A_n \colon= K[[X_1,\ldots,X_n]]$ with $0 \ll n < \infty$ and we shall consider a prime ideal ${\frak P}$ of $A_n$ such that $1 < {\mathrm{ht}}({\frak ...
- 563
2
votes
0
answers
94
views
Galois representations attached to discrete automorphic representations
Let $F$ be a totally real field. Let $G$ be a (split) connected reductive group over $F$. Let $\pi$ be an irreducible automorphic representation of $G$.
Recall in the work of Buzzard and Gee "The ...
- 6,622
2
votes
0
answers
150
views
Absolute Bloch-Kato Cohomology
The étale cohomology $R\Gamma_{\mathrm{ét}}(X;\mathbb{Z}_p(n))$ of a scheme $X/K$ can be computed by a Hochschild-Serre spectral sequence with terms of the form $H^i(K;H^j(X_{\overline{K}};\mathbb{Z}...
- 15.4k
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
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