pith. machine review for the scientific record. sign in

arxiv: 2605.10902 · v1 · submitted 2026-05-11 · ✦ hep-th · cond-mat.str-el· math.QA· math.RT

Recognition: no theorem link

Parafermionizing the Monster

Ippo Orii, Justin Kaidi, Yamato Honda

Pith reviewed 2026-05-12 03:32 UTC · model grok-4.3

classification ✦ hep-th cond-mat.str-elmath.QAmath.RT
keywords parafermionizationMonster CFTnon-invertible gaugingMcKay-Thompson seriesRep(so(3)_p)Z_pA subgroupsmodular invariance
0
0 comments X

The pith

Parafermionizing the Monster CFT with its Z_pA subgroups equates it to non-invertible gauging of parafermion theories and yields Rep(so(3)_p) symmetry.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper studies parafermionization of the Monster conformal field theory using its Z_pA subgroups for odd primes p. It shows that this procedure equals a non-invertible gauging of the Z_p-parafermion theory times its dual, with the gauging preserving symmetries tied to the centralizer of the subgroup. The identification implies the diagonal Monster CFT carries Rep(so(3)_p) boxed with its opposite, while the holomorphic Monster theory carries the single Rep(so(3)_p) symmetry. The authors compute the associated defect McKay-Thompson series and prove these series stay invariant precisely under the modular subgroup Gamma_1(p+2). A reader cares because the result gives an explicit way to produce new symmetries and invariants for the Monster theory from simpler parafermion building blocks.

Core claim

Under certain assumptions, we show that the parafermionization is equal to a non-invertible gauging of P(p) times P(p) dual, where P(p) is the theory of Z_p-parafermions. By tracking the symmetries of this product through the gauging, we argue that the diagonal Monster CFT has Rep(so(3)_p) boxed with Rep(so(3)_p) opposite symmetry, and hence that the holomorphic Monster theory has symmetry Rep(so(3)_p). We then compute the defect McKay-Thompson series associated to these symmetries, and prove that their invariance subgroups are Gamma_1(p+2).

What carries the argument

non-invertible gauging of the product of the Z_p-parafermion theory and its dual, which equates to parafermionization and transmits symmetries from the centralizer of Z_pA

If this is right

  • The diagonal Monster CFT has Rep(so(3)_p) boxed with its opposite symmetry.
  • The holomorphic Monster theory has Rep(so(3)_p) symmetry.
  • The defect McKay-Thompson series for these symmetries have invariance subgroups Gamma_1(p+2).
  • The global symmetry after gauging is characterized by the centralizer of the original Z_pA subgroup.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This construction supplies an explicit route from parafermion models to theories carrying Monster-related symmetries.
  • The specific modular subgroups that appear may point to a systematic pattern linking defect operators in these theories to congruence subgroups at level p+2.
  • The same gauging identification could be tested on other subgroups of the Monster group to see whether analogous symmetries emerge.

Load-bearing premise

The equivalence between parafermionization and non-invertible gauging holds under unspecified assumptions for the Monster CFT and its Z_pA subgroups.

What would settle it

A direct calculation of one defect McKay-Thompson series for a small odd prime p that fails to have invariance subgroup exactly equal to Gamma_1(p+2) would falsify the symmetry identification and the gauging equivalence.

read the original abstract

