The math of doughnuts: 'Moonshine' sheds light on elliptic curves

"Imagine you are holding a doughnut in the dark," Emory University mathematician Ken Ono says. "You wouldn't even be able to decide whether it has any sprinkles. But the information in our O'Nan moonshine allows us to 'see' our mathematical doughnuts clearly by giving us a wealth of information about the points on elliptic curves." Credit: Stephen Nowland, Emory University

Mathematicians have opened a new chapter in the theory of moonshine, one which begins to harness the power of the pariahs - sporadic simple groups that previously had no known application.

"We've found a new form of moonshine, which in math refers to an idea so farfetched as to sound like lunacy," says Ken Ono, a number theorist at Emory University. "And we've used this moonshine to show the mathematical usefulness of the O'Nan pariah group in a way that moves it from theory to reality. It turns out that the O'Nan group knows deep information about elliptic curves."

Nature Communications published the representation theory for the O'Nan group developed by Ono, John Duncan (also a number theorist at Emory) and Michael Mertens (a former post-doctoral fellow at Emory who is now at the University of Cologne).

"We've shown that the O'Nan group, a very large pariah group, actually organizes elliptic curves in a beautiful and systematic way," Duncan says. "And not only does it organize them, it allows us to see some of their deepest properties. It sees infinitely many curves, which allows us to then use our moonshine to make predictions about their general behavior. That's important, because these objects underlie some of the hardest questions at the very horizon of number theory."

Elliptic curves may sound esoteric, but they are part of our day-to-day lives. They are used in cryptography - the creation of codes that are difficult to break.

An elliptic curve is not an ellipse, rather it is a complex torus, or doughnut shape. "You can think of it as a doughnut together with specific, delicate configurations of rational points that are very carefully placed," Duncan says. "So, in the simplest of terms, it's like a doughnut that you eat, that may have sprinkles on it. The whole game in the math of elliptic curves is determining whether the doughnut has sprinkles and, if so, where exactly the sprinkles are placed."

Unlike an edible doughnut, however, these mathematical doughnuts are not visible.

"Imagine you are holding a doughnut in the dark," Ono says. "You wouldn't even be able to decide whether it has any sprinkles. But the information in our O'Nan moonshine allows us to 'see' our mathematical doughnuts clearly by giving us a wealth of information about the points on elliptic curves."

The findings are especially surprising since none of the pariahs, as six of math's sporadic simple groups are known, had previously appeared in moonshine theory, or anywhere else in science.

Math's original moonshine theory dates to a 1979 paper called "Monstrous Moonshine" by John Conway and Simon Norton. The paper described a surprising connection between a massive algebraic object known as the monster group and the j-function, a key object in number theory. In 2015, a group of mathematicians - including Duncan and Ono - presented proof of the Umbral Moonshine Conjecture, which revealed 23 other moonshines, or mysterious connections between the dimensions of symmetry groups and coefficients of special functions.

In theoretical math, symmetry comes in groups. Symmetrical solutions are usually optimal, since they allow you to divide a large problem into equal parts and solve it faster.

In the simplest terms, an elliptic curve is a doughnut shape with carefully placed points, explain Emory University mathematicians Ken Ono, left, and John Duncan, right. "The whole game in the math of elliptic curves is determining whether the doughnut has sprinkles and, if so, where exactly the sprinkles are placed," Duncan says. Credit: Stephen Nowland, Emory University

The classification of the building blocks of groups is gathered in the ATLAS of Finite Groups, published in 1985. "The ATLAS is like math's version of the periodic table of the elements, but for symmetry instead of atoms," Duncan explains.

Both the ATLAS and the periodic table contain quirky characters that may - or may not - exist in nature.

Four super heavy elements with atomic numbers above 100, for example, were discovered in 2016 and added to the periodic table. "People have to work hard to produce these elements in particle accelerators and they vanish immediately after they are constructed," Ono says. "So you have to wonder if they really are a part of our everyday chemistry."

The pariah groups pose a similar question in math. Are they natural or simply theoretical constructs?

"Our work proves, for the first time, that a pariah is real," Ono says. "We found the O'Nan group living in nature. Our theorem shows that it's connected to elliptic curves, and whenever you find a correspondence between two objects that are seemingly not related, it opens the door to learning more about those objects."

Related Stories

Monstrous moonshine, a quirky pattern of the monster group in theoretical math, has a shadow - umbral moonshine. Mathematicians have now proved this insight, known as the Umbral Moonshine Conjecture, offering a formula with ...

Taxi-cab numbers, among the most beloved integers in math, trace their origins to 1918 and what seemed like a casual insight by the Indian genius Srinivasa Ramanujan. Now mathematicians at Emory University have discovered ...

Imagine computers being able to understand paintings or paint abstract images much like humans. Bo Li at Umeå University in Sweden demonstrates a breakthrough concept in the field of computer vision using curves and lines ...

Most of us have struggled with the mathematical puzzle known as the "moving sofa problem." It poses a deceptively simple question: What is the largest sofa that can pivot around an L-shaped hallway corner?

A team of more than 80 mathematicians from 12 countries has begun charting the terrain of rich, new mathematical worlds, and sharing their discoveries on the Web. The mathematical universe is filled with both familiar and ...

Recommended for you

Voters in modern democracies, such as the United States and Germany, have long held the power to take from the rich, give to the poor and erase the huge economic inequalities that separate the vast majority of a nation's ...

Police detectives analyze isotopes in human hair to find out where a murder victim was born and grew up. Ashley Sharpe, an archaeologist at the Smithsonian Tropical Research Institute in Panama, and colleagues combined clues ...

A team of researchers from Korea, the U.K. and Denmark has found fossilized brains of sea creatures that lived during the Cambrian explosion. In their paper published in the journal Nature Communications, the group describes ...

Small scale agricultural farming was first initiated by indigenous communities living on Turkey's Anatolian plateau, and not introduced by migrant farmers as previously thought, according to new research by the University ...

A long-standing debate in the field of cultural evolution has revolved around the question of how and why human societies become more hierarchical. Some theorize that material changes to a society's resources or subsistence ...

Reproducibility of scientific findings has long been an important indicator of the validity of data gleaned from research, a process deemed even more critical in this age of ever-changing technologies and methods.

0 comments

Please sign in to add a comment.
Registration is free, and takes less than a minute.
Read more

Click here to reset your password.
Sign in to get notified via email when new comments are made.