# Superelliptic curve

In mathematics, a superelliptic curve is a plane curve with an equation of the form

${\displaystyle y^{m}=f(x),}$

where the exponent m is fixed and f is a polynomial of degree d. The case m = 2 and d > 4 is a hyperelliptic curve: the case m = 3 and d = 4 is a trigonal curve.

The Diophantine problem of finding integer points on a superelliptic curve can be solved by a method similar to one used for the resolution of hyperelliptic equations: a Siegel identity is used to reduce to a Thue equation.

## Definition

More generally, a superelliptic curve is a cyclic branched covering

${\displaystyle C\to \mathbb {P} ^{1}}$

of the projective line of degree ${\displaystyle m\geq 2}$ coprime to the characteristic of the field of definition. The degree ${\displaystyle m}$ of the covering map is also referred to as the degree of the curve. By cyclic covering we mean that the Galois group of the covering (i.e., the corresponding function field extension) is cyclic.

The fundamental theorem of Kummer theory implies[citation needed] that a superelliptic curve of degree ${\displaystyle m}$ defined over a field ${\displaystyle k}$ has an affine model given by an equation

${\displaystyle y^{m}=f(x)}$

for some polynomial ${\displaystyle f\in k[x]}$ of degree ${\displaystyle m}$ with each root having order ${\displaystyle , provided that ${\displaystyle C}$ has a point defined over ${\displaystyle k}$, that is, if the set ${\displaystyle C(k)}$ of ${\displaystyle k}$-rational points of ${\displaystyle C}$ is not empty. For example, this is always the case when ${\displaystyle k}$ is algebraically closed. In particular, function field extension ${\displaystyle k(C)/k(x)}$ is a Kummer extension.

## Ramification

Let ${\displaystyle C:y^{m}=f(x)}$ be a superelliptic curve defined over an algebraically closed field ${\displaystyle k}$, and ${\displaystyle B'\subset k}$ denote the set of roots of ${\displaystyle f}$ in ${\displaystyle k}$. Define set

${\displaystyle B={\begin{cases}B'&{\text{ if }}m{\text{ divides }}\deg(f),\\B'\cup \{\infty \}&{\text{ otherwise.}}\end{cases}}}$

Then ${\displaystyle B\subset \mathbb {P} ^{1}(k)}$ is the set of branch points of the covering map ${\displaystyle C\to \mathbb {P} ^{1}}$ given by ${\displaystyle x}$.

For an affine branch point ${\displaystyle \alpha \in B}$, let ${\displaystyle r_{\alpha }}$ denote the order of ${\displaystyle \alpha }$ as a root of ${\displaystyle f}$. As before, we assume that ${\displaystyle 1\leq r_{\alpha }. Then

${\displaystyle e_{\alpha }={\frac {m}{(m,r_{\alpha })}}}$

is the ramification index ${\displaystyle e(P_{\alpha ,i})}$ at each of the ${\displaystyle (m,r_{\alpha })}$ ramification points ${\displaystyle P_{\alpha ,i}}$ of the curve lying over ${\displaystyle \alpha \in \mathbb {A} ^{1}(k)\subset \mathbb {P} ^{1}(k)}$ (that is actually true for any ${\displaystyle \alpha \in k}$).

For the point at infinity, define integer ${\displaystyle 0\leq r_{\infty } as follows. If

${\displaystyle s=\min\{t\in \mathbb {Z} |mt\geq \deg(f)\},}$

then ${\displaystyle r_{\infty }=ms-\deg(f)}$. Note that ${\displaystyle (m,r_{\infty })=(m,\deg(f))}$. Then analogously to the other ramification points,

${\displaystyle e_{\infty }={\frac {m}{(m,r_{\infty })}}}$

is the ramification index ${\displaystyle e(P_{\infty ,i})}$ at the ${\displaystyle (m,r_{\infty })}$ points ${\displaystyle P_{\infty ,i}}$ that lie over ${\displaystyle \infty }$. In particular, the curve is unramified over infinity if and only if its degree ${\displaystyle m}$ divides ${\displaystyle \deg(f)}$.

Curve ${\displaystyle C}$ defined as above is connected precisely when ${\displaystyle m}$ and ${\displaystyle r_{\alpha }}$ are relatively prime (not necessarily pairwise), which is assumed to be the case.

## Genus

By the Riemann-Hurwitz formula, genus of a superelliptic curve is given by

${\displaystyle g={\frac {1}{2}}\left(m(|B|-2)-\sum _{\alpha \in B}(m,r_{\alpha })\right)+1.}$