We study the parafermionization of the Monster CFT with respect to its $\mathbb{Z}_{pA}$ subgroups, with $p$ an odd prime. Under certain assumptions, we show that the parafermionization is equal to a non-invertible gauging of $\mathcal{P}(p) \times \mathcal{P}(p)^\vee$, where $\mathcal{P}(p)$ is the theory of $\mathbb{Z}_p$-parafermions and $\mathcal{P}(p)^\vee$ is an appropriate dual theory, with global symmetry characterized by the centralizer of $\mathbb{Z}_{pA}$. By tracking the symmetries of $\mathcal{P}(p) \times \mathcal{P}(p)^\vee$ through the non-invertible gauging, we argue that the diagonal Monster CFT has $\mathrm{Rep}(\mathfrak{so}(3)_p) \boxtimes \mathrm{Rep}(\mathfrak{so}(3)_p)^\mathrm{op}$ symmetry, and hence that the holomorphic Monster theory has symmetry $\mathrm{Rep}(\mathfrak{so}(3)_p)$. We then compute the defect McKay-Thompson series associated to these symmetries, and prove that their invariance subgroups are $\Gamma_1(p+2)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper studies the parafermionization of the Monster CFT with respect to its Z_pA subgroups for odd primes p. Under certain assumptions, it shows that this parafermionization equals a non-invertible gauging of P(p) × P(p)^∨ (with P(p) the Z_p-parafermion theory and P(p)^∨ its dual), whose global symmetry is given by the centralizer of Z_pA. Tracking symmetries through the gauging yields that the diagonal Monster CFT has Rep(so(3)_p) ⊠ Rep(so(3)_p)^op symmetry and thus the holomorphic Monster theory has Rep(so(3)_p) symmetry. The paper computes the associated defect McKay-Thompson series and proves that their invariance subgroups are Γ_1(p+2).

Significance. If the assumptions hold and the derivations are correct, the work would link the Monster CFT to parafermionization and non-invertible gauging in a novel way, extending symmetry analyses in moonshine to include Rep(so(3)_p) and providing explicit, testable defect McKay-Thompson series with proven modular invariance under Γ_1(p+2). The concrete computation of the series and the invariance proof constitute falsifiable outputs that strengthen the contribution if the foundational steps are secured.

major comments (1)
  1. [Abstract] Abstract: The central equivalence of the parafermionization to non-invertible gauging of P(p) × P(p)^∨ is stated to hold only 'under certain assumptions,' but these assumptions are never made explicit. This equivalence is load-bearing for the symmetry-tracking argument that produces Rep(so(3)_p) ⊠ Rep(so(3)_p)^op for the diagonal theory and for the subsequent defect McKay-Thompson series computation. The assumptions must be stated explicitly (ideally in a dedicated subsection of the introduction or §2), justified against the known Z_pA action, modular data, and operator content of the Monster CFT, and checked for consistency with the gauging step.
minor comments (1)
  1. The notation P(p)^∨ for the dual theory should be defined at first appearance with a brief reference to the literature on parafermion duals or a self-contained definition of its operator content and modular data.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. We agree that the assumptions underlying the central equivalence require explicit statement and justification, and we will revise the paper accordingly to strengthen the presentation.

read point-by-point responses
  1. Referee: [Abstract] Abstract: The central equivalence of the parafermionization to non-invertible gauging of P(p) × P(p)^∨ is stated to hold only 'under certain assumptions,' but these assumptions are never made explicit. This equivalence is load-bearing for the symmetry-tracking argument that produces Rep(so(3)_p) ⊠ Rep(so(3)_p)^op for the diagonal theory and for the subsequent defect McKay-Thompson series computation. The assumptions must be stated explicitly (ideally in a dedicated subsection of the introduction or §2), justified against the known Z_pA action, modular data, and operator content of the Monster CFT, and checked for consistency with the gauging step.

    Authors: We agree that the assumptions were not stated explicitly in the original manuscript and that this clarification is necessary given the load-bearing role of the equivalence. In the revised manuscript we will insert a new dedicated subsection (placed after the introduction, before §2) that lists the assumptions in full. These include: (i) that the Z_pA action on the Monster Hilbert space is free on the relevant sectors and compatible with the parafermionization map without introducing extra fixed-point operators beyond those already accounted for in the centralizer; (ii) that the modular data (S- and T-matrices) of the gauged P(p) × P(p)^∨ theory match those obtained from the parafermionized Monster, consistent with the known character table and fusion rules of the Monster CFT; (iii) that the gauging step preserves the absence of 't Hooft anomalies that would obstruct the symmetry-tracking argument to Rep(so(3)_p) ⊠ Rep(so(3)_p)^op. Each assumption will be justified by direct reference to the established properties of the Monster CFT (holomorphic c=24 uniqueness, subgroup classification for odd primes p, and centralizer computations) and checked for consistency with the non-invertible gauging procedure. This addition will make the subsequent symmetry and defect McKay-Thompson arguments fully grounded. revision: yes

