Superelliptic curves [01K9]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Superelliptic curves
The formulas of this section combine to the following : if is a divisor of an invertible meromorphic function on ,
As pointed out by R. De Jong [22], the case of superelliptic curves is particularly interesting. Indeed, such curves are presented as a ramified -covering of the projective line, which is totally ramified over the point at infinity, given by an equation , where is a polynomial of degree , prime to . One has .
Let us take for the divisor the single point over the point at infinity. For each point in , is a rational function on which has a single pole of order at infinity, and which vanishes along the fiber of . The group of automorphisms of acts transitively on this fiber, and respects the metrics, so that all of these points have the same Néron-Tate height. This implies the following formula
of [22]. The elliptic Mahler measure, defined by [27, 26] as a Shnirelman integral is therefore a natural integral when viewed on Berkovich spaces.