We focus on the computation of this matrix. Details omitted here can be found in the aforementioned papers.
Let denote the affine curve over cut out by the equation . Consider zeros of , and let
denote the coordinate ring of over . Recall that the hyperelliptic involution
gives us an automorphism of the curves and . This, in turn, induces automorphisms of algebraic de Rham cohomology and , decomposing them into eigenspaces on which acts as the identity and , respectively. In particular,
The -vector space is spanned by the classes of differentials
However, the underlying coordinate ring does not admit the proper lift of Frobenius. To remedy this, we replace by the dagger ring
The de Rham complex of is given by
We denote the cohomology groups of this complex by , and as before, they are -vector spaces split into eigenspaces by the hyperelliptic involution. Perhaps more important is that passing from to does not change the presentation of cohomology, and thus we work with and its basis and .
We compute the action of Frobenius on by computing its action on the basis elements. Begin by letting
We have that
as an element of , with a precision of digits. The constant determines the number of digits of precision of the -adic height to be computed (i.e., modulo ), and is the smallest integer such that
As the two differentials and span , we must now be able to write an arbitrary element in (where as a linear combination of , , and . With this in mind, we employ a reduction algorithm. For the purposes of this reduction, the following definition is helpful:
is if and if .
Here we outline the reduction algorithm. Begin by computing a list of differentials , where and . Group the terms in as , where have degree less than or equal to 3.
If has a term with , consider the term where is maximal. Take the unique linear combination of the such that when this linear combination is subtracted off of , the resulting `` '' no longer has terms of the form . Repeat this process until (or, in more precise terms, the resulting `` '' at each step minus linear combinations of differentials) has no terms with .
If has terms with , let be the term with the highest monomial of . Let be the term such that has highest term and subtract off the appropriate multiple of such that the resulting no longer has terms of the form with . Repeat this process until the resulting is of the form .
Finally, we can read off the entries of the matrix of absolute Frobenius: