In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a modular equation is an
algebraic equation
In mathematics, an algebraic equation or polynomial equation is an equation of the form
:P = 0
where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation'' ...
satisfied by ''moduli'',
in the sense of
moduli problems. That is, given a number of functions on a
moduli space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spac ...
, a modular equation is an equation holding between them, or in other words an
identity
Identity may refer to:
* Identity document
* Identity (philosophy)
* Identity (social science)
* Identity (mathematics)
Arts and entertainment Film and television
* ''Identity'' (1987 film), an Iranian film
* ''Identity'' (2003 film), ...
for moduli.
The most frequent use of the term ''modular equation'' is in relation to the moduli problem for
elliptic curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...
s. In that case the moduli space itself is of dimension one. That implies that any two
rational function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rat ...
s ''F'' and ''G'', in the
function field of the modular curve, will satisfy a modular equation ''P''(''F'',''G'') = 0 with ''P'' a non-zero
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
of two variables over the
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s. For suitable non-degenerate choice of ''F'' and ''G'', the equation ''P''(''X'',''Y'') = 0 will actually define the modular curve.
This can be qualified by saying that ''P'', in the worst case, will be of high degree and the plane curve it defines will have
singular points; and the
coefficient
In mathematics, a coefficient is a multiplicative factor in some term of a polynomial, a series, or an expression; it is usually a number, but may be any expression (including variables such as , and ). When the coefficients are themselves var ...
s of ''P'' may be very large numbers. Further, the 'cusps' of the moduli problem, which are the points of the modular curve not corresponding to honest elliptic curves but degenerate cases, may be difficult to read off from knowledge of ''P''.
In that sense a modular equation becomes the equation of a modular curve. Such equations first arose in the theory of multiplication of
elliptic function
In the mathematical field of complex analysis, elliptic functions are a special kind of meromorphic functions, that satisfy two periodicity conditions. They are named elliptic functions because they come from elliptic integrals. Originally those in ...
s (geometrically, the ''n
2''-fold
covering map A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties.
Definition
Let X be a topological space. A covering of X is a continuous map
: \pi : E \rightarrow X
such that there exists a discrete sp ...
from a 2-
torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle.
If the axis of revolution does not tou ...
to itself given by the mapping ''x'' → ''n''·''x'' on the underlying group) expressed in terms of
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
.
See also
*
Modular lambda function
*
Ramanujan's lost notebook
Ramanujan's lost notebook is the manuscript in which the Indian mathematician Srinivasa Ramanujan recorded the mathematical discoveries of the last year (1919–1920) of his life. Its whereabouts were unknown to all but a few mathematicians until i ...
References
{{algebra-stub
Modular forms