Computation of Mordell–Weil bases for ordinary elliptic curves in characteristic two

In this paper we consider ordinary elliptic curves over global function fields of characteristic 2. We present a method for performing a descent by using powers of the Frobenius and the Verschiebung. An examination of the local images of the descent maps together with a duality theorem yields information about the global Selmer groups. Explicit models for the homogeneous spaces representing the elements of the Selmer groups are given and used to construct independent points on the elliptic curve. As an application we use descent maps to prove an upper bound for the naive height of an S-integral point on A. To illustrate our methods, a detailed example is presented.