Рационалдық эллипстік қисықтар мен модульдік формалардың байланысы

Relates rational elliptic curves to modular forms

The modularity theorem (formerly called the Taniyama–Shimura conjecture, Taniyama Shimura Weil conjecture or modularity conjecture for elliptic curves) states that elliptic curves over the field of rational numbers are related to modular forms in a particular way. Andrew Wiles and Richard Taylor 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.

The theorem states that any elliptic curve over can be obtained via a rational map with integer coefficients from the classical modular curve for some integer ; this is a curve with integer coefficients with an explicit definition. This mapping is called a modular parametrization of level If is the smallest integer for which such a parametrization can be found (which by the modularity theorem itself is now known to be a number called the conductor), then the parametrization may be defined in terms of a mapping generated by a particular kind of modular form of weight two and level , a normalized newform with integer expansion, followed if need be by an isogeny.

Yutaka Taniyama stated a preliminary (slightly incorrect) version of the conjecture at the 1955 international symposium on algebraic number theory in Tokyo and Nikkō. Goro Shimura and Taniyama worked on improving its rigor until 1957. André Weil rediscovered the conjecture, and showed in 1967 that it would follow from the (conjectured) functional equations for some twisted series of the elliptic curve; this was the first serious evidence that the conjecture might be true. Weil also showed that the conductor of the elliptic curve should be the level of the corresponding modular form. The Taniyama–Shimura–Weil conjecture became a part of the Langlands program. The conjecture attracted considerable interest when Gerhard Frey suggested in 1986 that it implies Fermat's Last Theorem. He did this by attempting to show that any counterexample to Fermat's Last Theorem would imply the existence of at least one non modular elliptic curve. This argument was completed in 1987 when Jean Pierre Serre identified a missing link (now known as the epsilon conjecture or Ribet's theorem) in Frey's original work, followed two years later by Ken Ribet's completion of a proof of the epsilon conjecture. Even after gaining serious attention, the Taniyama–Shimura–Weil conjecture was seen by contemporary mathematicians as extraordinarily difficult to prove or perhaps even inaccessible to proof. For example, Wiles's Ph. D. supervisor John Coates states that it seemed "impossible to actually prove", and Ken Ribet considered himself "one of the vast majority of people who believed [it] was completely inaccessible". In 1995, Andrew Wiles, with some help from Richard Taylor, proved the Taniyama–Shimura–Weil conjecture for all semistable elliptic curves. Wiles used this to prove Fermat's Last Theorem, and the full Taniyama–Shimura–Weil conjecture was finally proved by Diamond, Conrad, Diamond & Taylor; and Breuil, Conrad, Diamond & Taylor; building on Wiles's work, they incrementally chipped away at the remaining cases until the full result was proved in 1999. Once fully proven, the conjecture became known as the modularity theorem. Several theorems in number theory similar to Fermat's Last Theorem follow from the modularity theorem. For example: no cube can be written as a sum of two coprime th powers, .

The modularity theorem is a special case of more general conjectures due to Robert Langlands. The Langlands program seeks to attach an automorphic form or automorphic representation (a suitable generalization of a modular form) to more general objects of arithmetic algebraic geometry, such as to every elliptic curve over a number field. Most cases of these extended conjectures have not yet been proved. In 2013, Freitas, Le Hung, and Siksek proved that elliptic curves defined over real quadratic fields are modular.