• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,054 questions , 2,207 unanswered
5,345 answers , 22,719 comments
1,470 users with positive rep
818 active unimported users
More ...

  Understanding Moonshine via Heterotic E8xE8 (resubmitted, originally asked on mathematics stack exchange)

+ 1 like - 0 dislike

Recently I have become familiar with the conjectured relationship of monstrous moonshine and pure (2+1)-dimensional quantum gravity in AdS with maximally negative cosmological constant and, it’s being dual to c=24 (if I recall) homomorphic conformal field theory w/ partition function proportional to the graded character of the module (Frenkel-Lepowsky-Meurman, Li-Song-Strominger, Witten, Etc.). Now, I assume the entirety of THIS work was built on leech, or at least a general niemeier (I’ve seen reference to the work of Eguchi, Ooguri, Tachikawa on Mathieu Moonshine, regarding elliptic genus on K3 and it’s split into the character of either N=4,4 or N=2 super conformal algebras if I recall correctly). I assume the statement this would make is that there exists a cft on K3 target with m24? In both these cases (leech or general niemeier) I would appreciate reference to literature on the topic w/ regards to Umbral Moonshine as an unrelated reading.

Now, as someone who is less acquainted with the mathematics than I am the physics, I was curious if E8xE8 heterotic (or general heterotic) could be used to study monstrous moonshine specifically (likely with respect to K3 target?).

Assuming the strongest condition is that the worldsheet CFT(?) must be built on an even, self-dual lattice of dimension 8k (in order to satisfy a modular invariant partition function), k=2 has of particular interest E8xE8, and in the case k=3 there is leech! Assuming one could split the theta function of leech into three k=1 E8 roots (w/o damaging winding in the lattice), and the same for k=2 does there not exist a direct method of studying the monster in the context of worksheet CFTs on heterotic strings?

To finalize the question, are there properties or heterotic E8xE8, either with worldsheet conformal field theories or heterotic branes on K3 that are appealing in the context of monster or even the smaller sporadic simple groups? (I have seen reference to heterotic five branes on K3 w/ massive U(1) and was pondering the topic)

I appreciate any responses!

Edit: To refine this question, would a worldsheet c24 homomorphic conformal field theory satisfy Strominger for E8E8 heterotic? If so, what is the virasoro primary fields interpretation in heterotic? I assume if I was to calculate, in the large mass limit, the logarithm of the virasoro primary of the module it would agree well with radiative terms in heterotic (supergravity action w/ gauss bonnet, assuming curvature terms exist at tree-level heterotic)!

This post imported from StackExchange Physics at 2019-02-02 19:41 (UTC), posted by SE-user Alexander Nordal

asked Jan 26, 2019 in Theoretical Physics by Alexander Nordal (5 points) [ revision history ]
edited Feb 2, 2019 by Dilaton
Crossposted from math.stackexchange.com/q/3086769/11127

This post imported from StackExchange Physics at 2019-02-02 19:41 (UTC), posted by SE-user Qmechanic

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights