Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-06-27T01:30:43.195Z Has data issue: false hasContentIssue false

Effective $p$-descent

Published online by Cambridge University Press:  04 December 2007

A. BROUMAS
Affiliation:
Department of Mathematics, The University of Arizona, Tucson, AZ 85721, USA; e-mail address: antonios@math.arizona.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Given $E$, an elliptic curve defined over $K$, a field of positive characteristic, provided that $j$, the Weierstrass $j$-invariant, is not an element of $K^p$, we construct explicitly, that is, we give by a closed form formula, a non-trivial homomorphism, $\mu:E(K) \rightarrow K^+$, from the group of $K$-rational points of $E$ to $K^+$, the additive group of $K$. In the course of our analysis we discover a canonical differential, $\omega_q \in \Omega; K|{\bb F}_p$, associated to $E$ and we relate it to the differential $dq/q$ associated to the Tate curve. If the transcendence degree of $K$ over ${\bb F}_p$ is equal to one, as for example is the case for function fields in one variable, then $\mu$ is a $p$-descent map, that is, its kernel is equal to $pE(K)$ and the explicit formula for $\mu$ can be used to provide effective proofs of analogues of classical theorems on elliptic curves. For example, in the author's thesis at The University of Texas at Austin the analogue of Siegel's Theorem on the finiteness of integral points of $E(K)$ is proved effectively.

Type
Research Article
Copyright
© 1997 Kluwer Academic Publishers