Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Desunkid's user avatar
  • 247
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$, ...
user avatar
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^{...
curious math guy's user avatar
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 ...
user avatar
2 votes
0 answers
176 views

Outer Galois representations and Tate modules of Jacobian varieties

Let $X$ be a proper smooth curve over a field $k$. Then we have an exact sequence of profinite groups \begin{equation*} 1 \to \pi_1(X_{\overline k}) \to \pi_1(X) \to G_k \to 1, \end{equation*} ...
Aoi Koshigaya's user avatar
4 votes
0 answers
100 views

The profinite topology on the Mordell Weil group

In this lecture of Serre on his open image theorem, around 6 minutes, Serre mentions the following theorem of Tate: Let $A/k$ be an abelian variety over a number field and consider the Mordell-Weil ...
Asvin's user avatar
  • 7,746
1 vote
1 answer
94 views

Intersection of a certain linear ideals of $K[[X_1,\ldots,X_{np}]]$ for ${\mathrm{ch}}(K) = p > 0$

Suppose ${\mathrm{ch}}(K) = p > 0$ and we consider the formal power series ring $K[[X_1,\ldots,X_{np}]]$ over $K$ in $np$ variables $X_1,\ldots, X_{np}$. Let $\Lambda$ be the set defined as follows$...
Pierre's user avatar
  • 563
6 votes
1 answer
535 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$). ...
user avatar
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 ...
user avatar
6 votes
1 answer
537 views

Rationality of the Tate module of an abelian variety relative to the algebra of its endomorphisms

Suppose that $K/\mathbb{Q}_p$ is a finite extension and $k_K$ the residue field of $K$. Let $A/K$ be an abelian variety with good reduction. Suppose that $E\to\mathrm{End}^0_K(A)$ is an inclusion of a ...
Lukas's user avatar
  • 323
4 votes
0 answers
173 views

Are there methods to compute the induced action of Frobenius map on the Neron-Severi group of a supersingular abelian surface over a finite field?

Let $A$ be a supersingular abelian surface over a finite field $\mathbb{F}_q$. In that case the Neron-Severi group $NS(A\otimes\overline{\mathbb{F}_q})$ is the lattice of rank $6$. Are there methods ...
Dimitri Koshelev's user avatar
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$ ...
David Corwin's user avatar
  • 15.4k
5 votes
2 answers
504 views

n-th root of unity in n-th division field of abelian variety?

Let $K$ be a number field and $A/K$ an abelian variety over it. Can it be that $K(A[n])$ does not contain a primitive $n$-th rooth of unity? If the answer is yes is it always possible to ...
David84's user avatar
  • 53
3 votes
2 answers
752 views

Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$? Next Q:...
Pierre's user avatar
  • 101
12 votes
2 answers
2k views

Modularity theorem for abelian varieties

There's alredy two posts on MO about the extension of modularity to elliptic curves over fields other than $\mathbb{Q}$ ([1], [2]), and another one about general algebraic varieties [3]. What is ...
Myshkin's user avatar
  • 17.6k
3 votes
3 answers
557 views

Another question related to the isogeny theorem for elliptic curves

I was reading the following question: About isogeny theorem for elliptic curves and was interested in the following statement at the end of Torsten Ekedahl's answer: "Note also that the situation is ...
Adam Harris's user avatar
  • 1,905
31 votes
1 answer
5k views

Modern proof of Serre's open image theorem?

Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic Curves'...
Adam Harris's user avatar
  • 1,905
1 vote
0 answers
162 views

Construction of RM abelian variety from eigenform

Let $f$ be a normalized eigenform of weight $2$ level $N$. If the Fourier coefficients of $f$ generate a totally real field $F$, then we associate to $f$ a system of $\ell$-adic Galois representations ...
David Corwin's user avatar
  • 15.4k
1 vote
0 answers
231 views

Where can I find a copy of Serre's Cours au college de France 1985-1986?

Hi, I was wondering: where might I be able to find a copy of this work online? And are there any other resources for the proof of the open image theorem for abelian varieties with endomorphism ring ...
David Corwin's user avatar
  • 15.4k
4 votes
3 answers
793 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 ...
user23778's user avatar
6 votes
1 answer
1k views

Mumford-Tate group and Galois representations

Could someone please point me towards a proof of why the image of a Galois representation on the Tate-module of an abelian variety is limited by its Mumford-Tate group?
Adam Harris's user avatar
  • 1,905
6 votes
2 answers
1k views

CM abelian varieties and potential good reduction

Let $F$ be a number field and $A$ an abelian variety over $F$. It is known that if $A$ has complex multiplication, then it has potentially good reduction everywhere, namely there exists a finite ...
genshin's user avatar
  • 1,305
2 votes
1 answer
771 views

Serre's open image theorem for products of elliptic curves over function fields via specialization

In Propriétés galoisiennes des points d'ordre fini des courbes elliptiques, Invent. Math. 15, 259--331 (1972), Serre proved the following (Theorem 6 ′′, p. 325): Let $K$ be a number field and let $K^...
Adam Harris's user avatar
  • 1,905
10 votes
0 answers
270 views

Mod m versions of the toric part of Tate modules

Let $A$ be a polarized abelian variety over a local field $K$ with residue characteristic $p$. In the course of proving that a polarized abelian variety $A/K$ has semi-stable reduction iff for all $\...
Greicius's user avatar
  • 101
12 votes
1 answer
721 views

Galois action on one-dimensional quotients of l-adic cohomology

Let $A$ be an abelian variety of dimension $g$ over a number field $K$, and $\ell$ be a rational prime. Suppose that the Galois action on the $\ell$-adic cohomology $H^k(A, \mathbb{Z}_\ell) \otimes_{\...
Eric Larson's user avatar
  • 1,832
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 ...
Peter Scholze's user avatar
1 vote
0 answers
539 views

Ext of Tate-modules of abelian varieties

Let $K$ be a local field (in fact, finite extension of $\mathbb{Q}_p$) and let $A$ and $B$ be abelian varieties over $K$. Associated to $A$ and $B$ are the Tate-modules $T_p(A)$ and $T_p(B)$. Both ...
Daniel Larsson's user avatar