2013
DOI: 10.1215/00294527-2143943
|View full text |Cite
|
Sign up to set email alerts
|

Infinitely p-Divisible Points on Abelian Varieties Defined over Function Fields of Characteristic p>0

Abstract: In this article we consider some questions raised by F. Benoist, E. Bouscaren and A. Pillay. We prove that infinitely p-divisible points on abelian varieties defined over function fields of transcendence degree one over a finite field are necessarily torsion points. We also prove that when the endomorphism ring of the abelian variety is Z then there are no infinitely p-divisible points of order a power of p.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
7
0

Year Published

2014
2014
2020
2020

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 5 publications
(7 citation statements)
references
References 22 publications
0
7
0
Order By: Relevance
“…Then S(G ♯ )(K 1 ) = G 0 ♯ (K 1 ) + A G ♯ (K 1 ). By the result for abelian varieties ( [22]), A G ♯ (K 1 ) is contained in the torsion of A G . As G 0 is isogenous to some S 0 defined over K 0 , the field of constants of K 1 , it follows that G 0 ♯ (K 1 ) is definably isogenous to S ♯ 0 (K 1 ) = S 0 (K 0 ) = S 0 (F p alg ) which is exactly the group of torsion elements of S 0 .…”
Section: Characteristic P Case Quantifier Elimination For the Socle O...mentioning
confidence: 95%
See 1 more Smart Citation
“…Then S(G ♯ )(K 1 ) = G 0 ♯ (K 1 ) + A G ♯ (K 1 ). By the result for abelian varieties ( [22]), A G ♯ (K 1 ) is contained in the torsion of A G . As G 0 is isogenous to some S 0 defined over K 0 , the field of constants of K 1 , it follows that G 0 ♯ (K 1 ) is definably isogenous to S ♯ 0 (K 1 ) = S 0 (K 0 ) = S 0 (F p alg ) which is exactly the group of torsion elements of S 0 .…”
Section: Characteristic P Case Quantifier Elimination For the Socle O...mentioning
confidence: 95%
“…Then every point in A ♯ (K) is a torsion point. Remark 6.4 The characterisic 0 case is proved in [3], and the characteristic p case in [22]. The trace 0 hypothesis is only mandatory in characteristic 0.…”
Section: Some Examplesmentioning
confidence: 96%
“…The statements of the function field Mordell-Lang which we prove in this paper, as well as the main arguments we use, are specific to abelian varieties. They are also restricted to the function field case in one variable (C(t) alg in characteristic 0, and F p (t) sep in characteristic p) as the "Theorem of the Kernel" has been proved only in these cases, in [7] and in [29]. Basic background, as well as references, on abelian varieties, Mordell-Lang and Manin Mumford can be for example found in [14].…”
Section: Preliminariesmentioning
confidence: 99%
“…and applying a theorem of Zarhin (see [41,Th. 3.1] for a statement, explanations and further references), we conclude that in the sequence (4), there are only finitely many isomorphism classes of semiabelian schemes over S ′ .…”
Section: Proofs Of the Claims Made In Subsection 21mentioning
confidence: 99%