# Modular curve

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A complete algebraic curve uniformized by a subgroup of finite index in the modular group ; more precisely, a modular curve is a complete algebraic curve obtained from a quotient space , where is the upper half-plane, together with a finite number of parabolic points (the equivalence classes relative to of the rational points of the boundary of ). The best known examples of subgroups of finite index in are the congruence subgroups containing a principal congruence subgroup of level for some integer , represented by the matrices (see Modular group). The least such is called the level of the subgroup . In particular, the subgroup represented by matrices which are congruent to upper-triangular matrices has level . Corresponding to each subgroup of finite index there is a covering of the modular curve , which ramifies only over the images of the points , , . For a congruence subgroup the ramification of this covering allows one to determine the genus of and to prove the existence of subgroups of finite index in which are not congruence subgroups (see , Vol. 2, ). The genus of is for and equals  a prime number, for . A modular curve is always defined over an algebraic number field (usually over or a cyclic extension of it). The rational functions on a modular curve lift to modular functions (of a higher level) and form a field; the automorphisms of this field have been studied (see ). A holomorphic differential form on a modular curve is given on by a differential (where is a holomorphic function) which is invariant under the transformations of ; here is a cusp form of weight 2 relative to . The zeta-function of a modular curve is a product of the Mellin transforms (cf. Mellin transform) of modular forms and, consequently, has a meromorphic continuation and satisfies a functional equation. This fact serves as the point of departure for the Langlands–Weil theory on the relationship between modular forms and Dirichlet series (see , ). In particular, there is a hypothesis that each elliptic curve over (with conductor ) can be uniformized by modular functions of level . The homology of a modular curve is connected with modular symbols, which allows one to investigate the arithmetic of the values of the zeta-function of a modular curve in the centre of the critical strip and to construct the -adic zeta-function of a modular curve (see ).

A modular curve parametrizes a family of elliptic curves, being their moduli variety (see , Vol. 2). In particular, for a point of is in one-to-one correspondence with a pair consisting of an elliptic curve (analytically equivalent to a complex torus ) and a point of order on (the image of ).

Over each modular curve there is a natural algebraic fibre bundle of elliptic curves if does not contain , compactified by degenerate curves above the parabolic points of . Powers , where is an integer, are called Kuga varieties (see , ). The zeta- functions of are related to the Mellin transforms of modular forms, and their homology to the periods of modular forms (see , ).

The rational points on a modular curve correspond to elliptic curves having rational points of finite order (or rational subgroups of points); their description (see ) made it possible to solve the problem of determining the possible torsion subgroups of elliptic curves over .

The investigation of the geometry and arithmetic of modular curves is based on the use of groups of automorphisms of the projective limit of the curves with respect to decreasing , which (in essence) coincides with the group over the ring of rational adèles. On each modular curve this gives a non-trivial ring of correspondences (a Hecke ring), which has applications in the theory of modular forms (cf. Modular form, ).

How to Cite This Entry:
Modular curve. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Modular_curve&oldid=13202
This article was adapted from an original article by A.A. PanchishkinA.N. Parshin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article