Recognition: no theorem link
Parafermionizing the Monster
Pith reviewed 2026-05-12 03:32 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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)
- 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
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
-
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
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
axioms (1)
- ad hoc to paper Certain assumptions allow equating parafermionization of Monster CFT to non-invertible gauging of P(p) × P(p)^∨
invented entities (1)
-
P(p)^∨ (dual theory to Z_p-parafermions)
no independent evidence
Reference graph
Works this paper leans on
-
[1]
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]
-
[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]
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]
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]
R. E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras , http://dx.doi.org/10.1007/BF01232032 Invent. Math. 109 (1992) 405--444
-
[7]
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]
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]
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]
J. H. Conway and S. P. Norton, Monstrous moonshine, Bulletin of the London Mathematical Society 11 (1979) 308--339
work page 1979
-
[11]
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]
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
work page 2003
-
[13]
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]
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]
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]
I. Frenkel, J. Lepowsky, and A. Meurman, VERTEX OPERATOR ALGEBRAS AND THE MONSTER , 1988
work page 1988
-
[17]
P. Francesco, P. Mathieu, and D. S \'e n \'e chal, Conformal field theory, Springer Science & Business Media, 2012
work page 2012
-
[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
work page 1985
-
[19]
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]
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]
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]
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
work page 2012
-
[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]
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]
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]
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
work page 2003
-
[27]
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]
M. Miyamoto, 3-state potts model and automorphisms of vertex operator algebras of order 3, Journal of Algebra 239 (2001) 56--76
work page 2001
-
[29]
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]
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]
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]
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]
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]
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]
A. Prasad, On character values and decomposition of the weil representation associated to a finite abelian group, arXiv preprint arXiv:0903.1486 (2009)
-
[36]
D. Radicevic, Spin Structures and Exact Dualities in Low Dimensions , http://arxiv.org/abs/1809.07757 arXiv:1809.07757 [hep-th]
-
[37]
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]
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]
N. R. Scheithauer, The weil representation of sl(2, Z ) and some applications , International Mathematics Research Notices 2009 (2009) 1488--1545
work page 2009
-
[40]
F. Str \"o mberg, Weil representations associated with finite quadratic modules, Mathematische Zeitschrift 275 (2013) 509--527
work page 2013
-
[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]
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]
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]
R. Volpato, Vertex algebras, topological defects, and Moonshine , http://arxiv.org/abs/2412.21141 arXiv:2412.21141 [hep-th]
-
[45]
H. Yamauchi, On z\_2-twisted representation of vertex operator superalgebras and the ising model svoa, arXiv preprint math/0203086 (2002)
-
[46]
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]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.