Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The following is a problem, which was recently brought to my attention by H. Esnault and A. Langer.

Let $K$ be the function field of a smooth curve over the algebraic closure $k$ of the finite field ${\bf F}_p$ (where $p>0$ is a prime number).

Let $A$ be an abelian variety over $K$ and suppose that the $K|k$-image of $A$ is trivial (ie there are no non-vanishing $K$-homomorphisms from $A$ to an abelian variety over $K$, which has a model over $k$).

Question : is it true that $\#{\rm Tor}(A(K^{\rm perf}))<\infty$ ? (*)

Here $K^{\rm perf}$ is the maximal purely inseparable extension of $K$ and ${\rm Tor}(A(K^{\rm perf}))$ is the subgroup of $A(K^{\rm perf})$ consisting of elements of finite order.

To put things in context, recall that by the Lang-Néron theorem, we have $\#{\rm Tor}(A(K))<\infty$.

Furthermore, one can show using a specialization argument that $\#{\rm Tor}(A(K^{\rm perf}))<\infty$ if $k$ is replaced by a finite extension of ${\bf F}_p$; in this case, the assumption on the $K|k$-image can actually be dropped.

Notice also that the inequality in question (*) is actually equivalent to the inequality $\#{\rm Tor}_p(A(K^{\rm perf}))<\infty$, where ${\rm Tor}_p(A(K^{\rm perf}))$ is the subgroup of $A(K^{\rm perf})$ consisting of the elements, whose order is a power of $p$. This follows from the fact the multiplication by $n$ morphism is étale if $p\not|n$.

Question (*) has a positive answer if $A$ is an elliptic curve by the work of M. Levin, who proves a much stronger result (see "On the group of rational points...", Amer. J. Math. 90 (1968)).

The question (*) is in part complementary to the following other question in MO :

Etale endomorphisms of abelian varieties in positive characteristic

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.