All Questions
Tagged with etale-cohomology abelian-varieties
16
questions
3
votes
0
answers
201
views
Tate isogeny theorem over varieties?
Let $X$ be a nice scheme, $\pi:E\to X$ an elliptic curve, and $\ell$ a prime invertible on $K$. Then we can consider the "Tate module" $(R^1\pi_*\mathbb{Z}_{\ell})^\vee=\hbox{''}\varprojlim\...
4
votes
1
answer
405
views
Étale group schemes and specialization
If $A$ is an abelian variety over a finite field $\mathbf{F}_q$, then $A(\mathbf{F}_q)$ (resp. $A(\overline{\mathbf{F}}_q)$) is a finite (resp. infinite torsion) group, but $A(\mathbf{F}_q(t))$ is a ...
2
votes
1
answer
226
views
Cup products and correspondences
Suppose $X$ is a smooth projective complex variety, connected of dimension $n$.
Let $a$ be an algebraic correspondence in $A^n(X\times X)$, the group of cycles modulo homological equivalence in $H^{2n}...
4
votes
1
answer
397
views
Tate-Shafarevich groups under finite Galois field extensions
Suppose $L/F$ is a finite Galois extension of number fields. Let $E$ be an elliptic curve over $F$ and $E_L$ its base change to $L$.
Do we have that $\text{Sha}(E/F)$ is finite if and only if $\text{...
5
votes
1
answer
523
views
Ordinary abelian varieties and Frobenius eigenvalues
Say $A_0$ is an ordinary abelian variety over ${\mathbf{F}}_q$. Call $\mathcal{A}$ the canonical lift of $A_0$ over $R := W({\mathbf{F}}_q)$. It carries a lift of the $q$-th power map on $A_0$. We ...
4
votes
1
answer
253
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^{...
6
votes
1
answer
533
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$).
...
3
votes
0
answers
400
views
Non algebraizable formal abelian schemes
I'd like to collect a good number of examples of formal schemes over $\text{Spf}(\mathbf{Z}_p)$, whose special fiber is a projective variety over $\mathbf{F}_p$, but that are not algebraizable.
If ...
2
votes
1
answer
293
views
Chow groups modulo homological equivalence for abelian varieties
Let $X$ be an abelian variety over a field $k$.
Let $A^p_{\rm hom}(X)$ be the $p$-th Chow group of cycles modulo homological equivalence ($\ell$-adic, if $k$ is of char $p$).
Do we have $$A^p_{\rm ...
8
votes
1
answer
725
views
flat/crystalline cohomology of abelian variety
Let $A/k$ be an abelian variety over an algebraically closed field and $\ell \neq \mathrm{char}\,k$.
In http://jmilne.org/math/articles/1986b.pdf, Theorem 15.1(b) it is proved that $$H^r_{et}(A, R) = \...
8
votes
0
answers
624
views
Weil pairing and Tate module for $p$-torsion in characteristic $p$
Let $A/\mathbf{F}_{p^n}$ be an Abelian variety with $\bar{A} = A \times_{\mathbf{F}_{p^n}} \bar{\mathbf{F}}_{p^n}$.
If $\ell \neq p$ is prime, there is a natural isomorphism $$\mathrm{H}^2_{\mathrm{...
15
votes
0
answers
500
views
Zariski vs etale torsors over abelian varieties
Question. Let $A$ be an abelian variety (say, over the complex numbers), $G$ an algebraic group, $c$ a class in $H^1_{\rm et}(A, G)$. Denote the multiplication by $N$ map on A by $m_N:A\to A$. Does ...
24
votes
1
answer
2k
views
When is "independence of l" known?
My question is for which varieties over local fields is "independence of l" known for
etale cohomology. Say $X/{\mathbb Q}_p$ is a complete non-singular variety and $W_l$ is the (complex) Weil-...
8
votes
2
answers
2k
views
etale cohomology of an abelian variety and its dual
Let $A$ an abelian variety over a field $k$ and $A^{*}$ the dual abelian variety.
How can we relate the étale cohomology of $A$ with etale cohomology of $A^{*}$?
4
votes
3
answers
754
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 ...