|
Modularity Theorem
The modularity theorem (formerly called the Taniyama–Shimura conjecture, Taniyama-Weil conjecture or modularity conjecture for elliptic curves) states that elliptic curves over the field of rational numbers are related to modular forms. Andrew Wiles proved the modularity theorem for semistable elliptic curves, which was enough to imply Fermat's Last Theorem. Later, a series of papers by Wiles's former students Brian Conrad, Fred Diamond and Richard Taylor, culminating in a joint paper with Christophe Breuil, extended Wiles's techniques to prove the full modularity theorem in 2001. Statement The theorem states that any elliptic curve over \mathbf can be obtained via a rational map with integer coefficients from the classical modular curve X_0(N) for some integer N; this is a curve with integer coefficients with an explicit definition. This mapping is called a modular parametrization of level N. If N is the smallest integer for which such a parametrization can be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations ( Diophantine geometry). Questions in number theory are often best understood through the study of analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes or other number-theoretic object ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classical Modular Curve
In number theory, the classical modular curve is an irreducible plane algebraic curve given by an equation :, such that is a point on the curve. Here denotes the -invariant. The curve is sometimes called , though often that notation is used for the abstract algebraic curve for which there exist various models. A related object is the classical modular polynomial, a polynomial in one variable defined as . It is important to note that the classical modular curves are part of the larger theory of modular curves. In particular it has another expression as a compactified quotient of the complex upper half-plane . Geometry of the modular curve The classical modular curve, which we will call , is of degree greater than or equal to when , with equality if and only if is a prime. The polynomial has integer coefficients, and hence is defined over every field. However, the coefficients are sufficiently large that computational work with the curve can be difficult. As a polynomial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tokyo
Tokyo (; ja, 東京, , ), officially the Tokyo Metropolis ( ja, 東京都, label=none, ), is the capital and List of cities in Japan, largest city of Japan. Formerly known as Edo, its metropolitan area () is the most populous in the world, with an estimated 37.468 million residents ; the city proper has a population of 13.99 million people. Located at the head of Tokyo Bay, the prefecture forms part of the Kantō region on the central coast of Honshu, Japan's largest island. Tokyo serves as Economy of Japan, Japan's economic center and is the seat of both the Government of Japan, Japanese government and the Emperor of Japan. Originally a fishing village named Edo, the city became politically prominent in 1603, when it became the seat of the Tokugawa shogunate. By the mid-18th century, Edo was one of the most populous cities in the world with a population of over one million people. Following the Meiji Restoration of 1868, the imperial capital in Kyoto was mov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Varieties
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. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those complex tori that can be embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which is important also from the viewpoint of number theory. Localization techniques lead naturally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Differential
In mathematics, ''differential of the first kind'' is a traditional term used in the theories of Riemann surfaces (more generally, complex manifolds) and algebraic curves (more generally, algebraic varieties), 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. The dimension of the space of differentials of the first kind, by means of this identification, is the Hodge number :''h''1,0. The differentials of the first kind, when integrated along paths, give rise to integrals that generalise the elliptic integrals to all curves over the complex numbers. They include for example the hyperelliptic integrals of type : \int\frac where ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hecke Operator
In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by , is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic representations. History used Hecke operators on modular forms in a paper on the special cusp form of Ramanujan, ahead of the general theory given by . Mordell proved that the Ramanujan tau function, expressing the coefficients of the Ramanujan form, : \Delta(z)=q\left(\prod_^(1-q^n)\right)^= \sum_^ \tau(n)q^n, \quad q=e^, is a multiplicative function: : \tau(mn)=\tau(m)\tau(n) \quad \text (m,n)=1. The idea goes back to earlier work of Adolf Hurwitz, who treated algebraic correspondences between modular curves which realise some individual Hecke operators. Mathematical description Hecke operators can be realized in a number of contexts. The simplest meaning is combinatorial, namely as taking for a given integer some functio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cusp Form
In number theory, a branch of mathematics, a cusp form is a particular kind of modular form with a zero constant coefficient in the Fourier series expansion. Introduction A cusp form is distinguished in the case of modular forms for the modular group by the vanishing of the constant coefficient ''a''0 in the Fourier series expansion (see ''q''-expansion) :\sum a_n q^n. This Fourier expansion exists as a consequence of the presence in the modular group's action on the upper half-plane via the transformation :z\mapsto z+1. For other groups, there may be some translation through several units, in which case the Fourier expansion is in terms of a different parameter. In all cases, though, the limit as ''q'' → 0 is the limit in the upper half-plane as the imaginary part of ''z'' → ∞. Taking the quotient by the modular group, this limit corresponds to a cusp of a modular curve (in the sense of a point added for compactification). So, the definition amounts to saying that a c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fourier Series
A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or ''period''), the number of components, and their amplitudes and phase parameters. With appropriate choices, one cycle (or ''period'') of the summation can be made to approximate an arbitrary function in that interval (or the entire function if it too is periodic). The number of components is theoretically infinite, in which case the other parameters can be chosen to cause the series to converge to almost any ''well behaved'' periodic function (see Pathological and Dirichlet–Jordan test). The components of a particular function are determined by ''analysis'' techniques described in this article. Sometimes the components are known first, and the unknown function is ''synthesized'' by a Fourier series. Such is the case of a discrete-t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generating Function
In mathematics, a generating function is a way of encoding an infinite sequence of numbers () by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence. Unlike an ordinary series, the ''formal'' power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the "variable" remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem. One can generalize to formal power series in more than one indeterminate, to encode information about infinite multi-dimensional arrays of numbers. There are various types of generating functions, including ordinary generating functions, exponential generating functions, Lambert series, Bell series, and Dirichlet series; definitions and examples are given below. Every sequence in principle has a generating function of each type (exc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet Series
In mathematics, a Dirichlet series is any series of the form \sum_^\infty \frac, where ''s'' is complex, and a_n is a complex sequence. It is a special case of general Dirichlet series. Dirichlet series play a variety of important roles in analytic number theory. The most usually seen definition of the Riemann zeta function is a Dirichlet series, as are the Dirichlet L-functions. It is conjectured that the Selberg class of series obeys the generalized Riemann hypothesis. The series is named in honor of Peter Gustav Lejeune Dirichlet. Combinatorial importance Dirichlet series can be used as generating series for counting weighted sets of objects with respect to a weight which is combined multiplicatively when taking Cartesian products. Suppose that ''A'' is a set with a function ''w'': ''A'' → N assigning a weight to each of the elements of ''A'', and suppose additionally that the fibre over any natural number under that weight is a finite set. (We call such an arrangement (''A'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-series Of An Elliptic Curve
L series may refer to: * L-series trains in China * Saturn L series – sedans and station wagons * L-function * Honda L engine * Nissan L engine * Dirichlet L-function - mathematical functions in number theory * Rover L-series engine * Ford L series – trucks * Canon L lens * International Harvester L series – trucks * Lincoln L series – 1920 luxury cars * Cummins L-series engine * ThinkPad L series – laptop computers * Mercedes-Benz L-series truck * Rolls-Royce–Bentley L-series V8 engine * Sony Vaio L series – desktop computers * Subaru Leone * System Sensor L-Series fire alarm notification appliances * Artin L-function * ''QI'' (L series), the twelfth series of quiz show ''QI'' See also * K series (other) * M series (other) * 1 series (other) 1 series or 1-series may refer to: * BMW 1 Series, a car series * IBM Series/1, a minicomputer series * Nikon 1 series, a camera series See also * 0 series (other) * 7 series (disambiguatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