Circularity Check

0 steps flagged

No circularity: central equivalence stated under explicit assumptions with no reduction to fitted inputs or self-citation chains visible

full rationale

The abstract states the key equivalence ('the parafermionization is equal to a non-invertible gauging') only 'under certain assumptions' and then tracks symmetries forward from that point to obtain Rep(so(3)_p) and the Γ_1(p+2) invariance. No equation, definition, or cited result is shown to be constructed from the target output; the assumptions are external to the derivation rather than self-referential. No self-citation is invoked as a uniqueness theorem or load-bearing premise, and no parameter is fitted to data then relabeled as a prediction. The derivation chain therefore remains self-contained once the assumptions are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Abstract-only review yields limited visibility into free parameters or axioms; the 'certain assumptions' likely include domain assumptions on the Monster CFT and parafermion theories that are not independently evidenced here.

axioms (1)
  • ad hoc to paper Certain assumptions allow equating parafermionization of Monster CFT to non-invertible gauging of P(p) × P(p)^∨
    Invoked in the first sentence of the abstract as the basis for all subsequent symmetry and series claims.
invented entities (1)
  • P(p)^∨ (dual theory to Z_p-parafermions) no independent evidence
    purpose: To form the product theory whose non-invertible gauging reproduces the parafermionized Monster
    Introduced in the abstract as the appropriate dual; no independent evidence or falsifiable prediction provided in abstract.

pith-pipeline@v0.9.0 · 5523 in / 1619 out tokens · 47484 ms · 2026-05-12T03:32:42.719845+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages

  1. [1]

    Albert, Y

    J. Albert, Y. Honda, J. Kaidi, and Y. Zheng, Haagerup Symmetry in (E8)1? , http://dx.doi.org/10.1103/6tzz-tvp7 Phys. Rev. Lett. 136 (2026) 091603 , http://arxiv.org/abs/2512.08225 arXiv:2512.08225 [hep-th]

  2. [2]

    T. Abe, C. H. Lam, and H. Yamada, A remark on Z _p -orbifold constructions of the moonshine vertex operator algebra , arXiv preprint arXiv:1705.09022 (2017)

  3. [3]

    J.-B. Bae, J. A. Harvey, K. Lee, S. Lee, and B. C. Rayhaun, Conformal Field Theories with Sporadic Group Symmetry , http://dx.doi.org/10.1007/s00220-021-04207-7 Commun. Math. Phys. 388 (2021) 1--105 , http://arxiv.org/abs/2002.02970 arXiv:2002.02970 [hep-th]

  4. [4]

    Bhardwaj, K

    L. Bhardwaj, K. Inamura, and A. Tiwari, Fermionic non-invertible symmetries in (1+1)d: Gapped and gapless phases, transitions, and symmetry TFTs , http://dx.doi.org/10.21468/SciPostPhys.18.6.194 SciPost Phys. 18 (2025) 194 , http://arxiv.org/abs/2405.09754 arXiv:2405.09754 [hep-th]

  5. [5]

    J.-B. Bae, K. Lee, and S. Lee, Monster Anatomy , http://dx.doi.org/10.1007/JHEP07(2019)026 JHEP 07 (2019) 026 , http://arxiv.org/abs/1811.12263 arXiv:1811.12263 [hep-th]

  6. [6]

    R. E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras , http://dx.doi.org/10.1007/BF01232032 Invent. Math. 109 (1992) 405--444

  7. [7]

    Boyle Smith and Y

    P. Boyle Smith and Y. Zheng, Backfiring bosonisation , http://dx.doi.org/10.1007/JHEP03(2026)221 JHEP 03 (2026) 221 , http://arxiv.org/abs/2403.03953 arXiv:2403.03953 [hep-th]

  8. [8]

    Carnahan, 51 constructions of the Moonshine module , http://dx.doi.org/10.4310/CNTP.2018.v12.n2.a3 Commun

    S. Carnahan, 51 constructions of the Moonshine module , http://dx.doi.org/10.4310/CNTP.2018.v12.n2.a3 Commun. Num. Theor. Phys. 12 (2018) 305--334 , http://arxiv.org/abs/1707.02954 arXiv:1707.02954 [math.RT]

  9. [9]

    Chen, C.-M

    W.-Q. Chen, C.-M. Jian, L. Kong, Y.-Z. You, and H. Zheng, Topological phase transition on the edge of two-dimensional Z_2 topological order , http://dx.doi.org/10.1103/PhysRevB.102.045139 Phys. Rev. B 102 (2020) 045139 , http://arxiv.org/abs/1903.12334 arXiv:1903.12334 [cond-mat.str-el]

  10. [10]

    J. H. Conway and S. P. Norton, Monstrous moonshine, Bulletin of the London Mathematical Society 11 (1979) 308--339

  11. [11]

    Cummins and S

    C. Cummins and S. Pauli, Congruence subgroups of psl(2,z) of genus 0. https://math-sites.uncg.edu/sites/pauli/congruence/csg0.html

  12. [12]

    C. J. Cummins and S. Pauli, Congruence subgroups of psl (2, z) of genus less than or equal to 24, Experimental mathematics 12 (2003) 243--255

  13. [13]

    Diatlyk, C

    O. Diatlyk, C. Luo, Y. Wang, and Q. Weller, Gauging non-invertible symmetries: topological interfaces and generalized orbifold groupoid in 2d QFT , http://dx.doi.org/10.1007/JHEP03(2024)127 JHEP 03 (2024) 127 , http://arxiv.org/abs/2311.17044 arXiv:2311.17044 [hep-th]

  14. [14]

    Fosbinder-Elkins and J

    H. Fosbinder-Elkins and J. A. Harvey, Modular invariance groups and defect McKay Thompson series , http://dx.doi.org/10.1088/1751-8121/adffce J. Phys. A 58 (2025) 395201 , http://arxiv.org/abs/2408.16263 arXiv:2408.16263 [hep-th]

  15. [15]

    Frohlich, J

    J. Frohlich, J. Fuchs, I. Runkel, and C. Schweigert, http://dx.doi.org/10.1142/9789814304634_0056 Defect Lines, Dualities and Generalised Orbifolds , 16th International Congress on Mathematical Physics , 2010, pp. 608--613. http://arxiv.org/abs/0909.5013 arXiv:0909.5013 [math-ph]

  16. [16]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman, VERTEX OPERATOR ALGEBRAS AND THE MONSTER , 1988

  17. [17]

    Francesco, P

    P. Francesco, P. Mathieu, and D. S \'e n \'e chal, Conformal field theory, Springer Science & Business Media, 2012

  18. [18]

    V. A. Fateev and A. B. Zamolodchikov, Parafermionic Currents in the Two-Dimensional Conformal Quantum Field Theory and Selfdual Critical Points in Z(n) Invariant Statistical Systems , Sov. Phys. JETP 62 (1985) 215--225

  19. [19]

    Geiges and J

    H. Geiges and J. Gonzalo, Generalised spin structures on 2-dimensional orbifolds, 2010. http://arxiv.org/abs/1004.1979 arXiv:1004.1979 [math.GT] . https://arxiv.org/abs/1004.1979

  20. [20]

    Gaiotto and A

    D. Gaiotto and A. Kapustin, Spin TQFTs and fermionic phases of matter , http://dx.doi.org/10.1142/S0217751X16450445 Int. J. Mod. Phys. A 31 (2016) 1645044 , http://arxiv.org/abs/1505.05856 arXiv:1505.05856 [cond-mat.str-el]

  21. [21]

    J. A. Harvey, Y. Hu, and Y. Wu, Galois Symmetry Induced by Hecke Relations in Rational Conformal Field Theory and Associated Modular Tensor Categories , http://dx.doi.org/10.1088/1751-8121/ab8e03 J. Phys. A 53 (2020) 334003 , http://arxiv.org/abs/1912.11955 arXiv:1912.11955 [hep-th]

  22. [22]

    H \"o hn, C

    G. H \"o hn, C. H. Lam, and H. Yamauchi, Mckay?s e 6 observation on the largest fischer group, Communications in Mathematical Physics 310 (2012) 329--365

  23. [23]

    H. R. Hampapura and S. Mukhi, Two-dimensional RCFT s without Kac-Moody symmetry , http://dx.doi.org/10.1007/JHEP07(2016)138 JHEP 07 (2016) 138 , http://arxiv.org/abs/1605.03314 arXiv:1605.03314 [hep-th]

  24. [24]

    Hoehn, Selbstduale Vertexoperatorsuperalgebren und das Babymonster (Self-dual Vertex Operator Super Algebras and the Baby Monster) , Other thesis, 6 2007

    G. Hoehn, Selbstduale Vertexoperatorsuperalgebren und das Babymonster (Self-dual Vertex Operator Super Algebras and the Baby Monster) , Other thesis, 6 2007. http://arxiv.org/abs/0706.0236 arXiv:0706.0236 [math.QA]

  25. [25]

    J. A. Harvey and Y. Wu, Hecke Relations in Rational Conformal Field Theory , http://dx.doi.org/10.1007/JHEP09(2018)032 JHEP 09 (2018) 032 , http://arxiv.org/abs/1804.06860 arXiv:1804.06860 [hep-th]

  26. [26]

    Kitazume, C

    M. Kitazume, C. H. Lam, and H. Yamada, 3-state potts model, moonshine vertex operator algebra, and 3 a-elements of the monster group, International Mathematics Research Notices 2003 (2003) 1269--1303

  27. [27]

    Lin and S.-H

    Y.-H. Lin and S.-H. Shao, Duality Defect of the Monster CFT , http://dx.doi.org/10.1088/1751-8121/abd69e J. Phys. A 54 (2021) 065201 , http://arxiv.org/abs/1911.00042 arXiv:1911.00042 [hep-th]

  28. [28]

    Miyamoto, 3-state potts model and automorphisms of vertex operator algebras of order 3, Journal of Algebra 239 (2001) 56--76

    M. Miyamoto, 3-state potts model and automorphisms of vertex operator algebras of order 3, Journal of Algebra 239 (2001) 56--76

  29. [29]

    M \"o ller and B

    S. M \"o ller and B. C. Rayhaun, Equivalence Relations on Vertex Operator Algebras, II: Witt Equivalence and Orbifolds , http://arxiv.org/abs/2410.18166 arXiv:2410.18166 [hep-th]

  30. [30]

    Mueger, From subfactors to categories and topology II: The quantum double of tensor categories and subfactors , http://dx.doi.org/10.1016/S0022-4049(02)00248-7 J

    M. Mueger, From subfactors to categories and topology II: The quantum double of tensor categories and subfactors , http://dx.doi.org/10.1016/S0022-4049(02)00248-7 J. Pure Appl. Algebra 180 (2001) 159--219 , http://arxiv.org/abs/math/0111205 arXiv:math/0111205

  31. [31]

    Ng and X

    S.-H. Ng and X. Lin, Congruence Property In Conformal Field Theory , http://dx.doi.org/10.2140/ant.2015.9.2121 Alg. Numb. Theor. 9 (2015) 2121--2166 , http://arxiv.org/abs/1201.6644 arXiv:1201.6644 [math.QA]

  32. [32]

    Ng and P

    S.-H. Ng and P. Schauenburg, Congruence Subgroups and Generalized Frobenius-Schur Indicators , http://dx.doi.org/10.1007/s00220-010-1096-6 Commun. Math. Phys. 300 (2010) 1--46 , http://arxiv.org/abs/0806.2493 arXiv:0806.2493 [math.QA]

  33. [33]

    Perez-Lona, D

    A. Perez-Lona, D. Robbins, E. Sharpe, T. Vandermeulen, and X. Yu, Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases , http://dx.doi.org/10.1007/JHEP02(2024)154 JHEP 02 (2024) 154 , http://arxiv.org/abs/2311.16230 arXiv:2311.16230 [hep-th]

  34. [34]

    Perez-Lona, D

    A. Perez-Lona, D. Robbins, E. Sharpe, T. Vandermeulen, and X. Yu, Notes on gauging noninvertible symmetries. Part II. Higher multiplicity cases , http://dx.doi.org/10.1007/JHEP05(2025)066 JHEP 05 (2025) 066 , http://arxiv.org/abs/2408.16811 arXiv:2408.16811 [hep-th]

  35. [35]

    Prasad, On character values and decomposition of the weil representation associated to a finite abelian group, arXiv preprint arXiv:0903.1486 (2009)

    A. Prasad, On character values and decomposition of the weil representation associated to a finite abelian group, arXiv preprint arXiv:0903.1486 (2009)

  36. [36]

    Radicevic, Spin Structures and Exact Dualities in Low Dimensions , http://arxiv.org/abs/1809.07757 arXiv:1809.07757 [hep-th]

    D. Radicevic, Spin Structures and Exact Dualities in Low Dimensions , http://arxiv.org/abs/1809.07757 arXiv:1809.07757 [hep-th]

  37. [37]

    Runkel and L

    I. Runkel and L. Szegedy, Topological field theory on r-spin surfaces and the Arf-invariant , http://dx.doi.org/10.1063/5.0037826 J. Math. Phys. 62 (2021) 102302 , http://arxiv.org/abs/1802.09978 arXiv:1802.09978 [math.QA]

  38. [38]

    O. Randal-Williams, Homology of the moduli spaces and mapping class groups of framed, <i>r</i> -spin and pin surfaces, Journal of Topology 7 (2013) 155?186 http://dx.doi.org/10.1112/jtopol/jtt029

  39. [39]

    N. R. Scheithauer, The weil representation of sl(2, Z ) and some applications , International Mathematics Research Notices 2009 (2009) 1488--1545

  40. [40]

    Str \"o mberg, Weil representations associated with finite quadratic modules, Mathematische Zeitschrift 275 (2013) 509--527

    F. Str \"o mberg, Weil representations associated with finite quadratic modules, Mathematische Zeitschrift 275 (2013) 509--527

  41. [41]

    Thorngren, Anomalies and Bosonization , http://dx.doi.org/10.1007/s00220-020-03830-0 Commun

    R. Thorngren, Anomalies and Bosonization , http://dx.doi.org/10.1007/s00220-020-03830-0 Commun. Math. Phys. 378 (2020) 1775--1816 , http://arxiv.org/abs/1810.04414 arXiv:1810.04414 [cond-mat.str-el]

  42. [42]

    M. P. Tuite, On the relationship between monstrous moonshine and the uniqueness of the moonshine module , http://dx.doi.org/10.1007/BF02099885 Commun. Math. Phys. 166 (1995) 495--532 , http://arxiv.org/abs/hep-th/9305057 arXiv:hep-th/9305057

  43. [43]

    Thorngren and Y

    R. Thorngren and Y. Wang, Fusion category symmetry. Part II. Categoriosities at c = 1 and beyond , http://dx.doi.org/10.1007/JHEP07(2024)051 JHEP 07 (2024) 051 , http://arxiv.org/abs/2106.12577 arXiv:2106.12577 [hep-th]

  44. [44]

    Volpato, Vertex algebras, topological defects, and Moonshine , http://arxiv.org/abs/2412.21141 arXiv:2412.21141 [hep-th]

    R. Volpato, Vertex algebras, topological defects, and Moonshine , http://arxiv.org/abs/2412.21141 arXiv:2412.21141 [hep-th]

  45. [45]

    Yamauchi, On z\_2-twisted representation of vertex operator superalgebras and the ising model svoa, arXiv preprint math/0203086 (2002)

    H. Yamauchi, On z\_2-twisted representation of vertex operator superalgebras and the ising model svoa, arXiv preprint math/0203086 (2002)

  46. [46]

    Yao and A

    Y. Yao and A. Furusaki, Parafermionization, bosonization, and critical parafermionic theories , http://dx.doi.org/10.1007/JHEP04(2021)285 JHEP 04 (2021) 285 , http://arxiv.org/abs/2012.07529 arXiv:2012.07529 [cond-mat.str-el]