1: \begin{abstract}

2: \noindent

3: In this article we give explicit formulae for a lift

4: of the relative Frobenius morphism between elliptic curves

5: and show how one can compute

6: this lift in the case of ordinary reduction in odd

7: characteristic. Our theory can also be used in the

8: case of supersingular reduction.

9: \newline

10: By means of the explicit formulae that describe a Frobenius lift,

11: we are able to generalize Mestre's $2$-adic arithmetic

12: geometric mean (AGM) sequence of elliptic curves

13: to odd characteristic, and prove its convergence.

14: As an application, we give an efficient point counting algorithm for ordinary

15: elliptic curves which is based

16: on the generalized AGM sequence.

17: \end{abstract}

18: