Umbral moonshine

Last updated

In mathematics, umbral moonshine is a mysterious connection between Niemeier lattices and Ramanujan's mock theta functions. It is a generalization of the Mathieu moonshine phenomenon connecting representations of the Mathieu group M24 with K3 surfaces.

Contents

Mathieu moonshine

The prehistory of Mathieu moonshine starts with a theorem of Mukai, asserting that any group of symplectic automorphisms of a K3 surface embeds in the Mathieu group M23. The moonshine observation arose from physical considerations: any K3 sigma-model conformal field theory has an action of the N=(4,4) superconformal algebra, arising from a hyperkähler structure. When TohruEguchi,Hirosi Ooguri,andYuji Tachikawa ( 2011 ) computed the first few terms of the decomposition of the elliptic genus of a K3 CFT into characters of the N=(4,4) superconformal algebra, they found that the multiplicities matched well with simple combinations of representations of M24. However, by the Mukai–Kondo classification, there is no faithful action of this group on any K3 surface by symplectic automorphisms, and by work of Gaberdiel–Hohenegger–Volpato, there is no faithful action on any K3 CFT, so the appearance of an action on the underlying Hilbert space is still a mystery.

Eguchi and Hikami showed that the N=(4,4) multiplicities are mock modular forms, and Miranda Cheng suggested that characters of elements of M24 should also be mock modular forms. This suggestion became the Mathieu moonshine conjecture, asserting that the virtual representation of N=(4,4) given by the K3 elliptic genus is an infinite dimensional graded representation of M24 with non-negative multiplicities in the massive sector, and that the characters are mock modular forms. In 2012, Terry Gannon proved that the representation of M24 exists.

Umbral moonshine

In 2012, Cheng, Duncan & Harvey (2012) amassed numerical evidence of an extension of Mathieu moonshine, where families of mock modular forms were attached to divisors of 24. After some group-theoretic discussion with Glauberman, Cheng, Duncan & Harvey (2013) found that this earlier extension was a special case (the A-series) of a more natural encoding by Niemeier lattices. For each Niemeier root system X, with corresponding lattice LX, they defined an umbral groupGX, given by the quotient of the automorphism group of LX by the subgroup of reflections- these are also known as the stabilizers of deep holes in the Leech lattice. They conjectured that for each X, there is an infinite dimensional graded representation KX of GX, such that the characters of elements are given by a list of vector-valued mock modular forms that they computed. The candidate forms satisfy minimality properties quite similar to the genus-zero condition for Monstrous moonshine. These minimality properties imply the mock modular forms are uniquely determined by their shadows, which are vector-valued theta series constructed from the root system. The special case where X is the A124 root system yields precisely Mathieu Moonshine. The umbral moonshine conjecture has been proved in Duncan, Griffin & Ono (2015).

The name of umbral moonshine derives from the use of shadows in the theory of mock modular forms. Other moonlight-related words like 'lambency' were given technical meanings (in this case, the genus zero group attached to a shadow SX, whose level is the dual Coxeter number of the root system X) by Cheng, Duncan, and Harvey to continue the theme.

Although the umbral moonshine conjecture has been settled, there are still many questions that remain. For example, connections to geometry and physics are still not very solid, although there is work relating umbral functions to duVal singularities on K3 surfaces by Cheng and Harrison. As another example, the current proof of the umbral moonshine conjecture is ineffective, in the sense that it does not give natural constructions of the representations. This is similar to the situation with monstrous moonshine during the 1980s: Atkin, Fong, and Smith showed by computation that a moonshine module exists in 1980, but did not give a construction. The effective proof of the Conway-Norton conjecture was given by Borcherds in 1992, using the monster representation constructed by Frenkel, Lepowsky, and Meurman. There is a vertex algebra construction for the E83 case by Duncan and Harvey, where GX is the symmetric group S3. However, the algebraic structure is given by an asymmetric cone gluing construction, suggesting that it is not the last word.

See also

Related Research Articles

In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and interact with each other. On distance scales larger than the string scale, a string looks just like an ordinary particle, with its mass, charge, and other properties determined by the vibrational state of the string. In string theory, one of the many vibrational states of the string corresponds to the graviton, a quantum mechanical particle that carries the gravitational force. Thus, string theory is a theory of quantum gravity.

