In algebraic geometry, a hyperelliptic curve is an algebraic curve of genus g > 1, given by an equation of the form
where f(x) is a polynomial of degree n = 2g + 1 > 4 or n = 2g + 2 > 4 with n distinct roots, and h(x) is a polynomial of degree < g + 2 (if the characteristic of the ground field is not 2, one can take h(x) = 0).
A hyperelliptic function is an element of the function field of such a curve, or of the Jacobian variety on the curve; these two concepts are identical for elliptic functions, but different for hyperelliptic functions.
Fig. 1 is the graph of where
The degree of the polynomial determines the genus of the curve: a polynomial of degree 2g + 1 or 2g + 2 gives a curve of genus g. When the degree is equal to 2g + 1, the curve is called an imaginary hyperelliptic curve. Meanwhile, a curve of degree 2g + 2 is termed a real hyperelliptic curve. This statement about genus remains true for g = 0 or 1, but those curves are not called "hyperelliptic". Rather, the case g = 1 (if we choose a distinguished point) is an elliptic curve. Hence the terminology.
While this model is the simplest way to describe hyperelliptic curves, such an equation will have a singular point at infinity in the projective plane. This feature is specific to the case n > 3. Therefore, in giving such an equation to specify a non-singular curve, it is almost always assumed that a non-singular model (also called a smooth completion), equivalent in the sense of birational geometry, is meant.
To be more precise, the equation defines a quadratic extension of C(x), and it is that function field that is meant. The singular point at infinity can be removed (since this is a curve) by the normalization (integral closure) process. It turns out that after doing this, there is an open cover of the curve by two affine charts: the one already given by
and another one given by
The glueing maps between the two charts are given by
wherever they are defined.
In fact geometric shorthand is assumed, with the curve C being defined as a ramified double cover of the projective line, the ramification occurring at the roots of f, and also for odd n at the point at infinity. In this way the cases n = 2g + 1 and 2g + 2 can be unified, since we might as well use an automorphism of the projective line to move any ramification point away from infinity.
Using the Riemann–Hurwitz formula, the hyperelliptic curve with genus g is defined by an equation with degree n = 2g + 2. Suppose the bijective morphism f : X → P1 with ramification degree 2, where X is a curve with genus g and P1 is the Riemann sphere. Let g1 = g and g0 be the genus of P1 ( = 0 ), then the Riemann-Hurwitz formula turns out to be
where s is over all ramified points on X. The number of ramified points is n, so n = 2g + 2.
All curves of genus 2 are hyperelliptic, but for genus ≥ 3 the generic curve is not hyperelliptic. This is seen heuristically by a moduli space dimension check. Counting constants, with n = 2g + 2, the collection of n points subject to the action of the automorphisms of the projective line has (2g + 2) − 3 degrees of freedom, which is less than 3g− 3, the number of moduli of a curve of genus g, unless g is 2. Much more is known about the hyperelliptic locus in the moduli space of curves or abelian varieties,[ clarification needed ] though it is harder to exhibit general non-hyperelliptic curves with simple models. One geometric characterization of hyperelliptic curves is via Weierstrass points. More detailed geometry of non-hyperelliptic curves is read from the theory of canonical curves, the canonical mapping being 2-to-1 on hyperelliptic curves but 1-to-1 otherwise for g > 2. Trigonal curves are those that correspond to taking a cube root, rather than a square root, of a polynomial.
The definition by quadratic extensions of the rational function field works for fields in general except in characteristic 2; in all cases the geometric definition as a ramified double cover of the projective line is available, if it[ clarification needed ] is assumed to be separable.
Hyperelliptic curves can be used in hyperelliptic curve cryptography for cryptosystems based on the discrete logarithm problem.
Hyperelliptic curves also appear composing entire connected components of certain strata of the moduli space of Abelian differentials.
Hyperellipticity of genus-2 curves was used to prove Gromov's filling area conjecture in the case of fillings of genus =1.
Hyperelliptic curves of given genus g have a moduli space, closely related to the ring of invariants of a binary form of degree 2g+2.[ specify ]
Hyperelliptic functions were first published[ citation needed ] by Adolph Göpel (1812-1847) in his last paper Abelsche Transcendenten erster Ordnung (Abelian transcendents of first order) (in Journal für reine und angewandte Mathematik, vol. 35, 1847). Independently Johann G. Rosenhain worked on that matter and published Umkehrungen ultraelliptischer Integrale erster Gattung (in Mémoires des savants etc., vol. 11, 1851).
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros.
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point O. An elliptic curve is defined over a field K and describes points in K2, the Cartesian product of K with itself. If the field has characteristic different from 2 and 3 then the curve can be described as a plane algebraic curve which, after a linear change of variables, consists of solutions (x,y) to:
In mathematics, particularly in complex analysis, a Riemann surface is a one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together.
In mathematics, complex geometry is the study of complex manifolds, complex algebraic varieties, and functions of several complex variables. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory.
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation h(x, y, t) = 0 can be restricted to the affine algebraic plane curve of equation h(x, y, 1) = 0. These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.
In mathematics, the Riemann–Hurwitz formula, named after Bernhard Riemann and Adolf Hurwitz, describes the relationship of the Euler characteristics of two surfaces when one is a ramified covering of the other. It therefore connects ramification with algebraic topology, in this case. It is a prototype result for many others, and is often applied in the theory of Riemann surfaces and algebraic curves.
Hyperelliptic curve cryptography is similar to elliptic curve cryptography (ECC) insofar as the Jacobian of a hyperelliptic curve is an abelian group in which to do arithmetic, just as we use the group of points on an elliptic curve in ECC.
In mathematics, an abelian integral, named after the Norwegian mathematician Niels Henrik Abel, is an integral in the complex plane of the form
In mathematics, differential of the first kind is a traditional term used in the theories of Riemann surfaces and algebraic curves, for everywhere-regular differential 1-forms. Given a complex manifold M, a differential of the first kind ω is therefore the same thing as a 1-form that is everywhere holomorphic; on an algebraic variety V that is non-singular it would be a global section of the coherent sheaf Ω1 of Kähler differentials. In either case the definition has its origins in the theory of abelian integrals.
In mathematics, a branched covering is a map that is almost a covering map, except on a small set.
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem.
In mathematics, the Schottky problem, named after Friedrich Schottky, is a classical question of algebraic geometry, asking for a characterisation of Jacobian varieties amongst abelian varieties.
In algebraic geometry, a stable curve is an algebraic curve that is asymptotically stable in the sense of geometric invariant theory.
A hyperelliptic curve is a particular kind of algebraic curve. There exist hyperelliptic curves of every genus . If the genus of a hyperelliptic curve equals 1, we simply call the curve an elliptic curve. Hence we can see hyperelliptic curves as generalizations of elliptic curves. There is a well-known group structure on the set of points lying on an elliptic curve over some field , which we can describe geometrically with chords and tangents. Generalizing this group structure to the hyperelliptic case is not straightforward. We cannot define the same group law on the set of points lying on a hyperelliptic curve, instead a group structure can be defined on the so-called Jacobian of a hyperelliptic curve. The computations differ depending on the number of points at infinity. This article is about imaginary hyperelliptic curves, these are hyperelliptic curves with exactly 1 point at infinity. Real hyperelliptic curves have two points at infinity.
A hyperelliptic curve is a class of algebraic curves. Hyperelliptic curves exist for every genus . The general formula of Hyperelliptic curve over a finite field is given by
In algebraic geometry, the smooth completion of a smooth affine algebraic curve X is a complete smooth algebraic curve which contains X as an open subset. Smooth completions exist and are unique over a perfect field.
In mathematics, a superelliptic curve is an algebraic curve defined by an equation of the form
In mathematics, an Artin–Schreier curve is a plane curve defined over an algebraically closed field of characteristic by an equation