Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Moonshine Link Discovered for PariahSymmetriesA type of symmetry so unusual that it was called a “pariah” turns out to have deep connections tonumber theory.

By Erica Klarreich

Peter Diamond for Quanta Magazine

In 1892, the mathematician Otto Hölder posed a question that would occupy the field for more thana century: Is it possible to make a periodic table of all finite symmetry? The answer, to whichhundreds of mathematicians have contributed, is yes. But the taxonomy that emerged from thismonumental effort has prompted both enlightenment and head scratching. For in addition to thewell-understood elements of the symmetry chart, a handful of outliers made themselves known —elements mathematicians could prove must exist but couldn’t connect to any natural shapes.

In particular, mathematicians discovered six maverick forms of symmetry that sit so far out on the

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

fringe of the symmetry world that they became known as “pariahs.” When the first pariahs werediscovered in the mid-1960s, wrote the mathematician Felipe Zaldivar in 2010, “one could almosthear the ‘Who ordered that?’”

Apart from their cameo role in the classification of finite symmetries, the pariahs “have not appearedanywhere in mathematics,” wrote Ken Ono, a mathematician at Emory University, in an email. “Theyare something like the super heavy metals in the periodic table of elements.”

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Raymond McCrea Jones for Quanta Magazine

Ken Ono of Emory University in Atlanta.

Now Ono, John Duncan of Emory, and Michael Mertens of the University of Cologne in Germanyhave succeeded in welcoming one of the pariahs, called the O’Nan group, into the framework of atheory known as “moonshine.” Originally developed decades ago for a gargantuan symmetrystructure called the monster group, moonshine forges deep connections between groups ofsymmetries, models of string theory and objects from number theory called modular forms.

O’Nan moonshine is “part of the wave of sort of a new paradigm of moonshine research that hasbeen bubbling up in the past year,” said Miranda Cheng, a mathematician and physicist at theUniversity of Amsterdam and France’s National Center for Scientific Research. “Every week we’rediscovering something new.”

The new work, which the researchers describe today in Nature Communications, puts the O’Nangroup at the crest of this new wave of moonshine, which links certain symmetry groups to specialclasses of “weight 3/2” modular forms, objects that also show up in natural counting functions forblack holes and for higher-dimensional generalizations of strings called “branes.” Because of theseand other confluences, wrote the Stanford University physicist Shamit Kachru in an email, “myguess is the subject will have legs and develop well.”

There’s every reason to hope, Duncan said, that this new wave of moonshine may soon illuminate thedark corners of mathematics where the other pariahs lie hidden.

And the particular modular forms that appear in O’Nan moonshine connect it to some of the mostcentral objects in number theory, including elliptic curves, which played a starring role in AndrewWiles’ 1994 proof of Fermat’s Last Theorem. “The O’Nan group has unexpectedly been found tohover over some of the questions which have been of interest to number theorists for a super longtime,” Ono wrote.

The Moonshine LandscapeMathematicians generally think about a shape’s symmetry in terms of the group of transformationsthat leave its geometry intact — so an equilateral triangle has a symmetry group consisting of threerotations and three reflections, while a circle has a symmetry group consisting of all possiblerotations or reflections through its center. Finite symmetry groups, like that of the triangle, canalways be built up out of what are called “simple” groups — atoms of symmetry that can’t be dividedinto smaller groups.

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Lucy Reading-Ikkanda/Quanta Magazine

For example, the equilateral triangle’s six-member symmetry group is not simple, but it can beconstructed by combining two simple groups: a three-member group consisting of the triangle’srotations, and a two-member group that specifies whether to reflect the triangle after rotating orleave it alone. Every finite group has a unique molecular formula of this kind — a collection of simplegroups from which it is made.

Many of the simple groups are well-understood and easy to describe. But when mathematicians triedto make a periodic table of all finite simple groups, they were electrified to discover 26 “sporadic”groups that fit none of the familiar molds. Twenty of these groups cluster into what’s called the“happy family,” headed by the monster. And six groups are left out in the cold — the pariahs.

“It would have been comforting, poetic, neat, etc., to say that every sporadic group is part of a single‘master object’ which unifies and explains the whole business with a single context, but it did notwork out that way,” wrote Robert Griess in an email. Griess, a mathematician at the University ofMichigan, constructed the monster group in 1982 and gave the happy family and the pariahs theirnames. (He also named the monster the “friendly giant,” but for some reason that name didn’t stick.)

By sheer accident, mathematicians quickly found a home for the monster group in the broadermathematical universe. In 1978, John McKay of Concordia University in Montreal noticed that thesame number — 196,884 — occurs in two widely different mathematical contexts. One is as acombination of two numbers from the monster group, and the other is as a coefficient of the “j-function,” one of the simplest examples of a modular form — a type of function with repeatingpatterns like those in Escher’s circular angels-and-devils tilings.

The idea that these two far-flung areas of mathematics could be connected seemed so fantastic thatit became known as moonshine. But more numerical “coincidences” started piling up, and eventuallymathematicians figured out a deep reason for them: The monster group and the j-function areconnected via string theory. In a particular 24-dimensional string theory world, the j-function’scoefficients capture how strings can oscillate, while the monster controls the underlying symmetry.

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Olena Shmahalo/Quanta Magazine

Michael Mertens of the University of Cologne during a visit to New York.

