Algebraic function
A function of the variables
that satisfies an equation
![]() | (1) |
where is an irreducible polynomial in
with coefficients in some field
, known as the field of constants. The algebraic function is said to be defined over this field, and is called an algebraic function over the field
. The polynomial
is often written in powers of the variable
, so that equation (1) assumes the form
![]() |
![]() |
where are polynomials in
, and with
. The number
is the degree of
with respect to
, and is called the degree of the algebraic function. If
, an algebraic function may be represented as a quotient
![]() |
of polynomials, and is called a rational function of . For
, an algebraic function can be expressed as square and cube roots of rational functions in the variables
; if
, this is impossible in general.
The theory of algebraic functions was studied in the past from three different points of view: the function-theoretical point of view taken, in particular, by N.H. Abel, K. Weierstrass and B. Riemann; the arithmetic-algebraic point of view taken by R. Dedekind, H. Weber and K. Hensel; and the algebraic-geometrical point of view, which originated with the studies of A. Clebsch, M. Noether and others (cf. Algebraic geometry). The first direction of the theory of algebraic functions of a single variable is connected with the study of algebraic functions over the field of complex numbers, in which they are regarded as meromorphic functions on Riemann surfaces and complex manifolds; the most important methods applied are the geometrical and topological methods of the theory of analytic functions. The arithmetic-algebraic approach involves the study of algebraic functions over arbitrary fields. The methods employed are purely algebraic. The theory of valuations and extensions of fields are especially important. In the algebraic-geometrical approach algebraic functions are considered to be rational functions on an algebraic variety, and are studied by methods of algebraic geometry (cf. Rational function). These three points of view originally differed not only in their methods and their ways of reasoning, but also in their terminology. This differentiation has by now become largely arbitrary, since function-theoretical studies involve the extensive use of algebraic methods, while many results obtained at first using function-theoretical and topological methods can be successfully applied to more general fields using algebraic analogues of these methods.
Algebraic functions of one variable.
Over the field of complex numbers, an algebraic function of one variable
(or
for short) is a
-valued analytic function. If
is the discriminant of the polynomial
![]() | (2) |
![]() |
(i.e. of the polynomial for which ), which is obtained by eliminating
from the equations
![]() |
to yield the equation
![]() |
then the roots of this last equation are known as the critical values of
. The complementary set
is known as the non-critical set. For any point
equation (2) has
different roots
and the condition
![]() |
is satisfied. According to the implicit function theorem, in a neighbourhood of the point there exist
single-valued analytic functions
which satisfy the conditions
![]() |
and which can be decomposed into a convergent series
![]() | (3) |
Thus, for each point one can construct
elements of an analytic function, known as the function elements with centre at the point
. For any two points
, any elements
and
with centres at
and
, respectively, are derived from each other by analytic continuation along some curve in
; in particular, any two elements with the same centres are also connected in this way. If
is a critical point of an algebraic function, then two cases are possible: 1)
is a root of the discriminant, i.e.
, but
; or 2)
.
Case 1. Let be a small disc with centre at
which does not contain other critical points, and let
be a system of regular elements with centre at
,
. These functions remain bounded as
. Furthermore, let
be the circle with centre
passing through
; it is completely contained inside
. The analytic continuation of some given element, e.g.
, along
(in, say, the clockwise direction), yields an element
which also belongs to the system of elements with centre
. This system consists of
elements, and a minimum required finite number
of such turns yields the initial element
. One obtains a subsystem
of elements with centre
; each one of these elements may be obtained by analytic continuation of the other by a number of turns around the point
; such a subsystem is known as a cycle. Any system
can be decomposed into a number of non-intersecting cycles
![]() |
![]() |
![]() |
. If
, then the element
is not a single-valued function of
in the disc
, but is a single-valued analytic function of the parameter
in a neighbourhood of
. In a certain neighbourhood of this point the elements
of the first cycle can be represented as convergent series
![]() | (4) |
![]() |
![]() |
and similar expansions also take place for the elements of other cycles. Such expansions of elements by fractional degrees of the difference , where
is a critical point, are known as Puiseux series. The transformation
,
, which corresponds to one turn around
, converts the Puiseux series of elements in one cycle into each other in cyclic order, i.e. there is a cyclic permutation of the series and of the corresponding elements. To turns around the critical point correspond permutations of the elements with centre at this point; these permutations consist of cycles of the orders
,
. The permutations defined in this way constitute the monodromy group of the algebraic function. If at least one element
is greater than 1, the critical point
is called an algebraic branch point of the algebraic function; the numbers
(sometimes
) are called the branch indices (or branch orders) of the algebraic function.
Case 2. If is substituted for
, one returns to case 1; one obtains expansions similar to (4), which may contain a finite number of terms with negative indices:
![]() | (5) |
If , the point
is a pole of order
of the algebraic function. An algebraic function is usually considered on the Riemann sphere
, i.e. on the complex plane completed by the point at infinity
. The introduction of the variable
reduces this case to the previous case; in a neighbourhood of the point
(
) one has the expansion
![]() | (6) |
If , then the point
is called a pole of order
.
The parameter of the expansion in the series (3), (4), (5), (6) is called the local uniformizing parameter for the algebraic function. If is a non-critical point of the algebraic function, then
can be taken as parameter; if, on the other hand,
is a critical point, the root
(where
is a positive integer) can be taken as such a parameter. The population of all elements of an algebraic function described above forms the complete algebraic function in the sense of Weierstrass. Algebraic functions have no singularities other than algebraic branch points and poles. The converse proposition is also true: A function
which is analytic, is not more than
-valued at all points of the Riemann sphere except for a finite number of points
and
, and has at such points only poles or algebraic branch points, is an algebraic function of degree
.
The Riemann surface of a complete algebraic function is compact and is a -sheeted covering of the Riemann sphere, branch points can be the critical points and the point
. Algebraic functions are the only class of functions with a compact Riemann surface. The genus of the Riemann surface of an algebraic function is important; it is called the genus of the algebraic function. It can be calculated by the Riemann–Hurwitz formula. The genus of a rational function is zero, and its Riemann surface is the Riemann sphere. The Riemann surface of an elliptic function that satisfies a third- or fourth-degree equation is a torus; the genus of such a function is one.
The universal covering Riemann surface of an algebraic function is a simply-connected two-dimensional manifold, i.e. it has a trivial fundamental group and is conformally equivalent either to the Riemann sphere, the complex plane or the interior of the unit disc. In the first case the algebraic function is a rational, in the second case it is an elliptic, while in the third case it is a general function.
The uniformization problem of algebraic functions is closely connected with the theory of Riemann surfaces of algebraic functions. The function can be uniformized if
and
are representable as single-valued analytic functions
![]() |
of a parameter , which identically satisfy equation (2). The uniformization problem is locally solved by a local uniformizing parameter; however, it is the solution "in the large" that is of interest. If
, i.e. if
is a rational function of
, this parameter may be the variable
; if
, then uniformization is attained with the aid of a rational or a trigonometric function. For instance, if
satisfies the equation
![]() |
one can take
![]() |
or
![]() |
If in the case of an algebraic function of genus one, uniformization is achieved using elliptic functions. Finally, if
and the genus of the algebraic function is higher than one, uniformization is realized using automorphic functions (cf. Automorphic function).
Algebraic functions of several variables.
If is an algebraic function in the variables
, then the set of all rational functions
forms a field
, coinciding with the field of rational functions on the algebraic hypersurface in
-dimensional space defined by the equation
. If the field of constants
is the field of complex numbers
and if
, then
is identical with the field of meromorphic functions on the Riemann surface of the algebraic function. The field
is an extension of finite type of the field of constants
of transcendence degree
(cf. Extension of a field). In particular, any
elements of this field are connected by an algebraic equation, so that each of them defines an algebraic function of the remaining elements. Any extension
of finite type of a field
of transcendence degree
is known as an algebraic function field in
variables (or, sometimes, as a function field). Each such field contains a purely transcendence extension
of the field
(called the field of rational functions in
variables). Any element
satisfies some algebraic equation
, and can be considered as an algebraic function in the variables
. Each field
of algebraic functions in
variables is isomorphic to the field of rational functions on some algebraic variety of dimension
, which is called a model of
. If the field of constants
is algebraically closed and of characteristic zero, then each algebraic function field has a non-singular projective model (cf. Resolution of singularities). Let
be the set of all non-trivial valuations (cf. Valuation) of an algebraic function field
which are non-negative on the field of constants. If provided with the natural topology, it is known as the abstract Riemann surface of the field
[1]. In the case of algebraic functions in one variable, the Riemann surface coincides with the set of non-singular projective models, which in this case is uniquely defined up to an isomorphism. Many concepts and results in algebraic geometry on the model of a field
can be restated in the language of the theory of valuations of fields [1], [6]. A particularly close analogy holds for algebraic functions in one variable, the theory of which is practically identical with the theory of algebraic curves.
Each algebraic function field in one variable is the field of fractions of a Dedekind ring, so that many results and concepts of the theory of divisibility in algebraic number fields can be applied to function fields [12]. Many problems and constructions in algebraic number theory motivate similar problems and constructions in fields of algebraic functions and vice versa. For instance, the application of a Puiseux expansion to the theory of algebraic numbers led to the genesis of the -adic method in number theory, due to Hensel. Class field theory, which had originally belonged to the domain of algebraic numbers, was subsequently applied to functions [2]. An especially close analogy exists between algebraic number fields and algebraic function fields over a finite field of constants. For instance, the concept of a zeta-function is defined for the latter and the analogue of the Riemann hypothesis has been demonstrated for algebraic function fields (cf. Zeta-function in algebraic geometry).
References
[1] | O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975) MR0389876 MR0384768 Zbl 0313.13001 |
[2] | J.-P. Serre, "Groupes algébrique et corps des classes" , Hermann (1959) MR0103191 |
[3] | S. Stoilov, "The theory of functions of a complex variable" , 1–2 , Moscow (1962) (In Russian; translated from Rumanian) |
[4] | N.G. Chebotarev, "The theory of algebraic functions" , Moscow-Leningrad (1948) (In Russian) |
[5] | I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001 |
[6] | C. Chevalley, "Introduction to the theory of algebraic functions of one variable" , Amer. Math. Soc. (1951) MR0042164 Zbl 0045.32301 |
[7] | P. Appell, E. Goursat, "Théorie des fonctions algébriques" , 1–2 , Chelsea, reprint (1976–1978) Zbl 0399.30003 Zbl 0399.30002 Zbl 55.0224.08 Zbl 26.0416.01 |
[8] | R. Dedekind, H.F. Weber, "Theorie der algebraischen Funktionen einer Veränderlichen" J. Reine Angew. Math. , 92 (1882) pp. 181–290 |
[9] | K. Hensel, G. Landsberg, "Theorie der algebraischen Funktionen einer Variabeln und ihre Anwendung auf algebraische Kurven und Abelsche Integrale" , Teubner (1902) Zbl 33.0427.01 |
[10] | E. Picard, G. Simart, "Théorie des fonctions algébriques de deux variables indépendantes" , 1–2 , Chelsea, reprint (1971) MR0392468 Zbl 37.0404.02 Zbl 28.0327.01 |
[11] | H.W.E. Jung, "Einführung in die Theorie der algebraischen Funktionen zweier Veränderlicher" , Akademie Verlag (1951) MR0046079 Zbl 0045.01502 |
[12] | H. Hasse, "Number theory" , Springer (1980) (Translated from German) MR0544018 MR0562104 Zbl 0423.12002 |
[13] | S. Lang, "Algebraic functions" , New York (1965) Zbl 0137.05802 Zbl 0133.13804 |
Algebraic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_function&oldid=16758