Namespaces

Variants

Views

Actions

Abelian function

A generalization of the concept of an elliptic function of one complex variable to the case of several complex variables. A function in the variables , , which is meromorphic in the complex space , , is called an Abelian function if there exist row vectors in

which are linearly independent over the field of real numbers and are such that for all , . The vectors are called the periods or the system of periods of the Abelian function . All periods of the Abelian function form an Abelian group under addition, which is known as the period group (or the period module). A basis of this group is known as a basis system of periods of the Abelian function, or also as a system of basic (or primitive) periods. An Abelian function is said to be degenerate if there exists a linear transformation of the variables which converts into a function of fewer variables; otherwise is said to be a non-degenerate Abelian function. Degenerate Abelian functions are distinguished by having infinitely small periods, i.e. for any number it is possible to find a period for which

If , the non-degenerate Abelian functions are elliptic functions of one complex variable. Each Abelian function with period group is naturally identified with a meromorphic function on the complex torus , i.e. the quotient space (cf. Quasi-Abelian function).

The study of Abelian functions began in the 19th century in connection with the inversion of Abelian integrals (cf. Abelian integral) of the first kind (cf. Jacobi inversion problem, [1], [2]). The Abelian functions obtained in solving this problem are called special Abelian functions; sometimes, in earlier work, only such functions were considered to be Abelian functions. Let be linearly independent normal Abelian integrals of the first kind, constructed on a Riemann surface :

and let

be a given system of sums in which the lower integration limits are considered as fixed on the surface . It is then possible to define the special Abelian functions as all rational functions in the coordinates of the upper limits , the latter being in turn considered as functions of points on . In the symbolic notation introduced by K. Weierstrass, any special Abelian function may be represented as

The complex tori corresponding to special Abelian functions are the Jacobi varieties of algebraic curves.

The matrix whose columns form a period basis of the Abelian function has dimension and is known as the period matrix of the Abelian function . A necessary and sufficient condition for a given matrix of dimension to be the period matrix of some non-degenerate Abelian function is for the matrix to satisfy the following conditions (the Riemann–Frobenius conditions). It must be a Riemann matrix, i.e. there must exist an anti-symmetric non-degenerate square matrix with integer elements, of order , and such that 1) , where is the transposed matrix of ; and 2) the matrix defines a positive-definite Hermitian form [3]. If the conditions 1) and 2) are expressed as equations and inequalities respectively, a system of Riemann equations and Riemann inequalities is obtained. The number is called the genus of the matrix and of the corresponding Abelian function . The columns of , regarded as vectors in the real Euclidean space , define the period parallelotope of .

All Abelian functions corresponding to the same period matrix form an Abelian function field . If the field contains a non-degenerate Abelian function, its degree of transcendence over the field is ; the torus is then an Abelian variety, and turns out to be its field of rational functions. If, on the other hand, all Abelian functions of are degenerate, then is isomorphic to the field of rational functions on an Abelian variety of dimension lower than . See also Quasi-Abelian function.

As in the case of elliptic functions, any Abelian function can be represented as the quotient of two entire transcendental theta-functions (cf. Theta-function), which in turn can be represented as theta-series. A given Riemann matrix determines a class of theta-series by means of which all Abelian functions of the field can be constructed.

For special Abelian functions, the matrix can always be brought — by means of a linear transformation of the independent variables — to the form

The Riemann relations between the elements of the matrix , , now ensure the symmetry of the matrix, , and the positive definiteness of the matrix of real parts , . However, for there will be only independent elements among the elements of , i.e. as many as the number of conformal moduli for the Riemann surface on which the inversion problem is solved (cf. Moduli of a Riemann surface). In addition to the Riemann relations there are in such a case transcendental relations between the , the explicit form of which for the case was first found by E. Schottky in 1886; for a review of subsequent advances in the field see [5].

Special Abelian functions can be represented as the quotient of two entire theta-functions with half-integral characteristics of a special kind. These representations yield a number of properties of special Abelian functions which generalize many properties of elliptic functions. Thus, derivatives of an Abelian function with respect to any argument are Abelian functions; any Abelian functions are related by some algebraic equation; any Abelian function can be rationally expressed in terms of some Abelian functions, e.g. by means of an arbitrary Abelian function and its partial derivatives of the first order; Abelian functions satisfy the addition theorem, i.e. the value of an Abelian function at the point may be rationally expressed in terms of the values of a certain -tuple of Abelian functions at the points .

Abelian functions are very important in algebraic geometry as a means of uniformization of algebraic varieties of certain types.

Comments

A basis system of periods is also known as a period basis. Instead of [5] one can also consult the more recent [a1]. The Riemann–Frobenius conditions are also known as the Riemann bilinear relations or simply as the Riemann relations. The Schottky problem concerns the description of the space of all Jacobians in the space of matrices satisfying the Riemann conditions. It has recently been solved, cf. Jacobi variety.