This “monstrous” moonshine showed that the monster group isn’t just some anomalous object forcedinto existence by abstract considerations. It is the symmetry group of a natural space, and it isclosely connected to modular forms, which number theorists have been studying for centuries. Thedevelopment gave rise to entirely new areas of mathematics and physics, and it earned RichardBorcherds, of the University of California, Berkeley, a Fields Medal in 1998.

For decades, monstrous moonshine seemed like a one-off phenomenon. But in 2010, physicistsstarted noticing that if they looked at groups related to certain 24-dimensional lattices, a raft of newnumerical coincidences emerged. By 2013, Cheng, Duncan and the physicist Jeffrey Harvey of theUniversity of Chicago had conjectured the existence of 23 more moonshines — one for each lattice —that included several more members of the happy family as well as other symmetry groups. Twoyears later, Duncan, Ono and the mathematician Michael Griffin proved that these moonshines doexist. But while moonshine gradually spread its beams further over the happy family, the pariahsremained in the shadows.

With this new list of 23 moonshines, researchers thought at first that they had fully fleshed out thepossibilities, Harvey said. “We had a nice tidy classification that seemed complete because of thelink to these lattices,” he wrote in an email. But these weren’t, in fact, the only moonshines outthere. “In the middle of research when everything is a jumble and confusing it can be hard to stepback and realize you are missing a nice general idea,” he wrote.

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Now, mathematicians and physicists have embarked on what has the makings of a third wave ofmoonshine, centered around weight 3/2 modular forms. “Weighted” modular forms, instead ofrepeating exactly on each angel and devil in an Escher tiling, get multiplied by a particular factor asyou go from one angel or devil to the next. Besides the new O’Nan moonshine, Cheng said, severalmore papers are in the works that link weight 3/2 modular forms to a wide variety of symmetrygroups, including M11 and M23, two of the monster’s descendants in the happy family.

The new moonshine “really smells like a different game,” Cheng said. “The connection betweenfinite groups and modular forms is really general, much more general than we thought.”

The rapid pace of recent discoveries is generating a mix of excitement, confusion and frustration,Harvey said — frustration, because researchers have not yet found the string theory models thatwould make sense of these new correspondences between symmetry groups and modular forms. “Ithink there’s some mysterious class of objects that will explain a lot of this, but we don’t know whatthey are yet,” he said. “We just have hints that they exist.”

Many other possible weights have yet to be examined, said Harvey, who together with BrandonRayhaun of Stanford recently discovered a weight 1/2 moonshine for the Thompson group, one of themonster’s grandchildren.

“Where does it stop? The answer, as far as I know, is that nobody knows,” he said. “People are sortof exploring, trying to understand how big the landscape is.”

Pariah Moonshine

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

Courtesy Glenn O’Nan

An undated family photo of Michael O’Nan.

Duncan came upon the beginnings of O’Nan moonshine in much the same way that McKay hadstumbled upon the original monstrous moonshine almost 40 years earlier. Duncan noticed that acertain dimension in which the O’Nan group has a special representation — 26,752 — is the same as

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

the first important coefficient of a weight 3/2 modular form he’d bumped into in earlier work onThompson moonshine. Weight 3/2 modular forms hadn’t been the main characters in most previousmoonshines, but Duncan and Mertens soon became convinced that this particular modular form wasthe key to creating moonshine for the O’Nan group (which is named for its discoverer, MichaelO’Nan, who passed away on July 31).

Duncan happened to describe the new moonshine to Ono one evening, over dinner with theirfamilies. Ono had never heard of the O’Nan group, but he immediately recognized the modular formsinvolved. “These forms are like old friends to me,” he wrote by email.

Ono realized that they belonged to a special collection of weight 3/2 modular forms that the numbertheorists Benedict Gross, Winfried Kohnen and Don Zagier had shown in 1987 to be intimatelyrelated to many of the central problems in number theory, such as counting special points on certainelliptic curves. Some of the other new moonshines under development tie into number theory in asimilar way, Cheng said.

The connection Gross, Kohnen and Zagier uncovered involves “some of the hottest stuff” thatnumber theorists have been studying in the past few decades, Ono said. “None of us had any ideathat there would be … these strange finite groups lurking in the background.”

Stephen Nowland, Emory University.

John Duncan of Emory University.

The new moonshine means that the O’Nan group captures something about the symmetries of these

Quanta Magazine

https://www.quantamagazine.org/moonshine-link-discovered-for-pariah-symmetries-20170922/ September 22, 2017

number-theoretic objects — but just what it captures may not become fully clear until the rightstring theory model for O’Nan moonshine is found, Duncan said. “If there is a good physical answerto that question, then that’s potentially bringing physical techniques in to bear on these deepnumber-theoretic problems,” he said. “I think that’s a really exciting area to try and make progresson next.”

What’s already evident, though, is that the O’Nan group isn’t as much of a pariah as mathematiciansthought. And even though researchers are just starting to explore the broader landscape ofmoonshine, some are already asking themselves whether, down the road, these new moonshinesmight finally offer a satisfying explanation for just what the sporadic groups — the monster, its kinand the pariahs — are doing in the taxonomy of finite symmetry in the first place. Perhaps, after all,the sporadic groups will turn out to be examples of some natural phenomenon, Duncan said, if welook at them through the right lens.

“There’s starting to be a possibility that moonshine will really encompass all of the sporadic groups,”Harvey said, “and perhaps sort of explain why these oddballs are there.”