étale cohomology with values in an abelian scheme is torsion? - MathOverflow

étale cohomology with values in an abelian scheme is torsion?

2011-11-28T12:54:01Z

Let $A/X$ be an abelian scheme. Is $H^n(X,A)$ torsion for $n > 0$?

Perhaps this can be proved analogously as Proposition IV.2.7 of Milne's Étale cohomology (where it is proved that the cohomological Brauer group of a quasi-compact scheme is torsion) exploiting the Kummer sequence. For integral affine schemes and the multiplicative group one can also prove this using that the Brauer group injects into the Brauer group of the fraction field, which is torsion as a Galois cohomology group.

Answer by Laurent Moret-Bailly for étale cohomology with values in an abelian scheme is torsion?

2011-11-28T13:41:59Z

For $H^1$ there are many results in chapter XIII of Raynaud's thesis (LNM 119).

First (XIII.3.1) it is easy to construct of $A$-torsors which have infinite order: Let $k$ be a field, $A_0$ an abelian variety over $k$ having a point $a$ of infinite order. Pick two rational points $x$ and $y$ (e.g. $0$ and $1$) on the affine line $L$, and let $X$ be obtained from $L$ by identifying $x$ and $y$. Consider the trivial $A_0$-torsor $P:=A_0\times_k L$ over $L$. Identifying $P_x$ and $P_y$ via translation by $a$ (which is an isomorphism of $A_0$-torsors) you get $Q_a\to X$ which is a torsor over $X$ under $A=X\times_k A_0$. It cannot be trivial: if $s$ were a section, it would give rise to a $k$-morphism $s':L\to A_0$, which must be constant, but this contradicts the requirement $s'(y)=s'(x)+a$. Clearly, if $n\in\mathbb{Z}$, the class $nQ_a\in H^1(X,A)$ is just $Q_{na}$ which is also nontrivial unless $n=0$.

There are even counterexamples over a normal two-dimensional base, but the construction is harder (XIII.3.2).

In general, if $c\in H^1(X,A)$, the property that $c$ is torsion is related to the representability or projectivity of the corresponding torsor: see XIII.2.3 and XIII.2.6.

Answer by Donu Arapura for étale cohomology with values in an abelian scheme is torsion?

2011-11-28T18:22:39Z

Let me point out that the analogous question on the analytic topology is false in all positive degrees. Take an abelian scheme $A/X$ over a complex variety, and let $\mathcal{A}$ denote the sheaf of holomorphic section on $X_{an}$. We have an exact sequence $$0\to L\to V\to \mathcal{A}\to 0$$ where $L$ is locally constant, and $V$ is a vector bundle (cf Deligne, Hodge II, p 50). If we assume that $X$ is affine, then $X_{an}$ is Stein, so by Cartan B, we have an isomorphism $$H^n(X,\mathcal{A})\cong H^{n+1}(X,L)$$ for $n>0$. It is easy to find examples, where the right side is nontorsion for any given degree. In fact, we may as well take $A$ to be a product of $X$ with an abelian variety. Then we just need to choose $X$ so that (n+1)st Betti number is nonzero.

While this doesn't directly address your actual question for etale cohomology, my guess would be no for this as well.

Answer by Timo Keller for étale cohomology with values in an abelian scheme is torsion?

2012-01-16T20:57:08Z

In [Milne, Arithmetic Duality Theorems], II.5, it is proved that $H^r(U,\mathcal{A})$ is torsion for $U$ the ring of integers of a number field or a complete smooth curve over a finite field, respectively.