In mathematics, the Leech lattice is an even unimodular lattice Λ24 in 24-dimensional Euclidean space, which is one of the best models for the kissing number problem. It was discovered by John Leech. It may also have been discovered by Ernst Witt in 1940.

<span class="mw-page-title-main">Conway group</span>

In the area of modern algebra known as group theory, the Conway groups are the three sporadic simple groups Co1, Co2 and Co3 along with the related finite group Co0 introduced by (Conway 1968, 1969).

<span class="mw-page-title-main">Klein quartic</span> Compact Riemann surface of genus 3

In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus 3 with the highest possible order automorphism group for this genus, namely order 168 orientation-preserving automorphisms, and 168 × 2 = 336 automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to PSL(2, 7), the second-smallest non-abelian simple group after the alternating group A5. The quartic was first described in (Klein 1878b).

<span class="mw-page-title-main">K3 surface</span> Type of smooth complex surface of kodaira dimension 0

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

In mathematics, monstrous moonshine, or moonshine theory, is the unexpected connection between the monster group M and modular functions, in particular, the j function. The initial numerical observation was made by John McKay in 1978, and the phrase was coined by John Conway and Simon P. Norton in 1979.

<span class="mw-page-title-main">Geometric group theory</span> Area in mathematics devoted to the study of finitely generated groups

Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups can act non-trivially.

<span class="mw-page-title-main">Held group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Held groupHe is a sporadic simple group of order

In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven useful in purely mathematical contexts such as monstrous moonshine and the geometric Langlands correspondence.

In mathematics, a Niemeier lattice is one of the 24 positive definite even unimodular lattices of rank 24, which were classified by Hans-Volker Niemeier. Venkov (1978) gave a simplified proof of the classification. Witt (1941) mentions that he found more than 10 such lattices, but gives no further details. One example of a Niemeier lattice is the Leech lattice found in 1967.

Homological mirror symmetry is a mathematical conjecture made by Maxim Kontsevich. It seeks a systematic mathematical explanation for a phenomenon called mirror symmetry first observed by physicists studying string theory.

<span class="mw-page-title-main">Exceptional object</span>

Many branches of mathematics study objects of a given type and prove a classification theorem. A common theme is that the classification results in a number of series of objects and a finite number of exceptions — often with desirable properties — that do not fit into any series. These are known as exceptional objects. In many cases, these exceptional objects play a further and important role in the subject. Furthermore, the exceptional objects in one branch of mathematics often relate to the exceptional objects in others.

In algebraic geometry, a supersingular K3 surface is a K3 surface over a field k of characteristic p > 0 such that the slopes of Frobenius on the crystalline cohomology H2(X,W(k)) are all equal to 1. These have also been called Artin supersingular K3 surfaces. Supersingular K3 surfaces can be considered the most special and interesting of all K3 surfaces.

<span class="mw-page-title-main">Ken Ono</span> American mathematician

Ken Ono is an American mathematician who specializes in number theory, especially in integer partitions, modular forms, umbral moonshine, the Riemann Hypothesis and the fields of interest to Srinivasa Ramanujan. He is the STEM Advisor to the Provost and the Marvin Rosenblum Professor of Mathematics at the University of Virginia.

Mathieu group M<sub>24</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Mathieu groupM24 is a sporadic simple group of order

In mathematical physics, the 2D N = 2 superconformal algebra is an infinite-dimensional Lie superalgebra, related to supersymmetry, that occurs in string theory and two-dimensional conformal field theory. It has important applications in mirror symmetry. It was introduced by M. Ademollo, L. Brink, and A. D'Adda et al. as a gauge algebra of the U(1) fermionic string.

<span class="mw-page-title-main">Richard Thomas (mathematician)</span> British mathematician

Richard Paul Winsley Thomas is a British mathematician working in several areas of geometry. He is a professor at Imperial College London. He studies moduli problems in algebraic geometry, and ‘mirror symmetry’—a phenomenon in pure mathematics predicted by string theory in theoretical physics.

Miranda Chih-Ning Cheng is a Taiwanese-born and Dutch-educated mathematician and theoretical physicist who works as an associate professor at the University of Amsterdam. She is known for formulating the umbral moonshine conjectures and for her work on the connections between K3 surfaces and string theory.

References