On the group of purely inseparable points of an abelian variety defined over a function field of positive characteristic II (1702.07142v6)

Abstract: Let $A$ be an abelian variety over the function field $K$ of a curve over a finite field. We describe several mild geometric conditions ensuring that the group $A(K^{\rm perf})$ is finitely generated and that the $p$-primary torsion subgroup of $A(K^{\rm sep})$ is finite. This gives partial answers to questions of Scanlon, Ghioca and Moosa, and Poonen and Voloch. We also describe a simple theory (used to prove our results) relating the Harder-Narasimhan filtration of vector bundles to the structure of finite flat group schemes of height one over projective curves over perfect fields. Finally, we use our results to give a complete proof of a conjecture of Esnault and Langer on Verschiebung divisibility of points in abelian varieties over function fields.