Literature review: lattice, moonshine and the gravity interface

Date: 24 October 2026 Selection rule: primary papers and mathematically authoritative sources are used to distinguish established constructions from proposed physical interpretations.

1. Modular state counting and moonshine

The modular (j)-invariant and its normalized form (J=j-744) are standard objects; the integer coefficients of (J) are the historical entry point to monstrous moonshine. The relevant sequence is catalogued as OEIS A000521. Borcherds' account of monstrous moonshine explains the passage from the Monster module and vertex operators to modular functions and the proof of the Conway--Norton conjectures: Borcherds, Monstrous moonshine and monstrous Lie superalgebras context/review.

The relevant physical object is a graded trace. It records degeneracies at conformal grades; it is not, without further structure, a probability density or a real-time dispersion relation. Twined traces and generalized moonshine add group elements and commuting pairs, but still require a declared CFT interpretation. Ivanov and Tuite discuss genus-zero properties in generalized moonshine: arXiv:math/0106027.

The most relevant source for the oriented seam is Lin and Shao, Duality Defect of the Monster CFT. They prove that \(2A\) fermionization of the Monster CFT is a Majorana--Weyl fermion times the fermionic Baby Monster CFT and identify an Ising subcategory of topological defects. They also note that the odd-spin partition amplitude vanishes because of the free Majorana zero mode. At genus two this selects exactly the ten even characteristics out of the sixteen spin structures—the same ten-component carrier independently found by the corpus's seam calculation. Tuite and Zuevsky provide the complementary genus-two free-fermion sewing machinery in Part I and Part II. These results make the proposed Pfaffian/defect completion concrete, but the reviewed literature does not perform the programme-specific Baby-Monster analytic determinant, \(\chi_5\), Rule-60 or \(2A\)-\(2B\) junction calculation.

2. Genus two and the corpus's (Sp(4)) interface

Genus-two partition functions are important because sewing two tori probes more than the genus-one state count. Tuite studies genus-two meromorphic conformal field theory, including the role of the Schottky/sewing description: arXiv:math/9910136. Mason and Tuite construct genus-two partition functions for free bosonic and lattice vertex operator algebras: arXiv:0712.0628.

This supports the corpus's use of degree-two theta series as a stricter relational test. It does not identify the Siegel modular action with a four-dimensional spacetime symmetry. The period matrix is worldsheet data. Promotion needs a physical carrier and an intertwiner.

Igusa's structure theorem supplies the exact scalar completion relevant to the seam audit. The product of the ten even genus-two theta constants is a weight-five form with character, and its square is the weight-ten scalar cusp form \(\chi_{10}\). A modern formula collection is given by Lauter, Naumann and Yang, Hilbert theta series and invariants of genus 2 curves. This proves that full scalar modular closure exists, while the programme's separating-divisor calculation shows why it does not retain an oriented two-sheet transition or become a factor of the weight-12 Leech theta series.

3. Worldsheet consistency as a source of spacetime equations

Callan, Friedan, Martinec and Perry showed how conformal invariance of strings in background fields imposes equations on target-space metric, antisymmetric tensor and dilaton backgrounds: Strings in background fields. This is the clearest established precedent for the proposed outer loop:

worldsheet quantum consistency -> beta functions -> target-space field equations

The result is conditional on a complete worldsheet theory. It does not say that any modular function produces Einstein gravity. The central-charge balance, left/right sectors, ghosts, modular invariance, anomalies and massless spectrum are part of the input.

Narain compactifications show how even self-dual lattices enter consistent toroidal string backgrounds: Narain, New heterotic string theories in uncompactified dimensions < 10. This is a genuine lattice-to-string bridge, but the allowed lattice has a signature and dimension fixed by the string construction. It cannot be replaced by the positive-definite rank-24 Leech lattice without redoing the consistency conditions.

4. Monster CFT and lower-dimensional gravity

Witten proposed that extremal two-dimensional CFTs might be dual to pure three-dimensional quantum gravity, with the Monster CFT as the (k=1) example: arXiv:0706.3359. This is the strongest direct gravity adjacency of (J) in the literature.

It is not a completed derivation. Maloney and Witten computed the sum over known classical geometries and found an exact modular result that is not a physically sensible CFT partition function without additional ingredients: arXiv:0712.0155. Keller and Maloney further studied Poincaré-series constructions and the tension among modular invariance, positivity and discreteness: arXiv:1407.6008.

These papers provide both hope and discipline. Modular completion carries substantial gravitational information in AdS₃, but modular invariance alone does not guarantee a unitary, discrete, positive quantum-gravity spectrum.

5. Effective and induced gravity

The induced-gravity route asks whether integrating out quantum fields generates an Einstein--Hilbert term in an effective action. A useful overview of the emergent/induced logic is Barceló, Liberati and Visser, Einstein gravity as an emergent phenomenon?. The route demonstrates that low-energy Einstein dynamics can be relatively universal once a Lorentzian effective metric and quantum fields on it already exist.

For this programme, that is both useful and limiting. The Leech/Monster spectrum could in principle control field multiplicities and hence heat-kernel coefficients. But a covariant 4D action, masses, spins, statistics, regulator and vacuum prescription must be supplied before the calculation has physical content.

6. What the literature does not currently provide

The reviewed sources do not provide a published chain with all of the following properties:

1. the positive-definite Leech lattice or Monster VOA is the microscopic carrier;
2. a complete critical, non-chiral theory yields four macroscopic Lorentzian dimensions;
3. the corpus's (H_2(\mathbb R)) Jordan cone is the physical response/state carrier;
4. its (Sp(4,\mathbb R)\cong Spin_0(2,3)) completion becomes a dynamical gravitational connection;
5. the low-energy spectrum is a healthy massless graviton plus viable matter;
6. a distinctive observable follows.

That absence is not a proof of impossibility. It is the exact research gap.

7. Direct gauge gravity and thermodynamic gravity

The direct action route has a conventional precedent: MacDowell and Mansouri construct gravity from a broken de Sitter/anti-de Sitter gauge structure, and Stelle--West-type compensator formulations make the symmetry-breaking field explicit. A modern Cartan-geometric discussion is Wise, MacDowell--Mansouri gravity and Cartan geometry. This supports the corpus's independent-connection route, not a derivation of that connection from Leech data.

Jacobson derived Einstein's equation as an equation of state from local Rindler horizons, entropy proportional to area and the Clausius relation: Thermodynamics of Spacetime. Later entanglement-equilibrium work sharpened the relation between local vacuum entanglement and gravitational dynamics: Entanglement equilibrium and the Einstein equation. These are genuine state-counting-to-gravity precedents, but the geometric locality and area law are essential premises. Monster degeneracies alone do not discharge them.

8. Reading verdict

The literature supports three strong statements:

• lattices and orbifolds can construct exact conformal quantum theories with extraordinary modular state counting;
• worldsheet consistency can generate target-space gravitational field equations in a complete string theory;
• modular CFT data can be tightly adjacent to quantum gravity in three dimensions.

It does not support collapsing those statements into “the (j)-plot is the universe's probability lattice” or “Leech plus (Sp(4)) derives four-dimensional EFE.” The corpus's contribution is to expose the typed interfaces at which such a proposal can be made calculable.