“We usually believe that all the assumptions are real, but it is exciting that it actually made it realized,” he said CrabianMathematician at Imperial College London. “And in the case you really thought about it would be out of reach.”
This is just the beginning of the hunt that will last years – mathematicians ultimately want to show modularity for every Abelian. But the result can already facilitate answer many open questions, just like the modularity of elliptical curves has opened all kinds of recent research directions.
By a glass
The elliptical curve is a particularly fundamental type of equation, which only uses two variables –X AND y. If you delete its solutions, you will see what seems to be a straightforward curves. But these solutions are related to a prosperous and complicated way and appear in many of the most significant questions of numbers. For example, the tummy and swinneron-dyer-one of the most challenging open mathematics problems, with a prize of $ 1 million for anyone who proves it-says about the nature of elliptical curves.
Elliptical curves can be challenging to directly examine. Sometimes mathematicians prefer to approach them at a different angle.
Modular forms appear here. The modular form is a highly symmetrical function that appears in a seemingly separate area of mathematical research called Analysis. Because they show so many frosty symmetry, modular forms can be easier at work.
At the beginning, these objects seem as if they should not be related. But the evidence of Taylor and Wiles revealed that each elliptical curve corresponds to a specific modular form. They have common properties – for example, a set of numbers describing the solutions of the elliptical curve will also appear in a related modular form. Mathematicians can therefore operate modular forms to get a recent insight into elliptical curves.
But mathematicians believe that the theorem of Taylor and Wiles’s modularity is only one example of a universal fact. There is a much more general class of objects outside of elliptic curves. All these objects should also have a partner in a wider world of symmetrical functions, such as modular forms. This is what Langlands is about.
The elliptical curve has only two variables –X AND y– So it can be charged on a flat sheet of paper. But if you add another variable, WithYou have a bloody surface that lives in three -dimensional space. This more complicated object is called the Abel surface, and as in the case of elliptical curves, its solutions have a decorative structure that mathematicians want to understand.
It seemed natural that abel surfaces should correspond to more complicated types of modular forms. But an additional variable makes them much more challenging to build, and their solutions are much more challenging to find. By proving that they also meet the theorem about modularity, it seemed completely out of reach. “It was a known problem not to think because people thought and got stuck about it,” said Gee.
But Boxer, Calegari, Gee and Piloni wanted to try.
Finding a bridge
All four mathematicians were involved in research on the Langlands program and wanted to prove one of those hypotheses “an object that actually appears in real life, not some strange thing,” said Calegari.
Abelian not only appears in real life – a real life of mathematics, that is, but proving that the claim of them modularity would open a recent mathematical door. “There are many things that you can do if you have this statement that you have no chance to do differently,” said Calegari.
Mathematicians began to cooperate in 2016, hoping that they took the same steps that Taylor and Wiles had evidence of elliptical curves. But each of these steps was much more complicated for Abelian Authaces.
So they focused on a specific type of abel surface, called the usual Abelowa surface, with which it was easier to work. For each such surface there is a set of numbers describing the structure of its solutions. If they could show that the same set of numbers may also be due to the modular form, they would be made. The numbers would serve as a unique marker, enabling them to pair each of their abel surfaces with a modular form.